---
title: Celestial Soft Current Algebra Explained
url: https://www.emergentmind.com/topics/celestial-soft-current-algebra
type: topic
---

# Celestial Soft Current Algebra Explained

to=arxiv_search  天天彩票提现_code  天天中彩票充值ლობა json
{"query":"celestial soft current algebra supersymmetry Jacobi identity one loop arXiv", "max_results": 10}
to=arxiv.search  聚利_code  аҵjson
{"query":"celestial soft current algebra", "limit": 10}
Celestial soft current algebra is the algebra defined by the OPE of celestial soft currents, obtained from the collinear limit of scattering amplitudes. In celestial CFT, Mellin-transformed amplitudes are interpreted as correlators of celestial conformal primaries, and conformally soft operators arise at special integer conformal dimensions where the Mellin transform develops poles. Their singular OPEs organize the leading and subleading soft behavior of gauge and gravitational scattering, producing structures that range from level-zero Kac–Moody algebras and Virasoro/BMS generators to \(w_{1+\infty}\)-type wedges and their supersymmetric extensions. The subject is technically subtle: the same collinear data that suggests a current algebra also exposes Jacobi constraints, double residue conditions, branch-cut contributions, non-closure of some subleading generators, and loop-level logarithmic or multi-particle refinements [2407.13558].

## 1. Definition from celestial amplitudes and collinear limits

The standard celestial transform writes an amplitude as a Mellin transform over external energies. For gluons, one representative formula is
\[
\mathcal{M}_n(\{z_i,\bar z_i,h_i,\bar h_i,a_i\}) = \prod_{i=1}^n \int_0^\infty d\omega_i \,\omega_i^{\Delta_i-1}\, \mathcal{S}_n(\{\omega_i,z_i,\bar z_i,\sigma_i,a_i\}),
\]
with \(\Delta_i=h_i+\bar h_i\), and with null momenta parametrized by
\[
p_i^\mu = \epsilon_i \,\omega_i\, \bigl(1+z_i\bar z_i,\ z_i+\bar z_i,\ -i(z_i-\bar z_i),\ 1-z_i\bar z_i\bigr)
\]
[2011.00017]. In this basis, the OPE on the celestial sphere is extracted from holomorphic collinear limits such as \(z_{12}\to 0\), and the resulting pole terms define current-like operator products.

For soft applications, the relevant operators are celestial representatives of positive-helicity soft bosons, such as soft gluons and soft gravitons. A generic tree-level celestial OPE in Yang–Mills takes the form
\[
\mathcal O^{a,+}_{\Delta_1}(z_1,\bar z_1)\mathcal O^{b,+}_{\Delta_2}(z_2,\bar z_2) \sim \frac{-if^{ab}{}_c}{z_{12}} \sum_{m=0}^\infty B(\Delta_1-1+m,\Delta_2-1)\, \frac{\bar z_{12}^m}{m!}\, \partial_{\bar z_2}^m\,\mathcal O^{c,+}_{\Delta_1+\Delta_2-1}(z_2,\bar z_2),
\]
while mixed-helicity OPEs carry the shifted Beta function \(B(\Delta_1-1+m,\Delta_2+1)\) [2407.13558]. Closely related formulas appear in Einstein-Yang-Mills, where same-helicity gauge boson and graviton OPEs are extracted directly from collinear singularities of four-dimensional amplitudes [1912.10973].

Conformally soft operators are residues at special integer dimensions. A standard definition is
\[
R^{(k,1),a}\equiv \lim_{\varepsilon\to 0}\varepsilon\,H^{a}_{k+\varepsilon,+},
\]
and analogous soft-current definitions occur for gravitons and for the infinite tower \(k=1,0,-1,\dots\) or \(k=2,1,0,-1,\dots\), depending on spin [2403.10443; 2108.08799]. This residue construction is the celestial counterpart of extracting Laurent coefficients in the bulk soft-energy expansion.

## 2. Tree-level gauge and gravitational current algebras

For gluons, the leading conformally soft positive-helicity current is
\[
j^a(z,\bar z) = \lim_{\Delta\to 1} (\Delta-1)\, O^{a}_{\Delta,+}(z,\bar z),
\]
and it obeys a level-zero Kac–Moody algebra,
\[
[j_m^a, j_n^b] = - i f^{abc} j_{m+n}^c
\]
[2011.00017]. In the purely holomorphic soft sector one also finds the OPE
\[
j^a(z)\,j^b(w)\sim \frac{f^{abc}\,j^c(w)}{z-w},
\]
together with the soft-hard OPE
\[
j^a(z)\, \mathcal{O}^{b}_{\Delta,+}(w,\bar w)\sim \frac{f^{abc}\,\mathcal{O}^{c}_{\Delta,+}(w,\bar w)}{z-w}
\]
[2005.10666]. These relations support a level-zero affine interpretation of the conformally soft gluon subsector.

