---
title: Spherical Coulomb Branch Algebras
url: https://www.emergentmind.com/topics/spherical-coulomb-branch-algebras
type: topic
---

# Spherical Coulomb Branch Algebras

Spherical Coulomb branch algebras are the commutative and quantized algebras attached to Coulomb branches of \(3\)-dimensional \(\mathcal N=4\) gauge theories in the Braverman–Finkelberg–Nakajima program, together with related Weyl-invariant or idempotent corners that appear in Cherednik, Yangian, DAHA, and physical star-product realizations. In the cotangent case \(\mathbf M=\mathbf N\oplus \mathbf N^*\), the spherical Coulomb branch algebra is \(A:=H_*^{G_O}(R)\), its quantization is \(A_\hbar:=H_*^{G_O\rtimes \mathbb C^\times}(R)\), and the Coulomb branch variety is \(\mathcal M_C:=\operatorname{Spec} A\) [1601.03586]. For Jordan quiver gauge theories, the quantized Coulomb branch is isomorphic to spherical graded or cyclotomic rational Cherednik algebras, so the subject sits simultaneously in geometric representation theory, difference-operator algebra, and the algebra of monopole operators [1608.00875].

## 1. Foundational constructions

The first systematic mathematical proposal for Coulomb branches uses the gauged nonlinear sigma-model on the \(2\)-sphere \(S^2\cong \mathbb{CP}^1\). In that formulation, a \(3\)d \(\mathcal N=4\) theory is specified by a compact Lie group \(G\) and a quaternionic representation \(M\), and the “spherical” coordinate ring is proposed from vanishing cycle cohomology for a holomorphic Chern–Simons functional on the space of fields. The basic equations are
\[
(\bar\partial+A)\Phi=0,\qquad \mu_{\mathbb C}(\Phi)=0,
\]
and the holomorphic Chern–Simons functional is
\[
CS(A,\Phi)=\frac12\int_C \omega_{\mathbb C}\bigl((\bar\partial+A)\Phi\wedge \Phi\bigr).
\]
For \(C=\mathbb{CP}^1\), the resulting graded dimensions agree exactly with the monopole formula
\[
H_C(t)=\sum_{\lambda\in Y/W} t^{2\Delta(\lambda)} P_G(t;\lambda),
\]
with
\[
\Delta(\lambda)= - \sum_{\alpha \in \Delta^+} |\langle \alpha,\lambda\rangle| + \frac12 \sum_{b\in B(M)} |\langle wt(b),\lambda\rangle|.
\]
This “spherical” terminology refers here to the \(S^2\)-based construction and to the \(G[[z]]\)-invariant viewpoint that appears in the sequel [1503.03676].

The BFN construction replaces the \(S^2\)-model by a convolution algebra on the affine Grassmannian. For \(G_K=G((t))\), \(G_O=G[[t]]\), \(\mathrm{Gr}_G=G_K/G_O\), and cotangent matter \(\mathbf M=\mathbf N\oplus \mathbf N^*\), one defines
\[
T=G_K\times_{G_O} \mathbf M_O,\qquad
R=\{(gG_O,m)\in \mathrm{Gr}_G\times \mathbf M_K\mid m\in \mathbf M_O,\ g^{-1}\cdot m\in \mathbf M_O\}.
\]
The convolution product on equivariant Borel–Moore homology yields
\[
A=H_*^{G_O}(R),\qquad A_\hbar=H_*^{G_O\rtimes \mathbb C^\times}(R),
\]
with \(A\) commutative, \(A_\hbar\) a flat deformation, and \(\mathcal M_C=\operatorname{Spec}A\) the Coulomb branch [1601.03586]. The same framework supplies the Cartan subalgebra \(\mathbb C[\hbar,\mathfrak t]^W1\subset A_\hbar\) and the integrable-system map
\[
\varpi:\mathcal M_C\to \mathfrak t/W,
\]
whose generic fiber is \(T^\vee\). In the cotangent case, the Poisson bracket on \(A=A_\hbar|_{\hbar=0}\) is the semiclassical limit of the commutator and is symplectic on the smooth locus [1601.03586].

## 2. The meaning of “spherical”

