Quantized Coulomb Branches in Gauge Theories

• Quantized Coulomb branches are noncommutative deformations of Coulomb moduli spaces in 3D N=4 gauge theories, integrating quantum corrections via monopole operators and abelianization.
• They are constructed using abelianization, localization on BPS moduli, and Omega background quantization, which reveal deep ties with quantum groups such as shifted Yangians.
• This framework bridges gauge theory and geometric representation theory, as demonstrated in explicit examples like SQED, PSU(2), and U(N)/SU(N) theories.

Quantized Coulomb branches arise in the paper of three-dimensional $\mathcal{N}=4$ supersymmetric gauge theories as noncommutative deformations of the Coulomb branch moduli space. Structurally, they are constructed as noncommutative algebras encoding the quantum-corrected chiral ring of Coulomb branch operators, most notably monopole operators and dressed polynomials in vectormultiplet scalars. Their construction and quantization establish deep correspondences between gauge theory, geometric representation theory, and quantum integrable systems. The framework synthesizes patchwise abelianization, localization on BPS moduli, and the action of quantum groups such as Yangians, and is closely intertwined with the theory of slices in the affine Grassmannian.

1. Construction of the Quantum-Corrected Coulomb Branch

A fundamental principle is abelianization: classically, the Coulomb branch is described by vectormultiplet scalars in a Cartan subalgebra and their dual photons. Quantum corrections (from one-loop and nonperturbative monopole effects) alter this classical structure. The quantized Coulomb branch is built by considering local coordinates consisting of the eigenvalues $\{\varphi_a\}$ of the complex scalar and abelian monopole operators $v_a^{\pm}$. These obey abelianized relations, as seen, for example, in SQED: $v^+ v^- = \prod_{i=1}^N (\varphi + m_i)$ This relation encodes the topology-changing behavior when a hypermultiplet becomes massless. For a general theory, patchwise relations resemble

$$v_A^+ v_A^- = (\text{product of complex masses of matter and W-bosons})$$

Nonabelian gauge-invariant operators—dressed monopoles labeled by cocharacters and polynomial dressings—are then reconstructed via “abelianization maps,” with coefficients determined by equivariant integrals over bubbling moduli spaces (i.e., BPS monopole bubbling contributions). The structure is glued globally by imposing Weyl invariance and “bubbling” relations.

Twistor theory provides a unifying formalism for all complex structures; the twistor space $${\mathcal Z} \simeq {\mathcal M}_C \times \mathbb{CP}^1$$ equips the Coulomb branch with a family of holomorphic symplectic forms parameterized by $\zeta \in \mathbb{CP}^1$: $$\Omega_{(\zeta)} = \omega_J + i\omega_K + 2\zeta \omega_I - \zeta^2 (\omega_J - i\omega_K)$$ This structure encodes the full hyperkähler metric geometry, essential for global analysis of the Coulomb branch.

2. Chiral Monopole Operators and Bubbling Phenomena

The essential nonperturbative operators are gauge-invariant (often dressed) chiral monopole operators. For a gauge group $G$, these are labeled by cocharacters $A$ (GNO charges) and a $G_A$-invariant dressing polynomial $p(\varphi)$, where $G_A$ is the residual gauge group unbroken in the monopole background. Physical vacuum expectation values of these operators define local holomorphic functions on the Coulomb branch for fixed complex structures.

A key quantum effect is monopole bubbling: higher-charge (singular) monopole backgrounds are partially screened by smooth monopole configurations. Algebraically, a nonabelian dressed monopole $M_{A, p}$ is represented as a linear combination of abelian monopole operators $v_B^+$, with coefficients $c_{A, p}^B$ given by equivariant integration over BPS bubbling moduli (localization). For instance: $$M_{A, p} \to \sum_{B \preceq A} c_{A, p}^B[\varphi] v_B^+$$ This abelianization localizes the singularity data into a sum over abelian sectors and provides the detailed patchwise structure of the chiral ring.

3. Noncommutative Chiral Ring: Quantization via the Omega Background

Quantization is implemented by placing the theory in a two-dimensional Omega background, parametrized by an equivariant deformation parameter $\epsilon$. This process lifts the classical Poisson structure to a noncommutative star product on the chiral ring. In the Omega backdrop, commutator relations deform as

$[\varphi, v^\pm] = \pm \epsilon v^\pm$

and abelianized relations are shifted, as exemplified in quantized SQED by

$$v^+ v^- = \prod_{i=1}^N (\varphi + m_i - \tfrac{1}{2} \epsilon)$$

The full quantized chiral ring, often denoted $A_C$, is generated by such operators, frequently collected in generating series $Q(z), U^\pm(z)$ whose commutation relations are of Yangian type. More generally, structure constants and quantum relations involving bubbling are determined by equivariant integrals over BPS moduli spaces.

The noncommutative star product can be explicitly constructed in localization settings and is deeply related to the Moyal product in phase space. For instance, in coordinate-language, shift operators representing monopole insertions—computed via localization—satisfy

$u_v \star f(\varphi) = u_v f(\varphi - v\epsilon)$

