The $C^0$-inextendibility of some spatially flat FLRW spacetimes

Eric Ling

2024-04-12

Abstract:Utilizing some of Sbierski's recent $C^0$-inextendibility techniques [13], we prove the $C^0$-inextendibility of a class of spatially flat FLRW spacetimes without particle horizons.

General Relativity and Quantum Cosmology,Mathematical Physics,Differential Geometry

What problem does this paper attempt to address?

The paper primarily explores the continuous inextendibility (C0-inextendibility) of a special class of Friedmann-Robertson-Walker (FLRW) spacetimes. Specifically, it focuses on those FLRW spacetimes that are spatially flat and lack particle horizons. The main contribution of the paper is to prove the past continuous inextendibility of a class of spatially flat FLRW spacetimes under certain conditions.

The main theorem presented in the paper is as follows:
- A spatially flat, simply connected FLRW spacetime \((M, g)\) is defined, with a dimension of \(n+1 \geq 3\);
- It is assumed that the scale factor \(a(t)\) satisfies the following three conditions:
1. \(a(t)\) is defined for all \(t \in \mathbb{R}\) and \(a(t) \rightarrow 0\) as \(t \rightarrow -\infty\);
2. The integral \(\int_{t}^{1} \frac{1}{a(s)} ds\) diverges to infinity as \(t \rightarrow -\infty\);
3. \(a(t) \int_{t}^{1} \frac{1}{a(s)} ds\) also diverges to infinity as \(t \rightarrow -\infty\).
- Under these conditions, it is proven that \((M, g)\) is past C0-inextendible.

Additionally, the paper discusses the continuous extendibility (C0-extendibility) in some special cases and how to characterize the topological boundary images (TIFs) of such spacetimes by introducing new coordinate systems. These results are significant for understanding the nature of gravitational singularities and classifying different types of singularities. The authors build upon previous research, particularly Sbierski's C0-inextendibility techniques, and provide further supplements and improvements.