In the cited literature, the adjective “spherical” has several related meanings. In the \(S^2\)-based approach it refers to the gauged sigma-model on the \(2\)-sphere and, in the sequel’s convolution picture, to the \(G[[z]]\)-invariant setting [1503.03676]. In the BFN homological definition it refers to the \(G_O\)-equivariant convolution algebra, in contrast with the Iwahori version
\[
A^I_\hbar:=H^{I\rtimes \mathbb C^\times}_\bullet(R),
\]
for which the spherical algebra is obtained as the corner \(eA^I_\hbar e\) cut out by the idempotent attached to the trivial representation of the finite Weyl group [2004.14998].

On the algebraic side, “spherical” often means an idempotent subalgebra \(eHe\). For the Jordan quiver this is the spherical graded Cherednik algebra \(eH_N^{\mathrm{gr}}e\) in the unframed case and the spherical cyclotomic rational Cherednik algebra \(e_{\Gamma_N}H_{N,l}^{\mathrm{cyc}}e_{\Gamma_N}\) in the framed case [1608.00875]. For star-shaped quivers, Webster’s spherical subalgebra is
\[
\mathbb A^{\mathrm{sph}}:=\big[\varphi,\{u_A\},\{\theta_\alpha\}\big]^W\subset \mathbb A_\varepsilon,
\]
where the BGG–Demazure operators are \(\theta_\alpha=\frac{1}{M_\alpha}(s_\alpha-1)\) [1808.05226].

A closely related use appears in physical star-product constructions. There the gauge-invariant operator algebra is obtained by Weyl averaging the abelianized monopole-difference operators, and the gauge-invariant, Weyl-averaged sector is identified with the spherical Coulomb branch algebra \(eAe\) [1812.08788]. Sphere quantization sharpens this by introducing a spherical vector \(|1\rangle\), a positive twisted trace, and commuting left and right actions of the Coulomb-branch algebra on a Hilbert space completion [2307.12396]. A common misconception is that “spherical” names a single uniform construction; the sources instead use it for a family of equivalent or parallel operations: \(S^2\)-origin, \(G[[z]]\)-equivariance, Weyl averaging, and idempotent projection.

## 3. Jordan quiver gauge theories and Cherednik algebras

The most explicit identification is due to Kodera–Nakajima for the \(3\)d \(\mathcal N=4\) Jordan quiver gauge theory with gauge group \(G=GL(N)\) and matter representation
\[
\mathfrak{gl}(N)\oplus (\mathbb C^N)^{\oplus l}.
\]
The quantized Coulomb branch \(A_\hbar\) is a flat \(\mathbb Z\)-graded deformation over \(\mathbb C[\hbar]\) of the commutative Coulomb branch, and the main theorem states:
\[
A_\hbar \cong e_{\Gamma_N} H^{\mathrm{cyc}}_{N,l} e_{\Gamma_N}\quad (l>0),\qquad
A_\hbar \cong e H^{\mathrm{gr}}_N e\quad (l=0),
\]
with the same parameters \(\kappa,\hbar\) on both sides and cyclotomic parameters related by
\[
z_k = - \frac{1}{l}\left((l-k)\hbar + \sum_{m=1}^{l-1} \frac{c_m(1 - \varepsilon^{mk})}{1 - \varepsilon^m}\right).
\]
The overall shift \(z_i\mapsto z_i+c\) is irrelevant, and setting \(z_l=0\) loses no generality [1608.00875].

The BFN difference-operator model is central in this identification. Let \(\mathcal A_\hbar[T,0]\) be the ring of \(\hbar\)-difference operators on \(\operatorname{Lie}(T)\), generated by \(w_i,\tau_i^{\pm1}\) with
\[
[\tau_i^{\pm1},w_j]=\pm \delta_{ij}\hbar \tau_i^{\pm1}.
\]
After localizing by inverting \(w_i-w_j\), one defines
\[
E_n[f] = \sum_{|I|=n} f(w_I)\prod_{i\in I,j\notin I}\frac{w_i - w_j - \kappa}{w_i - w_j}\prod_{i\in I} \tau_i,
\]
\[
F_n[f] = \sum_{|I|=n} f(w_I-\hbar)\prod_{i\in I,j\notin I}\frac{w_i - w_j + \kappa}{w_i - w_j}\prod_{i\in I}\Big(\prod_{k=1}^l(w_i-\hbar - z_k)\cdot \tau_i^{-1}\Big).
\]
The quantized Coulomb branch is the subalgebra of the localized difference-operator ring generated by the operators \(E_n[f]\), \(F_n[f]\), and symmetric polynomials in \(w_1,\dots,w_N\) [1608.00875].

