⚛️ general relativity

From Holst to Carroll Gravity, a Hamiltonian point of view

This paper presents a comprehensive Hamiltonian analysis of the most general Carroll-invariant Lagrangian derived from the Holst action, utilizing Cartan geometry to identify the theory's constraint structure, gauge symmetries, and Hamiltonian vector fields while introducing Ashtekar-like variables for the magnetic Carrollian regime.

Original authors: J. Fernando Barbero G, Juan Margalef-Bentabol, Valle Varo, Eduardo J. S. Villaseñor

Published 2026-06-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: J. Fernando Barbero G, Juan Margalef-Bentabol, Valle Varo, Eduardo J. S. Villaseñor

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: Gravity on "Slow Motion" Mode

Imagine you are watching a movie of the universe, but someone has cranked the speed dial down to almost zero. In our normal world, light zips around, and cause-and-effect happen quickly. But in this paper, the authors are studying a theoretical version of gravity called Carrollian gravity.

Think of this as the "ultra-slow-motion" limit of the universe. In this regime, light cones (the paths light takes) collapse into straight lines. Causality becomes very rigid; things can't really influence each other across space in the usual way. The authors want to understand how gravity behaves in this strange, frozen state, specifically looking at the mathematical "rules of the game" (the Hamiltonian formulation) that govern how this system evolves over time.

The Toolkit: Cartan Geometry as a "Universal Translator"

To solve this puzzle, the authors use a mathematical tool called Cartan geometry.

The Analogy: Imagine you are trying to describe the shape of a crumpled piece of paper (spacetime) to someone who has never seen paper. You could try to describe every single fold, but it's messy. Instead, you use a "Universal Translator" that breaks the paper down into two simple parts: a grid (the frame) and the angles between the grid lines (the connection).
In the Paper: The authors use this geometry to translate the complex equations of gravity into a language of "grids" and "angles." This makes it much easier to see the underlying structure of the theory, rather than getting lost in a fog of complicated algebra.

The Main Character: The "Holst" Action

The paper focuses on a specific set of equations derived from the Holst action.

The Analogy: Think of the Holst action as a master recipe for gravity. Usually, this recipe is used to cook up our normal, fast-moving universe (General Relativity). The authors take this same recipe and ask, "What happens if we cook it in the 'Carrollian' kitchen (the slow-motion world)?"
The Twist: They include a special ingredient called the Immirzi parameter. In normal gravity, this ingredient is like a secret spice that doesn't change the taste of the dish (the physical laws) but changes how we measure it. The authors show that even in this slow-motion world, this spice behaves similarly—it doesn't change the fundamental rules of the game, but it changes the "flavor" of the mathematical description.

The Detective Work: Finding the Rules (Constraints)

When physicists try to predict how a system moves, they often run into "rules" or constraints. These are like traffic laws that the system must obey at all times.

The Problem: In complex gravity theories, finding these rules is like trying to solve a maze in the dark. You might think you found the exit, but you hit a wall because you missed a hidden rule.
The Solution: The authors use a method called GNH (named after Gotay, Nester, and Hinds).
- The Analogy: Instead of blindly guessing the path through the maze, they shine a geometric flashlight. They look at the shape of the problem itself to see where the walls (constraints) are. This allows them to map out the entire maze clearly, identifying exactly which rules the system must follow and which "freedoms" (gauge symmetries) the system has.

The Breakthrough: A Simpler Version of Einstein's Gravity

The most exciting result of the paper is what they found when they applied a specific "gauge fixing" (a way of simplifying the coordinates, called the time gauge).

The Analogy: Imagine you have a very complicated 3D puzzle. You realize that if you look at it from a specific angle (the time gauge), the 3D pieces suddenly flatten out into a 2D picture that looks exactly like a famous, well-understood puzzle (the Ashtekar formulation of General Relativity).
The Result: The authors found that their slow-motion gravity model looks almost identical to the standard model used to try to quantize (make quantum) gravity.
- The Difference: The only difference is in the "Hamiltonian constraint." In normal gravity, this rule is a combination of two terms. In their slow-motion version, one of those terms vanishes.
- Why it matters: It's like taking a complex equation with two difficult parts and realizing one part is zero. This leaves a much simpler equation. The authors suggest this simplification might make it easier to solve the "quantum gravity" puzzle in the future, as it removes a major source of mathematical difficulty.

Summary

In short, this paper takes a complex theory of gravity, slows it down to a crawl, and uses advanced geometric tools to map out its rules. They discovered that this "frozen" version of gravity is mathematically very similar to the standard model used for quantum gravity, but with one major simplification: a complicated rule disappears. This suggests that studying this slow-motion universe could provide a clearer, easier path to understanding the deepest secrets of how gravity works at the quantum level.

Technical Summary: From Holst to Carroll Gravity, a Hamiltonian point of view

