---
title: Higher-Spin Charge Brackets
url: https://www.emergentmind.com/topics/higher-spin-charge-bracket
type: topic
---

# Higher-Spin Charge Brackets

Higher-spin charge brackets arise whenever one associates charges to higher-rank conserved currents, asymptotic gauge symmetries, or celestial symmetries, and studies their commutator, Poisson bracket, Dirac bracket, or homotopy-Lie deformation. In the free or \(N=\infty\) limit they can form an honest Lie algebra, while in interacting, asymptotic, or mixed-helicity settings the naive binary bracket may fail to close and must be completed either by higher \(L_\infty\) products, central extensions, or shadow-charge constructions [2108.05441] [1608.04663] [2604.12854] [2510.26520] [1203.5152].

## 1. Free higher-spin charges and the undeformed bracket

In vector models one denotes by \(J_s(x)\) the rank-\(s\) conserved current of the free or large-\(N\) theory, with \(s=0,1,2,\dots\), and by \(Q_s\) the corresponding higher-spin charge, where the smearing parameter is a traceless conformal Killing tensor. In the free theory, or at \(N=\infty\), these charges form an honest Lie algebra \(\mathfrak{hs}\), with bracket
\[
[Q_{s_1},Q_{s_2}]_0
=
Q_{s_1}\star Q_{s_2}-Q_{s_2}\star Q_{s_1}
\equiv
\mathrm{ad}_{Q_{s_1}}Q_{s_2},
\]
induced by the commutator in the underlying associative higher-spin algebra \(\mathcal A\) [2108.05441].

This undeformed bracket provides the reference point for later constructions. A small parameter
\[
g \simeq \frac1N
\]
controls the breaking of current conservation and simultaneously deforms the charge algebra together with its action on currents [2108.05441]. In this regime, the higher-spin charge bracket ceases to be exhausted by an ordinary Lie commutator.

A closely related but distinct realization appears in Hamiltonian higher-spin gauge theory on Anti de Sitter backgrounds. There one works with the smeared gauge generator
\[
G_s[\xi,\lambda]
=
\int_{\Sigma} d^{\,d-1}x\;\bigl(\xi\,{\mathcal C}_{s-2}+\lambda\,{\mathcal C}_{s-1}\bigr)+Q_s[\xi,\lambda],
\]
where \({\mathcal C}_{s-2}\) and \({\mathcal C}_{s-1}\) are first-class constraints and \(Q_s\) is the boundary term that makes \(G_s\) differentiable [1608.04663]. In that setting the bracket is a Poisson bracket of asymptotic surface charges rather than a commutator inside an associative algebra.

This suggests that the expression “higher-spin charge bracket” is not tied to a single formalism. Rather, it refers to the algebraic law obeyed by higher-spin charges in the relevant phase space or operator algebra, with the precise realization depending on whether one is in a CFT, an AdS canonical description, or a celestial framework.

## 2. \(L_\infty\) deformation and slightly broken higher-spin symmetry

A systematic description of slightly broken higher-spin symmetry is obtained by assembling the parameters \(\xi\in V_{-1}=\mathfrak{hs}\) and the currents \(J\in V_0\) into a graded vector space
\[
V=V_{-1}\oplus V_0,\qquad |\xi|=-1,\quad |J|=0,
\]
equipped with graded-antisymmetric multilinear maps
\[
\ell_n:V^{\otimes n}\to V,\qquad \deg \ell_n=2-n,
\]
satisfying the generalized Jacobi identities [2108.05441]. In this formulation, the higher-spin charge bracket is the binary operation \(\ell_2\), but closure is controlled by the full tower \(\ell_1,\ell_2,\ell_3,\dots\).

For on-shell charges and currents one can work with \(\ell_1=0\), while the non-conservation of currents is encoded in higher products. The binary bracket on two charges is
\[
\ell_2(Q_{s_1},Q_{s_2})
=
[Q_{s_1},Q_{s_2}]_\star
+
g\,\phi_1(Q_{s_1},Q_{s_2})
+
\mathcal O(g^2),
\]
where
\[
\phi_1(a,b)=\tfrac{d}{dg}\bigl(a\,\tilde\star\,b\bigr)\big|_{g=0}
\]
is the first Hochschild cocycle of the one-parameter family of associative products \(\tilde\star\) [2108.05441]. On a charge and a current,
\[
\ell_2(Q,J)=\delta_Q J=Q\star J-J\star Q+g\,\phi_1(Q,J)+\mathcal O(g^2).
\]