On the Cherednik side, the embeddings are explicit. There is an embedding
\[
H^{\mathrm{cyc}}_{N,l}\hookrightarrow \widetilde{\mathcal A}_\hbar
\]
such that
\[
e_{\Gamma_N}\Big(\sum_{i=1}^N \xi_i^l\Big)e_{\Gamma_N}=E_1[1],\qquad
e_{\Gamma_N}\Big(\sum_{i=1}^N (l^{-1}\eta_i)^l\Big)e_{\Gamma_N}=F_1[1],
\]
and
\[
e_{\Gamma_N}\Big(\sum_{i=1}^N \big(l^{-1}\xi_i\eta_i + \sum_{j<i} s_{ji}\big)^n\Big)e_{\Gamma_N}
=\sum_{i=1}^N w_i^n.
\]
This realizes the isomorphism through the basic Coulomb generators \(E_1[1]\), \(F_1[1]\), and symmetric functions in the \(w_i\) [1608.00875].

The same paper also isolates small-rank examples. For \(N=2\), \(l=0\),
\[
\operatorname{Res} X_1 + \operatorname{Res} X_2
=
\Big(1 - \frac{\kappa}{w_1 - w_2}\Big)\tau_1 + \Big(1 + \frac{\kappa}{w_1 - w_2}\Big)\tau_2
=E_1[1],
\]
and similarly \(\operatorname{Res} X_1^{-1} + \operatorname{Res} X_2^{-1}=F_1[1]\). For \(N=2\), \(l=1\), one checks \(\operatorname{Res}(y_1+y_2)=F_1[1]\) with \(z_k=0\), identifying the Coulomb branch with the spherical rational Cherednik algebra in that case [1608.00875].

## 4. Generators, abelianization, and Yangian structures

For general quiver gauge theories, the spherical quantized Coulomb branch admits both intrinsic convolution definitions and explicit generating sets. In Weekes’ formulation, for a simple quiver with gauge group \(\mathbf G=\prod_{i\in I}\mathrm{GL}(V_i)\), the spherical quantized Coulomb branch is
\[
\mathrm{CB}:=H_*^{(\mathbf G_O\times \mathbf F)\rtimes \mathbb C^\times}(\mathcal R^{\mathrm{sph}}),
\]
the Iwahori algebra is
\[
\mathrm{ICB}:=H_*^{(\mathrm{Iwa}\times \mathbf F)\rtimes \mathbb C^\times}(\mathcal R),
\]
and
\[
\mathrm{CB}\cong \mathbf e\, \mathrm{ICB}\,\mathbf e,
\]
where \(\mathbf e\) is the spherical idempotent. Moreover, \(\mathrm{ICB}\) is a matrix algebra over \(\mathrm{CB}\) of rank \(|\Sigma|\) [1903.07734].

The same work proves that \(\mathrm{CB}_{\hbar=1}\) is generated by dressed minuscule monopole operators \(M_{\varpi_{i,1},f}\), \(M_{\varpi_{i,1}^\ast,f}\) together with \(H^\ast_{\mathbf G\times \mathbf F}(pt)\), and that there is a surjective homomorphism
\[
Y_\mu[z_1,\ldots,z_N]\twoheadrightarrow \mathrm{CB}_{\hbar=1}.
\]
In finite ADE type this extends to a surjection of graded \(\mathbb C[\hbar]\)-algebras
\[
{Y}_\mu[z_1,\ldots,z_N]\twoheadrightarrow \mathrm{CB}.
\]
This places spherical Coulomb branch algebras within the same presentation-theoretic range as shifted Yangians, and in finite ADE with \(\mu\) dominant the surjection becomes an isomorphism [1903.07734].

The Jordan quiver case admits a parallel Yangian statement. For the framed theory, if \(Y_l(\vec z)\) denotes the algebra obtained by deforming a subalgebra of the affine Yangian of \(\widehat{\mathfrak{gl}(1)}\), then there is a surjective homomorphism
\[
Y_l(\vec z)\to A_\hbar,
\]
sending
\[
D_{0,m}\mapsto \sum_{i=1}^N \bar B_m(w_i)-\bar B_m(-(i-1)),\qquad
e_n\mapsto E_1[(w+\hbar)^n],\qquad
f_{n+l}\mapsto F_1^{(l)}[(w+\hbar)^n].
\]
Accordingly, the quantized Coulomb branch is a deformation of a subquotient of \(Y(\widehat{\mathfrak{gl}(1)})\) [1608.00875].

