⚛️ high-energy theory

Holonomies and Boundary Symmetries in the Discrete BF Formulation of Carroll Dilaton Gravity

This paper constructs a discrete BF formulation of two-dimensional Carroll dilaton gravity, demonstrating that its boundary symmetries form an affine Carroll algebra with a conformal Virasoro reduction, thereby establishing the ultra-relativistic counterpart to discrete Jackiw-Teitelboim gravity.

Original authors: H. T. Özer, Aytül Filiz

Published 2026-06-25

📖 6 min read🧠 Deep dive

CC0 1.0

Original authors: H. T. Özer, Aytül Filiz

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 a Grid

Imagine you want to understand how gravity works, but instead of looking at smooth, continuous space (like a perfectly smooth sheet of rubber), you look at space as if it were made of tiny, rigid tiles or a grid—like a chessboard or a pixelated image. This is called a "discrete" approach.

The authors of this paper are studying a very specific, simplified version of gravity called "Carroll Dilaton Gravity." To understand what that means, we have to break it down into two parts:

Carroll Gravity: In our normal world, nothing travels faster than light. But imagine a universe where the speed of light is effectively zero. In this "ultra-relativistic" limit, time and space behave very differently. This is the "Carroll" geometry. It’s like a world where you can move sideways, but you are completely frozen in time relative to your neighbors.
Dilaton Gravity: This is a simplified model of gravity used by physicists as a "toy model." It’s not the full, complex gravity of Einstein, but a stripped-down version that helps them understand the core mathematical rules without getting bogged down in messy details.

The Goal: The authors wanted to see what happens when you combine these two ideas—this frozen-time, simplified gravity—and build it on a grid (a lattice) instead of smooth space.

The Analogy: The "Flatness" Rule

Think of the universe in this paper as a large, flexible fabric.

The Bulk (The Interior): In the middle of this fabric, the rules are very strict. The fabric must be perfectly "flat" or "topological." This means there are no wrinkles, no bumps, and no local changes happening in the middle. It’s like a sheet of paper that can be folded, but never stretched or torn. Because it’s so rigid in the middle, nothing interesting happens there. It’s boringly stable.
The Boundary (The Edge): All the action happens at the edge of the fabric. If you pull or twist the edge, the whole sheet reacts. In physics, this is where the "dynamics" (the movement and change) live.

The authors use a mathematical tool called BF Theory. Think of this as a rulebook that says: "The inside must stay flat, but the edges are free to dance."

The "Holonomy" Variable: The Compass on the Grid

In normal physics, we describe gravity using fields that exist at every point. But on a grid, you can’t have a field at every infinitesimal point. Instead, the authors use something called Holonomies.

Analogy: Imagine you are walking on a chessboard. At each square, you hold a compass. When you move from one square to the next, your compass needle might twist slightly. The "Holonomy" is just a record of how much your compass twisted as you walked along a link (a line between two squares).

If you walk around a small square (a plaquette) and your compass ends up pointing in the exact same direction it started, the space is "flat."
If your compass twists, there is "curvature" (gravity).

In this Carroll gravity model, the rules force the compass to never twist in the middle of the board. So, the only place where the compass can do anything interesting is along the outer edge of the board.

The Main Discovery: Symmetry at the Edge

The most important part of the paper is about Symmetry. Symmetry in physics means "what can I change without breaking the rules?"

The authors looked at the edge of their grid and asked: "What kinds of movements can the edge make while keeping the inside flat?"

They found two layers of symmetry:

The "Affine" Layer (The Loose Rules): If you don’t restrict the edge too much, it can move in a way that follows the "Carroll Algebra." Think of this as the edge being able to slide and shift in specific, allowed ways. It’s like a zipper that can slide up and down.
The "Conformal" Layer (The Tight Rules): If you add more restrictions (like saying, "The edge can only stretch, not slide"), the symmetry becomes simpler and more powerful. It turns into a Virasoro Algebra.

