Lorentzian Gromov-Hausdorff convergence and pre-compactness

This paper introduces a Lorentzian Gromov-Hausdorff convergence framework based on causal diamonds and the time separation function, establishing pre-compactness theorems for globally hyperbolic spacetimes and demonstrating the stability of timelike sectional curvature bounds along with connections to causal set theory.

The Gist

Imagine the universe not as a smooth, continuous fabric, but as a giant, complex puzzle made of tiny, discrete pieces. For decades, mathematicians have had a powerful tool to study how these puzzle pieces fit together and how one shape can slowly morph into another. This tool is called Gromov–Hausdorff convergence. It's like a high-resolution microscope that lets you zoom in on a sequence of shapes and see what they are becoming in the limit.

However, this tool was designed for "Riemannian" spaces—worlds where distance is always positive, like the surface of a sphere or a flat sheet of paper. Our universe, described by Einstein's General Relativity, is different. It's Lorentzian. In our universe, time and space are mixed. You can travel from point A to point B, but you can't go back in time. The "distance" between two events can be zero (if they are connected by a beam of light) or even negative (if they are too far apart in space to be connected by anything moving slower than light).

The Problem:
Until now, mathematicians didn't have a reliable way to use that "microscope" on Lorentzian spacetimes. They couldn't easily say, "If I take a sequence of spacetimes with certain properties, what does the final shape look like?" This made it hard to study the "edges" of the universe, singularities (like black holes), or theories that suggest spacetime is actually made of discrete chunks (like Causal Set Theory).

The Solution:
Andrea Mondino and Clemens Sämann have built a new version of this microscope specifically for spacetime. Here is how they did it, using simple analogies:

1. The "Diamond" Net (The Core Innovation)

In normal geometry, to measure how close two shapes are, you might cover them with a net of small circles (like fishing nets). If the circles are small enough, the net captures the shape's details.

In spacetime, circles don't work well because of the weird rules of time and causality. Instead, the authors use Causal Diamonds.

• The Analogy: Imagine a causal diamond as a "bubble of influence." It's the region of spacetime where an event at the bottom can influence an event at the top, and vice versa. It's shaped like a diamond because it's bounded by the speed of light.
• The Method: To approximate a spacetime, they don't use circles; they use a net made of these tiny diamonds. If the diamonds are small enough, the net captures the "causal structure" (who can influence whom) of the universe.

2. The "Pre-Compactness" Theorem (The Guarantee)

One of the most famous results in geometry is Gromov's Pre-compactness Theorem. It essentially says: "If you have a huge collection of shapes, and they all share certain 'tightness' rules (like they aren't infinitely large and they aren't infinitely wrinkled), then you can pick a sequence from that collection that will eventually settle down into a single, stable shape."

The authors proved a Lorentzian version of this. They showed that if you have a family of universes that obey specific rules (like having a bounded size and a specific type of curvature control), you can always find a sub-sequence that converges to a well-defined limit.

The Catch: In our universe, you need to control more than just "size." You need to control:

• The "Initial Data": The shape of a "slice" of the universe (a Cauchy surface) at a specific moment.
• Curvature: How much the universe bends.
• The "Second Fundamental Form": This is a fancy way of saying "how fast the shape of space is changing." Imagine a balloon inflating; the curvature tells you how round it is, but the second fundamental form tells you how fast it's expanding. The authors proved that if you control the initial shape, the expansion rate, and the curvature, the whole universe behaves nicely.

3. What Can We Do With This?

The paper doesn't just build the tool; it shows how to use it for four specific things:

• Smoothing Out Rough Edges: They showed that you can approximate a "rough" spacetime (one with a continuous but not perfectly smooth metric) using a sequence of "smooth" spacetimes. This is like approximating a jagged mountain range with a series of smoother, stepped terraces.
• Stability of Curvature: They proved that if you have a sequence of universes where the "timelike curvature" (how time bends) is bounded below, the final limit universe will also respect that bound. The "rules of the game" don't break when you zoom out.
• Blow-up Tangents: This is like taking a microscope to a single point in spacetime and zooming in infinitely. The authors showed that under certain conditions, you can see what the "tangent" (the local shape) of a spacetime looks like at a specific point, even if that point is a singularity.
• Causal Set Theory: This is a theory suggesting the universe is fundamentally discrete (like pixels on a screen). The authors proved a version of the "Main Conjecture" (Hauptvermutung) for this theory. They showed that if two smooth universes both look like they are built from the same sequence of discrete "pixels" (causal sets), then those two smooth universes must be identical (isometric). It's like saying if two different blueprints are built from the exact same Lego bricks in the exact same order, they must result in the same castle.

Summary

In short, this paper provides the first rigorous mathematical framework to treat spacetimes as objects that can converge, deform, and be approximated, just like shapes in normal geometry. By replacing "circles" with "causal diamonds," the authors have opened the door to studying the geometry of the universe in a way that respects the unique, time-bending nature of Einstein's relativity. This allows mathematicians to ask and answer questions about the limits of spacetime, the nature of singularities, and the fundamental discrete structure of the cosmos.

Technical Summary

Technical Summary: Lorentzian Gromov–Hausdorff Convergence and Pre-compactness

Problem Statement
The paper addresses a fundamental gap in synthetic Lorentzian geometry: the lack of a robust notion of convergence for Lorentzian spaces analogous to the Gromov–Hausdorff convergence in Riemannian and metric geometry. While synthetic curvature bounds (e.g., timelike sectional and Ricci curvature) have been established for Lorentzian pre-length spaces, a corresponding convergence theory and pre-compactness theorem were missing. Previous attempts, such as those by Noldus or the bounded Lorentzian metric spaces of Minguzzi and Suhr, either relied on auxiliary metrics (distinction metrics) or did not directly relate pre-compactness to geometric curvature conditions. The authors aim to introduce a convergence notion based solely on the causal structure and the time-separation function, enabling the study of limits of spacetimes under curvature and diameter constraints.

