REVIEW 2 major objections 4 minor 26 references
Residual zero modes on null boundaries produce quasilocal soft edge charges that form an Abelian algebra without central extension, at infinity and on horizons.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-31 04:07 UTC pith:I5DRSERX
load-bearing objection Clean, checkable extension of the authors’ null Dirac–Bergmann program: residual ker Ω gives integrable Abelian soft edge charges; infinity/horizon unification is real but thin on the horizon side. the 2 major comments →
Soft charges and zero modes at null boundaries
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Residual zero modes of the symplectic matrix of null primary constraints generate improved Regge–Teitelboim generators that reduce on the constraint surface to quasilocal soft edge charges Q[ε]. For the class of theories considered, the charge algebra is Abelian with vanishing central term because the residual parameters lie in the kernel of Ω and the pull-back Ω_IJ vanishes. The same mechanism operates at null infinity and at finite null boundaries such as a black-hole horizon.
What carries the argument
The residual zero-mode map P^α_I that embeds arbitrary boundary functions V^I(φ) into the kernel of the constraint symplectic operator Ω^αβ; once the generators are improved by the surface term Q[ε], the double contraction of the canonical symplectic form on these modes vanishes, yielding {Q[ε₁],Q[ε₂]}_*=0.
Load-bearing premise
Integrability of the surface charge requires that the leading boundary values of the radial coefficients and of the zero-mode radial map be frozen so they do not fluctuate.
What would settle it
Compute the Poisson bracket of two improved residual charges in one of the listed theories after allowing the leading boundary data of k^r or U to vary; a non-vanishing or non-integrable result would falsify the Abelian, centrally-free claim.
If this is right
- Each null patch carries its own copy of the soft charge Q[ε] before matching.
- Matching (antipodal at infinity, geometry-fixed on a horizon) relates the two copies and yields a conservation or flux-balance law.
- The same zero-mode origin unifies soft charges at null infinity with soft charges on black-hole horizons.
- The residual shift symmetries form an infinite-dimensional Abelian algebra intrinsic to any chosen null surface.
Where Pith is reading between the lines
- If the frozen-boundary-data condition can be relaxed while keeping integrability, the construction may produce non-Abelian or centrally extended edge algebras on null surfaces.
- The flux-balance form of charge non-conservation across a horizon supplies a canonical soft-hair contribution that could be compared with horizon soft-hair proposals in three and four dimensions.
- Extending the tables to gravity or to higher-derivative gauge theories would test whether the vanishing of Ω_IJ is universal or theory-dependent.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper adapts the Dirac–Bergmann formalism to null foliations, arguing that residual zero modes of the symplectic matrix Ω_αβ of primary null constraints (second-class at fixed point but with a nontrivial integral-operator kernel) generate residual r-independent shift symmetries intrinsic to the null boundary. After Regge–Teitelboim improvement, these yield quasilocal soft edge charges Q[ε]. For the scalar, Maxwell, Maxwell–Pontryagin and Yang–Mills examples treated in §3 (Tables 1–2), the charge algebra on the reduced phase space is shown to be Abelian and free of central extension, because the residual parameters lie in ker Ω and the double contraction of the symplectic form therefore vanishes (Eqs. 39–40). The same construction is claimed to apply both at null infinity and at finite-distance null boundaries such as a BTZ horizon.
Significance. If correct, the work supplies a uniform canonical origin for soft edge charges that does not rely on residual bulk gauge transformations, and that works equally at ℐ^± and at finite null surfaces. The explicit vanishing of the pullback of the symplectic form onto the residual sector (Eqs. 39–40) is a clean, falsifiable algebraic statement derived under stated local-structure assumptions. The tables of primary constraints, zero-mode operators and boundary data make the claim checkable for the listed theories. The result is incremental relative to the authors’ earlier null-boundary papers, but the unified zero-mode language and the horizon remark are of genuine interest for the soft-charge and horizon-symmetry communities.
major comments (2)
- [§3, Eqs. (31)–(34)] §3, Eqs. (31)–(34) and the paragraph containing (32)–(33): integrability of δQ requires boundary conditions that freeze the leading values of both k^r_αβ and the zero-mode map U^α_I (δk̄=0, δŪ=0). This is load-bearing for the existence of the charge and for the subsequent algebra claim. The manuscript should state more explicitly the physical content of these freezes (which fall-offs or residual gauge fixings they correspond to) and whether they remain compatible with the radiative data that the soft charges are meant to act upon. Without that discussion the domain of validity of Q[ε] is unclear.
- [§3–§4] §3, final paragraphs and §4: the extension to a finite null boundary (BTZ horizon) is asserted but not carried out. No explicit primary constraints, Ω, U or surface term are written for the BTZ geometry. Either a short explicit calculation or a clear statement that the horizon case remains conjectural should be supplied; otherwise the claim that the construction “can arise on any kind of null boundaries” overreaches the concrete results.
minor comments (4)
- [Table 1] Table 1, Maxwell row: the operator L̂ and the factor √r appear with slightly inconsistent placement relative to the 3d measure; a one-line clarification of the density weight would help.
- [§3] Eq. (25) and the surrounding text: the θ-dependent piece of σ_AB is said not to contribute to L̂, but a brief explicit check that the antisymmetric part drops from the Poisson bracket would remove any ambiguity.
- [References] Reference [8] is cited as “Manuscript in preparation” for the Maxwell null-boundary edge observables; if that work contains essential intermediate steps, a short self-contained summary or an arXiv link would improve readability.
- [§1] Fig. 1 is conceptually helpful but its caption and the i±/I± labels are not defined in the text; a sentence linking the figure to the light-front zero mode would help non-specialist readers.
Circularity Check
No derivation-by-construction circularity; mild self-citation of the authors' prior null-boundary method papers supplies the setup, while the Abelian algebra is re-derived independently.
specific steps
-
self citation load bearing
[§1 (purpose); §3 opening; Refs. [6–8]]
"The purpose of this note is to present a simple adaptation of the Dirac–Bergmann construction to null boundaries, thereby generalizing the results of Refs. [6–8]. ... All examples considered so far in Refs. [6–8], for d=2 and d=3, have some common features. ... [8] D. Ðorđević, O. Miskovic, A. Montecinos and T. Vukašinac, “Edge observables in Maxwell theory on null boundaries”. Manuscript in preparation."
The null-foliation Dirac–Bergmann adaptation and the concrete scalar/Maxwell/YM examples are imported from overlapping-author papers [6–8] (one still in preparation). This is methodological self-citation of the framework, not a uniqueness theorem that forces the Abelian algebra; the algebra itself is recomputed here from ω and ker Ω. Mild, non-load-bearing for the central claim.
full rationale
The central claim—that residual zero modes of the null constraint matrix Ω yield improved Regge–Teitelboim generators reducing to quasilocal soft charges Q[ε] with {Q[ε₁],Q[ε₂]}_*=0—is obtained by a short, self-contained calculation (Eqs. 35–40): the double contraction of the canonical symplectic form against the residual vector fields equals ∫ η₁ Ω η₂, which vanishes because the residual parameters are defined to lie in ker Ω. That vanishing is a theorem under the stated assumptions, not a tautology that renames the input as a prediction. Integrability conditions (32)–(33) freeze leading boundary data so that δQ is exact; this is an explicit modeling choice, not a fit or a self-definitional loop. No parameters are fitted to data and then re-predicted. The paper generalizes and re-derives results from the authors' earlier works [6–8], which is ordinary cumulative research; those citations supply examples and the Dirac–Bergmann adaptation but are not load-bearing uniqueness theorems that force the algebra. Score 2 reflects only that mild methodological self-citation, not circular reduction of the main result.
Axiom & Free-Parameter Ledger
axioms (6)
- standard math Dirac–Bergmann constrained Hamiltonian formalism and Regge–Teitelboim surface-term improvement of generators for differentiability.
- domain assumption In a null foliation the relevant primary constraints are second-class at fixed point x and take the form χ_α = π_α + f_α(Ψ) ≈ 0, with Ω a local first-order differential operator on the null surface.
- domain assumption Residual zero modes of Ω are not bulk-arbitrary; they factor through a map P^α_I supported on the angular boundary section (r = const), so parameters depend only on φ^A.
- ad hoc to paper Boundary conditions freeze leading values of k^r_αβ and U^α_I so that δQ is integrable (δk̄ = 0, δŪ = 0).
- domain assumption For Yang–Mills, A_r = O(r^{-2}) so the radial Wilson line Ū → 1 at the asymptotic boundary.
- domain assumption Antipodal (or horizon-endpoint) matching can be imposed to relate future and past null patches and state conservation; within one patch only a flux-balance law holds.
invented entities (2)
-
Residual zero-mode embedding operator P^α_I (local form U^α_I) selecting the r-independent kernel sector of Ω
independent evidence
-
Quasilocal soft edge charge Q[ε] associated with residual null zero modes
independent evidence
read the original abstract
Asymptotic symmetries at null boundaries provide a powerful window into the soft sector of field theories, revealing conserved charges and infinite-dimensional symmetry algebras beyond the standard bulk dynamics. While these structures are usually associated with residual gauge transformations, null boundaries also exhibit a characteristic global zero-mode ambiguity, whose physical consequences are less explored. We discuss how this zero mode modifies the canonical structure of field theories at null boundaries. In particular, we show that it gives rise to a new quasilocal edge observable, with consequences to the charge algebra. It can arise on any kind of null boundaries, both at the null infinity and the finite distance such as a black hole horizon.
Figures
Reference graph
Works this paper leans on
-
[1]
Forms of Relativistic Dynamics,
P. A. M. Dirac, “Forms of Relativistic Dynamics,” Rev. Mod. Phys.21(1949), 392-399
1949
-
[2]
SpontaneousBreakingofChiralSymmetryinaVector-Gluon Model. 2.,
T.MaskawaandH.Nakajima,“SpontaneousBreakingofChiralSymmetryinaVector-Gluon Model. 2.,” Prog. Theor. Phys.54(1975), 860
1975
-
[3]
Light cone dynamics of particles and fields,
T. Heinzl, “Light cone dynamics of particles and fields,” [arXiv:hep-th/9812190 [hep-th]]
-
[4]
Lectures on the Infrared Structure of Gravity and Gauge Theory,
A. Strominger, “Lectures on the Infrared Structure of Gravity and Gauge Theory,” Princeton University Press, 2018, ISBN 978-0-691-17973-5 [arXiv:1703.05448 [hep-th]]
Pith/arXiv arXiv 2018
-
[5]
Firstordergravityonthelightfront,
S.AlexandrovandS.Speziale,“Firstordergravityonthelightfront,”Phys.Rev.D91(2015) no.6, 064043 [arXiv:1412.6057 [gr-qc]]
Pith/arXiv arXiv 2015
-
[6]
Kac-Moody symmetry in the light front of gauge theories,
H. A. González, O. Labrin and O. Miskovic, “Kac-Moody symmetry in the light front of gauge theories,” JHEP06(2023), 165 [arXiv:2304.03211 [hep-th]]
Pith/arXiv arXiv 2023
-
[7]
Asymptotic structure of scalar-Maxwell theory at the null boundary,
H. A. González, O. Labrin and O. Miskovic, “Asymptotic structure of scalar-Maxwell theory at the null boundary,” Phys. Rev. D111(2025) no.2, 025011 [arXiv:2407.13866 [hep-th]]
Pith/arXiv arXiv 2025
-
[8]
Edge observables in Maxwell theory on null boundaries
D. Ðorđević, O. Miskovic, A. Montecinos and T. Vukašinac, “Edge observables in Maxwell theory on null boundaries”. Manuscript in preparation
-
[9]
SelfdualFieldsasChargeDensitySolitons,
R.FloreaniniandR.Jackiw,“SelfdualFieldsasChargeDensitySolitons,”Phys.Rev.Lett.59 (1987), 1873
1987
-
[10]
Canonical Quantization of Chiral Bosons,
P. Salomonson, B. S. Skagerstam and A. Stern, “Canonical Quantization of Chiral Bosons,” Phys. Rev. Lett.62(1989), 1817
1989
-
[11]
Chiral symmetries of the WZNW model by Hamiltonian methods,
B. Sazdovic, “Chiral symmetries of the WZNW model by Hamiltonian methods,” Phys. Lett. B352(1995), 64-68 [arXiv:hep-th/9503147 [hep-th]]
Pith/arXiv arXiv 1995
-
[12]
Canonical approach to 2-D supersymmetric WZNW model coupled to supergravity,
O. Miskovic and B. Sazdovic, “Canonical approach to 2-D supersymmetric WZNW model coupled to supergravity,” Mod. Phys. Lett. A17(2002), 1923-1936 [arXiv:hep-th/0111162 [hep-th]]
Pith/arXiv arXiv 2002
-
[13]
Canonical formalism on a null surface: the scalar and the electromagnetic fields,
R. Nagarajan and J. N. Goldberg, “Canonical formalism on a null surface: the scalar and the electromagnetic fields,” Phys. Rev. D31(1985), 1354-1362. 11 Soft charges and zero modes at null boundariesOlivera Miskovic
1985
-
[14]
SelfdualMaxwellfieldonanullcone,
J.N.Goldberg,“SelfdualMaxwellfieldonanullcone,”Gen.Rel.Grav.23(1991),1403-1413
1991
-
[15]
Residual gauge symmetry in light-cone electromagnetism,
S. Majumdar, “Residual gauge symmetry in light-cone electromagnetism,” JHEP02(2023), 215 [arXiv:2212.10637 [hep-th]]
Pith/arXiv arXiv 2023
-
[16]
Role of Surface Integrals in the Hamiltonian Formulation of General Relativity,
T. Regge and C. Teitelboim, “Role of Surface Integrals in the Hamiltonian Formulation of General Relativity,” Annals Phys.88(1974), 286
1974
-
[17]
Problems of Quantization in the Infinite Momentum Frame,
P. J. Steinhardt, “Problems of Quantization in the Infinite Momentum Frame,” Annals Phys. 128(1980), 425
1980
-
[18]
Asymptotic Symmetries of Yang-Mills Theory,
A. Strominger, “Asymptotic Symmetries of Yang-Mills Theory,” JHEP07(2014), 151 [arXiv:1308.0589 [hep-th]]
Pith/arXiv arXiv 2014
-
[19]
2D Kac-Moody Symmetry of 4D Yang-Mills Theory,
T. He, P. Mitra and A. Strominger, “2D Kac-Moody Symmetry of 4D Yang-Mills Theory,” JHEP10(2016), 137 [arXiv:1503.02663 [hep-th]]
Pith/arXiv arXiv 2016
-
[20]
The Black hole in three-dimensional space-time,
M. Banados, C. Teitelboim and J. Zanelli, “The Black hole in three-dimensional space-time,” Phys. Rev. Lett.69(1992), 1849-1851 [arXiv:hep-th/9204099 [hep-th]]
Pith/arXiv arXiv 1992
-
[21]
The (2+1)-Dimensional black hole,
S. Carlip, “The (2+1)-Dimensional black hole,” Class. Quant. Grav.12(1995), 2853-2880 [arXiv:gr-qc/9506079 [gr-qc]]
Pith/arXiv arXiv 1995
-
[22]
ExtendedSymmetriesattheBlackHole Horizon,
L.Donnay,G.Giribet,H.A.GonzálezandM.Pino,“ExtendedSymmetriesattheBlackHole Horizon,” JHEP09(2016), 100 [arXiv:1607.05703 [hep-th]]
Pith/arXiv arXiv 2016
-
[23]
D. Kapec, M. Pate and A. Strominger, “New Symmetries of QED,” Adv. Theor. Math. Phys. 21(2017), 1769-1785 [arXiv:1506.02906 [hep-th]]
Pith/arXiv arXiv 2017
-
[24]
Asymptotic symmetries of QED and Weinberg’s soft photon theorem,
M. Campiglia and A. Laddha, “Asymptotic symmetries of QED and Weinberg’s soft photon theorem,” JHEP07(2015), 115 [arXiv:1505.05346 [hep-th]]
Pith/arXiv arXiv 2015
-
[25]
Can scalars have asymptotic symmetries?,
M. Campiglia, L. Coito and S. Mizera, “Can scalars have asymptotic symmetries?,” Phys. Rev. D97(2018) no.4, 046002 [arXiv:1703.07885 [hep-th]]
Pith/arXiv arXiv 2018
-
[26]
Scalar Asymptotic Charges and Dual Large Gauge Transformations,
M. Campiglia, L. Freidel, F. Hopfmueller and R. M. Soni, “Scalar Asymptotic Charges and Dual Large Gauge Transformations,” JHEP04(2019), 003 [arXiv:1810.04213 [hep-th]]. 12
Pith/arXiv arXiv 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.