A singularity theorem in terms of asymptotic expansion

This paper establishes a singularity theorem that replaces the classical Hawking–Penrose focusing hypothesis with a condition on asymptotic volume growth, proving past timelike geodesic incompleteness under the strong energy condition for both smooth spacetimes and non-smooth Lorentzian length spaces.

The Gist

Imagine the universe as a vast, flowing river of time and space. For decades, physicists have used a famous rule (the Hawking-Penrose theorems) to predict that this river must have started at a "singularity"—a point where the flow breaks down, time stops, and our laws of physics crumble.

Traditionally, this prediction relied on looking at local traffic jams. If you zoom in on a specific patch of the river and see the water swirling so tightly that it's about to crash into itself (a "focusing" effect caused by gravity), you know a singularity is coming.

This paper introduces a new, different way to predict the crash. Instead of looking for a local traffic jam, the authors look at the overall shape and expansion of the river over a long distance. They argue that if the river expands in a specific, uniform way as you look further and further back in time, it must have started at a singularity, even if there are no local swirls or jams to be seen.

Here is a breakdown of their discovery using everyday analogies:

1. The Old Way vs. The New Way

• The Old Way (Local Focusing): Imagine a crowd of people walking backward in time. If you see a specific group huddling together so tightly that they can't move backward anymore, you know they hit a wall (a singularity). This is what the old theorems check for.
• The New Way (Asymptotic Expansion): Now, imagine you don't look at the crowd's tightness. Instead, you look at how fast the crowd is spreading out as you go back in time. The authors say: "If the crowd is spreading out at a steady, guaranteed rate as you go back, then the crowd must have started from a single point in the finite past." You don't need to see the huddle; the rate of spreading alone proves the origin point exists.

2. The "Synthetic" Toolkit

The authors didn't just do this for smooth, perfect universes (like the ones in standard physics textbooks). They used a "synthetic" toolkit.

• The Analogy: Think of a smooth, polished marble floor versus a floor made of jagged, broken tiles. Standard physics usually requires the floor to be smooth marble to do the math.
• The Innovation: These authors built a mathematical tool that works even if the floor is broken, jagged, or rough. They proved their rule holds true even in a "rough" universe where the fabric of space-time might be crumpled or irregular. This makes their result much more robust, as it applies to universes that might be messy or "singular" in their very structure.

3. The "Volume" Argument

The core of their proof relies on volume.