The same tree-level data can be organized as differential constraints. For \(n\)-point tree-level MHV celestial gluon amplitudes in pure Yang–Mills, there is a system of \((n-2)\) linear first-order PDEs, one for each positive-helicity gluon. The first two terms are KZ-like, while a third term arises from subleading soft gluon symmetry and has no direct analogue in standard WZW current algebra [2011.00017]. This allows extraction of the leading gluon-gluon OPE and some subleading mixed-helicity coefficients directly from symmetry.

For gravity, the subleading positive-helicity soft graviton theorem becomes a Ward identity for \(\overline{SL(2,\mathbb C)}\) currents on the celestial sphere. The corresponding currents \(J_1,J_0,J_{-1}\) satisfy
\[
[J_m,J_n]=(m-n)J_{m+n},
\]
and the leading positive-helicity soft graviton produces supertranslation currents \(P_0,P_{-1}\) that close with the \(J_a\) into an extended algebra [2008.04330]. In Einstein-Yang-Mills, the celestial stress tensor is identified with the shadow transform of the conformally soft graviton operator of dimension \(\Delta=0\),
\[
T(z)=\mathcal O_{0,-2}^{\text{shadow}}(z,\bar z),
\]
and it acts on celestial primaries through the standard primary-field OPE
\[
T(z)\,\mathcal O_{\Delta,J}(w,\bar w) = \frac{h}{(z-w)^2}\,\mathcal O_{\Delta,J}(w,\bar w) +\frac{1}{z-w}\,\partial_w \mathcal O_{\Delta,J}(w,\bar w) +\text{regular}
\]
[1912.10973].

The soft graviton and soft gluon towers can also be organized into an infinite-dimensional chiral algebra generated by positive-helicity soft currents after summing \(\overline{SL(2,\mathbb R)}\) descendants. In the bosonic graviton sector the commutator takes the form
\[
[\mathcal H^i_n,\mathcal H^j_m]=  - 2 \Big(   m(i-1) -n(j-1) \Big) \mathcal H^{i+j-2}_{n+m},
\]
which is the \(w_{1+\infty}\)-type structure emphasized in supersymmetric Einstein-Yang-Mills and related holographic chiral-algebra constructions [2108.08799].

## 3. Extended symmetry structures: BMS, Sugawara, and \(w_{1+\infty}\)

In celestial Einstein-Yang-Mills, the OPEs of BMS-generating operators are obtained from soft and collinear theorems. The operator
\[
P(z,\bar z)=\sum_{n,m\in\mathbb Z} P_{n-\frac32,m-\frac12}\, z^{-n-2}\bar z^{-m-2}
\]
packages all supertranslations into a single primary conformal field of dimension \((2,2)\), and it acts on a primary through
\[
P(w,\bar w)\,\mathcal O_{h,\bar h}(z,\bar z) = \frac{1}{w-z}\frac{1}{\bar w-\bar z}\, \mathcal O_{h+\frac12,\bar h+\frac12}(z,\bar z) +\text{regular}
\]
[1912.10973]. In this language, supertranslations are realized as a flow of conformal dimensions, while the shadow soft graviton gives the Virasoro stress tensor.

A separate construction identifies conformally soft positive-helicity gluons as holomorphic conserved currents and builds a Sugawara tensor
\[
T^S(z)=\frac{1}{\tilde C_2(G)}\, j^a(z)j^a(z),
\]
which obeys
\[
T^S(z)j^a(w)\sim \frac{j^a(w)}{(z-w)^2}+\frac{\partial_w j^a(w)}{z-w}
\]
[2005.10666]. The same analysis also states that \(T^S\) is insufficient for generic hard states and mixed-helicity sectors, and proposes an alternative Einstein-Yang-Mills or double-copy-like construction that acts correctly on both soft and hard insertions [2005.10666].

The \(w_{1+\infty}\) perspective becomes more explicit once one introduces light-transformed currents
\[
W^{q,s}(z,\bar z)=\Gamma(2q)\,\bar L\!\left[H^{s+2(1-q),s}(z,\bar z)\right],
\]
whose modes satisfy a deformed \(w_{1+\infty}\)-like algebra with structure function
\[
N(q_1,q_2,m_1,m_2,p) = \sum_{x=0}^{p}(-1)^{p-x}\binom{p}{x}\, [\bar m_1+q_1-1]_{p-x}[-\bar m_1+q_1-1]_x [\bar m_2+q_2-1]_x[-\bar m_2+q_2-1]_{p-x}
\]
[2111.11356]. In the minimal theory this reduces to the wedge algebra familiar from positive-helicity graviton and gluon soft currents; with non-minimal couplings it becomes a physically constrained deformation rather than a formal \(W_{1+\infty}\) with a free deformation parameter [2111.11356].

