The gauging procedure and carrollian gravity

TL;DR

This paper develops a gauging procedure to construct Carrollian gravity theories from Cartan geometries, generalizing known models and introducing new topological terms, with implications for understanding gravity in Carrollian spacetime.

Contribution

It introduces a novel gauging method for Carrollian geometries, extending previous models and revealing intrinsic differences in lightcone cases, along with new topological terms.

Findings

Gauging Minkowski space reproduces 4D General Relativity.

Constructs Carrollian gravity models for various symmetric spaces.

Identifies new intrinsic Carrollian topological terms.

Abstract

We discuss a gauging procedure that allows us to construct lagrangians that dictate the dynamics of an underlying Cartan geometry. In a sense to be made precise in the paper, the starting datum in the gauging procedure is a Klein pair corresponding to a homogeneous space. What the gauging procedure amounts to is the construction of a Cartan geometry modelled on that Klein geometry, with the gauge field defining a Cartan connection. The lagrangian itself consists of all gauge-invariant top-forms constructed from the Cartan connection and its curvature. After demonstrating that this procedure produces four-dimensional General Relativity upon gauging Minkowski spacetime, we proceed to gauge all four-dimensional maximally symmetric carrollian spaces: Carroll, (anti-)de Sitter--Carroll and the lightcone. For the first three of these spaces, our lagrangians generalise earlier first-order lagrangians. The resulting theories of carrollian gravity all take the same form, which seems to be a manifestation of model mutation at the level of the lagrangians. The odd one out, the lightcone, is not reductive and this means that although the equations of motion take the same form as in the other cases, the geometric interpretation is different. For all carrollian theories of gravity we obtain analogues of the Gauss--Bonnet, Pontryagin and Nieh--Yan topological terms, as well as two additional terms that are intrinsically carrollian and seem to have no lorentzian counterpart. Since we gauge the theories from scratch this work also provides a no-go result for the electric carrollian theory in a first-order formulation.