⚛️ general relativity

Geometric formulation for Palatini-Cartan gravity

This paper analyzes the four-dimensional Palatini-Cartan gravity model through various geometric-covariant formalisms, deriving its field equations, gauge symmetries, and Noether currents while employing multisymplectic, polysymplectic, and Dirac-Hamiltonian frameworks to characterize its momentum maps, constraint structures, and instantaneous Hamiltonian formulation.

Original authors: Jasel Berra-Montiel, Iván Cortes-Cruz, Alberto Molgado

Published 2026-07-01

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Jasel Berra-Montiel, Iván Cortes-Cruz, Alberto Molgado

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Rewriting the Rules of Gravity

Imagine you are trying to understand how a massive, complex machine works. Most people look at the machine from the outside, watching how the gears turn over time (this is like the standard way physicists study gravity, called General Relativity). But the authors of this paper decided to look at the machine from a different angle: they wanted to understand its internal structure and symmetry all at once, without separating "space" from "time."

The paper focuses on a specific version of gravity called Palatini-Cartan gravity. Think of this not as a different theory, but as a different "language" or "blueprint" for describing the same universe. Instead of just looking at the shape of space (the metric), this blueprint treats gravity as a combination of two things:

A Connection (The Glue): How things are linked together.
A Frame (The Ruler): A set of measuring sticks that define directions.

The authors wanted to see if they could describe this blueprint using advanced geometric tools that keep space and time mixed together (covariant), rather than slicing them apart.

The Three Tools They Used

To do this, the authors used three different "lenses" or mathematical frameworks. You can think of these as three different ways to map a city:

1. The Lagrangian Lens (The "Rulebook" View)

