Soft Kac–Moody Symmetry in Field Theory

• Soft Kac–Moody symmetry is an infinite-dimensional current algebra defined by soft, long-wavelength modes that appear in gauge theories, spin chains, and compactified models.
• It emerges through affine and loop algebra structures, with realizations that link infrared dynamics to key features like current algebra and Ward identities.
• Applications span celestial gauge theories, low-energy quantum spin chains, and compactified Yang–Mills setups, offering insights into emergent symmetry and non-perturbative effects.

Soft Kac–Moody symmetry denotes an infinite-dimensional current-algebra structure whose generators are soft, long-wavelength, asymptotic, or function-valued modes, depending on the physical and mathematical setting. In four-dimensional gauge theory it appears on the celestial sphere at null infinity, where soft photon or soft gluon insertions are realized as two-dimensional Kac–Moody currents and their Ward identities reproduce soft theorems (Nande et al., 2017, He et al., 2015). In critical quantum spin chains it denotes the emergent affine symmetry of long-wavelength, low-energy modes of conserved currents in the infrared conformal field theory (Wang et al., 2022). In compactified gauge theory and in current algebras on deformed compact manifolds, it refers to loop-algebra or Kac–Moody-like symmetries acting on Kaluza–Klein towers or on fields over a soft group manifold (1212.5365, Campoamor-Stursberg et al., 27 Jan 2025).

1. Algebraic core and scope of the term

At its most standard, a Kac–Moody symmetry is generated by current modes obeying an affine current algebra. In the one-dimensional conformal setting relevant to critical spin chains, the chiral currents satisfy

$$[J^{\alpha}_m, J^{\beta}_n] = i \sum_{\gamma} f^{\alpha\beta\gamma} J^{\gamma}_{m+n} + k\, m\, \delta^{\alpha\beta} \delta_{m+n, 0},$$

with an analogous relation for $\bar J_n^\alpha$ and $[J_m^\alpha,\bar J_n^\beta]=0$ (Wang et al., 2022). In compactified Yang–Mills theory on $M_d\times S^1$, by contrast, the Fourier modes of gauge transformations form the loop algebra

$$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$

with no central extension in the classical analysis (1212.5365).

The expression does not denote a single universal construction. In the literature considered here, “soft” means long-wavelength, low-energy modes in critical spin chains, soft photons or soft gluons and large gauge transformations at null infinity in four-dimensional gauge theory, or a soft deformation of the underlying group manifold in group geometry. Likewise, some realizations have a nontrivial level and central extension, while others are loop algebras without a central term (Wang et al., 2022, Nande et al., 2017, 1212.5365, Campoamor-Stursberg et al., 27 Jan 2025).

Context	“Soft” denotes	Algebraic structure
Celestial gauge theory	Soft photon or gluon modes at null infinity	2D current algebra on the celestial sphere
Critical spin chains	Long-wavelength, low-energy current modes	Affine Kac–Moody algebra in the infrared CFT
Compactified Yang–Mills	Fourier modes along an internal circle	Loop algebra acting on the KK tower
Soft group manifolds	Deformation of group-manifold geometry	Generalized current algebra on $G_c^\mu$

A recurring structural theme is the relation between current algebra and conformal symmetry. In the CFT setting, the total symmetry is Virasoro $\times$ Kac–Moody, with

$[L_m, J_n] = -n\, J_{m+n},$

while in several four-dimensional constructions bilinears in the soft currents generate Virasoro algebras on the null boundary or Sugawara stress tensors on the celestial sphere (Wang et al., 2022, Nande et al., 2017, González et al., 2023).

2. Celestial and asymptotic realizations in four-dimensional gauge theory

In four-dimensional Yang–Mills theory with massless fields, scattering amplitudes may be recast as two-dimensional correlation functions on the asymptotic two-sphere at null infinity, and the soft-gluon theorem becomes the Ward identity of a holomorphic $\mathcal G$-Kac–Moody symmetry. Positive-helicity soft gluon insertions define the holomorphic current, and the basic Ward identity takes the form

$$\langle J^a_z\,O_1\cdots O_n\rangle = \sum_{k=1}^n\frac{1}{z-z_k} \langle O_1\cdots T^a_k O_k\cdots O_n\rangle.$$

At tree level the corresponding current algebra is level zero, and the anti-holomorphic sector is not an independent second Kac–Moody algebra because of the ambiguity in the double-soft limit (He et al., 2015).

For four-dimensional abelian gauge theory, the soft factorization theorem is identified with the factorization of correlators in a two-dimensional CFT with a $\bar J_n^\alpha$0 Kac–Moody current algebra. Soft Wilson lines and soft photons are realized as a complexified current algebra on the celestial sphere, and the current algebra level is fixed by the cusp anomalous dimension:

