Geometric formulation for Palatini-Cartan gravity
Pith reviewed 2026-07-01 05:08 UTC · model grok-4.3
The pith
Palatini-Cartan gravity recovers its Einstein equations and gauge symmetries in a multisymplectic geometric formulation.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the multisymplectic approach to the Palatini-Cartan model, the gauge symmetry group acts on the configuration space and induces a Lagrangian momentum map whose associated Noether currents are constructed. The field equations recovered are equivalent to the torsion-free condition and the Einstein equations. In the polysymplectic framework, the algorithm for singular systems is applied with a non-trivial Dirac-Poisson bracket defined by the generalized Moore-Penrose inverse of the second class constraints matrix. Starting from the multisymplectic framework, the space plus time decomposition recovers the instantaneous Lagrangian, the extended Hamiltonian, and the gauge structure in the insta
What carries the argument
The Lagrangian momentum map associated with the action of the gauge symmetry group on the configuration space of the Palatini-Cartan model.
Load-bearing premise
That the multisymplectic and polysymplectic formalisms together with the non-trivial Dirac-Poisson bracket using the generalized Moore-Penrose inverse correctly reproduce the physics of the Palatini-Cartan model without additional restrictions on the field configurations or the choice of the inverse.
What would settle it
An explicit calculation in which the Noether currents obtained from the momentum map fail to be conserved on solutions of the field equations would falsify the construction of the momentum map.
read the original abstract
Motivated by the increasing efforts to understand the covariant structure of physical models associated with General Relativity using different kinds of geometric frameworks, in this article we analyze the four-dimensional Palatini-Cartan model for gravity, which is a well-known generalization of General Relativity, from the perspective of various geometric-covariant formalisms for classical field theory. At the Lagrangian level, we do not only recover the correct field equations of the theory, which are equivalent to the torsion-free condition and the Einstein equations, but we also study the gauge symmetries of the model in order to construct the Lagrangian momentum map associated with the action of the gauge symmetry group on the configuration space of the system and, consequently, its corresponding Noether currents. Within the multisymplectic approach, we analyze the action of the gauge symmetry group on the multi-momenta phase space of the model, and we also introduce the induced momentum map that allows us to recover the admissible Cauchy data of the system. Further, we also apply the algorithm to treat singular systems within the polysymplectic framework, in which, in order to obtain the correct field equations of the model, we introduce a non-trivial Dirac-Poisson bracket characterized by the generalized Moore-Penrose inverse of the matrix induced by the second class constraints of the system. Finally, using the multisymplectic framework as a starting point, we perform the space plus time decomposition of the system to recover the instantaneous Lagrangian and the extended Hamiltonian of the theory, as well as the gauge structure that characterize the Palatini-Cartan model for gravity within the instantaneous Dirac-Hamiltonian formalism.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops geometric formulations of the four-dimensional Palatini-Cartan gravity model using multisymplectic and polysymplectic covariant frameworks. It claims to recover the field equations (equivalent to the torsion-free condition and Einstein equations) at the Lagrangian level, construct Lagrangian momentum maps for the gauge symmetry group together with the associated Noether currents, analyze the gauge action on the multi-momenta phase space, introduce a non-trivial Dirac-Poisson bracket defined via the generalized Moore-Penrose inverse of the second-class constraint matrix in the polysymplectic setting, and perform a space-time decomposition to recover the instantaneous Lagrangian, extended Hamiltonian, and gauge structure in the Dirac-Hamiltonian formalism.
Significance. If the derivations are verified, the work supplies a unified geometric treatment of the Palatini-Cartan model that links Lagrangian, multisymplectic, and polysymplectic structures with the standard instantaneous Dirac analysis. The explicit momentum-map and Noether-current constructions, together with the space-time decomposition, could serve as tools for studying covariant gauge symmetries in first-order gravity theories.
major comments (2)
- [§4] §4 (polysymplectic treatment): The non-trivial Dirac-Poisson bracket is defined using the generalized Moore-Penrose inverse of the matrix induced by the second-class constraints. Because this inverse is not canonically unique for the degenerate matrices that appear in diffeomorphism-invariant theories, the manuscript must demonstrate explicitly (by direct substitution into the bracket and comparison with the standard Palatini-Cartan equations) that the resulting dynamics reproduce the torsion-free condition and Einstein equations without extraneous terms or implicit restrictions on field configurations.
- [§3] §3 (multisymplectic momentum map): The construction of the momentum map on the multi-momenta phase space is asserted to recover admissible Cauchy data, but the manuscript does not provide an explicit check that the map is equivariant under the full gauge group action or that its components match the known constraints of the Palatini-Cartan theory.
minor comments (2)
- Notation for the generalized Moore-Penrose inverse should be introduced with a brief reminder of its defining properties (especially on the kernel of the constraint matrix) to aid readability.
- The abstract and introduction cite the equivalence of the recovered equations to the torsion-free condition and Einstein equations, but a short table or paragraph comparing the derived equations side-by-side with the standard Palatini-Cartan equations would strengthen the claim.
Simulated Author's Rebuttal
We thank the referee for the thorough review and constructive feedback on our manuscript. We address each major comment below and will incorporate explicit verifications in a revised version to strengthen the presentation.
read point-by-point responses
-
Referee: §4 (polysymplectic treatment): The non-trivial Dirac-Poisson bracket is defined using the generalized Moore-Penrose inverse of the matrix induced by the second-class constraints. Because this inverse is not canonically unique for the degenerate matrices that appear in diffeomorphism-invariant theories, the manuscript must demonstrate explicitly (by direct substitution into the bracket and comparison with the standard Palatini-Cartan equations) that the resulting dynamics reproduce the torsion-free condition and Einstein equations without extraneous terms or implicit restrictions on field configurations.
Authors: We agree that an explicit verification is required due to the non-canonical nature of the generalized inverse. In the revised manuscript we will add a direct computation: substitute the proposed Dirac-Poisson bracket into the equations generated by the constraints, expand the resulting expressions, and show term-by-term agreement with the torsion-free condition and Einstein equations of the Palatini-Cartan model, confirming the absence of extraneous contributions or unintended restrictions on admissible field configurations. revision: yes
-
Referee: §3 (multisymplectic momentum map): The construction of the momentum map on the multi-momenta phase space is asserted to recover admissible Cauchy data, but the manuscript does not provide an explicit check that the map is equivariant under the full gauge group action or that its components match the known constraints of the Palatini-Cartan theory.
Authors: The referee correctly notes the lack of explicit verification. We will revise the manuscript to include a dedicated calculation: we will compute the components of the momentum map explicitly, verify that they coincide with the standard Palatini-Cartan constraints (Gauss, diffeomorphism and Lorentz constraints), and demonstrate equivariance by applying the full gauge group action to the map and showing that the transformed map equals the map of the transformed fields. revision: yes
Circularity Check
Non-standard Dirac-Poisson bracket introduced specifically to recover field equations by construction
specific steps
-
fitted input called prediction
[Abstract]
"Further, we also apply the algorithm to treat singular systems within the polysymplectic framework, in which, in order to obtain the correct field equations of the model, we introduce a non-trivial Dirac-Poisson bracket characterized by the generalized Moore-Penrose inverse of the matrix induced by the second class constraints of the system."
The bracket is introduced explicitly 'in order to obtain the correct field equations,' so the subsequent claim that the formalism recovers those equations (torsion-free condition and Einstein equations) is achieved by the choice of this non-standard construction rather than derived from the polysymplectic algorithm alone.
full rationale
The derivation chain in the polysymplectic section relies on introducing a custom bracket to match the target equations of the Palatini-Cartan model. This reduces the claimed recovery of torsion-free condition and Einstein equations to a construction chosen for that purpose rather than an independent output of the formalism. The abstract provides the explicit evidence; no machine-checked or externally benchmarked verification is indicated. Other steps (momentum maps, Noether currents, space-time decomposition) appear to follow standard applications of cited geometric frameworks without further reduction.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Henneaux and C
M. Henneaux and C. Teitelboim,Quantization of gauge systems(Princeton University Press, 1994)
1994
-
[2]
Covariant Poisson Brackets in Geometric Field Theory
M. Forger and S. V. Romero,Covariant Poisson Brackets in Geometric Field Theory, Commun. Math. Phys.256, 375–410 (2005), arXiv:math-ph/0408008v1
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[3]
De Donder,Theorie Invariantive du Calcul des Variations, Nuov
T. De Donder,Theorie Invariantive du Calcul des Variations, Nuov. ed. (Gauthier- Villars, Paris, 1935)
1935
-
[4]
Weyl,Geodesic fields in the calculus of variations, Ann
H. Weyl,Geodesic fields in the calculus of variations, Ann. Math.36(2), 607–629 (1935)
1935
-
[5]
Kijowski,A finite dimensional canonical formalism in the classical field theory, Comm
J. Kijowski,A finite dimensional canonical formalism in the classical field theory, Comm. Math. Phys. (30), 99-128 (1973)
1973
-
[6]
Kijowski and W
J. Kijowski and W. Szczyrba,A canonical structure for classical field theories, Comm. Math. Phys. (46), (1976)
1976
-
[7]
Kijowski and W.M
J. Kijowski and W.M. Tulczyjew,A symplectic framework for field theories(Springer-Verlag, Berlin, 1979)
1979
-
[8]
M. J. Gotay,A multisymplectic framework for classical field theory and the calculus of variations I: space+time decomposition, Diff. Geom. Appl. (1), 375-390 (1991)
1991
-
[9]
M. J. Gotay, J. Isenberg, J. Marsden and R. Montgomery,Momentum maps and classical relativistic fields. Part II: Canonical Analysis of Field Theories, (1998), arXiv:physics/9801019v2 [math-ph]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[10]
J. F. Cari˜ nena, M. Crampin and L. A. Ibort,On the multisymplectic formalism for first order field theories, Diff. Geom. Appl. (1). 345-374 (1991)
1991
-
[11]
Symmetries in Classical Field Theory
M. De Le´ on, D. M. De Diego and A. Santamar´ ıa–Merino,Symmetries in Classical Field Theory, Int. J. Geom. Meth. Mod. Phys.01, 651–710 (2004), arXiv:math-ph/0404013v2
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[12]
J. Berra-Montiel, A. Molgado and A. Rodr´ ıguez–L´ opez,A review on geometric formulations for classical field theory: the Bonzom–Livine model for gravity, Class. Quantum Grav.38, 135012 (2021), arXiv:2101.08960[gr-qc]
-
[13]
Cantrijn, A
F. Cantrijn, A. Ibort and M. de Leon,Hamiltonian structures on multisymplectic manifolds, Rend. Sem. Mat. Univ. Pol. Torino,54(3), 225–236 (1996)
1996
-
[14]
A Poisson Bracket on Multisymplectic Phase Space
M. Forger and H. R¨ omer,A Poisson Bracket on Multisymplectic Phase Space, Rept. Math. Phys.48, 211–218 (2001), arXiv:math-ph/0009037v2
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[15]
S. P. Hrabak,On a Multisymplectic Formulation of the Classical BRST symmetry for First Order Field Theories Part I: Algebraic Structures, (1999) ArXiv:math-ph/9901012
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[16]
I. V. Kanatchikov,On quantization of field theories in polymomentum variables, AIP Conf. Proc.453, 356–367 (1998), arXiv:hep-th/9811016
work page internal anchor Pith review Pith/arXiv arXiv 1998
- [17]
-
[18]
I. V. Kanatchikov,De Donder-Weyl Hamiltonian formulation and precanonical quantization of vielbein gravity,J. Phys.: Conf. Ser.,442(1), 012041 (2013), arXiv:1302.2610 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[19]
Vey,Multisymplectic formulation of vielbein gravity, De Donder-Weyl formulation, Hamiltonian (n−1)-forms, Class
D. Vey,Multisymplectic formulation of vielbein gravity, De Donder-Weyl formulation, Hamiltonian (n−1)-forms, Class. Quantum Grav.32, 095005 (2015),
2015
-
[20]
M. De Le´ on and M. M. Zajac,Hamilton–Jacobi theory for gauge field theories, J. Geom. Phys, 152, 103636 (2020), arXiv:1904.10264v1 [math-ph]. Geometric formulation for Palatini-Cartan gravity39
-
[21]
De Donder-Weyl Hamiltonian formalism of MacDowell-Mansouri gravity
J. Berra-Montiel, A. Molgado and D. Serrano–Blanco,De Donder–Weyl Hamiltonian formalism of MacDowell–Mansouri gravity, Class. Quantum Grav.34, 235002 (2017), arXiv:1703.09755[gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[22]
Polysymplectic formulation for BF gravity with Immirzi parameter
J. Berra-Montiel, A. Molgado and A. Rodr´ ıguez–L´ opez,Polysymplectic formulation for BF gravity with Immirzi parameter, Class. Quantum Grav.36, 115003 (2019), arXiv:1901.11532v2 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[23]
J. Berra-Montiel, I. de Santos and A. Molgado,Geometric analysis for the Pontryagin action and boundary terms, Class. Quantum Grav.42(13), 135005 (2025), arXiv:2502.14756 [gr-qc]
-
[24]
S. W. MacDowell and F. Mansouri,Unified geometric theory of gravity and supergravity, Phys. Rev. Lett.38, 739–742 (1977)
1977
-
[25]
K. S. Stelle and P.C. West,Spontaneously broken de Sitter symmetry and the gravitational holonomy group, Phys. Rev.21(6), 1466–1488 (1980)
1980
-
[26]
Catren,Geometric foundations of Cartan gauge gravity, Int
G. Catren,Geometric foundations of Cartan gauge gravity, Int. J. Geom. Meth. Mod. Phys.12 (04), 1530002 (2015)
2015
-
[27]
D. K. Wise,Symmetric Space Cartan Connections and Gravity in Three and Four Dimensions, SIGMA5, 080 (2008), arXiv:0904.1738v2 [math.DG]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[28]
D. K. Wise,MacDowell–Mansouri gravity and Cartan geometry, Class. Quantum Grav.27(15), 155010 (2010), arXiv:gr-qc:0611154
2010
-
[29]
I. V. Kanatchikov,On a generalization of the Dirac bracket in the De Donder-Weyl Hamiltonian formalism, Proc. 10th. Int. Conf. Geo. Appl., 615-625, Olomouc, Czech Republic (World Scientific, 2007), arXiv:0807.3127 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[30]
I. A. Nikolic,Dirac Hamiltonian formulation and algebra of the constraints in the Einstein-Cartan theory, Class. Quantum Grav.12(12), 3103-3114 (1995)
1995
-
[31]
I. V. Kanatchikov,Canonical structure of classical field theory in the polymomentum phase space, Rept. Math. Phys.41(1), 49-90 (1998), arXiv:hep-th/9709229
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[32]
I. V. Kanatchikov,On the canonical structure of the De Donder-Weyl covariant Hamiltonian formulation of field theory I. Graded Poisson bracket and the equations of motion, Aachen preprint, PITHA 93/41 (1993), arXiv:hep-th/9312162
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[33]
I. V. Kanatchikov,On field theoretic generalization of a Poisson algebra, Rept. Math. Phys.40 (2), 225 (1997), arXiv:hep-th/9710069
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[34]
Giachetta, L
G. Giachetta, L. Mangiarotti and G. Sardanashvily,Advanced Classical Field Theory, (World Scientific Publishing, 2009)
2009
-
[35]
D. J. Saunders,The Geometry of Jet Bundles(Lecture Notes Series vol 142) (Cambridge University Press, 1989)
1989
-
[36]
Rom´ an-Roy,Multisymplectic Lagrangian and Hamiltonian formalisms of classical field theories, SIGMA5, 100 (2009)
N. Rom´ an-Roy,Multisymplectic Lagrangian and Hamiltonian formalisms of classical field theories, SIGMA5, 100 (2009)
2009
-
[37]
M. J. Gotay and J. E. Marsden,Stress-Energy-Momentum Tensors and the Belinfante-Rosenfeld Formula, Contemp. Math.01, 367-392 (1992)
1992
-
[38]
Lee and R
J. Lee and R. M. Wald,Local symmetries and constraints, J. Math. Phys.31, 725–743 (1990)
1990
-
[39]
A. Molgado and A. Rodr´ ıguez–L´ opez,Covariant momentum map for non-Abelian topological BF field theory, Class. Quantum Grav.36, 245003 (2019), arXiv:1907.01152[gr-qc]
-
[40]
Gronwald,A note on gauge covariant translations in the gauge approach to gravity, Acta Phys
F. Gronwald,A note on gauge covariant translations in the gauge approach to gravity, Acta Phys. Polon. B29, 1121-1129 (1998)
1998
-
[41]
Witten, (2 + 1)-dimensional gravity as an exactly soluble system, Nucl
E. Witten, (2 + 1)-dimensional gravity as an exactly soluble system, Nucl. Phys.B311, 46–78 (1988)
1988
-
[42]
J. D. Romano,Geometrodynamics vs. connection dynamics, GRG25(8), 759-854 (1993)
1993
-
[43]
Peld´ an,Actions for gravity, with generalizations, Class
P. Peld´ an,Actions for gravity, with generalizations, Class. Quantum Grav.11, 1087-1132 (1994)
1994
-
[44]
Penrose,A generalized inverse for matrices, Proc
R. Penrose,A generalized inverse for matrices, Proc. Cambr. Phil. Soc.51, 406 (1955)
1955
-
[45]
M. A. Rakha,On the Moore–Penrose generalized inverse matrix, Appl. Math. Comput.158(1), 185-200 (2004)
2004
-
[46]
G. Canepa and A. Cattaneo,4D Palatini-Cartan Gravity in Hamiltonian Form, (2025), arXiv:2507.02431
-
[47]
G. Canepa and A. Cattaneo,Boundary structure of General Relativity in tetrad variables, Adv. Geometric formulation for Palatini-Cartan gravity40 Theor. Math. Phys.25, 327–377 (2021), arXiv:2001.11004
-
[48]
Cattaneo and M
A. Cattaneo and M. Schiavina,The Reduced Phase Space of Palatini–Cartan–Holst Theory, Ann. Inst. Henri Poincare20.2, 445–480 (2019),
2019
- [49]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.