Abelianization techniques give another explicit incarnation. For star-shaped quivers, the quantized abelianized algebra \(\mathbb A_\varepsilon\) contains rescaled monopoles
\[
u_A:=\prod_{\substack{\alpha\in \mathrm{roots}(G)\\ \langle \alpha,A\rangle<0}} [M_\alpha]^{-\langle \alpha,A\rangle} v_A
\]
and BGG–Demazure operators \(\theta_\alpha=\frac{1}{M_\alpha}(s_\alpha-1)\). The spherical Coulomb branch algebra is then
\[
\mathbb A^{\mathrm{sph}}=\big[\varphi,\{u_A\}_{A\in \mathrm{cochars}},\{\theta_\alpha\}_{\alpha\in \mathrm{roots}}\big]^W\subset \mathbb A_\varepsilon.
\]
For star-shaped quivers there is strong evidence that
\[
\mathbb A^{\mathrm{sph}}\simeq \mathcal A_\varepsilon,
\]
so the spherical subalgebra coincides with the full quantized Coulomb-branch algebra in that setting [1808.05226].

## 5. Modules, traces, and physical realizations

The BFN construction supports a Springer-theoretic representation theory. For a representation \(N\) of a reductive group \(G\), one sets
\[
T_{G,N}=G_K\times_{G_O} N_O,\qquad
R=\{([g],w)\in \mathrm{Gr}_G\times N_K\mid g^{-1}\cdot w\in N_O\},
\]
and for \(c\in N_K\) defines the BFN Springer fibre
\[
\mathrm{Sp}_c=p^{-1}(c)=\{[g]\in \mathrm{Gr}_G\mid g^{-1}\cdot c\in N_O\}.
\]
If \([L_c\backslash \mathrm{Sp}_c]\) admits a dualizing sheaf, then
\[
M_c:=H^\bullet_{L_c}(\mathrm{Sp}_c)
\]
carries a natural action of the quantized spherical Coulomb branch algebra \(A=H^{G_O\rtimes \mathbb C^\times}_\bullet(R)\). Under mild hypotheses these modules are weight modules, and if \(c\) is \(\chi\)-semistable then \(M_c\) lies in category \(\mathcal O\) [2004.14998]. This extends the analogy between Springer fibres and representation spaces from the nilpotent cone to Coulomb branches.

A complementary realization comes from the \(1\)-dimensional topological sector on \(S^3\). In that framework the Coulomb-branch operator algebra is generated by vectormultiplet scalars and monopole operators represented by explicit difference operators acting on hemisphere wavefunctions. The gauge-invariant, Weyl-averaged sector is the spherical Coulomb branch algebra \(eAe\), and the trace map
\[
\mathrm{Tr}(\mathcal O)=\frac{1}{|\mathcal W|\,Z_{S^3}}
\sum_{B\in \Lambda_w^\vee}\int_{\mathfrak t} d^r\sigma\, \mu(\sigma,B)\,\Psi_0(\sigma,B)\,(\widehat{\mathcal O}\Psi_0)(\sigma,B)
\]
computes protected correlation functions [1812.08788]. For good and ugly theories, this trace guarantees the truncation property of the star product. The physical construction thus gives a direct star-product realization of the spherical BFN algebra.

Sphere quantization sharpens the analytic structure. The spherical Coulomb branch algebra is presented as the protected noncommutative algebra of Coulomb-branch local operators quantized by \(S^3\) correlation functions; it comes with a positive twisted trace \(\mathrm{Tr}\), an anti-linear involution \(\rho\), and a Hermitian pairing
\[
\langle a\mid b\rangle=\mathrm{Tr}\,\rho(a)b.
\]
The resulting Hilbert space carries commuting actions of \(A\) and \(A^{\mathrm{op}}\) and a distinguished spherical vector \(|1\rangle\), while Coulomb-branch flavor symmetries lead to Harish–Chandra bimodules \(HC_{b,t}\) and direct-integral decompositions
\[
H[T\rtimes H^!]=\bigoplus^\oplus_{(t,b)\in \mathfrak h\times \Lambda_{H^!}} H_{b,t}.
\]
This gives an analytic form of spherical representation theory for Coulomb-branch algebras [2307.12396].

