A mathematical definition of Coulomb branches of supersymmetric gauge theories and geometric Satake correspondences for Kac-Moody Lie algebras

This introductory article presents a mathematical definition of Coulomb branches for 3d N=4 supersymmetric gauge theories and utilizes this framework to establish geometric Satake correspondences for Kac-Moody Lie algebras.

The Gist

This paper by Kei Nakajima is a deep dive into the mathematics of a concept called the "Coulomb branch" of a supersymmetric gauge theory. To understand what this means without getting lost in complex equations, let's use some everyday analogies.

The Big Picture: Two Sides of the Same Coin

Imagine you have a complex machine (a physical theory) that has two different ways of looking at it.

1. The Higgs Branch: Think of this as looking at the machine's "shape" or "structure." It's like looking at a sculpture and seeing how the clay is molded.
2. The Coulomb Branch: This is the paper's main focus. Think of this as looking at the machine's "electricity" or "flow." It's like looking at the currents running through the wires of that same sculpture.

For a long time, mathematicians knew how to describe the "shape" (Higgs branch) very well. But describing the "flow" (Coulomb branch) was like trying to describe a river that flows through an infinite, shifting landscape. It was messy and hard to pin down mathematically.

The Main Achievement: Building a Map

The author, along with his colleagues, has finally built a rigorous mathematical map for this "Coulomb branch."

• The Problem: The landscape of the Coulomb branch is infinite and strange. You can't just walk through it; you have to look at it from a very high, abstract angle.
• The Solution: They used a technique called "Convolution" (imagine taking two maps, overlapping them, and seeing where the paths cross to create a new, bigger map). By doing this with "homology groups" (which are like counting the holes and loops in a shape), they constructed a new algebraic object.
• The Result: This new object is a Coulomb Branch. It's a specific type of geometric shape (an algebraic variety) that perfectly captures the physics of the flow.

The "Quantum" Twist

The paper also introduces a "Quantized" version of this branch.

• Analogy: Imagine the Coulomb branch is a smooth, calm lake (the classical version). The "Quantized" version is like the lake when it's frozen and covered in ice, or perhaps when it's vibrating at a quantum level.
• What it does: This quantum version is "non-commutative." In normal math, $A \times B$ is the same as $B \times A$. In this quantum world, the order matters ($A \times B \neq B \times A$). This reflects the weird rules of quantum mechanics. The authors show how to build this quantum version and how it relates to the smooth, classical version.

The "Mirror" Connection: Geometric Satake

One of the most beautiful parts of the paper is a connection to something called the Geometric Satake Correspondence.

• The Analogy: Imagine you have a complex knot (a mathematical object called a Lie group). There is a "mirror" version of this knot (the Langlands dual).
• The Magic: The paper shows that the "flow" (Coulomb branch) of one side of the mirror is mathematically identical to the "shape" (representation theory) of the other side.
• Why it matters: This allows mathematicians to translate problems from one difficult area (infinite-dimensional geometry) into another area where they might be easier to solve (representation theory).

The "Quiver" Connection

The paper focuses heavily on a specific type of theory called "Quiver Gauge Theory."

• Analogy: A "Quiver" is just a diagram of dots connected by arrows (like a subway map).
• The Discovery: When you apply the Coulomb branch rules to these subway maps, you get a result that is surprisingly simple and elegant.
  • If the map is a simple line, the Coulomb branch looks like a specific type of geometric shape (related to "simple singularities").
  • If the map is a loop (like a circle), the Coulomb branch relates to a famous algebraic structure called the Affine Lie Algebra.

The Grand Conjecture: The "Geometric Satake" for Infinite Groups

The paper proposes a massive generalization.

