Potential Carroll Structures and Special Carrollian Manifolds

This paper initiates the study of potential Carroll structures as an intrinsic geometric framework for null hypersurfaces, particularly in contexts involving conformal isometries, while exploring their relationship to special Carrollian manifolds.

The Gist

Imagine you are trying to describe the surface of a black hole or the very edge of the universe (known as "null infinity"). In our normal 3D world, if you take a slice of space, you can easily measure distances and draw straight lines on it. But these special surfaces are "null"—they are like light beams. They are so weird that the usual rules of geometry break down; you can't just copy the "ruler" from the big universe onto them.

This paper is about inventing new, custom-made rulers and maps specifically for these tricky, light-like surfaces. The authors are exploring two different ways to build these maps, which they call Special Carrollian Manifolds and Potential Carroll Structures.

Here is a simple breakdown of what they found:

The Two Types of Maps

Think of a Carrollian structure as a blank canvas with a special "wind" blowing through it (called a vector field, $\ell$) and a degenerate metric (a ruler that doesn't work in the direction of the wind). To make this canvas useful, you need to add a "connection" (a set of rules for how to move around without slipping).

The paper compares two ways to set up these rules:

1. The "Special" Map (Special Carrollian Manifold)

• The Analogy: Imagine a train track where the rails are perfectly parallel and the train never drifts.
• How it works: You pick a specific "guide line" (a 1-form, $\nu$) and you demand that your rules for moving around keep this guide line perfectly still. The guide line is "parallel" to the rules.
• The Result: If you have this guide line, you can mathematically prove there is exactly one unique set of rules (a connection) that fits perfectly. It's like finding the one key that fits a specific lock.

2. The "Potential" Map (Potential Carroll Structure)

• The Analogy: Imagine a landscape where the height of the ground is determined by a "potential" (like a hill). Instead of keeping a guide line still, the rules of movement are designed so that the guide line creates the shape of the landscape.
• How it works: You pick a guide line ($\alpha$) and demand that the rules of movement make this line act as the "source" or "potential" for the geometry itself.
• The Result: Just like the Special Map, if you start with this guide line, there is also exactly one unique set of rules that fits.

The Big Discovery: They Are Not Always the Same

The authors asked: "Can we turn a Special Map into a Potential Map just by tweaking the guide line?" and vice versa?

The answer is: Only in very rare, specific cases.

• Turning a Potential Map into a Special Map:
  To do this, the surface you are mapping must have a very specific curvature (how much it bends). The paper shows that if the surface is flat, the "twist" in your guide line must be constant. If the surface is curved, the curvature and the twist must dance together in a very precise mathematical equation. If they don't match this equation, you simply cannot turn one into the other.

• Turning a Special Map into a Potential Map:
  This is even stricter. To turn a Special Map into a Potential Map, the surface must have a "homothetic vector field."

  • The Analogy: Imagine a rubber sheet. An "isometry" is stretching the sheet without changing its shape (like sliding a puzzle piece). A "homothety" is scaling the whole sheet up or down (like zooming in).
  • The Catch: Most shapes (like a sphere or a torus) cannot be zoomed in or out while keeping their geometry intact. The paper proves that if your surface is a closed, compact shape (like a sphere), it is impossible to turn a Special Map into a Potential Map. The geometry simply doesn't allow it.

Why Does This Matter?

The paper doesn't claim to cure diseases or build new engines. Instead, it's a foundational math paper. It's like a carpenter figuring out exactly which tools fit which type of wood.

• Context: Physicists are currently trying to understand the universe using "Holography" (the idea that our 3D universe is a projection of a 2D surface). These "null" surfaces are the boundaries of that projection.
• The Contribution: The authors are clarifying the "grammar" of these surfaces. They are telling us: "If you want to describe a black hole horizon using Method A, you need these specific ingredients. If you want to use Method B, you need these. And you can't just swap them unless the universe happens to be shaped in a very specific, rare way."

In short, the paper maps out the strict rules of the road for two different ways of describing the edges of our universe, showing us exactly where the roads intersect and where they diverge forever.

Technical Summary

Technical Summary: Potential Carroll Structures and Special Carrollian Manifolds

Problem Statement
The paper addresses a fundamental geometric challenge in the study of null hypersurfaces within Lorentzian manifolds. Unlike space-like or time-like hypersurfaces, null hypersurfaces (such as black hole event horizons and null infinity) do not naturally inherit an affine connection from the ambient spacetime. This lack of intrinsic connection complicates the geometric description of these surfaces, which are central to recent developments in flat-space holography, specifically celestial and Carrollian holography.

While Carrollian geometries (manifolds with a degenerate metric and a fundamental vector field) have been proposed as the intrinsic framework for these surfaces, there is ambiguity regarding how to equip them with a compatible affine connection. The authors identify two distinct candidate structures:

1. Special Carrollian Manifolds (SCMs): Structures where a principal 1-form (Ehresmann connection) is parallel with respect to the connection.
2. Potential Carroll Structures: Structures where the 1-form acts as a covariant potential for the degenerate metric, rather than being parallel.

The core problem is to determine the minimal data required to uniquely specify these structures, establish the conditions under which they can be transformed into one another, and understand the geometric constraints imposed by these relationships.

Methodology
The authors employ differential geometry on manifolds equipped with a degenerate metric $g$ of signature $(0, +, \dots, +)$ and a fundamental vector field $\ell$. The methodology relies on:

• Definitions of Minimal Torsion: The authors introduce a definition of "minimal" torsion for a connection $\nabla$ relative to a tuple $(M, g, \ell, \omega)$, where $\omega$ is an Ehresmann connection. This minimality condition ensures the torsion is uniquely determined by the Lie derivative of the metric and the connection.
• Algebraic and Coordinate Analysis: The paper utilizes both abstract index notation and specific coordinate frames (including non-coordinate frames) to derive constraints on connection coefficients (Christoffel symbols).
• Dimensional Focus: While results are noted to generalize, the primary proofs and physical applications are developed in the 3-dimensional case ($d=3$), which corresponds to the physical relevance of 3D null hypersurfaces in 4D spacetime.
• Comparative Analysis: The authors systematically compare the conditions required to construct SCMs versus Potential Carroll structures, analyzing the implications of fixing a 1-form versus fixing a connection.

Key Contributions and Results

1. Classification of Torsion and Connections:
   The paper establishes that the torsion tensor of a Carrollian connection is heavily constrained by the failure of the fundamental vector field $\ell$ to be a Killing vector. A key lemma (Lemma 2.1) relates the Lie derivative of the metric to the torsion. The authors define "minimal" torsion sections, proving they are uniquely determined by the tuple $(M, g, \ell, \omega)$.

2. Uniqueness of SCMs from Principal 1-forms:
   The authors prove that given a Carrollian structure and a principal Ehresmann connection (where $\mathcal{L}_\ell \nu = 0$), there exists a unique torsionful connection $\nabla$ that makes the tuple a Special Carrollian Manifold (Theorem 3.2). Conversely, they provide necessary and sufficient conditions (Theorem 3.3) under which a given connection admits a parallel Ehresmann connection, showing that such a connection does not always exist and is not always unique (Theorem 3.6).

3. Uniqueness of Potential Carroll Structures from 1-forms:
   Similarly, the paper demonstrates that given a Carrollian structure and a 1-form $\alpha$, there exists a unique torsionful connection $\nabla$ such that $\nabla \odot \alpha = g$ (making $\alpha$ a metric potential) and the torsion is minimal (Theorem 4.1). The reverse direction (Theorem 4.2) establishes strict geometric constraints on the connection for such a potential to exist, involving conditions on the trace of the torsion and curvature tensors.

4. Inter-convertibility and Geometric Restrictions:
   A significant portion of the work investigates whether one structure can be transformed into the other by modifying the Ehresmann connection.

   • Potential $\to$ SCM: Theorem 5.1 shows that converting a Potential Carroll structure to an SCM imposes severe restrictions on the scalar curvature of horizontal embedded surfaces. Specifically, if the scalar curvature vanishes, the pullback of the exterior derivative of the 1-form must be a constant multiple of the volume form; if non-vanishing, it must satisfy a specific differential equation. This implies that only non-generic potential structures can be converted.
   • SCM $\to$ Potential: Theorem 5.3 proves that an SCM can be converted to a Potential Carroll structure if and only if the induced spatial metric admits a non-isometric homothetic vector field.
   • Compactness Constraint: Corollary 5.4 further restricts this by showing that for compact spatial hypersurfaces, no such conversion is possible, as compact Riemannian manifolds do not admit non-isometric homotheties.

Significance and Claims
The paper claims to initiate the systematic study of "Potential Carroll Structures" as a distinct and viable candidate for the intrinsic geometry of null hypersurfaces, particularly in contexts where conformal isometries are of interest.

The authors position their work as a foundational step in clarifying the landscape of Carrollian geometries. They do not claim to solve the holographic problem directly but rather provide the rigorous geometric machinery (definitions, existence theorems, and uniqueness conditions) required to model null hypersurfaces. The significance lies in:

• Distinguishing between structures where the connection preserves the 1-form (SCMs) versus those where the 1-form generates the metric (Potential Carroll structures).
• Demonstrating that these two structures are not freely interchangeable; the transition between them is governed by strict curvature and symmetry conditions on the underlying spatial slices.
• Providing a framework that may be particularly useful for the study of null infinity and black hole horizons in the context of flat-space holography, where the choice of intrinsic geometry is critical.

The paper remains modest in its scope, focusing on the mathematical consistency and classification of these structures in 3 dimensions, while noting that the results can be extended to higher dimensions with increased computational complexity.