$\bar J_n^\alpha$1

When magnetic charges are included, the associated complex $\bar J_n^\alpha$2 boson lives on a torus with modular parameter

$\bar J_n^\alpha$3

and the dyonic Wilson–’t Hooft operators are written as

$\bar J_n^\alpha$4

The soft sector itself admits a Sugawara stress tensor,

$\bar J_n^\alpha$5

with central charge $\bar J_n^\alpha$6 (Nande et al., 2017).

These constructions establish the celestial version of soft Kac–Moody symmetry as a direct equivalence between soft-factor universality in four dimensions and current-algebra factorization in two dimensions. In this setting the adjective “soft” refers to infrared photons or gluons and to large gauge transformations acting nontrivially at null infinity.

3. Light-front Hamiltonian formulations and boundary current algebras

A distinct Hamiltonian realization arises when four-dimensional gauge theory is quantized on null slices $\bar J_n^\alpha$7 with $\bar J_n^\alpha$8. In this light-front formulation, the Maxwell theory develops additional primary constraints; although these are second class in the bulk, their $\bar J_n^\alpha$9-independent zero modes are first class and generate a new asymptotic symmetry acting on the boundary fields at null infinity. Besides the usual large gauge generator $[J_m^\alpha,\bar J_n^\beta]=0$0, there is a second generator

$[J_m^\alpha,\bar J_n^\beta]=0$1

with boundary action

$[J_m^\alpha,\bar J_n^\beta]=0$2

The improved charges are

$[J_m^\alpha,\bar J_n^\beta]=0$3

Their mixed Poisson bracket is a nontrivial central term,

$[J_m^\alpha,\bar J_n^\beta]=0$4

After Laurent expansion on the celestial sphere, the current algebra level is

$[J_m^\alpha,\bar J_n^\beta]=0$5

and the modes satisfy

$[J_m^\alpha,\bar J_n^\beta]=0$6

Bilinear combinations of these currents yield several classical Virasoro algebras on the null boundary (González et al., 2023).

The same Hamiltonian mechanism extends to non-Abelian Yang–Mills theory. The asymptotic charge algebra becomes

$[J_m^\alpha,\bar J_n^\beta]=0$7

with

$[J_m^\alpha,\bar J_n^\beta]=0$8

and mode level

$[J_m^\alpha,\bar J_n^\beta]=0$9

Here soft Kac–Moody symmetry is a boundary charge algebra of the soft sector at null infinity, derived canonically rather than from scattering amplitudes.

4. Emergent low-energy symmetry in critical quantum spin chains

In critical quantum spin chains with a microscopic Lie-group symmetry, Kac–Moody symmetry emerges in the low-energy continuum limit. The CFT current density decomposes into independent holomorphic and anti-holomorphic parts,

$M_d\times S^1$0

with an “axial” current

$M_d\times S^1$1

On the lattice, the microscopic charge density $M_d\times S^1$2 is identified with the parity-even combination, while the current $M_d\times S^1$3 is obtained from a lattice continuity equation,

$M_d\times S^1$4

The lattice chiral currents are then defined by

$M_d\times S^1$5

and their discrete Fourier transforms define lattice Kac–Moody generators:

$M_d\times S^1$6

These operators do not obey the exact Kac–Moody algebra at the operator level, but when projected onto the low-energy subspace they act as Kac–Moody generators up to finite-size corrections (Wang et al., 2022).

This construction is tested numerically in the XXZ chain and in the Heisenberg chain with next-to-nearest-neighbor coupling. In the $M_d\times S^1$7 case, the effective level is extracted from

$M_d\times S^1$8

and extrapolation gives $M_d\times S^1$9. In the $$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$0 case, the commutators reproduce the structure constants $$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$1 and again yield $$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$2 in the thermodynamic limit. The low-energy eigenstates organize into Kac–Moody towers built from Kac–Moody primary states and descendants generated by negative current modes. The emergent second copy of the symmetry, generated by

$$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$3

is only approximate at finite size but becomes conserved in the low-energy, large-$$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$4 limit. In this condensed-matter usage, “soft” means long-wavelength, low-energy modes of conserved currents acting on infrared states.

5. Compactification, loop algebras, and Wilson-line backgrounds

In higher-dimensional Yang–Mills theory compactified on $$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$5, the gauge field and gauge parameter are expanded in Fourier modes,

$$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$6

and the $$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$7-th mode of the gauge parameter acts on the $$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$8-th Kaluza–Klein mode by

$$[T_a^{(m)}, T_b^{(n)}] = i f_{ab}{}^{c} T_c^{(m+n)},$$9

$G_c^\mu$0

These transformations close into the loop algebra

$G_c^\mu$1

or equivalently

$G_c^\mu$2