The Analogy: Imagine you have a rulebook for a game. The rules tell you how pieces move to minimize energy.
What they did: They wrote down the "rules" (the Lagrangian) for this gravity model. They checked if the rules produced the correct movements (Einstein's equations) and found that they did.
The Discovery: They discovered that this game has "symmetries." This means you can change the rules slightly (like rotating the board or shifting the pieces) without changing the outcome. They built a "momentum map"—a special tool that tracks these symmetries and the "conserved quantities" (like energy or momentum) that result from them. They proved these symmetries are "localizable," meaning you can change the rules in one neighborhood of the city without affecting the next neighborhood.

2. The Multisymplectic Lens (The "3D Map" View)

The Analogy: Standard physics often looks at a movie frame-by-frame (time moves forward). Multisymplectic geometry is like looking at the entire movie reel at once, seeing how every frame relates to every other frame simultaneously.
What they did: They mapped the "phase space" of the gravity model (a space containing all possible positions and momenta of the system) using this 4D approach.
The Discovery: They showed that the symmetries they found in the first step act like "canonical transformations" on this 4D map. Crucially, they found that the "zero point" of their momentum map (where the symmetry effects cancel out) perfectly matches the "allowed starting conditions" (Cauchy data) for the universe. This bridges the gap between the fancy 4D math and the standard "start the clock" physics.

3. The Polysymplectic Lens (The "Puzzle Solver" View)

The Analogy: Imagine a puzzle where some pieces are locked together in a way that makes them impossible to move freely. In physics, these are called "constraints." Standard math struggles to handle these locked pieces when they are "second-class" (very tightly locked).
The Problem: The Palatini-Cartan model is a "singular" system, meaning it has these tricky locked pieces (constraints). The standard way to handle them (Dirac's method) usually requires slicing time, which ruins the "all-at-once" view.
The Innovation: The authors used a special tool called the Dirac-Poisson bracket. However, because the math involved a rectangular matrix (a grid that isn't square), they couldn't use a normal inverse. They had to invent a "generalized Moore-Penrose inverse" (a fancy mathematical tool for solving messy grids) to unlock the pieces.
The Result: By using this new bracket, they successfully derived the correct equations of motion (Einstein's equations and the "torsion-free" condition) without ever having to slice time apart. This is a big deal because it's the first time this specific, complex 4D gravity model has been solved this way.

The "Space + Time" Decomposition (Putting it Back Together)

Finally, the authors took their fancy 4D maps and "sliced" them back into space and time, just to see if they matched the old, standard way of doing physics (the Dirac-Hamiltonian formalism).

The Result: When they sliced the 4D map, they recovered the exact same "instantaneous" equations and constraints that standard physicists have been using for decades.
The Takeaway: This proves that their fancy, all-at-once geometric approach is consistent with the traditional way of doing things. It's like building a new, high-tech GPS that shows the whole city at once, and then zooming in to show that it gives you the exact same turn-by-turn directions as your old paper map.

Summary of Claims

Recovery of Equations: They successfully derived the correct field equations (Einstein's equations and the torsion-free condition) using purely geometric, covariant methods.
Symmetry Analysis: They identified the gauge symmetries (rotations and translations) and constructed the corresponding "momentum maps" and "Noether currents" (conserved quantities).
Singular Systems: They proved that the Polysymplectic framework can handle singular systems (systems with constraints) by introducing a specific, non-trivial Dirac-Poisson bracket using a generalized inverse.
Consistency: They showed that their covariant (all-at-once) approach perfectly matches the standard instantaneous (time-sliced) approach when you decompose the system.

What they did NOT claim:

They did not claim to have discovered a new force of nature.
They did not claim to have solved the problem of quantum gravity (though they mentioned their work is a step toward "pre-canonical quantization," they did not perform the quantization itself).
They did not apply this to any specific astronomical observation or clinical use.

In short, the paper is a rigorous mathematical demonstration that you can describe the geometry of gravity using a "whole-universe-at-once" perspective, and that this perspective is mathematically consistent with the traditional "time-by-time" perspective, even for the most complex, constrained versions of the theory.

Technical Summary: Geometric Formulation for Palatini-Cartan Gravity

Problem Statement
The paper addresses the need to understand the covariant structure of General Relativity (GR) and its generalizations, specifically the Palatini-Cartan model, using geometric frameworks that preserve the manifest covariance of the theory. Standard approaches, such as the instantaneous Dirac-Hamiltonian formalism, require a foliation of spacetime into Cauchy surfaces, which obscures the covariant nature of the system and complicates canonical quantization. While multisymplectic and polysymplectic formalisms offer covariant alternatives, their application to non-trivial gravitational models like Palatini-Cartan gravity—particularly regarding the treatment of gauge symmetries, singular Lagrangians, and the construction of well-defined Poisson structures—remains under-explored.

Methodology
The authors analyze the four-dimensional Palatini-Cartan model for gravity (a formulation of GR with a cosmological constant $\Lambda$ ) through three distinct geometric-covariant formalisms:

Geometric-Covariant Lagrangian Formalism: The model is treated as a Cartan-type gauge theory where the dynamical fields are a connection $\omega$ (valued in the Lorentz algebra $\mathfrak{so}(3,1)$ ) and a co-frame field $e$ (soldering form). The action is formulated using Poincaré-Cartan forms on the first-order jet bundle.
Multisymplectic Formalism: The authors define the multimomenta phase space and the associated multisymplectic form. They analyze the action of the extended gauge symmetry group (comprising local Lorentz transformations and internal translations) on this phase space to construct a covariant momentum map.
Polysymplectic Formalism: To handle the singular nature of the Lagrangian, the authors employ the polysymplectic framework. This involves defining a polysymplectic form on a quotient bundle (the polymomenta phase space) and utilizing the De Donder-Weyl-Hamiltonian approach. Crucially, they apply an algorithm for singular systems to identify constraints and construct a Dirac-Poisson bracket.

A key methodological step involves performing a space-plus-time decomposition on the multisymplectic formulation to recover the instantaneous Dirac-Hamiltonian structure, thereby bridging the covariant and non-covariant descriptions.

Key Contributions and Results

Field Equations and Symmetries: At the Lagrangian level, the authors recover the standard field equations: the torsion-free condition and the Einstein equations. They explicitly demonstrate that the gauge symmetries of the model (H-gauge and internal translational symmetries) are "localizable," meaning they can be deformed to zero in specific regions of spacetime.
Covariant Momentum Maps: The paper constructs the Lagrangian covariant momentum map associated with the gauge symmetry group. This map generates Noether currents. The authors prove that for localizable symmetries, the associated Noether charges vanish on-shell, consistent with the second Noether theorem.
Multisymplectic Analysis: The action of the gauge group on the multimomenta phase space is shown to induce covariant canonical transformations. The zero level set of the induced momentum map on the Cauchy data space is identified with the set of first-class constraints of the theory.
Polysymplectic Analysis and Dirac-Poisson Bracket:
- The system is identified as singular, characterized by a set of primary constraints.
- Unlike the standard Dirac-Hamiltonian analysis where constraints are often split into primary second-class and secondary first-class, the polysymplectic analysis reveals that the constraints form a complete set of second-class constraints (in the context of the Poisson-Gerstenhaber bracket).
- To obtain the correct field equations, the authors construct a Dirac-Poisson bracket. Due to the rectangular nature of the constraint matrix (arising from the specific structure of the polysymplectic form), a standard inverse is insufficient. The authors introduce a generalized Moore-Penrose inverse to define a well-behaved Dirac-Poisson bracket.
- Using this bracket, they successfully derive the torsion-free condition and Einstein equations as the De Donder-Weyl-Hamiltonian field equations, treating the second-class constraints as strong identities.
Space-Time Decomposition: By decomposing the multisymplectic formulation, the authors recover the instantaneous Lagrangian, the extended Hamiltonian, and the full set of first- and second-class constraints. They demonstrate that the zero level set of the covariant momentum map corresponds exactly to the surface of first-class constraints in the instantaneous Dirac-Hamiltonian formalism.

Significance and Claims
The paper claims to provide the first explicit construction of a non-trivial Dirac-Poisson bracket within a covariant geometric framework for a four-dimensional, dynamical gravitational model that propagates two local degrees of freedom. Previous applications of such brackets were limited to topological models (e.g., 3D gravity) without local degrees of freedom.

The authors assert that their work:

Establishes a rigorous bridge between multisymplectic structures and the constrained structure of singular Lagrangian systems in gravity.
Validates the algorithm proposed by Kanatchikov [29] for treating singular systems in the polysymplectic framework on a realistic gravitational model.
Provides a fundamental building block (the Dirac-Poisson bracket) for the precanonical quantization of General Relativity, a program based on the De Donder-Weyl formalism.
Demonstrates that the instantaneous constrained structure of Palatini-Cartan gravity can be naturally recovered from the zero level set of covariant momentum maps derived from the multisymplectic formulation, without prior assumption of a time foliation.

The authors conclude that the geometric-covariant formalisms offer a consistent and geometric description of the Palatini-Cartan model, successfully recovering known results while providing new insights into the constraint structure and the quantization potential of the theory.

The Big Picture: Rewriting the Rules of Gravity

The Three Tools They Used

The "Space + Time" Decomposition (Putting it Back Together)

Summary of Claims

Technical Summary: Geometric Formulation for Palatini-Cartan Gravity

More like this