The $C^0$-inextendibility of some spatially flat FLRW… — Plain-Language Explanation

The Big Picture: Can the Universe be "extended"?

Imagine the universe as a movie. In physics, we often ask: "Does this movie have a true beginning, or could we simply rewind the tape further to see what happened before?"

In the language of General Relativity, this question concerns non-extendibility.

Extendible: If the movie stops abruptly at the "Big Bang," but we could theoretically add more frames before it without violating the laws of physics, the universe is "extendible."
Non-extendible: If the movie ends at a hard stop where the screen literally tears, and rewinding cannot show a "before" without the laws of physics collapsing, the universe is "non-extendible."

This paper proves that for a specific type of universe (flat, expanding, and without "horizons"), the movie cannot be extended. The Big Bang is a true, unbreakable edge.

The Setting: A Flat, Inflating Balloon

The author, Eric Ling, considers a specific model of the universe called spatially flat FLRW spacetime.

Spatially flat: Imagine the universe as an infinite, flat rubber track (like a trampoline that goes on forever). It is not curved like a sphere or a saddle.
FLRW: This stands for Friedmann-Lemaître-Robertson-Walker. Think of this as the rulebook for how this rubber track expands. As time progresses, the track expands. If you go back in time, the track shrinks.

The paper focuses on the moment the track shrinks to nothing (the Big Bang). The question is: Is this "nothing" a real end or just a flaw in our map?

The Three Rules of the Universe

To prove that the universe has a real end, the paper establishes three rules for how the universe shrinks backward in time:

The Shrink Rule: As you go back in time, the universe gets smaller and smaller, eventually approaching a size of zero.
The "No-Horizon" Rule: Imagine standing on the rubber track. A "particle horizon" is like a fog bank blocking your view of the past. If you can see everything that ever happened in the past (no fog), you have "no particle horizons." This rule states that the universe is clear; you can look all the way back to the beginning.
The "Acceleration" Rule: This is the tricky rule. It states that as the universe shrinks, it doesn't just get small; it shrinks fast enough relative to how far you can see.

The Main Claim: If a universe follows these three rules, it is past C0-inextendible. In German: You cannot add more "frames" to the movie before the Big Bang. The edge is real.

The Secret Weapon: The "Einstein Static Universe"

How does the author prove this? He uses a clever mathematical trick involving a "mirror world."

Imagine the expanding universe like a balloon being inflated. It is difficult to examine the edge of the balloon because it constantly changes shape.

The Trick: The author transforms the mathematics of our expanding balloon into a different shape called the Einstein static universe. Think of this as a huge, hollow sphere that neither expands nor contracts.
The Map: He creates a map that translates the coordinates of our shrinking universe into coordinates on this static sphere.
The Result: In this static sphere, the "Big Bang" of our universe corresponds to a specific boundary line on the sphere.

By examining the geometry of this static sphere, the author can see exactly how light and matter move near this boundary.

The "Geometric Obstruction": Why You Cannot Cross the Line

The core of the proof relies on a concept called geometric obstruction.

Imagine two people, Alice and Bob, walking back in time toward the Big Bang.

They start at different locations on the rubber track.
Due to the "No-Horizon" rule, both can see everything.
Due to the "Acceleration" rule, the distance between them (measured on the shrinking track) begins to behave strangely as they walk backward.

The author proves that if Alice and Bob are at different locations, the "distance" between them, viewed through the lens of the static sphere, tends toward infinity as they approach the Big Bang.

The Analogy: Imagine trying to cross a bridge that is being pulled apart. The closer you get to the edge, the faster the gap between the two sides of the bridge widens compared to how fast you can walk. No matter how fast you run, you can never reach the other side. The "gap" (the distance between different paths in the past) becomes infinite.

Since this distance becomes infinite, you cannot seamlessly glue a new piece of spacetime to the edge. If you tried to extend the universe, the mathematics would collapse because the paths of particles would have to be stretched infinitely to connect.

Why This Matters (According to the Paper)

The paper does not discuss black holes, aliens, or time machines. It is purely about mathematical rigor.

Previous Work: A mathematician named Jan Sbierski had already proven this for spherical and hyperbolic universes (curved ones).
The Gap: No one had proven this for the "flat" universe (the one that looks like a flat track), which is the model that best matches our actual observations of the cosmos.
The Contribution: This paper closes that gap. It confirms that for a flat universe that shrinks fast enough, the Big Bang is a hard, mathematical wall. You cannot extend the timeline further back.

Summary

The paper says: "If you have a flat universe that shrinks to a point and has no fog blocking your view of the past, then the Big Bang is a true, insurmountable boundary. You cannot mathematically extend the universe so that it exists before this moment."

It is like proving that a film reel has a physical starting point that cannot be glued to another film without tearing the fabric of the story.

1. Problem Statement

The paper addresses the problem of $C^0$ -inextendibility in General Relativity. Specifically, it investigates whether a given spacetime can be isometrically embedded as a proper open subset into a larger, connected $C^0$ (continuous) Lorentzian manifold.

Context: Previous work by Sbierski [18] established $C^0$ -inextendibility for spatially spherical and hyperbolic Friedmann-Lemaître-Robertson-Walker (FLRW) spacetimes without particle horizons.
Gap: The case of spatially flat FLRW spacetimes remained unresolved within this framework.
Goal: To prove that a specific class of spatially flat FLRW spacetimes (without particle horizons and satisfying specific asymptotic conditions for the scale factor) are past- $C^0$ -inextendible. This means they possess a "true" singularity at the past boundary that cannot be removed by a continuous extension of the metric.

2. Methodology

