Recognition: unknown
Charges of supergravity
Pith reviewed 2026-05-10 16:21 UTC · model grok-4.3
The pith
In N=1 supergravity as constrained BF theory, boundary charges reproduce the expected superalgebra while translational charges vanish on-shell.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The algebra of boundary charges reproduces the expected superalgebra, while translational charges vanish on-shell due to the super-torsion constraint, leaving Lorentz and supersymmetry as the non-trivial generators.
What carries the argument
Covariant phase space formalism applied to the constrained BF formulation based on OSp(1|4), which yields the symplectic structure and the explicit charges.
If this is right
- The boundary charges generate the expected transformations without obstruction from the BF constraints.
- Only Lorentz and supersymmetry charges contribute to the physical symmetry algebra at the boundary.
- Diffeomorphism charges are present but do not alter the closure of the superalgebra sector.
- The vanishing of translational charges follows directly from imposing the super-torsion constraint.
Where Pith is reading between the lines
- The same constrained-BF plus covariant-phase-space method could be applied to extended supergravities to check whether their charge algebras behave similarly.
- Vanishing translations may indicate that this formulation treats spacetime translations as dependent rather than independent symmetries.
- The charges could be evaluated on explicit solutions such as supersymmetric black holes to extract concrete conserved quantities.
Load-bearing premise
The constrained BF formulation based on OSp(1|4) correctly captures N=1 supergravity and admits the covariant phase space construction without extra boundary terms that would spoil the charge algebra.
What would settle it
Explicit evaluation of the Poisson brackets among the constructed boundary charges that fails to close into the super-Poincaré algebra or shows nonzero translational charges on-shell.
read the original abstract
We study conserved charges of $\mathcal{N}=1$ supergravity formulated as a constrained BF theory based on the $\OSp(1|4)$ superalgebra. Using the covariant phase space formalism, we derive bulk and boundary contributions to the symplectic structure and construct charges associated with Lorentz transformations, supersymmetry, translations, and diffeomorphisms. We show that the algebra of boundary charges reproduces the expected superalgebra, while translational charges vanish on-shell due to the super-torsion constraint, leaving Lorentz and supersymmetry as the non-trivial generators.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript formulates N=1 supergravity as a constrained BF theory based on the OSp(1|4) superalgebra. Using the covariant phase space formalism, the authors derive the bulk and boundary contributions to the symplectic structure and construct charges associated with Lorentz transformations, supersymmetry, translations, and diffeomorphisms. They show that the algebra of boundary charges reproduces the expected superalgebra, while translational charges vanish on-shell due to the super-torsion constraint, leaving only Lorentz and supersymmetry generators as non-trivial.
Significance. If the central derivations hold, the work provides a clear and explicit demonstration that the superalgebra emerges directly from the boundary charge algebra in this formulation, with the on-shell vanishing of translational charges following from the super-torsion constraint. This strengthens the applicability of covariant phase space methods to supergravity and may aid studies of asymptotic symmetries. The result is internally consistent with standard expectations once the equivalence of the constrained BF theory to N=1 supergravity is granted; no machine-checked proofs or reproducible code are present, but the derivation appears parameter-free and follows from the algebra structure.
minor comments (3)
- [Abstract] The abstract states the main results clearly, but the manuscript would benefit from an explicit statement of the precise superalgebra reproduced (e.g., the specific commutation relations obtained for the boundary charges) to facilitate immediate comparison with the standard N=1 super-Poincaré algebra.
- Clarify in the text whether any additional boundary terms arise in the symplectic structure when imposing the super-torsion constraint, and confirm that they do not modify the charge algebra closure.
- Ensure that the on-shell conditions used to show vanishing of translational charges are stated with reference to the specific equations of motion or constraints in the BF formulation.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our work and for recommending minor revision. The report contains no specific major comments or requested changes, only a descriptive summary of the manuscript and an overall evaluation of internal consistency. We have therefore prepared no point-by-point revisions beyond a routine proofreading pass.
Circularity Check
No significant circularity; derivation applies standard formalism to assumed equivalence
full rationale
The paper applies the covariant phase space formalism to a constrained BF formulation of N=1 supergravity based on OSp(1|4). The central result—that boundary charges reproduce the expected superalgebra and translational charges vanish on-shell via the super-torsion constraint—follows directly once the formulation's equivalence to supergravity and the constraint implementation are granted as inputs. No step reduces a derived quantity to a fitted parameter, self-referential definition, or load-bearing self-citation chain by construction. The derivation remains independent of the target algebra itself and relies on external standard methods without smuggling ansatze or renaming known results internally.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The covariant phase space formalism yields well-defined bulk and boundary symplectic structures for this constrained BF theory
- domain assumption The super-torsion constraint is imposed consistently with the OSp(1|4) algebra
Reference graph
Works this paper leans on
-
[1]
Unified Geometric Theory Of Gravity And Supergravity,
S. W. MacDowell and F. Mansouri, “Unified Geometric Theory Of Gravity And Supergravity,”Phys. Rev. Lett.38(1977) 739
1977
-
[2]
On the separation of Einsteinian substructures,
J. F. Plebanski, “On the separation of Einsteinian substructures,”J. Math. Phys.18(1977) 2511–2520
1977
-
[3]
General relativity with a topological phase: An Action principle,
L. Smolin and A. Starodubtsev, “General relativity with a topological phase: An Action principle,”arXiv:hep-th/0311163 [hep-th]
work page internal anchor Pith review arXiv
-
[4]
Quantum gravity in terms of topological observables,
L. Freidel and A. Starodubtsev, “Quantum gravity in terms of topological observables,” arXiv:hep-th/0501191
work page internal anchor Pith review arXiv
-
[5]
Barbero’s Hamiltonian derived from a generalized Hilbert-Palatini action,
S. Holst, “Barbero’s Hamiltonian derived from a generalized Hilbert-Palatini action,”Phys. Rev. D53(1996) 5966–5969,arXiv:gr-qc/9511026 [gr-qc]
-
[6]
Gravity as a constrained BF theory: Noether charges and Immirzi parameter,
R. Durka and J. Kowalski-Glikman, “Gravity as a constrained BF theory: Noether charges and Immirzi parameter,”Phys. Rev. D83(2011) 124011,arXiv:1103.2971 [gr-qc]
-
[7]
Supergravity as a constrained BF theory,
R. Durka, J. Kowalski-Glikman, and M. Szczachor, “Supergravity as a constrained BF theory,”Phys. Rev. D81(2010) 045022,arXiv:0912.1095 [hep-th]
-
[8]
K. Eder and H. Sahlmann, “Holst-MacDowell-Mansouri action for (extended) supergravity with boundaries and super Chern-Simons theory,”JHEP07(2021) 071,arXiv:2104.02011 [gr-qc]. – 25 –
-
[9]
Local subsystems in gauge theory and gravity
W. Donnelly and L. Freidel, “Local subsystems in gauge theory and gravity,”JHEP09 (2016) 102,arXiv:1601.04744 [hep-th]
work page Pith review arXiv 2016
-
[10]
L. Freidel, M. Geiller, and D. Pranzetti, “Edge modes of gravity. Part I. Corner potentials and charges,”JHEP11(2020) 026,arXiv:2006.12527 [hep-th]
-
[11]
L. Freidel, M. Geiller, and D. Pranzetti, “Edge modes of gravity. Part II. Corner metric and Lorentz charges,”JHEP11(2020) 027,arXiv:2007.03563 [hep-th]
-
[12]
L. Freidel, M. Geiller, and D. Pranzetti, “Edge modes of gravity. Part III. Corner simplicity constraints,”JHEP01(2021) 100,arXiv:2007.12635 [hep-th]
-
[13]
Ciambelli,From Asymptotic Symmetries to the Corner Proposal,PoS Modave2022(2023) 002 [2212.13644]
L. Ciambelli, “From Asymptotic Symmetries to the Corner Proposal,”PoSModave2022 (2023) 002,arXiv:2212.13644 [hep-th]
-
[14]
On the covariant formulation of gauge theories with boundaries,
M. Assanioussi, J. Kowalski-Glikman, I. Mäkinen, and L. Varrin, “On the covariant formulation of gauge theories with boundaries,”Class. Quant. Grav.41(2024) no. 11, 115007,arXiv:2312.01918 [hep-th]
-
[15]
Speziale,GGI lectures on boundary and asymptotic symmetries, 2512.16810
S. Speziale, “GGI lectures on boundary and asymptotic symmetries,”arXiv:2512.16810 [hep-th]
-
[16]
Corners of gravity: the case of gravity as a constrained BF theory,
R. Durka and J. Kowalski-Glikman, “Corners of gravity: the case of gravity as a constrained BF theory,”JHEP07(2021) 181,arXiv:2105.12223 [gr-qc]
-
[17]
Supergravity,
P. Van Nieuwenhuizen, “Supergravity,”Phys. Rept.68(1981) 189–398
1981
-
[18]
Cosmological Constant In Supergravity,
P. K. Townsend, “Cosmological Constant In Supergravity,”Phys. Rev. D15(1977) 2802
1977
-
[19]
Deformed BF theory as a theory of gravity and supergravity,
R. Durka, “Deformed BF theory as a theory of gravity and supergravity,”arXiv:1208.5185 [gr-qc]
-
[20]
N=1 and N=2 pure supergravities on a manifold with boundary,
L. Andrianopoli and R. D’Auria, “N=1 and N=2 pure supergravities on a manifold with boundary,”JHEP08(2014) 012,arXiv:1405.2010 [hep-th]
-
[21]
Real Ashtekar variables for Lorentzian signature space times,
J. F. Barbero G., “Real Ashtekar variables for Lorentzian signature space times,”Phys. Rev. D51(1995) 5507–5510,arXiv:gr-qc/9410014 [gr-qc]
-
[22]
Covariant phase space with boundaries,
D. Harlow and J. Q. Wu, “Covariant phase space with boundaries,”JHEP10(2020) 146, arXiv:1906.08616 [hep-th]
-
[23]
L. Ciambelli, R. G. Leigh, and P.-C. Pai, “Embeddings and Integrable Charges for Extended Corner Symmetry,”Phys. Rev. Lett.128(2022) ,arXiv:2111.13181 [hep-th]
-
[24]
L. Ciambelli and R. G. Leigh, “Universal corner symmetry and the orbit method for gravity,” Nucl. Phys. B986(2023) 116053,arXiv:2207.06441 [hep-th]
-
[25]
Representations of supersymmetry in Anti-de Sitter space,
H. Nicolai, “Representations of supersymmetry in Anti-de Sitter space,”. CERN-TH-3882. – 26 –
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.