Curvature bounds, regularity and inextendibility of spacetimes

This paper establishes a novel connection between synthetic curvature bounds and the causal character of maximizers to prove that low-regularity spacetime inextendibility implies unbounded curvature, a result that significantly strengthens and complements previous findings by Grant, Kunzinger, and Sämann.

The Gist

The Big Picture: Fixing the "Broken" Universe

Imagine the universe as a giant, flexible fabric (like a trampoline) that represents space and time. In Einstein's theory of General Relativity, massive objects (like stars) bend this fabric. Usually, this fabric is smooth and continuous.

However, physicists have long been worried about singularities—places where the fabric tears, folds infinitely, or breaks down completely (like the center of a black hole). At these points, the math stops working.

For decades, the standard definition of a singularity was simply: "A path that an observer travels along that suddenly stops." But this definition has a flaw. It's like saying a road ends because you ran out of gas, not because the road actually disappeared. We want to know if the road actually ends, or if we just need to pave it better.

The Problem: Can we extend a "broken" spacetime into a larger one? Maybe the singularity isn't a real end, but just a place where our current math is too "smooth" to handle the roughness? If we allow the spacetime to be "rough" (low regularity), can we patch it up and keep going?

The New Tool: "Synthetic Curvature"

The authors of this paper introduce a new way to measure the "curvature" (the bending) of spacetime.

• Old Way (Classical): You need a perfectly smooth surface to measure curvature, like using a ruler on a polished marble table. If the surface is crumpled or torn (low regularity), the ruler breaks, and you can't measure anything.
• New Way (Synthetic): Imagine you are blindfolded in a room. You can't see the walls, but you can walk from point A to point B and measure the time it takes. By comparing the time it takes to walk different paths, you can figure out if the room is curved, even if the floor is made of jagged rocks or sand.

This "Synthetic Curvature" allows the authors to measure the bending of spacetime even when it's rough, torn, or discontinuous.

The Main Discovery: "Regularity" is a Safety Rule

The paper proves a surprising connection between how curved space is and how "regular" (smooth) the paths are.

The Analogy: The Highway vs. The Dirt Road
Imagine you are driving a car (a particle) through space.

• Timelike path: You are driving normally. You have a speed.
• Null path: You are driving at the speed of light.
• The "Regular" Rule: In a well-behaved universe, your path should be consistent. You shouldn't suddenly switch from driving normally to driving at the speed of light and back again in a way that breaks the laws of physics.