Methodology
The authors develop a framework for Lorentzian Gromov–Hausdorff (LGH) convergence tailored to the causal nature of spacetime, avoiding reliance on positive-definite metrics.

1. Lorentzian Pre-length Spaces: The setting is the class of Lorentzian pre-length spaces $(X, \ell)$, where $\ell$ satisfies the reverse triangle inequality. The time-separation function is defined as $\tau = \max(0, \ell)$.
2. $\epsilon$-nets via Causal Diamonds: Unlike metric spaces where $\epsilon$-nets are defined by metric balls, the authors define an $\epsilon$-net for a subset $A \subset X$ as a collection of causal diamonds $J(p_i, q_i)$ such that:
   • The timelike diameter $\tau(p_i, q_i) \leq \epsilon$.
   • The union of these diamonds covers $A$.
3. Pointed Convergence (pLGH): To handle non-compact spacetimes, the authors introduce a "covering" structure $U = (U_k)_{k \in \mathbb{N}}$ (an exhaustion by sets) rather than relying on metric balls centered at a point. Convergence is defined by the existence of correspondences between the vertices of $\epsilon$-nets in the approximating sequence and the limit space, with vanishing distortion of time-separations.
4. Completion: A "forward completion" is constructed for Lorentzian pre-length spaces, inspired by partial order theory, to ensure limits are well-defined and forward-complete. This involves taking limits of monotone increasing sequences.
5. Quotients: To handle indistinguishable points (where $\ell(x, z) = \ell(y, z)$ and $\ell(z, x) = \ell(z, y)$ for all $z$), the authors utilize a quotient construction that preserves convergence while enforcing the Point Distinction Property (PDP).

Key Contributions and Results

• Abstract Pre-compactness (Theorem 6.2): The paper establishes a pre-compactness theorem for families of covered Lorentzian pre-length spaces. If a family admits uniform bounds on the timelike diameter of covering sets and admits $\epsilon$-nets of uniformly bounded cardinality, the family is sequentially pre-compact. This result is purely combinatorial and relies on the structure of causal diamonds rather than metric balls.
• Uniqueness of Limits (Theorems 4.7, 4.9): The authors prove that limits are unique (up to isometry) within the class of forward-complete, properly covered Lorentzian pre-length spaces satisfying the PDP and having continuous time-separation functions.
• Geometric Pre-compactness (Theorem 8.4): A major result applies the abstract theory to smooth globally hyperbolic spacetimes. It shows that a family of spacetimes is pre-compact if:
  • The spacelike slices admit uniform metric $\epsilon$-nets (controlled by a function $N(\epsilon)$).
  • There is a uniform causal control: a reference metric $\rho_C$ (with a specific time-scaling) is "lighter" than the spacetime metrics ($g \succeq \rho_C$) on compact time intervals.
• Curvature-Based Pre-compactness (Theorem 8.9): This is the paper's first Lorentzian pre-compactness result derived directly from curvature and diameter assumptions. For a family of globally hyperbolic spacetimes $(M, g)$, pre-compactness is guaranteed if:
  • Timelike Sectional Curvature: Bounded below ($TSec \geq -K_\perp$).
  • Ambient Ricci Curvature: Bounded below along a Cauchy surface ($Ric \geq -K$).
  • Second Fundamental Form: Bounded ($|h| \leq \Lambda$).
  • Diameter: The Cauchy surface has bounded diameter.
  • Significance: This provides a "polarized" control (timelike sectional + spacelike Ricci + extrinsic curvature) sufficient to control the full geometry, analogous to Gromov's Riemannian theorem but adapted to the Lorentzian signature.
• Measured Convergence (Section 9): The framework is extended to measured Lorentian pre-length spaces, establishing pre-compactness for sequences with uniformly bounded measures on covering sets.

Applications
The paper demonstrates the utility of this convergence theory through four applications:

1. Chru´sciel–Grant Approximations: It is shown that the approximation of continuous spacetimes by smooth metrics (with nested light cones) constitutes a specific instance of Lorentzian Gromov–Hausdorff convergence.
2. Stability of Curvature Bounds: The paper proves that global lower bounds on timelike sectional curvature (formulated via the four-point condition) are stable under LGH convergence.
3. Timelike Blow-up Tangents: The authors introduce the notion of timelike blow-up tangents (limits of rescaled spacetimes) and prove their subsequential existence under a "doubling property" for causal diamonds.
4. Causal Set Theory: The paper provides a rigorous mathematical statement supporting the "Hauptvermutung" (main conjecture) of causal set theory: if a sequence of causal sets faithfully embeds into two smooth globally hyperbolic spacetimes and converges to them in the LGH sense, the two spacetimes are isometric.

Significance and Claims
The authors claim this work provides the first geometric framework for convergence in Lorentzian geometry that applies to both synthetic and smooth settings without relying on a background Riemannian metric. The primary significance lies in the Theorem 8.9, which establishes pre-compactness under curvature-diameter assumptions, a long-standing open problem in the field. The paper emphasizes that this result relies on the specific causal structure of Lorentzian manifolds (using causal diamonds for nets) and does not have a direct counterpart in Riemannian geometry. The framework is presented as a foundational tool for studying the degeneration of spacetimes, singularity theorems, and the continuum limit of discrete quantum gravity models.