Ling adapts and extends techniques developed by Sbierski, employing a combination of conformal geometry, causal structure analysis, and geometric obstruction arguments.

A. Conformal Mapping to the Static Einstein Universe

The core strategy involves mapping the physical spacetime to a known geometry to analyze its causal boundaries.

Coordinate Transformation: The spatially flat FLRW metric $g = -dt^2 + a(t)^2 \delta_{ij}$ is shown to be conformal to a specific metric $\hat{g}$ (related to de Sitter space) via a time reparametrization $\hat{t}(t)$ .
Spherical Coordinates: The metric is further transformed into spherical normal coordinates $(T, R, \omega)$ , mapping the spacetime onto an open subset $D$ of the static Einstein universe.
Limit Analysis: The past boundary of the spacetime corresponds to the boundary of the region $D$ in the static Einstein universe. The behavior of timelike curves approaching $t \to -\infty$ is analyzed in these coordinates.

B. Characterization of Past-Inextendible Timelike Curves (TIFs)

The paper characterizes the limits of past-inextendible timelike curves as they approach the singularity ( $t \to -\infty$ ):

Curves converge to specific points on the boundary of the region $D$ .
The limit depends on the angular coordinates ( $\omega$ ) and the time coordinate ( $T$ ).
Crucially: If two curves approach the singularity with different angular limits ( $\omega_1 \neq \omega_2$ ), their causal future domains diverge in a specific manner.

C. The Geometric Obstruction (The "Divergence of Distance" Argument)

This is the novel technical contribution for the flat case.

Hypothesis: Assume a $C^0$ extension exists. This implies the existence of a "boundary chart" where the past boundary is the graph of a continuous function.
Construction: Two timelike curves ( $\gamma_1, \gamma_2$ $γ_{1}, γ_{2}$ ) are constructed within the spacetime that:
1. Share a common future endpoint in the extension.
2. Approach the past singularity with different angular limits ( $\omega_1 \neq \omega_2$ ).
3. Are entirely contained within the original spacetime (and avoid the past of a specific point $r$ ).
The Obstruction:
- In the assumed extension, the distance between $\gamma_1(t)$ and $\gamma_2(t)$ along a spacelike section must remain bounded (due to the continuity of the metric and the compactness of the chart).
- However, using the absence of particle horizons (condition ii) and the asymptotic growth of the scale factor (condition iii), the paper proves that the physical distance between these two curves on hypersurfaces of constant $t$ diverges to infinity as $t \to -\infty$ .
- Contradiction: A continuous extension cannot allow a situation where the distance between two points sharing a common future endpoint becomes infinite in the limit.

3. Main Contributions and Results

Main Theorem (Theorem 1.1)

Let $(M, g)$ be a spatially flat, simply connected FLRW spacetime of dimension $n+1 \geq 3$ with scale factor $a(t)$ . The spacetime is past- $C^0$ -inextendible if:

$a(t)$ is defined for all $t \in \mathbb{R}$ and $a(t) \to 0$ as $t \to -\infty$ (Big Bang).
$\int_{-\infty}^t \frac{1}{a(s)} ds \to \infty$ as $t \to -\infty$ (No particle horizons).
$a(t) \int_{-\infty}^t \frac{1}{a(s)} ds \to \infty$ as $t \to -\infty$ (Rapid expansion relative to the integral).

Note: Condition (ii) is mathematically redundant as it is implied by (i) and (iii), but is stated for physical clarity regarding particle horizons.

Specific Examples

The paper provides an example where $a(t) = e^{-\sqrt{-t}}$ for $t \leq -1$ .

This spacetime is not past-timely geodesically complete (some geodesics hit the singularity in finite proper time).
However, it satisfies the conditions of Theorem 1.1, proving that it is past- $C^0$ -inextendible.
This distinguishes the result from previous theorems relying on timelike completeness (which would automatically imply $C^0$ -inextendibility).

Extension to Non-Extendible Cases

The paper also clarifies the boundary of the theorem:

If condition (iii) is replaced by $a(t) \int_{-\infty}^t \frac{1}{a(s)} ds \to c \in (0, \infty)$ , the spacetime is past- $C^0$ -extendible (e.g., $a(t) = e^t$ ). This confirms that the divergence condition in (iii) is sharp.

4. Significance

Completion of Classification: This work closes the final gap in the classification of FLRW spacetimes regarding $C^0$ -inextendibility, covering the spatially flat case alongside the previously solved spherical and hyperbolic cases.
Refinement of Singularity Theory: It demonstrates that $C^0$ -inextendibility is a robust property of "Big Bang" singularities, even when the spacetime is not timelike complete. This strengthens the argument that the Big Bang is a genuine physical singularity rather than merely a coordinate artifact or a removable boundary.
Technical Advancement: The proof introduces a refined geometric obstruction argument tailored specifically for spatially flat slices. By utilizing the divergence of spatial distances between curves with different angular limits, it overcomes the lack of compactness inherent to spatially flat slices (in contrast to spherical/hyperbolic cases, where spatial slices are compact or possess other topological properties).
Implications for Cosmic Censorship: By establishing that these spacetimes cannot be continuously extended, the paper supports the Strong Cosmic Censorship conjecture in the context of low-regularity extensions, suggesting that singularities in standard cosmological models are genuinely inescapable and non-removable.

In summary, Eric Ling successfully generalizes Sbierski's techniques to spatially flat FLRW models and proves that under physically reasonable conditions (particularly rapid expansion near the Big Bang), these universes possess a fundamental, non-removable singularity at their past boundary.

The C0C^0C0-inextendibility of some spatially flat FLRW spacetimes