pith. sign in

arxiv: 2606.31070 · v1 · pith:K4IRB6YPnew · submitted 2026-06-30 · 🌀 gr-qc · math-ph· math.MP

Geometric formulation for Palatini-Cartan gravity

Pith reviewed 2026-07-01 05:08 UTC · model grok-4.3

classification 🌀 gr-qc math-phmath.MP
keywords Palatini-Cartan gravitymultisymplectic formalismpolysymplectic formalismgauge symmetriesmomentum mapNoether currentsDirac bracketgeneral relativity
0
0 comments X

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.

The paper applies multisymplectic and polysymplectic geometric frameworks to the four-dimensional Palatini-Cartan model of gravity. It recovers the field equations equivalent to the torsion-free condition and the Einstein equations from the Lagrangian. Gauge symmetries are studied to construct the Lagrangian momentum map and the associated Noether currents. The multisymplectic approach analyzes the action on the multi-momenta phase space to recover admissible Cauchy data. The polysymplectic treatment introduces a non-trivial Dirac-Poisson bracket with the generalized Moore-Penrose inverse to handle the singular system and performs a space plus time decomposition to obtain the instantaneous Lagrangian and extended Hamiltonian.

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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [§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.
  2. [§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)
  1. 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.
  2. 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

2 responses · 0 unresolved

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
  1. 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

  2. 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

1 steps flagged

Non-standard Dirac-Poisson bracket introduced specifically to recover field equations by construction

specific steps
  1. 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

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities. The central claims rest on the unexamined assumption that the chosen geometric frameworks are faithful to the model and that the Moore-Penrose construction is well-defined for the constraint matrix.

pith-pipeline@v0.9.1-grok · 5825 in / 1261 out tokens · 23563 ms · 2026-07-01T05:08:04.620689+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

49 extracted references · 22 canonical work pages · 14 internal anchors

  1. [1]

    Henneaux and C

    M. Henneaux and C. Teitelboim,Quantization of gauge systems(Princeton University Press, 1994)

  2. [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

  3. [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)

  4. [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)

  5. [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)

  6. [6]

    Kijowski and W

    J. Kijowski and W. Szczyrba,A canonical structure for classical field theories, Comm. Math. Phys. (46), (1976)

  7. [7]

    Kijowski and W.M

    J. Kijowski and W.M. Tulczyjew,A symplectic framework for field theories(Springer-Verlag, Berlin, 1979)

  8. [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)

  9. [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]

  10. [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)

  11. [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

  12. [12]

    Berra-Montiel, A

    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. [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)

  14. [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

  15. [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

  16. [16]

    I. V. Kanatchikov,On quantization of field theories in polymomentum variables, AIP Conf. Proc.453, 356–367 (1998), arXiv:hep-th/9811016

  17. [17]

    I. V. Kanatchikov,I. V. Kanatchikov, Precanonical quantization of Yang-Mills fields and the functional Schr¨ odinger representation, Rept. Math. Phys.53, 181–193 (2004), arXiv:hep- th/0301001

  18. [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]

  19. [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),

  20. [20]

    De Le´ on and M

    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. [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]

  22. [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]

  23. [23]

    Berra-Montiel, I

    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. [24]

    S. W. MacDowell and F. Mansouri,Unified geometric theory of gravity and supergravity, Phys. Rev. Lett.38, 739–742 (1977)

  25. [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)

  26. [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)

  27. [27]

    D. K. Wise,Symmetric Space Cartan Connections and Gravity in Three and Four Dimensions, SIGMA5, 080 (2008), arXiv:0904.1738v2 [math.DG]

  28. [28]

    D. K. Wise,MacDowell–Mansouri gravity and Cartan geometry, Class. Quantum Grav.27(15), 155010 (2010), arXiv:gr-qc:0611154

  29. [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]

  30. [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)

  31. [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

  32. [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

  33. [33]

    I. V. Kanatchikov,On field theoretic generalization of a Poisson algebra, Rept. Math. Phys.40 (2), 225 (1997), arXiv:hep-th/9710069

  34. [34]

    Giachetta, L

    G. Giachetta, L. Mangiarotti and G. Sardanashvily,Advanced Classical Field Theory, (World Scientific Publishing, 2009)

  35. [35]

    D. J. Saunders,The Geometry of Jet Bundles(Lecture Notes Series vol 142) (Cambridge University Press, 1989)

  36. [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)

  37. [37]

    M. J. Gotay and J. E. Marsden,Stress-Energy-Momentum Tensors and the Belinfante-Rosenfeld Formula, Contemp. Math.01, 367-392 (1992)

  38. [38]

    Lee and R

    J. Lee and R. M. Wald,Local symmetries and constraints, J. Math. Phys.31, 725–743 (1990)

  39. [39]

    Molgado and A

    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. [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)

  41. [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)

  42. [42]

    J. D. Romano,Geometrodynamics vs. connection dynamics, GRG25(8), 759-854 (1993)

  43. [43]

    Peld´ an,Actions for gravity, with generalizations, Class

    P. Peld´ an,Actions for gravity, with generalizations, Class. Quantum Grav.11, 1087-1132 (1994)

  44. [44]

    Penrose,A generalized inverse for matrices, Proc

    R. Penrose,A generalized inverse for matrices, Proc. Cambr. Phil. Soc.51, 406 (1955)

  45. [45]

    M. A. Rakha,On the Moore–Penrose generalized inverse matrix, Appl. Math. Comput.158(1), 185-200 (2004)

  46. [46]

    Canepa and A

    G. Canepa and A. Cattaneo,4D Palatini-Cartan Gravity in Hamiltonian Form, (2025), arXiv:2507.02431

  47. [47]

    Canepa and A

    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. [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),

  49. [49]

    I. V. Kanatchikov,The De Donder-Weyl Hamiltonian formulation of TEGR and its quantization, arXiv preprint (2023), arXiv:2308.10052