• Old Idea: We knew how to match the "shape" of finite groups to the "flow" of their mirrors.
• New Conjecture: The author suggests this works even for infinite groups (specifically Kac-Moody algebras).
• The Claim: If you take the Coulomb branch of a Quiver gauge theory, the "topology" (the holes and loops) of this branch forms the exact mathematical structure needed to represent these infinite groups.
• Status: The paper proves this for certain simple cases (like Type A) and strongly conjectures it works for all cases.

Summary in Plain English

This paper is like a master architect who finally drew the blueprints for a mysterious, infinite city (the Coulomb branch).

1. They defined exactly what this city looks like using a new construction method (convolution of homology).
2. They showed how to build a "quantum" version of the city where the rules of order are different.
3. They discovered that this city is the "mirror image" of a famous mathematical structure (Geometric Satake).
4. They proved that for specific types of maps (Quivers), this city perfectly organizes the data needed to understand infinite symmetry groups (Kac-Moody algebras).

The paper doesn't talk about building real-world bridges or medical devices. Instead, it builds a bridge between two very abstract worlds of mathematics and physics, showing that they are actually two sides of the same coin.

Technical Summary

Title: Coulomb Branches and Geometric Satake Correspondence for Kac-Moody Lie Algebras
Author: Hiroshi Nakajima

1. Problem and Motivation

The paper addresses the need for a rigorous mathematical definition of "Coulomb branches" arising in 3-dimensional $\mathcal{N}=4$ supersymmetric gauge theories. While these objects were studied extensively in theoretical physics, they lacked a precise algebraic-geometric formulation. The author, along with Braverman and Finkelberg, previously introduced a new class of algebraic varieties called Coulomb branches and their non-commutative deformations (quantizations). The primary motivation of this work is to provide a mathematically strict definition of these branches and to explore their relationship with the representation theory of Kac-Moody Lie algebras.

Specifically, the paper aims to:

• Define Coulomb branches and their quantizations using equivariant homology and convolution algebras.
• Establish a "Geometric Satake Correspondence" for Kac-Moody Lie algebras, extending the classical correspondence (which relates the geometry of the affine Grassmannian to representations of finite-dimensional simple Lie algebras) to the infinite-dimensional setting.
• Investigate the relationship between Coulomb branches and Higgs branches (quiver varieties) via symplectic duality.

2. Methodology

The core methodology relies on equivariant homology and convolution products within the framework of infinite-dimensional spaces.

• The Three-Body Variety ($R$): For a complex reductive group $G$ and a finite-dimensional representation $N$, the author defines a space $R$ (the "three-body variety") as a closed subvariety of a vector bundle over the affine Grassmannian $Gr_G$. $R$ consists of pairs $(g(z), s(z))$ where $g(z) \in G(\mathcal{K})$ and $s(z) \in N(\mathcal{O})$ such that $g(z)s(z) \in N(\mathcal{O})$. Here, $\mathcal{K} = \mathbb{C}((z))$ and $\mathcal{O} = \mathbb{C}[[z]]$.
• Convolution Algebra: The Coulomb branch is defined as the spectrum of the $G(\mathcal{O})$-equivariant homology ring $H^*_{G(\mathcal{O})}(R)$. A convolution product is defined on this homology ring, analogous to the convolution in the geometric Satake correspondence for finite-dimensional groups.
• Quantization: By introducing a $\mathbb{C}^\times$-action (loop rotation) and considering the equivariant homology with respect to $G(\mathcal{O}) \rtimes \mathbb{C}^\times$, the author constructs a non-commutative deformation of the Coulomb branch, denoted $A_\hbar$. This serves as the quantization.
• Localization: The paper utilizes the localization theorem for equivariant homology to analyze the structure of these rings, relating them to fixed-point sets under torus actions.

3. Key Contributions and Results

A. Mathematical Definition of Coulomb Branches

The paper provides the definition of the Coulomb branch $M_C$ as the affine variety $\text{Spec}(H^*_{G(\mathcal{O})}(R))$.

