REVIEW
On the geometric origin of central charges in gravity
High Energy Physics - Theory · Submitted 27 Oct 2026 · 64 references
Pith's verdict: A careful, honest paper that derives central charges directly from the Lagrangian and passes an external AdS3 check; the general theorems need an added Jacobi hypothesis for the field-dependent bracket, a fixable gap rather than a fatal one.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Within an ambiguity-free covariant phase space, central extensions of the diffeomorphism algebra are fixed directly by the Lagrangian and its anomaly, with no explicit charge-algebra computation, verified against the known asymptotic…
The reading
What carries the argument
The machinery is the Noetherian split inside an ambiguity-free covariant phase space. Anderson's homotopy operators assign a unique pre-symplectic potential $\theta$ to the Lagrangian, so the fundamental canonical relation $-I_\xi\Omega \doteq \delta Q_\xi - F_\xi$ splits cleanly into a Noether charge $Q_\xi$ (a corner integral) and a Noetherian flux $F_\xi$ (the leakage through the boundary). Field-dependent symmetry vectors are handled by the modified bracket $\llbracket\xi,\zeta\rrbracket = [\xi,\zeta]_{\mathrm{Lie}} + \delta_\zeta\xi - \delta_\xi\zeta$, and the mismatch between spacetime and field-space Lie derivatives is encoded in the anomaly operator $\Delta_\xi = \delta_\xi - \mathcal{L}_\xi - I_{\delta\xi}$, with the Lagrangian anomaly $a_\xi$ defined by $\Delta_\xi L = d a_\xi$. The central extension $K_L$ is then assembled from the Lagrangian, the anomaly, and a corner 2-form $c(\xi,\zeta)$ defined by $dc(\xi,\zeta) = \Delta_\xi a_\zeta - \Delta_\zeta a_\xi + a_{\llbracket\xi,\zeta\rrbracket}$; this assembly is what makes the central charge computable without ever forming the charge algebra.
Extended reading notes
Core claim
The central claim is that central charges are not an extra datum to be fitted to the charge algebra; they are intrinsic to the Lagrangian. Concretely, the paper proves that for Noether charges with vanishing Noetherian flux the Poisson bracket reproduces the diffeomorphism algebra up to a central extension, $$\{Q_\xi, Q_\zeta\}_L \doteq -Q_{\llbracket \xi,\zeta\rrbracket} - K_L(\xi,\zeta), \qquad K_L(\xi,\zeta)=\int_S\left(\iota_\xi\iota_\zeta L + \iota_\xi a_\zeta - \iota_\zeta a_\xi + c(\xi,\zeta)\right),$$ where $a_\xi$ is the Lagrangian anomaly and $c(\xi,\zeta)$ is a corner 2-form built from the anomaly. For integrable flux, $F_\xi = \delta P_\xi$, the Hamiltonian charge $H_\xi = Q_\xi - P_\xi$ satisfies the same bracket with central extension $\alpha_L(\xi,\zeta) = K_L(\xi,\zeta) - (\delta_\zeta P_\xi - \delta_\xi P_\zeta - P_{\llbracket\xi,\zeta\rrbracket})$. Both extensions are shown to be field-independent cocycles, and the second is invariant under boundary Lagrangian shifts that preserve integrability, which the paper reads as evidence that the central charge is a property of the covariant phase space, not of a chosen boundary representative.
Load-bearing premise
The load-bearing premise is that the Lagrangian anomaly is an exact boundary term and the Noetherian flux is either zero or a total field-variation; the proof of the cocycle identities also assumes the modified bracket obeys the Jacobi identity, which the paper verifies only for the asymptotic vector fields treated in its AdS3 application.
Editorial extensions
If this is right
- For ordinary Brown–Henneaux boundary conditions, where the Noetherian flux vanishes, the first theorem recovers the Virasoro central extension of the AdS3 asymptotic symmetry algebra from the Lagrangian alone.
- For Penrose–Brown–Henneaux boundary conditions, the second theorem's formula reproduces the known central charge of the enhanced asymptotic symmetry algebra, matching the result previously obtained in the literature.
- The two theorems supply a three-step algorithm: build the unique pre-symplectic potential, compute the Noetherian split, and read the central charge from the explicit expressions, with no charge-algebra bracket needing to be computed.
- Because the integrable-flux central extension is invariant under boundary Lagrangian shifts that preserve integrability, the value of the central charge is pinned down by the equivalence class of the bulk Lagrangian rather than by a choice of boundary representative.
- The construction is stated for any diffeomorphism-invariant theory with field-dependent symmetries and Lagrangian anomalies, so the algorithm is in principle portable to higher dimensions and other gravitational theories.
Reading between the lines
- If the theorems carry over as stated, then in holographic settings the classical central charge should be regarded as fixed by the bulk Lagrangian plus boundary conditions, which would make bulk-boundary anomaly matching derivable without solving either charge algebra; a direct test would be to compute $K_L$ for Einstein gravity with a Chern–Simons term, where the central charge shifts by a known
- The paper leaves the non-integrable case to the Barnich–Troessaert bracket, for which no explicit cocycle is derived; one plausible extension is that any theory whose non-integrable flux admits a $\delta$-exact completion falls under the second theorem, so the open problem is precisely the size of the class of theories where no such completion exists.
- A separate stress point is the Jacobi identity of the modified bracket, verified only for the asymptotic vector fields of the AdS3 application; testing the theorems on a family of field-dependent vector fields where the modified bracket fails Jacobi would show whether the cocycle condition is robust or tied to the examples treated.
Original abstract
Central extensions of asymptotic symmetry algebras are traditionally determined through an explicit computation of the algebra of conserved charges. We show that, within an ambiguity-free covariant phase space formalism based on the Noetherian split, they instead arise as intrinsic quantities completely determined by the Lagrangian through the geometry of the associated covariant phase space. We prove two general Charge Representation Theorems describing the canonical realization of diffeomorphism symmetries in the presence of field-dependent vector fields and Lagrangian anomalies, corresponding respectively to vanishing and integrable Noetherian flux. In both cases, we derive explicit expressions for the associated central extensions and establish the corresponding cocycle identities. This provides a constructive algorithm for determining central charges directly from the Lagrangian formulation of the theory, without requiring an explicit computation of the charge algebra. As a non-trivial application, we consider asymptotically locally AdS$_3$ spacetimes with Penrose--Brown--Henneaux boundary conditions. We recover the corresponding centrally extended asymptotic symmetry algebra, providing an explicit realization of the Charge Representation Theorems.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Central extensions of asymptotic symmetry algebras are traditionally determined through an explicit computation of the algebra of conserved charges. We show that, within an ambiguity-free covariant phase space formalism based on the Noetherian split, they instead arise as intrinsic quantities completely determined by the Lagrangian through the geometry of the associated covariant phase space. We prove two general Charge Representation Theorems describing the canonical realization of diffeomorphism symmetries in the presence of field-dependent vector fields and Lagrangian anomalies, corresponding respectively to vanishing and integrable Noetherian flux. In both cases, we derive explicit expressions for the associated central extensions and establish the corresponding cocycle identities. This provides a constructive algorithm for determining central charges directly from the Lagrangian formulation of the theory, without requiring an explicit computation of the charge algebra. As a non-trivial application, we consider asymptotically locally AdS$_3$ spacetimes with Penrose--Brown--Henneaux boundary conditions. We recover the corresponding centrally extended asymptotic symmetry algebra, providing an explicit realization of the Charge Representation Theorems.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Central extensions of asymptotic symmetry algebras are traditionally determined through an explicit computation of the algebra of conserved charges. | background 1.00 | 0.04 | 0.03 | asserted 1.00 |
| s1 | We show that, within an ambiguity-free covariant phase space formalism based on the Noetherian split, they instead arise as intrinsic quantities completely determined by the Lagrangian through the geometry of the associated covariant phase space. | contribution 0.62 | 0.93 | 0.86 | asserted 1.00 |
| s2 | We prove two general Charge Representation Theorems describing the canonical realization of diffeomorphism symmetries in the presence of field-dependent vector fields and Lagrangian anomalies, corresponding respectively to vanishing and integrable Noetherian flux. | contribution 0.76 | 0.95 | 0.20 | asserted 1.00 |
| s3 | In both cases, we derive explicit expressions for the associated central extensions and establish the corresponding cocycle identities. | result 0.89 | 0.96 | 0.10 | asserted 1.00 |
| s4 | This provides a constructive algorithm for determining central charges directly from the Lagrangian formulation of the theory, without requiring an explicit computation of the charge algebra. | interpretation 0.47 | 0.91 | 0.43 | asserted 1.00 |
| s5 | As a non-trivial application, we consider asymptotically locally AdS$_3$ spacetimes with Penrose--Brown--Henneaux boundary conditions. | contribution 0.75 | 0.70 | 0.03 | asserted 0.85 |
| s6 | We recover the corresponding centrally extended asymptotic symmetry algebra, providing an explicit realization of the Charge Representation Theorems. | result 0.93 | 0.95 | 0.12 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.