Hausdorff-type metric geometry of the space of Cauchy hypersurfaces

This paper equips the space of Cauchy hypersurfaces in globally hyperbolic spacetimes with a natural Hausdorff-type metric to investigate its completeness and local compactness properties, while also generalizing existing completeness results for Lorentzian manifolds and synthetic Lorentzian settings.

The Gist

Imagine the universe not just as a place where things happen, but as a giant, flowing river of time and space. In physics, specifically in Einstein's theory of General Relativity, we often try to take a "snapshot" of this river to understand how it works. These snapshots are called Cauchy hypersurfaces.

Think of a Cauchy hypersurface as a perfect, invisible sheet of glass that slices through the entire universe at a single moment. If you were an observer floating in this river of time, you would cross this sheet exactly once. It represents "now" for the whole universe.

The problem physicists face is: There is no single "correct" "now." You can slice the river of time at a steep angle, a shallow angle, or curve it like a bowl. There are infinite ways to choose your "now."

This paper, written by Christian Lange and Jonas W. Peteranderl, asks a fascinating question: Can we measure the distance between these different "nows"?

The Big Idea: Measuring the Gap Between "Nows"

Usually, to measure distance, we use a ruler. But how do you measure the distance between two different moments in time that cover the whole universe?

The authors invent a new kind of ruler, which they call a Hausdorff-type metric.

The Analogy of the Two Crowds:
Imagine two different crowds of people standing in a massive stadium.

• Crowd A is standing in a circle.
• Crowd B is standing in a square.

To measure how "far apart" these two shapes are, you don't just measure the distance between their centers. You look at the person in Crowd A who is farthest from anyone in Crowd B, and the person in Crowd B who is farthest from anyone in Crowd A. The "distance" between the two crowds is determined by the biggest gap you have to jump to get from one group to the other.

The authors apply this same logic to the universe. They look at two different "slices" of time (two different Cauchy hypersurfaces) and measure the maximum "time gap" between any point on one slice and the nearest point on the other. This creates a mathematical map where every possible "now" is a point, and the distance between them tells you how different those moments are.

Why This Matters: The Rules of the Game

The paper isn't just about drawing a map; it's about checking if the map is stable and complete. In math, a space is "complete" if you can keep walking in a straight line forever without falling off the edge.

The authors prove three main things about this map of "nows":

1. It's a Valid Map (Metric Space): They show that this new way of measuring distance actually works. It follows the rules of geometry (like the triangle inequality: the direct path is always shorter than going around).
2. It Doesn't Fall Apart (Completeness): If you have a sequence of "nows" that get closer and closer together, they will eventually settle on a specific, valid "now." You won't reach a point where the math breaks down or the "now" disappears.
   • The Catch: This only works if the universe itself is "complete" (meaning time doesn't just stop or hit a singularity abruptly). If the universe has a "hole" or an edge, your sequence of "nows" might try to fall into that hole, and the map breaks.
3. It's Compact (Locally Finite): If the universe is "spatially compact" (meaning it's finite in size, like a giant donut shape rather than an infinite flat plane), then the space of all possible "nows" is also manageable. You can't have an infinite number of wildly different "nows" packed into a small area.

The "Synthetic" Twist: Playing with Lego Bricks

One of the coolest parts of this paper is that it doesn't just work for smooth, perfect universes (like the ones in textbooks). It works for "synthetic" universes.

The Analogy:
Think of a smooth marble sphere (a smooth universe) vs. a structure built out of Lego bricks (a "synthetic" universe). The Lego structure might have jagged edges, gaps, or rough surfaces. It's not "smooth."

The authors show that their new ruler works even on the Lego universe. This is huge because real-world physics might involve "rough" spots, like the center of a black hole or the very beginning of the Big Bang, where the smooth rules of calculus break down. By using this new metric, they can study the geometry of time even in these messy, "rough" scenarios.

The "Blaschke" Connection

The paper mentions a famous math theorem called Blaschke's Selection Theorem.