Problem Statement
The paper addresses the need for a comprehensive Hamiltonian analysis of the most general Carroll-invariant gravitational Lagrangian derivable from the Holst action. Carrollian gravity, obtained via a group contraction of the Poincaré algebra, provides an ultrarelativistic framework useful for studying asymptotically flat spacetimes, black hole horizons, and condensed matter systems. While previous studies have examined specific limits (such as the magnetic Carrollian limit or the Cartan-Palatini action) using Hamiltonian techniques, existing approaches often suffer from methodological drawbacks. Specifically, some prior works substitute linear primary constraints with quadratic ones to define the total Hamiltonian, a step the authors argue is obscure and potentially leads to incorrect results. Furthermore, previous analyses often utilize frame fields rather than the natural coframe and spin connection variables of the Cartan-Palatini action, unnecessarily complicating computations. This paper aims to resolve these issues by providing a rigorous, geometrically motivated Hamiltonian formulation that includes the Immirzi parameter and utilizes the most general Carrollian Lagrangian.

Methodology
The authors employ the Gotay-Nester-Hinds (GNH) algorithm, an alternative to the Dirac formalism for constrained systems, to derive the Hamiltonian formulation. The analysis is grounded in Cartan geometry, which provides a natural setting for connection-type variables.

Geometric Framework: The study is set on a smooth manifold $M$ foliated by spatial slices $\Sigma$ . The authors utilize a $(G,H)$ -Cartan geometry where $G$ is the Carroll group and $H$ is the subgroup of rotations and Carrollian boosts. The fundamental variables are the Cartan connection $W$ , decomposed into a solder form ( $e, \tau$ ) and an Ehresmann connection ( $A, \Omega$ ).
Action: The starting point is the action $S(A, \Omega, e, \tau)$ , which is the sum of Carrollian gauge-invariant 4-forms derived from the Holst action, including a term controlled by the Immirzi parameter $\gamma$ .
Constraint Analysis: The authors compute the fiber derivative to identify primary constraints. They then apply the GNH method to determine secondary constraints and the consistency conditions required for the Hamiltonian vector fields to be tangent to the constraint submanifolds.
Geometric Insight: Instead of relying on brute-force algebraic resolution of the equations for the Hamiltonian vector fields, the authors exploit geometric insights from Cartan geometry. They identify the structure of gauge symmetries (internal rotations and Carrollian boosts) and diffeomorphisms to propose an ansatz for the vector fields, significantly simplifying the solution process.
Gauge Fixing: To obtain a canonical formulation, the authors implement a "time gauge" ( $\tau = 0$ ), analogous to the time gauge used in General Relativity (GR), to disentangle the dynamics and identify canonical variables.

Key Contributions and Results

General Lagrangian Analysis: The paper presents the Hamiltonian formulation for the most general Carrollian Lagrangian derived from the Holst action, explicitly retaining the Immirzi parameter $\gamma$ .
Constraint Structure: The analysis identifies the full constraint structure of the theory. The primary constraints relate the momenta to the configuration variables. The secondary constraints, derived from the consistency of the Hamiltonian vector fields, are found to be:
- $d_A e = 0$ (covariant constancy of the spatial coframe)
- $d\tau + \langle \Omega \wedge e \rangle = 0$ (relation between clock form and connection)
- $[e \wedge d_A \Omega] + F_A \wedge \tau = 0$ (curvature dynamics)
- $\langle e \wedge F_A \rangle = 0$ (algebraic curvature constraint)
  Notably, the authors demonstrate that these final constraints are independent of the Immirzi parameter $\gamma$ , a phenomenon similar to that observed in the Holst action for GR.
Hamiltonian Vector Fields: The authors explicitly derive the form of the Hamiltonian vector fields. They show that the dynamics can be interpreted as a combination of spatial diffeomorphisms, internal $SU(2)$ rotations, and Carrollian boosts. Crucially, they identify a non-trivial evolution term for the connection $\Omega$ involving the Hodge dual of the curvature, $-N(\star_e F_A)^\top$ .
Time Gauge and Ashtekar Variables: By imposing the time gauge $\tau = 0$ , the authors simplify the system. The constraint $d_A e = 0$ implies that the connection $A$ is the Levi-Civita connection $\Gamma$ of the coframe $e$ . The resulting symplectic structure suggests a direct mapping to Ashtekar-like variables. Specifically, the connection $\Gamma - \gamma \Omega$ is canonically conjugate to the densitized triad.
Comparison to GR: The authors highlight a key distinction between this Carrollian formulation and standard Lorentzian GR in Ashtekar variables. In GR, the Hamiltonian constraint is a combination of the curvature of the Ashtekar connection and the curvature of the spin connection. In the Carrollian case, only the term involving the spin connection (built with the triads) remains. This simplification is presented as a potential advantage for canonical quantization.

Significance
The paper claims that its approach offers several computational and conceptual advantages over previous methods. By utilizing the GNH method and Cartan geometry, the authors avoid the "unnatural" substitution of linear constraints with quadratic ones and the use of frame fields that complicate the action. The geometric insight allows for a clearer interpretation of the Hamiltonian vector fields and the underlying symmetries.

The primary significance of the work lies in providing a "toy model" for the canonical quantization of gravity. The authors note that the phase space of this Carrollian theory is related to the Ashtekar formulation of GR, but with a simplified Hamiltonian constraint. They suggest that understanding this simplified system could illuminate the more difficult problem of quantizing full General Relativity. Additionally, the work establishes a rigorous link between the magnetic Carrollian limit of Einstein gravity and the general Carrollian theory, confirming their equivalence within the Hamiltonian framework. The paper concludes that the classical dynamics are fully described by the derived Hamiltonian vector fields and constraints, and that the time gauge successfully yields a formulation suitable for potential Dirac quantization.