with no central extension (1212.5365).

A vacuum expectation value for the internal component,

$G_c^\mu$3

spontaneously breaks the loop symmetry. The scalar modes $G_c^\mu$4 behave as Goldstone bosons for the broken generators and are eaten by the vector modes $G_c^\mu$5, which acquire masses. For the trivial Wilson line one has the usual Kaluza–Klein spectrum

$G_c^\mu$6

while a nontrivial background shifts the masses schematically to

$G_c^\mu$7

Large gauge transformations around the circle shift the vacuum value of $G_c^\mu$8 and relabel the KK tower, so apparently distinct patterns of symmetry breaking can be gauge equivalent. This compactified realization is structurally close to modern soft Kac–Moody symmetry in that it involves an infinite-dimensional enlargement of the gauge algebra, but here the mode label is the internal-circle Fourier index rather than an angular mode on the celestial sphere.

6. Soft group manifolds and higher-dimensional current algebras

A different use of “soft” arises in the construction of generalized Kac–Moody algebras on soft group manifolds. Starting from a compact Lie group manifold $G_c^\mu$9 with Maurer–Cartan one-form $\times$0, one deforms it to a manifold $\times$1 that is locally diffeomorphic to $\times$2 but equipped with a non-left-invariant intrinsic one-form vielbein $\times$3 obeying

$\times$4

The corresponding soft metric is

$\times$5

The generalized current algebra on a manifold $\times$6 is built from a Lie algebra basis $\times$7 and an orthonormal Hilbert basis $\times$8 of $\times$9:

$[L_m, J_n] = -n\, J_{m+n},$0

Locally this becomes

$[L_m, J_n] = -n\, J_{m+n},$1

The same framework admits semidirect extensions with isometry algebras and central extensions defined by 2-cocycles (Campoamor-Stursberg et al., 3 Oct 2025).

For a soft group manifold $[L_m, J_n] = -n\, J_{m+n},$2, the basis is transported by the measure-changing factor

$[L_m, J_n] = -n\, J_{m+n},$3

so that the generalized Kac–Moody algebra on the soft manifold becomes

$[L_m, J_n] = -n\, J_{m+n},$4

with

$[L_m, J_n] = -n\, J_{m+n},$5

Explicit realizations are worked out for the soft circle, the soft two-sphere, and the soft three-sphere, including squashed manifolds and the Berger three-sphere. For the deformed circle the resulting algebra is trivially isomorphic to its undeformed analogue, while the softening of the two- and three-sphere yields non-trivial results (Campoamor-Stursberg et al., 27 Jan 2025).

This higher-dimensional program generalizes the usual loop-algebra construction on $[L_m, J_n] = -n\, J_{m+n},$6 to compact and non-compact group manifolds, coset spaces, and soft deformations thereof. It also produces Virasoro-like algebras whose generators are indexed by harmonics on $[L_m, J_n] = -n\, J_{m+n},$7 rather than by a single integer mode.

7. Geometric and non-perturbative extensions

Affine Kac–Moody symmetry also admits a global geometric realization through affine Kac–Moody symmetric spaces. These are infinite-dimensional symmetric spaces associated to affine Kac–Moody groups, with the structure of tame Fréchet manifolds. The natural Ad-invariant scalar product on affine Kac–Moody algebras is Lorentzian, and the resulting symmetric spaces fall into four types, divided into compact and noncompact classes related by duality. In this setting the affine current algebra is not merely a boundary symmetry or an emergent infrared algebra; it becomes part of the isometry structure of an infinite-dimensional Lorentzian symmetric space (Freyn, 2011).

A conceptually different non-perturbative usage appears in the proposal that self-dual Yang–Mills and gravitational instantons on $[L_m, J_n] = -n\, J_{m+n},$8 bubbles in space-time foam carry an infinite-dimensional global Kac–Moody symmetry with zero central charges. In complex coordinates on $[L_m, J_n] = -n\, J_{m+n},$9, the self-duality equations are written as

$\mathcal G$0

and an ADHM-type construction leads to a matrix current

$\mathcal G$1

obeying

$\mathcal G$2

The associated charges satisfy

$\mathcal G$3

with no central term, and are interpreted as quantum hair carried by instantonic moduli of the foam configuration (Addazi et al., 2017).

These geometric and non-perturbative constructions broaden the meaning of soft Kac–Moody symmetry beyond the standard infrared and celestial settings. They retain the defining feature of an infinite-dimensional current algebra, but the physical arena shifts from null infinity or low-energy many-body spectra to Lorentzian symmetric spaces and self-dual instanton sectors. The common element is not a single universal mechanism, but a family of realizations in which an infinite set of modes organizes states, charges, or fields through a Kac–Moody or Kac–Moody-like algebra.