• The Analogy: Imagine you have a box of different shaped cookies. If the box is finite and the cookies are all roughly the same size, you can't keep picking new, totally different cookies forever. Eventually, you'll run out of unique shapes, or you'll start picking cookies that look very similar to ones you've already picked.
• The Paper's Result: They prove a similar thing for "nows." If the universe is finite, you can't have an infinite sequence of "nows" that are all completely different from each other. They must eventually cluster together.

Summary

In simple terms, this paper builds a mathematical playground for "moments in time."

• The Goal: To treat different ways of slicing the universe into "now" as objects that can be measured and compared.
• The Tool: A new "distance" formula based on how far apart the slices are.
• The Discovery: This playground is solid, stable, and well-behaved, provided the universe itself doesn't have sudden holes or edges.
• The Impact: It allows physicists to study the geometry of time and the universe's structure even in extreme, "rough" conditions where traditional smooth math fails.

It's like giving physicists a new pair of glasses that lets them see the shape of time itself, even when the universe is messy, jagged, or on the brink of a singularity.

Technical Summary

1. Problem Statement and Motivation

The paper addresses the lack of a canonical choice for Cauchy hypersurfaces in globally hyperbolic spacetimes. While Cauchy hypersurfaces are fundamental for prescribing initial conditions in the Einstein equations and characterizing global hyperbolicity (via Geroch's theorem), the space of all such hypersurfaces has not been systematically studied as a metric space in a general setting.

Previous work by Monclair (2023) introduced a weak Riemannian metric (based on an $L^2$-inner product) on the space of compact, smooth spacelike Cauchy hypersurfaces. However, this approach relies heavily on smoothness assumptions and does not extend to spacetimes with low regularity or singularities.

The authors aim to:

1. Equip the space of all Cauchy hypersurfaces (not necessarily smooth) in a globally hyperbolic spacetime with a natural Hausdorff-type metric.
2. Investigate the metric properties of this space, specifically completeness and local compactness.
3. Generalize these results to synthetic Lorentzian settings (Lorentzian pre-length and length spaces), which allow for the study of spacetimes with singularities, matter discontinuities, and low regularity metrics.

2. Methodology and Framework

A. The Metric Definition

The authors define a metric $d_J$ on the space of subsets of a spacetime $(M, g)$ (or a synthetic Lorentzian space $X$).

• Definition: For two subsets $A, B$, the distance is defined as:
  $$d_J(A, B) := \sup_{x \in A, y \in B} (d(x, y) + d(y, x))$$
  where $d$ is the Lorentzian distance (time separation).
• Context: This is an $L^\infty$-Finsler analogue of Monclair's $L^2$-metric. Unlike the standard Hausdorff metric, $d_J$ uses the symmetrized Lorentzian distance.
• Properties: The authors prove that while $d_J$ is generally only a pseudometric, it becomes a valid extended metric (allowing infinite values) when restricted to specific classes of sets (Cauchy sets) under appropriate causality conditions.

B. Synthetic Lorentzian Geometry

To handle non-smooth settings, the paper utilizes the framework of Lorentzian pre-length spaces and Lorentzian length spaces (following Kunzinger–Sämann, Braun–McCann, and Bykov–Minguzzi–Suhr).

• Key Concepts: The authors work with causal relations ($\leq$), timelike relations ($\ll$), and Lorentzian distance functions $\ell$ or $d$ that satisfy the reverse triangle inequality.
• Generalization: They extend classical results (like the Avez–Seifert theorem) to these synthetic spaces, ensuring their metric geometry results apply to manifolds with $C^{1,1}$ or lower regularity metrics, as well as singular spacetimes like conical Minkowski spacetimes.

C. Completeness Conditions

A significant portion of the methodology involves analyzing and generalizing completeness conditions for spacetimes to prove the completeness of the space of Cauchy sets. The authors introduce and relate several conditions:

• Finite Compactness: Bounded causal sequences have accumulation points.
• Timelike Cauchy Completeness: Cauchy sequences of timelike related points converge.
• Condition A, A, and B:* Variants of conditions ensuring that inextendible curves "escape to infinity" rather than getting trapped in bounded regions.
• New Results: They prove that for first-countable, causally simple spaces, Finite Compactness $\implies$ Timelike Cauchy Completeness $\implies$ Condition B. They also show Condition B implies Condition A* (and thus A) in regular KS-Lorentzian length spaces.

3. Key Contributions and Results

A. The Metric Structure of Cauchy Sets (Theorem 1.1)

Let $(M, g)$ be a smooth globally hyperbolic Lorentzian manifold, and let $C_M$ be the space of Cauchy hypersurfaces equipped with $d_J$.

1. Metric Space: $(C_M, d_J)$ is a non-empty extended metric space.
2. Completeness:
   • If $M$ is timelike geodesically complete, the space of weak Cauchy sets $(C^w_M, d_J)$ is a complete extended metric space.
   • If $M$ is timelike Cauchy complete, the space of Cauchy sets $(C_M, d_J)$ is a complete extended metric space.
   • Note: The authors show these assumptions are necessary via counterexamples (e.g., the open interval $(0,1) \times \mathbb{R}$).
3. Local Compactness:
   • If $M$ is spatially compact (admits a compact Cauchy hypersurface), then $(C_M, d_J)$ is a locally compact metric space.
   • This result is presented as a Lorentzian analogue of Blaschke's Selection Theorem for convex sets.

B. Generalization to Synthetic Settings (Corollaries 5.12–5.14)

The main theorems are extended to synthetic Lorentzian spaces (BMS-Lorentzian length spaces, BM-length metric spacetimes, and KS-Lorentzian length spaces).

• Existence: Strong Cauchy sets exist in separable, globally hyperbolic synthetic spaces (via a modified Cauchy time function construction).
• Metric Properties: Under conditions of geodesicity, causal simplicity, and the existence of inextendible timelike curves through every point, the space of Cauchy sets forms an extended metric space.
• Completeness: The space of weak Cauchy sets is complete if the underlying space satisfies Condition B (which follows from timelike Cauchy completeness).

C. Technical Lemmas on Inextendible Curves

The paper provides a unified treatment of inextendible curves in synthetic settings:

• They characterize inextendibility in terms of "imprisonment" (curves staying in a compact set) and the existence of endpoints in the causal/chronological boundary.
• They prove that in spaces with "timelike extensions" and empty bubbling boundaries, a curve is inextendible if and only if it is $t$-inextendible (cannot be extended as a timelike curve).

D. Conical Minkowski Spacetimes

The authors analyze conical Minkowski spacetimes (warped products over domains in hyperbolic space) as a testing ground.

• They show that the space of Cauchy sets in these singular spacetimes can be explicitly described as graphs of functions satisfying specific Lipschitz conditions (Lemma 5.9).
• This provides concrete examples where the metric geometry holds despite the presence of a singularity at the cone tip.

4. Significance and Impact

1. Robustness to Low Regularity: By moving from Riemannian ($L^2$) to Finsler/Hausdorff ($L^\infty$) metrics and utilizing synthetic geometry, the results apply to spacetimes with singularities, matter discontinuities, and low-regularity metrics, which are crucial for modern general relativity and quantum gravity research.
2. Foundations for Stability Analysis: The metric $d_J$ provides a rigorous framework for studying the stability of Cauchy hypersurfaces. The authors reference applications in Lorentzian isoperimetric inequalities (LP25), suggesting this metric is a tool for quantifying how "close" two initial data sets are.
3. Unification of Causality Theory: The paper bridges the gap between classical smooth Lorentzian geometry and modern synthetic approaches (KS, BM, BMS), proving that fundamental properties like the existence of Cauchy time functions and the completeness of the space of Cauchy sets hold in these broader contexts.
4. Analogue to Classical Theorems: The local compactness result (Proposition 5.15) establishes a direct parallel to Blaschke's theorem in convex geometry, suggesting a deep structural similarity between the space of Cauchy hypersurfaces in compact spacetimes and spaces of convex sets.

Conclusion

Lange and Peteranderl successfully construct a natural metric geometry on the space of Cauchy hypersurfaces that is robust enough to handle singularities and low regularity. Their work establishes that this space is complete and locally compact under natural physical assumptions (global hyperbolicity, completeness, spatial compactness), providing a new analytical tool for the study of the global structure of spacetime and the stability of initial data in General Relativity.