• It is proven that $H^*_{G(\mathcal{O})}(R)$ is a commutative, finitely generated, integral domain, making $M_C$ an irreducible normal affine variety.
• The quantization $A_\hbar$ is shown to be a non-commutative deformation of $M_C$, carrying a Poisson structure.

B. Examples and Explicit Calculations

The author provides explicit calculations for specific cases to illustrate the theory:

• Torus Case: When $G$ is a torus and $N=0$, the Coulomb branch is identified with $t \times T^\vee$ (where $t$ is the Lie algebra of the torus and $T^\vee$ is the dual torus). The quantization corresponds to the ring of $\hbar$-difference operators.
• Simple Singularities: For $G=\mathbb{C}^\times$ and $N=\mathbb{C}$, the Coulomb branch is identified with the $A_1$ simple singularity ($xy=w$). For $N=\mathbb{C}^{\oplus \ell}$, it yields the $A_{\ell-1}$ singularity.
• Toric Hyperkähler Manifolds: When $G$ is a torus acting on a vector space, the Coulomb branch is identified with the Hamiltonian reduction of a cotangent bundle by the dual torus, recovering toric hyperkähler manifolds.

C. Quiver Gauge Theories and Kac-Moody Algebras

The paper focuses heavily on quiver gauge theories, where $G$ is a product of general linear groups associated with the vertices of a quiver $Q$.

• Finite Type: For quivers of finite type (ADE), the Coulomb branch is isomorphic to a generalized transversal slice $W^\lambda_\mu$ in the affine Grassmannian of the corresponding simple Lie group $G$.
• Affine Type: For affine A-type quivers, the Coulomb branch is related to the affine Grassmannian of the affine Lie algebra.
• Quantization and Yangians: The quantized Coulomb branch for these cases is identified with a quotient of a shifted Yangian.

D. Geometric Satake Correspondence for Kac-Moody Algebras

The central conjecture of the paper is the extension of the Geometric Satake Correspondence to Kac-Moody Lie algebras.

• Conjecture: The top homology of the "attracting set" $A_\chi(\lambda, \mu)$ (defined via limits under a 1-parameter subgroup $\chi$) inside the Coulomb branch carries the structure of an integrable highest weight representation of the Langlands dual Kac-Moody Lie algebra $g^\vee$.
• Tensor Products: The paper also proposes a geometric construction for tensor products of representations using deformations of the Coulomb branch associated with flavor symmetries.
• Status of Proof: The author notes that this conjecture has been proven for:
  • Finite type (reducing to the classical Geometric Satake).
  • Affine A-type (proven by Nakajima and others).
  • The general case remains a conjecture.

E. Symplectic Duality

The paper discusses the relationship between Coulomb branches and Higgs branches (quiver varieties).

• It highlights that the Coulomb branch of a theory $(G, N)$ is often symplectically dual to the Higgs branch of a dual theory.
• Specifically, for torus actions, the Coulomb branch of one theory is the Hamiltonian reduction of the cotangent bundle of the dual theory's representation space, which is the Higgs branch of the dual.

4. Significance and Claims

The paper claims to provide the first rigorous mathematical definition of Coulomb branches, moving them from physical intuition to algebraic geometry.

• Unification: It unifies the study of affine Grassmannians, quiver varieties, and representation theory of Kac-Moody algebras under a single framework.
• Extension of Satake: It proposes a natural generalization of the Geometric Satake Correspondence to the infinite-dimensional setting of Kac-Moody algebras, suggesting that the geometry of Coulomb branches encodes the representation theory of these algebras.
• Quantization: It establishes a concrete link between the quantization of these geometric objects and well-known algebras in mathematical physics, such as Yangians and double affine Hecke algebras (DAHA).

The author emphasizes that while the definitions are rigorous, the full proof of the Geometric Satake Correspondence for general Kac-Moody algebras remains an open problem, with proofs currently available only for finite and specific affine types. The paper serves as a foundational text and a roadmap for further research in this intersection of geometry and representation theory.