REVIEW 2 major objections 4 minor 30 references
Edge modes of tetrad gravity: Unlike diffeomorphisms, all shifts are integrable
T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Improved internal shifts make every edge mode of 4D tetrad gravity integrable, with a curvature-deformed corner charge algebra.
desk verdict A promising but thinly-proved result: the improved tetrad shifts are a real step for corner charges, but the existence of L[phi] is asserted, not shown, so the main theorem needs a referee to pin it down. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the improved shift vector field and its charge. The map $L[\phi]$ sends an internal vector $\phi$ to an $so(1,3)$-valued function of the fields, defined implicitly by $L[\phi]_\beta e=p'(\omega_\beta\phi)$; the projection $p'$ removes the six-dimensional cokernel of $X\mapsto X\wedge e$, matching the degeneracy of the covariant phase space that is fixed by the structural constraint $p'(d_\omega e)=d_\omega e$. This map repairs the non-integrability of the naive shifts by turning an unmatched boundary variation into a Lorentz rotation. The charge $P_\phi$ then carries the argument: its bulk piece is a combination of the Einstein and Gauss constraints, and its corner piece is the Brown-York momentum, so the transformation is a genuine gauge symmetry with well-defined corner charges.
What would settle it
Compute the defining equation $L[\phi]\wedge e=p'(\omega\wedge\phi)$ on an explicit slice whose connection has a non-Levi-Civita symmetric part; if no solution exists, or if the charge $P_\phi$ fails to satisfy $\delta P_\phi+\iota_{Y_\phi}\Omega=0$ for that configuration, the central claim fails. A more direct check is to evaluate the shift-shift Poisson bracket in a discretised version of the theory and look for the corner term $\oint \mathrm{Tr}[\omega\wedge d(\phi\wedge\tilde\phi)_\beta-(\phi\wedge\tilde\phi)_\beta F_\omega]$; its absence would contradict the predicted deformation of the Poincare corner algebra.
Extended reading notes
Core claim
On the covariant phase space of Einstein-Cartan tetrad gravity in four dimensions, the author constructs improved internal shifts $Y_\phi[e]=d_\omega\phi - L[\phi]\cdot e$ and $Y_\phi[\omega]\wedge e = d_\omega(L[\phi]\wedge e)-F_\omega\wedge\phi$ for field-independent parameters $\phi$, where $L[\phi]$ is a field-dependent Lorentz transformation fixed by $L[\phi]_\beta\, e = p'(\omega_\beta\phi)$. These transformations are integrable: they are generated by the charge $P_\phi = -\int_\Sigma \mathrm{Tr}[(\phi\wedge e)_\beta\wedge F_\omega + \tfrac12 d_\omega e^2_\beta\, L[\phi]] - \oint_{\partial\Sigma} p_I\phi^I$, whose bulk part is a combination of the Einstein and Gauss constraints and whose corner part is the Brown-York momentum. The on-shell corner charge algebra is $\{J_\alpha,J_\beta\}=J_{-[\alpha,\beta]}$, $\{J_\alpha,P_\phi\}=P_{\alpha\cdot\phi}+\oint \mathrm{Tr}[(\phi\wedge e)_\beta\wedge d\alpha]$, and $\{P_\phi,P_{\tilde\phi}\}\approx J_{[L[\phi],L[\tilde\phi]]}+\oint \mathrm{Tr}[\omega\wedge d(\phi\wedge\tilde\phi)_\beta-(\phi\wedge\tilde\phi)_\beta F_\omega]$, a deformation of $ISO(1,3)^S$ whose new term vanishes only for reducible connections. The author argues this implies corner Poisson noncommutativity of the spin connection $\omega$, and shows the same algebra appears more simply in an extended BF theory, where the shift generators obey the Maxwell-algebra bracket $\{T_\phi,T_{\tilde\phi}\}=R_{(\phi\wedge\tilde\phi)_\beta}$.
Load-bearing premise
The construction relies on the reduced phase-space description in which the structural constraint $p'(d_\omega e)=d_\omega e$ fixes the six redundant components of the connection; if that reduction is not appropriate for a given boundary or matter content, the field-dependent Lorentz map $L[\phi]$ that makes the shifts integrable may fail to exist, and the appendix proving existence does not fix its numerical prefactors.
Editorial extensions
If this is right
- Regions of 4D tetrad gravity with corners now carry an integrable, complete set of internal gauge charges, unlike diffeomorphisms that move the corner.
- The corner charge algebra is fully determined: Lorentz charges, mixed Lorentz-shift brackets, and shift-shift brackets with the curvature extension term $\oint \mathrm{Tr}[\omega\wedge d(\phi\wedge\tilde\phi)_\beta-(\phi\wedge\tilde\phi)_\beta F_\omega]$.
- The spin connection becomes a noncommuting variable on corners, with expected bracket $\{Q^I_\phi(x),Q^J_\psi(y)\}=\tfrac12\epsilon_{ab}\delta(x,y)[L[\phi],L[\psi]]^{IJ}_\beta(x)$.
- The same shift algebra arises from an extended BF theory, where the shift-shift bracket is the Maxwell-algebra relation $\{T_\phi,T_{\tilde\phi}\}=R_{(\phi\wedge\tilde\phi)_\beta}$, giving a less intricate computational setting for the gravity result.
- Asymptotic charge constructions based on these shifts avoid the integrability ambiguities that plague diffeomorphism charges at infinity.
Reading between the lines
- A concrete stress test would be to quantise a small region of tetrad gravity with the improved shifts and check whether the predicted corner bracket of the connection reproduces the known noncommutativity of the tetrad; a mismatch would show the improved shifts are not the right complete set.
- The Maxwell-algebra form of the extended BF bracket suggests the map $\phi\mapsto L[\phi]$ may carry a crossed-module or 2-group structure; verifying the relevant action identity would give the deformed corner algebra an interpretation independent of the intricate phase-space calculation.
- The expected corner noncommutativity of $\omega$ implies that lattice or spin-foam models of quantum gravity should include connection degrees of freedom on cell boundaries, not just edge vectors; this is testable by constructing the discrete analogue of $P_\phi$ and evaluating its brackets.
- The choice of internal normal in the structural constraint may drop out of all on-shell corner charges; if so, the improved shifts would be universal rather than a gauge-fixing artefact.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to define improved internal tetrad shifts in 4D Einstein-Cartan gravity that are integrable in the presence of corners, in contrast to the non-integrable 'naive' shifts of the author's earlier work. The construction depends on a field-dependent Lorentz element L[φ] satisfying L[φ]^IJ_β e_J = p'(ω^IJ_β φ_J) (Eq. (7)); with this, the improved shifts (Eq. (6)) are claimed to be generated by the charge P_φ (Eq. (8)). The author derives an on-shell corner charge algebra (Eq. (18)) that is a deformation of ISO(1,3)^S with curvature-dependent corner terms, and argues that this implies corner noncommutativity of the spin connection. A partial embedding into an extended BF theory is presented in Section 4 and Appendix G.
Significance. If the existence of L[φ] is established and the integrability calculation holds, the paper would provide a complete integrable set of edge modes for 4D tetrad gravity, which is a substantial advance over the usual non-integrable diffeomorphism charges. The explicit Poisson-bracket computations in Appendices E and F, the off-shell result in Eq. (120), and the extended BF embedding are nontrivial and useful. The author is also transparent about several open points, such as the unclear geometric meaning of L[φ]. However, the advertised conclusion of corner noncommutativity of ω currently goes beyond what is rigorously derived.
major comments (2)
- [Appendix D, Eq. (64)] The existence proof for L[φ] is incomplete. Appendix D establishes at most uniqueness: the text after Eq. (68) states that 'if there is a solution L[φ], then it is unique', and the displayed solution is written with '∝' because the calculation 'does not pay close attention to the numerical prefactors'. Existence is then delegated to the projection p' imported from Cattaneo-Schiavina, with the assertion that the 6-dimensional cokernel of Eq. (64) is removed by p'. The explicit projector is not given, and no proof is supplied that p'(ω^IJ_β φ_J) lies in the image of the map L ↦ L∧e. This is load-bearing: Eq. (7) is used throughout the integrability calculation in Appendix E (e.g., in rewriting e^I ∧ (ω_β)^J_K φ^K ∧ δω^I_J in Eqs. (70)-(72)) and in the charge algebra. A wrong numerical prefactor or a residual cokernel component would change Y_φ[ω] and P_φ, so the claimed integrability would not follow. The author should either complete the existence proof with an explicit projector and correct prefactors, or state the existence of L[φ] as an assumption.
- [Section 3, Eq. (20)] The claimed corner noncommutativity of ω is not derived. Equation (20) is introduced with 'should satisfy' and is justified only by a qualitative matching of powers of e and ω. No derivation from the on-shell bracket (18) or (119) is given, and the Poisson structure of ω on the corner is not defined. Therefore the abstract's statement that these results 'imply corner noncommutativity of the spin connection' overstates what is established; at present this is an interpretation, not a theorem.
minor comments (4)
- [Abstract] The phrase 'a better way understand the dynamics' is missing 'to'; it should read 'a better way to understand the dynamics'.
- [Section 3, Eq. (20)] The notation ϵ_ab and the subscripts a,b in Q^I_{φ,a} are not defined; please specify the index conventions for the spatial slice and for the smearing functions.
- [Section 2, Eq. (17)] The on-shell equivalence L_ξ ≈ Y_{φ_ξ} + X_{α_ξ} is stated without proof or reference to the explicit field-dependent parameters; a short derivation or a pointer to the relevant equations would improve readability.
- [Appendix D, Eqs. (66) and (68)] Since the prefactors are essential for the relation (7), the '∝' in these equations should be replaced by explicit expressions in the final version, or the existence claim should be explicitly qualified.
Circularity Check
No significant circularity: the improved shifts and their charge algebra are obtained by explicit Poisson-bracket calculation, with only a contextual self-citation; the appendix-D existence gap is a correctness risk, not a circularity.
full rationale
The central claim is not circular. The improved shifts are defined in eq. (6) through a field-dependent Lorentz element L[phi] fixed by the linear equation (7), and the charge P_phi is given independently in eq. (8) (equivalently eq. (10), which contains no L). Appendix E then verifies by direct variation that i_{Y_phi} Omega + delta P_phi = 0; this is a substantive computation, not a tautology, because P_phi and Y_phi are not defined in terms of each other. The shift-shift bracket (120) and its on-shell corner reduction (18) are likewise obtained by explicit Poisson-bracket manipulations in appendix F that use the defining relation (7) as an identity, not as an assumed answer. The paper does cite the author's prequel [1] for the naive shifts and phase-space conventions, but the improved-shift construction and the integrability proof are self-contained in this manuscript, and the phase-space reduction is attributed to the independent work of Cattaneo and Schiavina [2], not to the author. The only flagged weakness is appendix D: the text says it 'does not pay close attention to the numerical prefactors' and 'establishes injectivity, so that if there is a solution L[phi], then it is unique', leaving existence to the projection p' borrowed from [2]. That is an unproven mathematical step and a possible correctness risk, but it is not circular: no equation is being equated to itself by definition, and no fitted parameter is being renamed as a prediction. Under the stated rules, this warrants a low score rather than a circularity finding.
Assumptions & free parameters
assumptions (4)
- domain assumption The phase space of Einstein-Cartan-Holst gravity on a slice is the reduced pre-phase space with the structural constraint p′(d_ω e) = d_ω e from Cattaneo-Schiavina.
- domain assumption The symplectic form on the phase space is Ω = ½ ∫_Σ Tr[δe²_β ∧ δω] = ∫_Σ δe^I ∧ δp_I.
- domain assumption The map L[ϕ] solving L[ϕ]_β e = p′(ω_β ϕ) exists uniquely after imposing the structural constraint.
- domain assumption The on-shell charge algebra is computed by imposing the bulk constraints and treating the resulting Dirac bracket as the corner charge bracket.
invented entities (2)
-
Field-dependent Lorentz element L[ϕ]
-
Auxiliary fields λ and π in the extended BF theory
Cite this review
Pith. "Pith review of Edge modes of tetrad gravity: Unlike diffeomorphisms, all shifts are integrable." pith.science (2026). https://pith.science/paper/VNTYCS53
@misc{pith2026250516026,
author = {Pith},
title = {Pith review of: Edge modes of tetrad gravity: Unlike diffeomorphisms, all shifts are integrable},
year = {2026},
howpublished = {\url{https://pith.science/paper/VNTYCS53}},
note = {Machine review of arXiv:2505.16026}
}
abstract
We present an improved notion of internal tetrad shifts in 4 dimensions which is always integrable in the presence of corners. This allows us to study the fully extended corner symmetry algebra of gauge charges, which is a deformation of $ISO(1,3)^S$ involving spacetime curvature. We argue this implies corner noncommutativity of the spin connection $\omega$. The latter in particular hints that an extended BF theory might be a better way understand the dynamics of tetrad gravity. This result presents us with an integrable, complete set of edge modes for gravity in 4D, with potential ramifications for asymptotic symmetries and quantisation.
Reference graph
Works this paper leans on
-
[1]
New edge modes and corner charges for first-order symmetries of 4D gravity
Simon Langenscheidt and Daniele Oriti. New edge modes and corner charges for first-order symmetries of 4D gravity. Classical and Quantum Gravity, 42(7):075010, March 2025. ISSN 0264-9381. doi: 10.1088/ 1361-6382/adbfee
work page 2025
-
[2]
Cattaneo and Michele Schiavina
Alberto S. Cattaneo and Michele Schiavina. The Reduced Phase Space of Palatini–Cartan–Holst Theory. Annales Henri Poincar´ e, 20(2):445–480, February 2019. ISSN 1424-0661. doi: 10.1007/s00023-018-0733-z
- [3]
-
[4]
The gauge sym- metries of first-order general relativity with matter fields
Merced Montesinos, Diego Gonzalez, and Mariano Celada. The gauge sym- metries of first-order general relativity with matter fields. Classical and Quantum Gravity, 35(20):205005, September 2018. ISSN 0264-9381. doi: 10.1088/1361-6382/aae10d
-
[5]
Edge modes and corner ambiguities in 3d Chern–Simons theory and gravity
Marc Geiller. Edge modes and corner ambiguities in 3d Chern–Simons theory and gravity. Nuclear Physics B, 924:312–365, November 2017. ISSN 0550-3213. doi: 10.1016/j.nuclphysb.2017.09.010
-
[6]
Diffeomorphisms as quadratic charges in 4d BF theory and related TQFTs, October 2022
Marc Geiller, Florian Girelli, Christophe Goeller, and Panagiotis Tsimiklis. Diffeomorphisms as quadratic charges in 4d BF theory and related TQFTs, October 2022
work page 2022
-
[7]
Cattaneo, and Manuel Tecchiolli
Giovanni Canepa, Alberto S. Cattaneo, and Manuel Tecchiolli. Gravi- tational Constraints on a Lightlike boundary. Annales Henri Poincar´ e, 22(9):3149–3198, September 2021. ISSN 1424-0637, 1424-0661. doi: 10.1007/s00023-021-01038-z
-
[8]
Laurent Freidel, Alejandro Perez, and Daniele Pranzetti. The loop gravity string. Physical Review D, 95(10):106002, May 2017. ISSN 2470-0010, 2470-0029. doi: 10.1103/PhysRevD.95.106002
Show all 30 references
-
[9]
Laurent Freidel and Etera R. Livine. Bubble Networks: Framed Dis- crete Geometry for Quantum Gravity. General Relativity and Gravitation, 51(1):9, January 2019. ISSN 0001-7701, 1572-9532. doi: 10.1007/ s10714-018-2493-y
2019
-
[10]
Edge modes of gravity
Laurent Freidel, Marc Geiller, and Daniele Pranzetti. Edge modes of gravity. Part II. Corner metric and Lorentz charges. Journal of High Energy Physics, 2020:27, November 2020. ISSN 1029-8479. doi: 10.1007/ JHEP11(2020)027
2020
-
[11]
Edge modes of grav- ity
Laurent Freidel, Marc Geiller, and Daniele Pranzetti. Edge modes of grav- ity. Part III. Corner simplicity constraints. Journal of High Energy Physics, 2021(2007.12635):1–64, January 2021. doi: 10.1007/JHEP01(2021)100. 26
2021 arXiv
-
[12]
Black hole entropy from an SU(2)-invariant formulation of Type I isolated horizons
Jonathan Engle, Karim Noui, Alejandro Perez, and Daniele Pranzetti. Black hole entropy from an SU(2)-invariant formulation of Type I isolated horizons. Physical Review D, 82(4):044050, August 2010. ISSN 1550-7998, 1550-2368. doi: 10.1103/PhysRevD.82.044050
2010 doi
-
[13]
New Vari- ables for Classical and Quantum Gravity in all Dimensions V
Norbert Bodendorfer, Thomas Thiemann, and Andreas Thurn. New Vari- ables for Classical and Quantum Gravity in all Dimensions V. Isolated Horizon Boundary Degrees of Freedom. Class. Quant. Grav., 31(5):055002, February 2014. ISSN 0264-9381, 1361-6382. doi: 10.1088/0264-9381/31/...
2014 doi
-
[14]
On the origin of the quantum group symmetry in 3d quantum gravity
Ma ¨ ıt´ e Dupuis, Laurent Freidel, Florian Girelli, Abdulmajid Osumanu, and Julian Rennert. On the origin of the quantum group symmetry in 3d quantum gravity. June 2020. doi: 10.48550/arXiv.2006.10105
2020 doi
-
[15]
The Spin Foam Approach to Quantum Gravity
Alejandro Perez. The Spin Foam Approach to Quantum Gravity. Living Reviews in Relativity, 16(1):3, December 2013. ISSN 2367-3613, 1433-8351. doi: 10.12942/lrr-2013-3
2013 doi
-
[16]
Speranza
Antony J. Speranza. Ambiguity resolution for integrable gravitational charges. JHEP, 07(7):029, July 2022. ISSN 1029-8479. doi: 10.1007/ JHEP07(2022)029
2022
-
[17]
Surface charge algebra in gauge the- ories and thermodynamic integrability
Glenn Barnich and Geoffrey Compere. Surface charge algebra in gauge the- ories and thermodynamic integrability. Journal of Mathematical Physics, 49(4):042901, April 2008. ISSN 0022-2488, 1089-7658. doi: 10.1063/1. 2889721
2008 doi
-
[18]
Extended corner symmetry, charge bracket and Einstein’s equations
Laurent Freidel, Roberto Oliveri, Daniele Pranzetti, and Simone Speziale. Extended corner symmetry, charge bracket and Einstein’s equations. JHEP, 09(9):083, September 2021. ISSN 1029-8479. doi: 10.1007/ JHEP09(2021)083
2021
-
[19]
The Weyl BMS group and Einstein’s equations
Laurent Freidel, Roberto Oliveri, Daniele Pranzetti, and Simone Speziale. The Weyl BMS group and Einstein’s equations. Journal of High Energy Physics, 2021(2104.05793):170, July 2021. ISSN 1029-8479. doi: 10.1007/ JHEP07(2021)170
2021 arXiv
-
[20]
Cattaneo, Pavel Mnev, and Nicolai Reshetikhin
Alberto S. Cattaneo, Pavel Mnev, and Nicolai Reshetikhin. A Cellu- lar Topological Field Theory. Communications in Mathematical Physics, 374(2):1229–1320, March 2020. ISSN 1432-0916. doi: 10.1007/ s00220-020-03687-3
2020
-
[21]
Spin Networks in Nonperturbative Quantum Gravity
John Baez. Spin Networks in Nonperturbative Quantum Gravity. J. High Energy Phys., June 1998. ISSN 9780821803806. doi: 10.1090/psapm/051/ 1372769
1998 doi
-
[22]
Corner symmetry and quantum geometry, February 2023
Laurent Freidel, Marc Geiller, and Wolfgang Wieland. Corner symmetry and quantum geometry, February 2023. 27
2023
-
[24]
Most general theory of 3d gravity: Covariant phase space, dual diffeomorphisms, and more
Marc Geiller, Christophe Goeller, and Nelson Merino. Most general theory of 3d gravity: Covariant phase space, dual diffeomorphisms, and more. Journal of High Energy Physics, 2021(2):120, February 2021. ISSN 1029-
2021
-
[25]
Abhay Ashtekar, Alejandro Corichi, and Jose A. Zapata. Quantum Theory of Geometry III: Non-commutativity of Riemannian Structures. Classical and Quantum Gravity, 15(10):2955–2972, October 1998. ISSN 0264-9381, 1361-6382. doi: 10.1088/0264-9381/15/10/006
1998 doi
-
[26]
J. M. Figueroa-O’Farrill and S. Stanciu. Nonsemisimple Sugawara Con- structions. Physics Letters B, 327(1-2):40–46, May 1994. ISSN 03702693. doi: 10.1016/0370-2693(94)91525-3
1994 doi
-
[27]
Szabo, and Omar Valdivia
Patricio Salgado, Richard J. Szabo, and Omar Valdivia. Topological gravity and transgression holography.Physical Review D, 89(8):084077, April 2014. ISSN 1550-7998, 1550-2368. doi: 10.1103/PhysRevD.89.084077
2014 doi
-
[28]
Bacry, Ph
H. Bacry, Ph. Combe, and J. L. Richard. Group-theoretical analysis of elementary particles in an external electromagnetic field. Il Nuovo Cimento A (1965-1970), 67(2):267–299, May 1970. ISSN 1826-9869. doi: 10.1007/ BF02725178
1965
-
[29]
The Maxwell Group and the Quantum Theory of Particles in Classical Homogeneous Electromagnetic Fields
Robert Schrader. The Maxwell Group and the Quantum Theory of Particles in Classical Homogeneous Electromagnetic Fields. Fortschritte der Physik, 20(12):701–734, 1972. ISSN 1521-3978. doi: 10.1002/prop.19720201202
1972 doi
-
[30]
de Azcarraga, Kiyoshi Kamimura, and Jerzy Lukierski
Jose A. de Azcarraga, Kiyoshi Kamimura, and Jerzy Lukierski. Generalized cosmological term from Maxwell symmetries. Physical Review D, 83(12): 124036, June 2011. ISSN 1550-7998, 1550-2368. doi: 10.1103/PhysRevD. 83.124036. 28
2011 doi
-
[8479]
doi: 10.1007/JHEP02(2021)120
2021 doi
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.