Coulomb branches convert gauge-theoretic data into algebraic varieties whose coordinate rings are built by convolution in affine-Grassmannian geometry. The Braverman–Finkelberg–Nakajima construction gives a rigorous mathematical definition for a broad class of three-dimensional N=4 gauge theories and places their Coulomb branches directly inside geometric representation theory.
This chapter connects Nakajima Quiver Varieties, Geometric Satake, Yangians and Symplectic Duality.
Gauge-theory input
Start with a complex reductive group G and a finite-dimensional representation N. Physically, G is the gauge group and N is the matter representation.
The Higgs branch is comparatively classical: it is modeled by a Hamiltonian or hyperkähler quotient of a cotangent-type representation. The Coulomb branch is subtler because its physical coordinates involve monopole operators and quantum corrections.
Loop spaces and affine Grassmannians
Let O=C[[z]] and K=C((z)). The affine Grassmannian Gr_G=G(K)/G(O) parametrizes G-bundles on a formal disc together with a trivialization on the punctured disc.
Its G(O)-orbits are indexed by dominant coweights. Their convolution geometry already appears in geometric Satake.
The BFN space
BFN introduce a space, often denoted R, encoding a point of the affine Grassmannian together with matter data that remains regular after the corresponding gauge transformation.
One then studies G(O)-equivariant Borel–Moore homology H_*^{G(O)}(R). Convolution supplies this homology with a multiplication.
Coordinate ring by convolution
The remarkable theorem is that the BFN convolution algebra is commutative in the classical construction. Its spectrum defines the Coulomb branch M_C=Spec H_*^{G(O)}(R), suppressing grading and coefficient conventions.
Thus a physically predicted moduli space is reconstructed from a concrete algebra of homology classes.
Why convolution appears
Convolution composes correspondences. Geometrically, two modifications can be performed in sequence; homologically, pullback, intersection and pushforward turn this sequence into multiplication.
This is the same structural pattern seen in Hecke algebras, geometric Satake and Hall algebras: composition of geometric correspondences becomes algebra multiplication.
Quantized Coulomb branch
Adding loop rotation by C* produces an equivariant parameter ℏ. The corresponding equivariant homology algebra becomes noncommutative and quantizes the classical Coulomb-branch coordinate ring.
The commutator divided by ℏ recovers the Poisson bracket in the classical limit, placing Coulomb branches inside the same quantization framework as symplectic reflection algebras.
Abelian intuition
When G is a torus, coweights label monopole sectors directly and the algebra can often be written with explicit generators and relations. Matter weights determine which monopole products acquire polynomial factors.
These abelian models are useful because the combinatorics of weights makes the singular geometry visible without the full complexity of nonabelian loop groups.
Quiver gauge theories
For gauge data built from a quiver, Higgs branches are often Nakajima quiver varieties. Their Coulomb branches can realize slices in affine Grassmannians and other representation-theoretic varieties.
This creates a triangle: quiver representation data produces a Higgs branch through symplectic reduction and a Coulomb branch through BFN convolution, while mirror/symplectic duality exchanges the two viewpoints.
Yangians and shifted algebras
Quantized Coulomb branches of important quiver gauge theories are related to truncated shifted Yangians and related quantum algebras.
This explains why Yangian representation theory appears naturally in affine-Grassmannian slices rather than only in integrable spin chains.
Monopole formula
Physics predicts Hilbert-series formulas summing over magnetic coweights, commonly called monopole formulas. In favorable settings these match algebraic information from the mathematical Coulomb branch.
The formula is a counting device, not by itself the definition of the BFN variety. Keeping prediction, invariant and construction separate prevents circular reasoning.
Symplectic singularities
Coulomb branches are Poisson varieties and in many important cases are symplectic singularities. Their leaves, resolutions and quantizations feed directly into category O and symplectic-duality questions.
The representation theory of a quantized Coulomb branch can therefore be read as a categorical probe of the singular geometry beneath it.
Verification workflow
- Specify the reductive group G and representation N.
- Distinguish Higgs and Coulomb branches.
- Fix O=C[[z]] and K=C((z)) conventions.
- Define the BFN space before quoting its homology algebra.
- Distinguish ordinary from loop-rotation-equivariant convolution.
- Separate the classical commutative algebra from its quantization.
- Do not treat the monopole formula as the definition.
- State hypotheses before identifying a Coulomb branch with an affine-Grassmannian slice or shifted Yangian.
Practice
1. What data defines the theory? 2. What is Gr_G? 3. What algebra defines M_C? 4. What does loop rotation do? 5. Why do quivers matter? 6. Where do Yangians appear?
Answers. A reductive group and matter representation; G(K)/G(O); equivariant Borel–Moore homology of the BFN space with convolution; it introduces ℏ and a noncommutative quantization; quiver gauge theories connect Coulomb branches to Nakajima varieties and affine-Grassmannian slices; quantized slices can be described by shifted/truncated Yangian-type algebras.
Representation Mathematics — Batch 14
Begin with Soergel Bimodules, continue through Character Sheaves and Symplectic Duality, then return to the BTT Mathematics Learning Hub.