The authors found that if the "curvature" of the universe is bounded (it doesn't get infinitely crazy in a specific way), then the paths taken by particles must be regular. They cannot be a weird mix of "normal" and "light-speed" segments that don't fit together properly.

Why does this matter?
It turns out that if you try to extend a spacetime into a "rough" version (a low-regularity extension) to avoid a singularity, you run into a contradiction. If the curvature is bounded, the universe forces the paths to be regular. If the paths aren't regular, the curvature must be infinite (unbounded).

The "Inextendibility" Result: The Wall is Real

The most exciting conclusion is about Inextendibility.

Think of a spacetime as a video game map.

• Extendible: You hit the edge of the map, but the game lets you keep walking into a new, unexplored area. The "edge" was fake.
• Inextendible: You hit a wall. There is nowhere else to go. The map is truly finished.

The authors prove that if a spacetime is "complete" (you can travel forever without stopping) and has bounded curvature, it cannot be extended.

The Metaphor:
Imagine you are walking on a path that goes on forever. You try to imagine the path continuing past the edge of the world into a "rougher," "crumblier" version of the ground.
The paper says: "No, you can't do that."
If the ground is crumbly (low regularity) and you try to extend the path, the curvature (the bending) would have to become infinite. Since we assume the curvature is bounded (it doesn't go to infinity), the path cannot be extended. The edge is real. The singularity is a true end, not just a patch job.

Summary of the Breakthrough

1. Old View: We couldn't prove that singularities were "real" ends of the universe if we allowed for rough, low-quality extensions.
2. New View: By using "Synthetic Curvature" (measuring bending via time and distance rather than smooth calculus), the authors showed that rough extensions are impossible if the curvature is bounded.
3. The Result: If a spacetime is complete and has reasonable curvature, it is truly "inextendible." You cannot patch it up. The singularity is a genuine boundary of existence.

Why This is a Big Deal

This strengthens the famous "Singularity Theorems" of Penrose and Hawking. It moves the field from "We think singularities are real" to "We can mathematically prove that even if we try to make the universe rough to hide the singularity, the math forces the singularity to remain a true, un-extendable end."

It's like proving that no matter how much you try to sand down a jagged cliff edge, if the cliff is high enough, you will eventually hit a point where the ground simply ceases to exist, and no amount of "rough" paving can save you.

Technical Summary

1. Problem Statement

The paper addresses two fundamental and interconnected problems in mathematical general relativity and Lorentzian geometry:

• The Definition of Singularities: While Penrose and Hawking defined singularities via incomplete causal geodesics, this definition lacks a direct physical implication (e.g., curvature blow-up). A rigorous definition requires considering inextendible spacetimes (those that cannot be embedded as proper subsets of a larger spacetime).
• Low-Regularities Extensions: A critical open question is whether spacetimes that are inextendible in the smooth category remain inextendible if one allows for low-regularity extensions (e.g., $C^0$ or continuous metrics). Classical methods struggle to analyze curvature bounds in such non-smooth settings.
• Regularity of Maximizers: In synthetic geometry, a key property is whether "maximizers" (curves maximizing time separation) are strictly timelike or null. Previous results linking curvature bounds to this regularity relied on unnatural assumptions (like local timelike geodesic connectedness) or upper curvature bounds.

The authors aim to establish a robust link between synthetic curvature bounds (specifically lower bounds) and the regularity of spacetimes, and subsequently use this to prove inextendibility results for low-regularity extensions.

2. Methodology

The authors employ the framework of Lorentzian pre-length spaces, a synthetic approach to Lorentzian geometry that generalizes smooth spacetimes to non-smooth settings (including $C^0$ spacetimes and discrete structures).

• Synthetic Curvature: Instead of relying on the Riemann tensor, curvature is defined via comparison conditions using time separation functions ($\tau$) and volumes. The paper utilizes:
  • Timelike Curvature Bounded Below (TLCBB): Defined via triangle comparison or four-point conditions.
  • Causal Curvature Bounded Below (CCBB): A stricter condition defined via the strict causal four-point condition.
• New Definitions:
  • Weakly Normal Neighborhoods: A generalization of convex neighborhoods that requires the existence of maximizers and finite time separation but does not require the full strength of "localizing" neighborhoods used in prior work.
  • Regularity: A space is regular if every maximizer is either entirely timelike or entirely null (no "mixed" segments).
• Logical Strategy:
  1. Prove that lower curvature bounds (CCBB or TLCBB) imply regularity under mild causality assumptions (locally distinguishing and not locally isolating).
  2. Use this regularity result to show that a spacetime satisfying the TC-condition (timelike geodesic completeness) cannot be extended into a space with lower curvature bounds without violating the TC-condition.

3. Key Contributions

A. Regularity from Lower Curvature Bounds

The paper provides a novel proof that lower curvature bounds force the regularity of maximizers, correcting and strengthening previous results (specifically [GKS19] and [KS18]).

• Theorem 3.1: A locally distinguishing Lorentzian pre-length space with Causal Curvature Bounded Below (CCBB) (in the strict 4-point sense) is regular.
  • Significance: This removes the need for the "unnatural" assumption of local timelike geodesic connectedness required in previous proofs for curvature bounded above.
• Theorem 3.2 & 3.4: Regularity is also implied by Timelike Curvature Bounded Below (TLCBB) (in both 4-point and triangle comparison senses), provided the space is not locally isolating.
• Mechanism: The proofs utilize a contradiction argument. If a maximizer contained a null segment within a timelike curve, the curvature comparison conditions (specifically the four-point condition) would force the time separation function to be identical for distinct points, violating the locally distinguishing property.

B. Inextendibility Results

The authors leverage the regularity result to establish strong inextendibility theorems.

• Theorem 4.2: A Lorentzian pre-length space satisfying the TC-condition (timelike geodesic completeness) is inextendible as a regular, weakly normal Lorentzian pre-length space without a spacelike boundary.
• Theorem 4.4 (Main Result): A locally distinguishing Lorentzian pre-length space satisfying the TC-condition cannot be extended as a weakly normal Lorentzian pre-length space having causal curvature bounded below.
  • Implication: If a spacetime is timelike geodesically complete, any attempt to extend it into a space with lower curvature bounds (even with low regularity) will fail.

C. $C^0$-Inextendibility

The paper establishes a new $C^0$-inextendibility result. Since any $C^0$-spacetime can be viewed as a weakly regular Lorentzian pre-length space (using Ling's time separation function), the authors' results imply that smooth, strongly causal, timelike geodesically complete spacetimes are $C^0$-inextendible if one assumes the extension has causal curvature bounded below. This improves upon [GKS19], which required the extension to be "causally plain."

4. Key Results Summary

Result	Condition	Conclusion
Regularity	Locally distinguishing + CCBB (strict 4-point)	Maximizers are regular (timelike or null).
Regularity	Locally distinguishing + Not locally isolating + TLCBB	Maximizers are regular.
Inextendibility	TC-condition (Timelike geodesic completeness)	Inextendible as a regular, weakly normal space.
Inextendibility	TC-condition + Locally distinguishing	Inextendible as a space with Causal Curvature Bounded Below.

5. Significance and Impact

1. Bridging Smooth and Non-Smooth: The work successfully bridges the gap between classical smooth general relativity and synthetic geometry. It demonstrates that synthetic curvature bounds are powerful enough to control the causal structure (regularity) even in non-smooth settings.
2. Strengthening Singularity Theorems: By linking inextendibility directly to the unboundedness of curvature (via the contrapositive of the inextendibility theorem), the paper provides a more rigorous foundation for the physical notion of singularities. It suggests that if a spacetime is geodesically complete, it cannot be "hidden" behind a low-regularity extension with bounded curvature.
3. Refining Assumptions: The paper corrects dependencies on unnatural assumptions (like local geodesic connectedness) found in prior literature ([GKS19]), replacing them with mild, physically motivated causality conditions (locally distinguishing).
4. New Tools for $C^0$ Geometry: The introduction of "weakly normal neighborhoods" and the application of the strict causal four-point condition provide new tools for analyzing the $C^0$-inextendibility of spacetimes, a topic of intense recent interest (e.g., the $C^0$-inextendibility of Schwarzschild spacetime).

In summary, this paper revitalizes the study of low-regularity spacetime extensions by proving that lower synthetic curvature bounds enforce regularity, which in turn acts as an obstruction to extending geodesically complete spacetimes. This establishes a profound connection between the geometric bounds of a space and its global causal structure.