The first obstruction to ordinary Jacobi closure is measured by \(\ell_3\). For three charges one finds
\[
\ell_3(Q_1,Q_2,Q_3)
=
\sum_{\text{cycl}(123)} \phi_1\bigl(Q_1,[Q_2,Q_3]_\star\bigr),
\]
and the Jacobiator of \(\ell_2\) is compensated according to
\[
\bigl[\ell_2(Q_1,Q_2),Q_3\bigr]+\text{cycl.}
=
-g\,\ell_3(Q_1,Q_2,Q_3)+\mathcal O(g^2)
\]
[2108.05441]. Higher products \(\ell_4,\ell_5,\dots\) are obtained by antisymmetrizing the higher \(A_\infty\) products \(m_n\).

The same deformation is visible in current non-conservation. When interactions are turned on,
\[
\partial^m J_{m a_2\cdots a_s}(x)
=
g\sum_{s',s''}\alpha_{s,s',s''}\;
\partial_{(a_2}\!\bigl[J_{s'}(x),J_{s''}(x)\bigr]_{a_3\cdots a_s)}
+\mathcal O(g^2),
\]
and this non-conservation forces the appearance of higher \(\ell_n\) when one computes commutators of two deformed transformations on \(J\) and demands closure [2108.05441].

A recurrent misconception is that slightly broken higher-spin symmetry should still be governed by an ordinary Lie algebra with modified structure constants. The \(L_\infty\) description shows more precisely that the deformed binary bracket is only one component of the algebraic structure; the full symmetry data include higher multilinear operations required by generalized Jacobi identities.

## 3. Canonical surface charges and Poisson brackets in AdS

In the canonical Hamiltonian formalism for symmetric massless higher-spin fields on AdS backgrounds, the surface charge is the boundary term in the generator \(G_s[\xi,\lambda]\). Campoleoni, Henneaux, Hörtner, and Léonard give closed expressions
\[
Q_s[\xi,\lambda]=Q_s^{(1)}[\xi]+Q_s^{(2)}[\lambda],
\]
where \(Q_s^{(1)}\) and \(Q_s^{(2)}\) are explicit sphere integrals built from the asymptotic deformation parameters, the canonical momentum \(\Pi\), and the extra canonical variable \(\Phi\) [1608.04663].

Finiteness requires boundary conditions on canonical fields and momenta at large AdS radius \(r\to\infty\). The leading angular components behave as
\[
Q_{a_1\cdots a_s}=r^{\,3-d}\,T_{a_1\cdots a_s}+\mathcal O(r^{2-d}),
\qquad
\Pi^{a_1\cdots a_s}=r^{\,3-d}\,X^{a_1\cdots a_s}+\mathcal O(r^{2-d}),
\]
with faster decay for components carrying radial indices. The leading tensors obey tracelessness and conservation conditions, and the deformation parameters approach traceless conformal Killing tensors of the boundary metric [1608.04663].

Because \(Q_s[\xi]\) generates the gauge transformation through
\[
\delta_\xi \bullet=\{\bullet,Q_s[\xi]\}_{\rm PB},
\]
the charge bracket takes the form
\[
\{Q_s[\xi],Q_t[\eta]\}
=
Q_t[\xi\!\turnstile\!\eta]+K_{s,t}[\xi,\eta],
\]
where \(\xi\!\turnstile\!\eta\) is the composite deformation parameter and \(K\) is a possible central term [1608.04663]. In the strictly linearised Fronsdal theory on AdS one finds that for \(d>3\) the surface terms cancel identically, so \(\{Q_s,Q_t\}=0\), whereas for \(d=3\) an \(r\)-independent remainder survives as the classical central term. Nontrivial brackets among higher-spin charges, and mixing of different spins, only arise once one includes the cubic and higher vertices of the full interacting theory [1608.04663].

The resulting closed form is
\[
\boxed{
\{Q_s[\xi],Q_t[\eta]\}
=
Q_{s+t-2}\bigl[\mathcal F(\xi,\eta)\bigr]
+
\delta_{d,3}\,K_{s,t}[\xi,\eta]
}
\]
with \(\mathcal F(\xi,\eta)\) the higher-spin algebra bracket of two conformal-Killing-tensor parameters [1608.04663].

This sharply separates three regimes. In \(d>3\) at the free level the asymptotic algebra is Abelian. In \(d=3\) the free theory already carries a classical central term. In the interacting theory the same boundary conditions that ensure finiteness also allow the nonlinear gauge-variation terms to produce a closed, non-Abelian charge algebra identified with the bulk higher-spin algebra [1608.04663].

## 4. Three-dimensional asymptotic \(W\) and super-\(W_{(\infty)}\) brackets

In three dimensions the higher-spin charge bracket is particularly explicit in the Chern-Simons formulation. For \((N,M)\)-extended higher-spin AdS\(_3\) supergravity one works with gauge connections valued in
\[
\mathrm{shs}(N|2,\mathbb R)\oplus \mathrm{shs}(M|2,\mathbb R),
\]
imposes highest-weight (Drinfeld-Sokolov) gauge, and identifies the residual gauge parameters preserving the asymptotic form of the connection [1203.5152].

The canonical boundary charge is
\[
S_\infty[\epsilon]
=
\frac{k}{2\pi}\int_0^{2\pi} d\phi\;\mathrm{STr}\bigl(\epsilon(\phi)\,A_\phi(\phi)\bigr)
=
\sum_{s,i}\frac{k}{2\pi}\int d\phi\;\Delta^{(s);i}(\phi)\,\lambda^{(s);i}(\phi),
\]
and Fourier expansion leads to modes
\[
Q^{(s);i}_m
\equiv
\frac{k}{2\pi}\int_0^{2\pi}d\phi\;e^{-im\phi}\,\Delta^{(s);i}(\phi)
\]
[1203.5152]. Their Poisson brackets have the form
\[
\{Q^{(s);i}_m,Q^{(t);j}_n\}_{PB}
=
\sum_{u,k} f^{(s\,t)\,(i\,j)}_{(u\,k)}(m,n)\,Q^{(u);k}_{m+n}
+
\frac{k}{2\pi}\,c^{(s\,t)\,(i\,j)}(m)\,\delta_{m+n,0}.
\]

For the \(N=1\) case, the low-spin sector includes
\[
[\,L_m,L_n\,]
=
(m-n)L_{m+n}
+
\frac{c}{12}m(m^2-1)\delta_{m+n,0},
\]
\[
[\,L_m,Q_r\,]
=
\Bigl(\tfrac m2-r\Bigr)Q_{m+r},
\qquad
\{Q_r,Q_s\}
=
2L_{r+s}
+
\frac{c}{6}\Bigl(r^2-\tfrac14\Bigr)\delta_{r+s,0},
\]
with central charge \(c=6k\) [1203.5152]. For higher-spin integer generators \(W^{(s)}_m\),
\[
[\,L_m,W^{(s)}_n\,]
=
\bigl((s+1)m-n\bigr)W^{(s)}_{m+n},
\]
while the bracket of two higher-spin generators closes nonlinearly on lower-spin composites and central terms [1203.5152].

The bosonic truncation sets all supercharges to zero and recovers the non-linear \(W_{(\infty)}\) algebra. A finite-spin Drinfeld-Sokolov truncation to spins \(\le 2\) retains \(L_m\), \(Q^a_r\), and \(J^{ab}_n\), reproducing the non-linear \(N\)-extended super-Virasoro algebra [1203.5152].

This three-dimensional picture matches the canonical analysis of higher-spin surface charges in AdS\(_3\), where the charge bracket is centrally extended already at the classical level and becomes the classical \(W\)-algebra once interactions are reinstated [1608.04663]. It provides a concrete instance in which higher-spin charge brackets are neither Abelian nor merely linear in the generators.

## 5. Celestial higher-spin brackets, mixed helicity, and shadow closure

At future null infinity \(\mathscr I^+\) in Bondi coordinates \((u,z,\bar z)\), gravity admits higher-spin asymptotic charge aspects \(q_s(u,z)\) and their conjugates \(\bar q_s(u,z)\). Assuming \(\lim_{u\to+\infty}\hat q_s=0\), one defines the asymptotic charge aspect
\[
q_s(z)=\lim_{u\to-\infty}\hat q_s(u,z)
\]
of helicity \(s\), and the smeared charges
\[
Q_s(\tau_s)
=
\frac{8}{\kappa^2}\int_S \tau_s(z)\,q_s(z)\,\sqrt\gamma\,d^2z,
\qquad
\bar Q_s(\bar\tau_s)
=
\frac{8}{\kappa^2}\int_S \bar\tau_s(z)\,\bar q_s(z)\,\sqrt\gamma\,d^2z
\]
[2604.12854].

Up to linear order in the radiative fields, the mixed-helicity Dirac bracket is
\[
\big\{\bar Q_{s_1}(\bar\tau_{s_1}),Q_{s_2}(\tau_{s_2})\big\}^{(1)}
=
\big\{\bar Q^1_{s_1},Q^2_{s_2}\big\}
+
\big\{\bar Q^2_{s_1},Q^1_{s_2}\big\},
\]
and for general spin and arbitrary smearing functions one obtains an open expression that does not close onto any smeared charge \(Q_{s_1+s_2-1}(\dots)\) [2604.12854]. This is the celestial mixed-helicity obstruction.

Closure can be restored by combining two ingredients. First, one restricts one helicity sector to the global wedge modes,
\[
D^{\,s+2}\tau_s=0
\quad\Longrightarrow\quad
\tau_s\in\ker D^{s+2}
\quad
(\text{dimension }2s+1).
\]
Second, one introduces Green functions \(G_n(z;z')\) solving
\[
D_{z'}^n G_n(z;z')=\delta^2(z,z')
\]
and defines anti-derivative maps \(D^{-n}\), \(\bar D^{-n}\) together with the shadow map
\[
S[q_s]
:=
D^{-(s+2)}\,\bar D^{\,s-2}\,q_s
\in V_{(-1,-s)}
\qquad (s\ge 3),
\]
which leads to the shadow charge
\[
S[Q_s](\tilde\tau)
=
\frac8{\kappa^2}\int_S \tilde\tau(z)\,S[q_s](z)
\]
[2604.12854].

With positive-helicity charges wedge-restricted and shadow maps included, the mixed-helicity bracket closes at linear order:
\[
\boxed{
\begin{aligned}
\{\bar Q_{s_1}(\bar\tau_{s_1}),Q_{s_2}(\tau_{s_2})\}^1
&=
\bar Q^1_{\,s_1+s_2-1}\!\bigl(
\bar S\bigl[(s_2+1)\tau_{s_2}\,D\,\bar S^{-1}[\bar\tau_{s_1}]
-(s_1-3)\bar S^{-1}[\bar\tau_{s_1}]\,D\,\tau_{s_2}\bigr]
\bigr).
\end{aligned}
}
\]
In the same-helicity sector one recovers the usual \(w_{1+\infty}\) bracket
\[
\{Q_{s_1}(\tau_1),Q_{s_2}(\tau_2)\}^1
=
Q^1_{s_1+s_2-1}\bigl((s_2+1)\tau_{s_2}D\tau_{s_1}-(s_1+1)\tau_{s_1}D\tau_{s_2}\bigr)
\]
[2604.12854].

The lower-spin subalgebras make the physical content explicit. In gravity, restricting to \(s=0,1\) with additional holomorphicity conditions yields a dual-mass-extended BMS algebra,
\[
\mathfrak{DBMS}
=
\mathfrak{so}(3,1)\ltimes
\bigl(
\text{super-translations}_T
\oplus
\text{dual super-translations}_{\tilde T}
\bigr),
\]
while in Maxwell theory inclusion of magnetic charges produces the electromagnetic central extension
\[
\{Q_e(\epsilon),Q_m(\tilde\epsilon)\}=e^2\oint \epsilon\,d\tilde\epsilon
\]
[2604.12854]. On a compact sphere without punctures the only harmonic \(T,\tilde T\) are constants and dual mass decouples, whereas punctures allow nontrivial dual mass [2604.12854].

## 6. Charge brackets, celestial OPEs, and correlator invariants

The higher-spin charge bracket also has a direct operator-product interpretation. In the celestial framework, dual formulations of tree-level soft theorems imply a correspondence between the charge bracket and the celestial OPE. One defines the higher-spin charge bracket through its action on radiative fields: in gravity, for example,
\[
\{q_s^2(z_1),N_\Delta^\pm(z_2)\}
=
\frac{\kappa^2}{8\,s!}\sum_{n=0}^s
(-1)^{n-s}
(\Delta\pm2)_{s-n}(s)_n(n+1)_{s-n}\,
\delta^2(z_1-z_2)\,\partial_{z_2}^n N^\pm_{\Delta+1-s}(z_2),
\]
and similarly in Yang-Mills [2510.26520]. Equating the energy-basis and celestial formulations gives the dictionary
\[
q_s^1(z)\,O_{\Delta,J}(z')
\;\leftrightarrow\;
\frac1i\{q_s^2(z),O_{\Delta,J}(z')\},
\]
which identifies the charge bracket with the OPE action of soft operators [2510.26520].

In the mixed-helicity sector of celestial OPEs, a double-soft ambiguity appears when two operators are taken conformally soft. The prescription fixed by the charge-bracket correspondence is: “Always take the soft limit of the operator in the first OPE entry before taking the second limit” [2510.26520]. The same framework yields an algorithm for shadow-transformed celestial OPEs: start from the basic bracket action \(\{q_s^2,O\}\), replace operators by shadow kernel integrals where needed, interchange shadow integrals and bracket, use the conformal integral identity when the triple integral appears, and take the conformally soft residue at the end if a second operator is also soft [2510.26520].

In slightly broken higher-spin symmetry, the bracket data determine invariant correlator structures. One seeks functionals
\[
I_n(J)
=
\frac1n\,\mathrm{Tr}_g[J\tilde\star\cdots\tilde\star J]
+
\sum_{k\ge1} g^k\,I_{n,k}(J)
\]
annihilated by all \(\ell_m\). A cohomological classification shows that for each \(n\) there is exactly one nontrivial invariant, with no obstructions, so the space of invariant \(n\)-point structures is one-dimensional [2108.05441]. The generating functional can be written as
\[
W[J]
=
\sum_{n=1}^\infty I_n(J)
=
\mathrm{Tr}_g\!\Bigl[
\log_{\tilde\star}\bigl(\mathbf 1-g^{-1}J\bigr)
\Bigr]_{\mathrm{principal\;part}},
\]
where “principal part” means expansion in \(g\) with only the poles in \(g\) retained [2108.05441].

A central consequence is that each \(I_n(J)\) receives only finitely many corrections in \(g\) in perturbation theory, and there can be no nontrivial functions of cross-ratios multiplying the free-theory conformal structures; the correlator is a fixed linear combination of the free and parity-odd structures with \(g\)-dependent coefficients [2108.05441]. In three-dimensional Chern-Simons vector models, the deformed bracket of two spin-\(s\) charges takes the form
\[
\ell_2(Q_s,Q_{s'})
=
[Q_s,Q_{s'}]_\star
+
\frac1{\tilde N}\cos\theta\,C^{\rm even}_{ss'}{}^{s''}Q_{s''}
+
\frac1{\tilde N}\sin\theta\,C^{\rm odd}_{ss'}{}^{s''}Q_{s''}
+\cdots,
\]
and the unique three-point invariant reproduces
\[
\langle J_{s_1}J_{s_2}J_{s_3}\rangle
=
\cos\theta\,\langle\cdots\rangle_{\rm boson}
+
\sin\theta\,\langle\cdots\rangle_{\rm fermion},
\]
with exactly the combination required by the large-\(N\) 3d bosonization duality [2108.05441].

Taken together, these developments show that higher-spin charge brackets serve both as symmetry algebras and as dynamical organizing principles. In AdS they control asymptotic surface symmetries; in celestial CFT they determine soft-operator OPEs and their shadow transforms; and in slightly broken higher-spin systems they govern the finite, unambiguous set of deformed correlator structures.

Source: https://www.emergentmind.com/topics/higher-spin-charge-bracket