Why is Virasoro important?
In physics, the Virasoro algebra is the mathematical signature of Conformal Symmetry. This is the same type of symmetry found in string theory and in the study of black holes. It describes how things look the same even if you zoom in or out.

The Surprise:
Usually, physicists have to do complicated math to find this Virasoro symmetry in smooth, continuous space. But these authors showed that if you just build the grid correctly, the Virasoro symmetry pops out automatically at the edge. You don’t need to force it; it’s built into the structure of the grid itself.

The "Sugawara" Construction: Building a Stress Tensor

In physics, to describe how energy and momentum flow, you need something called a "Stress Tensor."

The authors showed that they could build this Stress Tensor from the edge movements (the currents) using a recipe called the Sugawara construction.

Analogy: Imagine the edge of the grid is made of tiny beads. The way the beads move relative to each other (the current) can be combined in a specific quadratic way (multiplying them together) to create a new quantity that acts like the "stress" or "energy" of the system. This new quantity follows the Virasoro rules.

Why Does This Matter? (According to the Paper)

It’s a Counterpart to JT Gravity: There is a famous model called Jackiw-Teitelboim (JT) gravity, which is the relativistic (normal light-speed) version of this toy model. This paper provides the "Carroll" (zero light-speed) version of JT gravity, but built on a grid.
Discrete vs. Continuous: It proves that you don’t need smooth, continuous space to get these deep symmetries. The grid (lattice) captures the essential physics perfectly. The "smooth" version is just what you get when you make the grid squares infinitely small.
No "Invariant Metric" Needed: In many gravity theories, you need a specific mathematical tool (an invariant metric) to define the energy. The Carroll algebra is "nilpotent" (a fancy way of saying it’s structurally simple and degenerate), so it doesn’t have this tool. The authors showed that their grid method works without it, using a different pairing method. This makes the math cleaner and more robust for this specific type of gravity.

Summary in One Sentence

The authors built a simplified, "frozen-time" version of gravity on a pixelated grid and discovered that the complex symmetries governing the edge of this universe emerge naturally from the grid’s structure, providing a clean, discrete blueprint for how such gravity works.

Technical Summary: Holonomies and Boundary Symmetries in the Discrete BF Formulation of Carroll Dilaton Gravity

Problem and Context
The paper addresses the lack of systematic discrete realizations for two-dimensional Carroll dilaton gravity, specifically within a BF-type gauge framework. While the continuum structure of Carroll dilaton gravity—the ultra-relativistic counterpart to Jackiw–Teitelboim (JT) gravity—is well understood, its discrete counterparts remain largely unexplored. The authors note that discrete approaches to gauge and gravity theories offer a structural perspective on topological structures via holonomies associated with lattice links, rather than merely approximating continuum geometries. A specific challenge in this context is that Carroll algebras are non-semisimple and nilpotent, meaning they lack a non-degenerate invariant bilinear form (Killing form), which complicates the definition of actions and symmetry algebras compared to relativistic cases like $sl(2, \mathbb{R})$ .

Methodology
The authors construct a discrete realization of two-dimensional Carroll dilaton gravity using a BF-type gauge structure. The methodology proceeds as follows:

Discrete BF Formulation: The spacetime manifold is discretized via a cellular decomposition into vertices, oriented links, and plaquettes. The fundamental variables are group-valued holonomies $U_\ell$ associated with lattice links, replacing the continuum gauge field. The dilaton field $X_f$ is associated with each plaquette and acts as a Lagrange multiplier.
Action and Constraints: The discrete action is defined as $S_{disc} = \sum_f \langle X_f, \log W_f \rangle + S_{boundary}$ , where $W_f$ is the plaquette holonomy. Variation with respect to $X_f$ enforces the flatness constraint $W_f = 1$ , ensuring the bulk theory remains topological with no local propagating degrees of freedom. The authors utilize the natural pairing between adjoint (curvature) and coadjoint (dilaton) variables, avoiding the need for a non-degenerate invariant metric on the Carroll algebra.
Boundary Analysis: Since bulk gauge transformations act trivially, physical dynamics are encoded in boundary degrees of freedom. The boundary is represented as an oriented sequence of lattice links. The authors analyze residual gauge transformations that preserve specific boundary conditions.
Symmetry Derivation: The asymptotic symmetry structure is derived directly at the lattice level using discrete Poisson brackets. The authors first impose affine boundary conditions and then apply a conformal reduction (analogous to Drinfeld–Sokolov reduction) to isolate a Virasoro-type sector.