For noncotangent theories with half-hypermultiplets in general pseudoreal representations, the hemisphere construction uses Dirichlet boundary conditions for gauge fields and a careful treatment of half-hypermultiplet boundary data. Under anomaly-free assumptions, the hemisphere partition function \(Z_{HS^3}(\sigma,B;\mathbb L)\) is a cyclic vector for a spherical module, and the authors expect
\[
\mathcal A_C \simeq \widehat{\mathsf A^{\mathrm{sph}}_{\mathrm{BFN}(G,\mathbf R)}}
\]
after appropriate completion at \(\sigma=0\) and localization of equivariant parameters, although a full proof is not given [2512.23908]. This suggests that spherical Coulomb branch algebra methods extend beyond cotangent matter, but only with explicit anomaly constraints.

## 6. DAHA, skein, imprimitive, and K-theoretic extensions

Recent work places spherical Coulomb branch algebras in a broader web of Hecke-type structures. For coadjoint matter, the affine-flag or Iwahori Coulomb branch
\[
\mathcal A^{\mathrm{Fl}}_{G,\mathfrak g^*,(\mathfrak b^-)^\perp}
\]
is isomorphic to the trigonometric DAHA \(\mathcal H_{G,\hbar,k}\), and the Grassmannian spherical Coulomb branch satisfies
\[
\mathcal A^{\mathrm{Gr}}_{G,\mathfrak g^*}\cong SH_{G,\hbar,k-\hbar},
\]
where \(SH_{G,\hbar,k}=e'\mathcal H_{G,\hbar,k}e'\) is the spherical tDAHA and the shift \(k\mapsto k-\hbar\) is explicit [2601.19691]. In the same setting, the action on \(QH^\ast_T(T^\ast(G/P))\) is computed on stable envelopes by
\[
A_{wt_\lambda}\cdot \operatorname{Stab}(u)=(-1)^{\langle u(2\rho_P),\lambda\rangle} q^{u^{-1}(\lambda)} \operatorname{Stab}(wu).
\]
This identifies the spherical Coulomb branch with a concrete Demazure–Lusztig action.

For the imprimitive reflection groups \(G(\ell,p,n)\), the same \(3\)d \(\mathcal N=4\) theory that yields \(G(\ell,1,n)\) acquires a \(G(\ell,p,n)\) realization after adding vortex-type line defects and imposing \(p\)-cyclic masses. The quantized Ext-algebras of local operators then identify with graded pieces of the partially spherical and spherical rational Cherednik algebras:
\[
\operatorname{Ext}^\bullet_\hbar(\mathbb p_k,\mathbb p_m)\cong (e'He')[\deg=m-k\bmod p],\qquad
\operatorname{Ext}^\bullet_\hbar(\mathbb{sp}_k,\mathbb{sp}_m)\cong (eHe)[\deg=m-k\bmod p].
\]
Direct sums over degrees recover \(e'He'\) and \(eHe\), and these spherical algebras are shown to be principal Galois orders [1912.00046].

In multiplicative form, spherical quantized K-theoretic Coulomb branches also meet low-dimensional topology. For compact oriented surfaces of genus at most one with boundary, one associates a quantized K-theoretic Coulomb branch \(K_{G(\mathcal O)\rtimes \mathbb C^\times}(R_{G,N})\). For the three-holed sphere, four-holed sphere, and one-holed torus, this algebra is related to the Kauffman bracket skein algebra, with parameter matching
\[
q=A^{-2}.
\]
In the four-holed sphere and one-holed torus cases the identification is made through explicit spherical DAHA difference-reflection operators and BFN minuscule monopole operators [2401.06737].

A \(4\)d analogue appears for \(Sp(N)\) gauge theory with four fundamentals and one anti-symmetric hypermultiplet. There the algebra of BPS loop operators in the \(\Omega\)-background is a deformation quantization of the Coulomb branch, and for \(N=1\) the quantized Coulomb branch agrees with the polynomial representation of the spherical DAHA of \((C_1^\vee,C_1)\)-type. For general \(N\), the minimal ’t Hooft loop agrees with the Koornwinder operator, giving evidence that the quantized Coulomb branch is isomorphic to the spherical DAHA of \((C_N^\vee,C_N)\)-type [2503.15446].

These extensions show that spherical Coulomb branch algebras do not form a single isolated class. They recur as spherical Cherednik algebras, spherical tDAHA, shifted-Yangian quotients, Ext-algebras of line defects, Weyl-invariant star-product algebras, and quantized K-theoretic algebras related to skein theory. A plausible implication is that “spherical Coulomb branch algebra” is best understood as a structural role—\(G[[z]]\)-equivariant, Weyl-invariant, or idempotent-projected—rather than as a single presentation.

Source: https://www.emergentmind.com/topics/spherical-coulomb-branch-algebras