• Imagine you are inflating a balloon. If you know exactly how fast the balloon is expanding as you go back in time, you can calculate exactly how long ago it was the size of a pinprick.
• The authors define a specific "expansion invariant" (a number that measures how fast the universe's volume grows as you look back).
• The Result: If this expansion number is always positive and stays above a certain minimum threshold (it never slows down to zero), then the universe cannot go back forever. It must have a "beginning" point in the finite past.

4. The "Inextendibility" Surprise

One of the most interesting parts of the paper is what they call an "inextendibility" result.

• The Analogy: Imagine you have a movie of a car crash. You might think, "Maybe if we just rewind the tape a little further, we'll see the car before it crashed, and the crash wasn't real."
• The Finding: The authors prove that if the expansion condition is met, you cannot rewind the tape any further, even if you try to "patch" the movie with a lower-quality, rougher version of reality. The crash (the singularity) is unavoidable. No matter how you try to smooth out the rough edges of the universe, the math says the timeline must end at a specific point in the past.

5. The "Area" Comparison

The paper also includes a side result about the "area" of surfaces in the universe.

• The Analogy: Think of ripples on a pond. If you drop a stone, the ripples get bigger. The authors found a precise mathematical rule for how big those ripples can get in the future based on how fast they are expanding.
• The Insight: They showed that if the ripples are expanding fast enough, the "area" of the pond's surface in the past must have been finite and bounded. This reinforces the idea that the universe has a finite history.

Summary

In simple terms, this paper says: "You don't need to see the universe crunching together to know it started at a singularity. If you see it expanding at a steady, strong rate as you look back in time, that expansion itself proves the universe had a beginning, and that beginning is a point where our current laws of physics break down."

They proved this using a new mathematical language that works even if the universe is "rough" or "broken," making the prediction of a cosmic beginning much harder to escape.

Technical Summary

Technical Summary: A Singularity Theorem in Terms of Asymptotic Expansion

Problem Statement
Classical singularity theorems by Penrose and Hawking establish that spacetime singularities (manifested as causal geodesic incompleteness) arise under broad physical assumptions. The underlying mechanism in these theorems relies on the combination of an energy condition (typically the Strong Energy Condition, SEC) and a local geometric focusing condition. In Hawking's theorem, this is a positive mean curvature of a compact Cauchy hypersurface; in Penrose's, it is the existence of trapped surfaces. These local conditions force causal geodesics to focus, leading to incompleteness.

This paper addresses a gap in the theoretical framework by asking whether a global condition on the asymptotic growth of volume, rather than a local focusing condition, can suffice to force geodesic incompleteness when combined with the SEC. Furthermore, the authors aim to extend these results beyond the smooth category of Lorentzian manifolds to the synthetic setting of Lorentzian length spaces, where differentiability assumptions are absent.

Methodology
The authors employ the framework of synthetic Lorentzian geometry, specifically utilizing Lorentzian length spaces and the Timelike Curvature-Dimension condition ($TCD^e_p(K, N)$). This condition, introduced in prior work by the authors, serves as a synthetic lower bound on timelike Ricci curvature, rooted in optimal transport characterizations.

The core methodological steps include:

1. Disintegration of Measure: For a compact, achronal set $V$ with an empty global edge, the authors utilize a disintegration theorem to decompose the spacetime volume measure along the integral curves (geodesics) of the signed time-separation function $\tau_V$. This reduces the $(n+1)$-dimensional problem to a family of one-dimensional metric measure spaces.
2. One-Dimensional Analysis: On these 1D rays, the synthetic SEC ($TCD^e_p(0, N)$) implies a Bishop-Gromov type inequality. The authors analyze the asymptotic behavior of the density function $h_\alpha(t)$ along these rays, defining an asymptotic volume expansion invariant $\theta_\alpha$.
3. Asymptotic Invariants: They define $\theta_\alpha$ as the limit of the normalized volume growth along a ray $X_\alpha$ as $t \to \infty$. The central hypothesis is that a uniform positive lower bound on these invariants ($\theta_\alpha \geq c > 0$) is incompatible with past geodesic completeness.
4. Comparison Geometry: The paper establishes area comparison theorems for equidistant hypersurfaces and derives explicit upper bounds on the time-separation from $V$ to its chronological past based on the value of the asymptotic invariants.

Key Contributions and Results

1. Singularity Theorem via Asymptotic Expansion (Theorem 1.1 & 5.7):
   The primary result replaces the local focusing hypothesis with a condition on asymptotic volume growth.

   • Hypothesis: Let $(M, g)$ be a globally hyperbolic spacetime satisfying the SEC. Let $V$ be a compact Cauchy hypersurface. Assume there exists a constant $c > 0$ such that the asymptotic volume expansion invariant $\theta_\alpha \geq c$ for almost every geodesic ray emanating from $V$.
   • Conclusion: The spacetime is not past timelike geodesically complete. Specifically, the time-separation from $V$ to its chronological past is uniformly bounded:
     $$\sup_{x \in I^-(V)} |\tau_V(x)| \leq \left(\frac{1}{c}\right)^{\frac{1}{n}}$$
   • Synthetic Extension: This result holds for globally hyperbolic Lorentzian length spaces satisfying the synthetic condition $TCD^e_p(0, N)$, yielding an inextendibility result that does not require smoothness or differentiability.

2. Area Comparison and Sharpness (Section 4):
   The authors prove an area bound for equidistant hypersurfaces $V_{-s}$ in the past of $V$ in terms of the asymptotic area growth $\Theta_V(s)$.

   • They establish the inequality: $m^-(V_{-s}) \leq m^+(V) - N \Theta_V(s) s^{N-1}$.
   • They demonstrate that this inequality is sharp for dimension $N=2$ (Minkowski space) but becomes strict for $N > 2$.

3. Volume Singularity Theorem (Theorem 5.1):
   Complementing the geodesic incompleteness result, the paper provides a "volume singularity" theorem. If the inverse of the asymptotic expansion invariants is integrable, the volume of the chronological past of $V$ is finite:
   $$m(I^-(V))^{N-1} \leq m^+(V)^{N-2} \left( \int_{Q^-} \frac{1}{N\theta_\alpha} \bar{q}(d\alpha) \right)$$
   This implies that if the asymptotic expansion is uniformly bounded away from zero, the past volume is finite, signaling a volume singularity in the sense of García-Heveling.

4. Inextendibility:
   The theorems are formulated to show that the predicted singularity is intrinsic. Even if one attempts to extend the spacetime to a larger, possibly non-smooth Lorentzian geodesic space satisfying the same synthetic energy conditions, the past timelike geodesic incompleteness persists.

Significance and Claims
The paper claims to identify a new synthetic mechanism for geodesic incompleteness based on asymptotic volume expansion rather than local focusing. This shifts the paradigm from local geometric constraints (like trapped surfaces) to global large-scale geometric assumptions.

The significance lies in:

• Generality: The results apply to the broad class of Lorentzian length spaces, accommodating singular spacetimes (e.g., those with impulsive gravitational waves or Lipschitz metrics) that lie beyond the scope of classical smooth Lorentzian geometry.
• Robustness: The singularity predicted is shown to be an inextendibility result, meaning it cannot be "smoothed out" or removed by passing to a lower-regularity extension.
• Novelty: It provides a complementary perspective to the classical Hawking-Penrose theorems, demonstrating that large-scale volume growth conditions alone are sufficient to force singularities under the SEC.

The authors note that finding lower bounds for the invariants $\theta_\alpha$ in specific physical models remains a challenging task, but the theoretical framework establishes that such bounds, if present, are sufficient to guarantee incompleteness.