## 4. Consistency: Jacobi identity, double residues, and supersymmetry

A recurrent issue is whether the current algebra suggested by soft OPEs is genuinely associative. The review literature formulates the problem as the equivalence between the Jacobi identity for soft currents and a double residue condition on hard amplitudes or hard celestial correlators. The obstruction arises from three-particle factorization poles in momentum space and from branch cuts after Mellin transform [2407.13558]. In this framework, the naive current algebra is consistent only if the OPE is purely factorizing and the corresponding four-point amplitude has no problematic angle-bracket-weight \(-1\) part [2311.01364].

Supersymmetry imposes a strong simplification. In \({\cal N}=1\) supergravity and in \({\cal N}\ge 1\) global SUSY EFTs around a stable vacuum, the tree-level bosonic celestial OPEs satisfy Jacobi automatically because supersymmetric Ward identities remove the amplitudes that would have generated the anomalous OPE terms. The potentially dangerous three-point amplitudes
\[
A_{++, \bar\phi, \bar\phi}, \qquad A_{++, -, \bar\phi}, \qquad A_{+, \bar\phi, \bar\phi}
\]
vanish in \({\cal N}=1\) supergravity,
\[
0 = A_{++, \bar\phi, \bar\phi} = A_{++, -, \bar\phi} = A_{+, \bar\phi, \bar\phi},
\]
and the analogous \(A_{+,\bar\phi,\bar\phi}\) is absent from the most general renormalizable global SUSY Lagrangian [2311.01364]. Vacuum stability is part of the argument because it excludes scalar cubic couplings of the form that would destabilize the vacuum and generate unwanted three-point amplitudes.

The same theme appears in non-minimal theories, but there the conclusion is different. Deformations of the soft-current algebra by couplings such as \(R^3\), \(F^3\), and scalar interactions lead to a deformed \(w_{1+\infty}\)-type algebra whose Jacobi identity imposes strong constraints on the couplings \(\kappa_{s_1,s_2,-s_I}\) [2111.11356]. In particular, once non-minimal couplings are allowed, the algebra involving only gravitons and gluons is generally not closed, and soft scalar currents are required for closure [2111.11356]. A plausible implication is that the celestial algebra detects consistency conditions on the bulk EFT spectrum and its allowed cubic interactions.

## 5. Loop corrections, logarithmic structures, and hard-current refinements

Loop effects modify the celestial soft current algebra in several distinct ways. In Yang–Mills, one-loop collinear behavior introduces logarithms and derivatives with respect to conformal dimensions, so tree-level conformally soft operators are no longer sufficient. The enlarged set of one-loop soft operators is
\[
R^{(k,1)a}(z,\bar z)=\frac12\lim_{\varepsilon\to 0}\partial_\varepsilon^{2}\big(\varepsilon^3 H^a_{k+\varepsilon,+}(z,\bar z)\big),
\]
\[
R^{(k,2)a}(z,\bar z)=\lim_{\varepsilon\to 0}\partial_\varepsilon\big(\varepsilon^3 H^a_{k+\varepsilon,+}(z,\bar z)\big),
\]
\[
R^{(k,3)a}(z,\bar z)=\lim_{\varepsilon\to 0}\varepsilon^3 H^a_{k+\varepsilon,+}(z,\bar z),
\]
with schematic Laurent expansion
\[
H^a_{k+\varepsilon,+}\sim \frac{R^{(k,3),a}}{\varepsilon^3} +\frac{R^{(k,2),a}}{\varepsilon^2} +\frac{R^{(k,1),a}}{\varepsilon}
\]
[2403.10443]. These operators transform as a logarithmic multiplet, and the paper identifies the one-loop soft currents as forming a rank-2 logarithmic multiplet [2403.10443].

The same work emphasizes a subtle obstruction: at loop level, the OPE of two conformally soft operators is not canonically defined because different orders of taking the soft limits give different answers. Even mixed soft-soft OPEs \(R^{(l,m)}R^{(k,1)}\) show explicit dependence on the regularization path. The proposed interpretation is that one should not expect a naive local OPE for arbitrary pairs of soft currents at one loop; consecutive soft limits are the better-defined operation [2403.10443].

Supersymmetry again simplifies the loop story. In the supersymmetric theories studied in [2311.01364], the loop-corrected OPE
\[
O_{1}^{J_1} O_{2}^{J_2}\sim \frac{C_a}{z_{12}}O_a+\frac{C_b}{z_{12}}O_b+\frac{C_c}{z_{12}^2}O_c+\cdots
\]
has vanishing double-pole coefficient,
\[
C_c=0,
\]
because the potentially dangerous splitting configurations are incompatible with the available SUSY three-point couplings [2311.01364]. This is the one-loop counterpart of the tree-level Jacobi simplification.