with $u_v$ being an abelian monopole operator of charge $v$.

For “good” quiver gauge theories (those satisfying the Gaiotto–Witten parameter bound), the quantized chiral ring algebra is a central quotient of a shifted Yangian of $\mathfrak{sl}_n$ or its generalization. The quantized Coulomb branch is thus characterized as a quantum group object.

4. Geometric Representation Theory, Affine Grassmannians, and Slices

Quantized Coulomb branches are canonically described as convolution algebras in the equivariant Borel–Moore homology of moduli spaces of triples tied to affine Grassmannians, as in the Braverman–Finkelberg–Nakajima (BFN) construction. For ADE quiver gauge theories, the Coulomb branch is concretely realized as the spectrum of this convolution algebra, and in the framed case, as a generalized slice in the affine Grassmannian: $${}^{\lambda}_{\mu} = \overline{Gr_G^\lambda} \times_{'\mathrm{Bun}_G(\mathbb{P}^1)} \mathrm{Bun}_B^{w_0\mu}(\mathbb{P}^1)$$ Quantization is obtained by deforming the convolution algebra via a loop-rotation $\mathbb{C}^\times$-action, yielding a noncommutative algebra $\mathcal{A}_\hbar$. A central theorem is the isomorphism of this quantized Coulomb branch with a truncated shifted Yangian $Y^\lambda_\mu$, providing an algebraic presentation with generators and relations mirroring those of quantum groups.

This perspective extends across Cartan types, including cases with symmetrizers and non-simply-laced quivers, where the associated quantized Coulomb branches map to slices in generalized affine Grassmannians of $B, C, F, G$-type, and their quantization is through corresponding truncated shifted Yangians.

5. Explicit Examples and Physical Verification

Explicit computations and alternative formulations validate the above structure:

• PSU(2) Theory: The quantized Coulomb branch is the Atiyah–Hitchin manifold. Abelianized generators $ϕ$, $v^+$, $v^-$ assemble into operators $Φ=ϕ^2$, $Y=v^++v^-$, $Z=ϕ(v^+-v^-)$, satisfying $Z^2 - ΦY^2 = 4$.
• Pure U(N) and SU(N): The scattering matrix $S(z)$ in the Bogomolnyi moduli space formalism produces generating polynomials $Q(z)$, $U^\pm(z)$ with determinant relations encoding the chiral ring.
• SQCD and Higher Rank: Matter content modifies the scattering matrix, with poles at mass parameters $z = m_i$ encoding quantum corrections.
• Linear Quivers: S-duality and brane constructions connect the Coulomb branch to moduli spaces of singular monopoles or, equivalently, intersections of nilpotent orbits with Slodowy slices, and the abelianization construction matches the known geometric and algebraic structures.
• In the Omega background, generating series $H_i(z), E_j(z), F_j(z)$ satisfy commutation relations isomorphic to those of shifted Yangians, reinforcing the connection with integrable systems and quantum groups.

6. Impact and Interplay with Algebraic Structures

Quantized Coulomb branches act as a nexus between three-dimensional gauge theory, geometric representation theory, and quantum algebra:

• The isomorphism between quantized Coulomb branches and truncated shifted Yangians provides a platform for exploring representations, canonical bases, and categorification.
• In the context of Jordan quivers, quantized Coulomb branches are shown to coincide with spherical graded Cherednik algebras, and, in the presence of framing, cyclotomic rational Cherednik algebras. The structure also manifests as deformations or subquotients of the affine Yangian of $\mathfrak{gl}(1)$ (Kodera et al., 2016).
• Frobenius-constant quantization is realized via power operations (Steenrod or Adams operations) that lift the Frobenius (or Adams) operation on the classical (commutative) algebra to the center of the quantum Coulomb branch, even in the $K$-theoretic setting (Lonergan, 2017).
• Physical constructions (e.g., star-products via localization and brane engineering) confirm the algebraic predictions (e.g., noncommutative Moyal product and polynomiality ensured by consistency conditions and bubbling corrections) (Dedushenko et al., 2018, Assel et al., 2019).

These developments underline the crucial role of quantized Coulomb branches in mathematical physics, integrable systems, and geometric representation theory, providing algebraic models for moduli spaces, bridges to quantum group theory, and tools for categorification and enumerative geometry.

---

Table: Key Quantization Objects and Their Algebraic Counterparts

Gauge Theory (3d/4d $\mathcal{N}=4$)	Quantized Coulomb Branch	Algebraic Object
Linear ADE Quiver	Convolution algebra on affine Grassmannian	Truncated shifted Yangian
Jordan Quiver (unframed/framed)	Quantized Coulomb branch	Spherical Cherednik / Cyclotomic Cherednik Algebra
General Quiver with Symmetrizers	Quantized Coulomb branch	Truncated shifted Yangian (BCFG type)
Pure U(N)/SU(N)	Abelianization + scattering matrix formalism	Yangian of $\mathfrak{sl}_N$

---

Quantized Coulomb branches thus constitute a robust structure at the intersection of quantum field theory, symplectic geometry, and representation theory, with manifest realization in both mathematical and physical frameworks.