Key Contributions and Results

Discrete Affine Carroll Algebra: By imposing the least restrictive affine boundary conditions on the boundary holonomies, the authors derive the asymptotic symmetry algebra. They define boundary currents $L^I_n$ ( $I \in \{H, P, B\}$ ) and determine their Poisson brackets. The resulting algebra is a discrete affine extension of the Carroll algebra. Due to the nilpotent nature of the Carroll algebra, the $P$ and $B$ components behave as abelian currents, while the $H$ -component mixes non-trivially. The algebra includes central derivative terms arising from the affine extension.
Conformal Reduction and Virasoro-Type Symmetry: The authors impose additional constraints ( $L^P_n = \mu$ , $L^B_n = 0$ ) to reduce the phase space to a single dynamical current $J_n = L^H_n$ . This reduces the symmetry to a $U(1)$ -type current algebra. Using a Sugawara-like construction, they define a composite stress tensor generator $L_n = \frac{1}{2K}(J_n J_n) + \beta \nabla J_n$ . The Poisson brackets of these generators satisfy a discrete Virasoro-type algebra:
$\{L_n, L_m\} = (L_n + L_m) \nabla \delta_{n,m} + \beta^2 K \nabla^3 \delta_{n,m}$
The central term arises from the improvement parameter $\beta$ and the effective level $K$ , representing a classical central extension.
Dilaton Behavior: In the affine sector, the dilaton transforms under the adjoint action of the boundary currents. However, after the conformal reduction, the dilaton components Poisson-commute with the Virasoro generators ( $\{L_n, X^I_m\} = 0$ ), meaning the dilaton survives as a conformal singlet of weight zero.
Continuum Limit: The authors demonstrate that in the continuum limit ( $\Delta \tau \to 0$ ), the discrete lattice symmetries reproduce the expected continuum affine Carroll algebra and its conformal reduction to a Virasoro algebra. The discrete Poisson brackets map to continuum operator product expansions (OPEs), with the classical central charge $c = 2\beta^2 K$ emerging from the improvement term.

Significance and Claims
The paper claims that this construction provides the ultra-relativistic counterpart of the discrete BF description of JT gravity. Key significance points include:

Direct Lattice Realization: The asymptotic symmetry algebra arises directly from the lattice gauge variables and boundary holonomies, without relying on continuum gauge fixing or asymptotic fall-off conditions. This highlights the discrete BF framework as capturing the symmetry structure intrinsically at the lattice level.
Handling Non-Semisimple Algebras: The work demonstrates a consistent method for constructing boundary symmetries and Sugawara-like stress tensors for non-semisimple algebras (Carroll) where standard invariant metrics are degenerate or absent. The construction relies on the adjoint-coadjoint pairing and the effective abelian nature of the reduced current sector.
Structural Bridge: The discrete holonomy construction establishes a direct bridge between lattice gauge variables and boundary symmetry structures, linking the affine Carroll current algebra to a Virasoro-type conformal symmetry within a fully discrete framework.

The authors conclude that this discrete framework offers a complementary perspective on the origin of boundary symmetries in two-dimensional dilaton gravity and serves as a foundation for future investigations into quantization, Carrollian holography, and extensions to supersymmetric or higher-rank Carroll gravity theories.