Another refinement is the introduction of hard currents. A recent proposal constructs an infinite-dimensional hard current algebra from subleading operators such as \(\bar\partial^{\,2-k} g_k^a\) and \(\bar\partial^{\,3-k} h_k\), with modes
\[
\bar{\partial}^{\,2-k}g^{a}_{k}(z,\bar z) = \sum_{m,n\in\mathbb Z} z^{-m-1}\bar z^{-n-1}\,G^{a}_{m,n;k},
\qquad
\bar{\partial}^{\,3-k}h_k(z,\bar z) = \sum_{m,n\in\mathbb Z} z^{-m-1}\bar z^{-n-1}\,H_{m,n;k},
\]
and with the explicit relations
\[
H_{m,n;k}=(-n)_{3-k}\,h_{m,n;k}, \qquad G_{m,n;k}^{a}=(-n)_{2-k}\,g_{m,n;k}^{a}
\]
[2601.10601]. The paper states that the soft algebra is not independent but is reconstructed from the hard one by repeated commutators with \(\bar L_1\). This suggests a logarithmic pairing of soft and hard sectors rather than a purely infrared algebra [2601.10601].

## 6. Multi-particle extensions, dimensional variants, and open structural issues

Celestial soft current algebra is not exhausted by single-particle OPEs. In \({\cal N}=8\) supergravity, multi-particle OPEs of a single-particle celestial operator with a two-particle operator produce higher-order poles and an extended mode algebra. The analysis yields ninety-five \((\)anti\()\)commutators for the single-particle contributions obtained by contour integrals on these multi-particle OPEs [2607.04611]. The generalized three-particle celestial OPE involves Beta-function coefficients and descendant sums, while the leading single-particle-exchange channel has the schematic form
\[
G^{s_1}_{\Delta_1}(z_1,\bar z_1)\,(G^{s_2}_{\Delta_2}G^{s_3}_{\Delta_3})(z_3,\bar z_3)
= \frac{\bar z_{13}^2}{z_{13}^2} \sum_{m=0}^{\infty}\frac{\bar z_{13}^m}{m!} B(\Delta_1-s_1+2+m,\Delta_2-s_2+1,\Delta_3-s_3+1)\, \bar\partial^m G_{\Delta_1+\Delta_2+\Delta_3}
\]
[2607.04611]. The proposed \((N-1)\)-particle generalization has leading singularity \(\bar z_{1N}^{N-1}/z_{1N}^{N-1}\) and mode coefficients of degree \(N-1\) [2607.04611].

A complementary \({\cal N}=8\) construction describes the single-particle soft-current algebra itself as a supersymmetric \(w_{1+\infty}\)-type wedge with manifest \(SU(8)\) symmetry. It states that the twenty five couplings in this celestial algebra can be written in terms of eight arbitrary couplings via the Jacobi identity [2509.06328]. The algebra includes graviton, gravitinos, graviphotons, graviphotinos, and scalars, and generalizes the classical \(SO({\cal N}=8)\) extended superconformal algebra of Ademollo et al. into a manifest \(SU(8)\) form [2509.06328].

The subject also has variants beyond standard celestial amplitudes. Leaf amplitudes associated with an AdS\(_3\) foliation of flat spacetime realize the same infinite-dimensional soft \(S\)-algebra as celestial MHV amplitudes, despite not being translation invariant [2402.04150]. In a different direction, conformal representation theory in general dimensions shows that the infinite local symmetry enhancement of CCFT\(_2\) is special: in \(d>2\), the directly inherited charges from conformally soft operators are trivial, while non-trivial conserved charges arise from shadow transforms and are finite-dimensional [2302.10222]. This places the standard two-dimensional celestial soft current algebra in a dimension-specific setting.

Several open structural issues are explicit in the literature. Branch-cut terms in celestial OPEs indicate new primary content and prevent a symmetry interpretation while remaining fully compatible with a consistent OPE [2407.13558]. In non-abelian loop-level soft radiation, mixed-helicity OPEs suggested by multiple-emission currents involve coefficients depending on gluon energy fractions, break holomorphic factorization, and break associativity when double limits are taken; strongly-ordered soft limits recover associativity, but suffer from ambiguities already discussed in earlier literature [2512.22104]. A plausible implication is that the full celestial soft current algebra, beyond special sectors, is more general than a conventional local chiral current algebra and may require non-holomorphic, logarithmic, or multi-particle operator structures to encode the complete infrared data.

Source: https://www.emergentmind.com/topics/celestial-soft-current-algebra