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

Eric Ling

arxiv: 2404.08257 · v2 · submitted 2024-04-12 · 🌀 gr-qc · math-ph· math.DG· math.MP

The C⁰-inextendibility of some spatially flat FLRW spacetimes

Eric Ling This is my paper

Pith reviewed 2026-05-24 02:31 UTC · model grok-4.3

classification 🌀 gr-qc math-phmath.DGmath.MP

keywords FLRW spacetimeC0 inextendibilityparticle horizonsspatially flatcosmological singularityinextendible spacetimes

0 comments

The pith

Spatially flat FLRW spacetimes without particle horizons are C^0-inextendible.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that a class of spatially flat FLRW spacetimes without particle horizons cannot be extended in the C^0 sense. It achieves this result by applying Sbierski's existing techniques for C^0 inextendibility directly to these models. A sympathetic reader would care because the result shows that the initial singularities remain genuine boundaries that continuous metric extensions cannot remove. The proof targets models distinguished by the absence of particle horizons.

Core claim

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

What carries the argument

Sbierski's C^0-inextendibility techniques applied directly to the spatially flat FLRW metric without particle horizons.

If this is right

The singularities in these models cannot be removed by any continuous extension of the metric.
The absence of particle horizons is the feature that permits the techniques to establish inextendibility.
The result holds for the full class of spatially flat FLRW spacetimes lacking particle horizons.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same techniques could be tested on FLRW models with nonzero spatial curvature.
The inextendibility strengthens the case that these singularities mark an absolute beginning for classical spacetime.

Load-bearing premise

Sbierski's C^0-inextendibility techniques from reference [18] apply directly to the class of spatially flat FLRW spacetimes without particle horizons.

What would settle it

Constructing an explicit C^0 extension for one of these spacetimes would falsify the inextendibility result.

read the original abstract

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

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper reduces C0-inextendibility of certain flat FLRW models without horizons to Sbierski's theorem, but the verification of all hypotheses looks thin.

read the letter

The main takeaway is that this short note claims to show C0-inextendibility for a class of spatially flat FLRW spacetimes where the integral of dt/a(t) diverges. It does this by invoking Sbierski's recent result after checking the relevant conditions on the metric. That is the entire contribution; there is no new technique or broader theorem. What it does well is keep the argument narrow and direct: it identifies the no-particle-horizon condition with the divergence of that integral and treats the FLRW form as satisfying the remaining requirements of the cited theorem. The citation pattern is clean and points straight to the external reference without circularity. The soft spot is exactly the one flagged in the stress test. Sbierski's theorem needs uniform control on the metric coefficients in a C0 atlas and a specific causal structure; the paper appears to rest on the integral condition alone without spelling out why the other hypotheses hold verbatim for arbitrary scale factors that only satisfy the divergence. If those extra checks are missing or only sketched, the reduction is not fully secured. This is a minor but load-bearing gap for a result that lives or dies on the applicability of the external theorem. The work is aimed at specialists in mathematical GR who already know Sbierski's paper and want to see the FLRW case written down. A reader looking for new methods or wider implications will not find them. It is coherent on its own terms and shows clear engagement with the literature, so it deserves a serious referee rather than a desk reject. I would send it out for review with the expectation that the authors tighten the hypothesis check.

Referee Report

1 major / 2 minor

Summary. The manuscript applies Sbierski's C^0-inextendibility result from reference [18] to establish that a class of spatially flat FLRW spacetimes (ds² = −dt² + a(t)² δ_{ij} dx^i dx^j) without particle horizons are C^0-inextendible. The absence of particle horizons is identified with the divergence of ∫ dt/a(t).

Significance. If the reduction to the hypotheses of [18] is fully secured, the result would provide a concrete extension of C^0-inextendibility techniques to a standard family of cosmological models, clarifying the global causal structure of FLRW spacetimes that lack particle horizons.

major comments (1)

[Proof of the main theorem (likely §3 or equivalent)] The central argument consists of verifying that the given FLRW metrics satisfy the hypotheses of the theorem in [18] and then invoking the conclusion. The manuscript equates the no-particle-horizon condition with ∫ dt/a(t) = ∞, but it is not shown that the remaining hypotheses of [18] (in particular any uniform C^0 bounds on the metric coefficients in a suitable atlas or the required control on the causal structure) hold for the chosen scale factors a(t). Without an explicit check of these conditions, the reduction step is not secured.

minor comments (2)

Clarify the precise statement of the class of scale factors a(t) under consideration (e.g., any regularity or growth assumptions beyond the integral condition).
Ensure that the citation to [18] includes the exact theorem number being applied.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need to make the reduction to the hypotheses of [18] fully explicit. We address the major comment below.

read point-by-point responses

Referee: The central argument consists of verifying that the given FLRW metrics satisfy the hypotheses of the theorem in [18] and then invoking the conclusion. The manuscript equates the no-particle-horizon condition with ∫ dt/a(t) = ∞, but it is not shown that the remaining hypotheses of [18] (in particular any uniform C^0 bounds on the metric coefficients in a suitable atlas or the required control on the causal structure) hold for the chosen scale factors a(t). Without an explicit check of these conditions, the reduction step is not secured.

Authors: We agree that an explicit verification of the remaining hypotheses of the theorem in [18] is necessary to secure the reduction. In the manuscript the FLRW metrics are expressed in the standard global coordinates (t, x^i) in which the metric coefficients are smooth (hence uniformly C^0 on compact sets) and the atlas is the obvious one; the causal structure is likewise controlled by the standard light-cone condition determined by a(t) > 0. Nevertheless, these facts are only implicit in the present text. To address the referee’s concern we will insert a short subsection (new §3.1) that lists each hypothesis of [18] and verifies it directly for the class of scale factors under consideration, including the uniform C^0 bounds and the required control on the causal structure. With this addition the reduction step will be fully secured. revision: yes

Circularity Check

0 steps flagged

No significant circularity; external theorem application

full rationale

The paper's central claim applies Sbierski's C^0-inextendibility techniques from external reference [18] to spatially flat FLRW metrics satisfying the no-particle-horizon condition ∫ dt/a(t) = ∞. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided abstract or description. The derivation remains independent of the paper's own inputs and is benchmarked against the cited external result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only; no explicit free parameters, invented entities, or ad-hoc axioms visible. Relies on standard background from GR and differential geometry plus the cited external techniques.

axioms (1)

standard math Standard assumptions of general relativity and differential geometry for FLRW spacetimes
The result is framed within classical GR, invoking background theorems on spacetime extensions.

pith-pipeline@v0.9.0 · 5559 in / 1054 out tokens · 36403 ms · 2026-05-24T02:31:50.614766+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Utilizing some of Sbierski’s recent C0-inextendibility techniques [13], we prove the C0-inextendibility of a class of spatially flat FLRW spacetimes without particle horizons.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Define ˆt(t) = −ln(∫_t^1 ds/a(s)). Then g is conformal to ˆg.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

The formation of a weak null singularity in the interior of generic rotating black holes
gr-qc 2026-04 unverdicted novelty 7.0

A weak null singularity forms inside generic subextremal strictly rotating black holes, with the metric continuously extendible but not Lipschitz extendible.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper

[1]

Chru´ sciel, Quo vadis, mathematical general relativity? , preprint arXiv:2112.02126v1 (2021)

Piotr T. Chru´ sciel, Quo vadis, mathematical general relativity? , preprint arXiv:2112.02126v1 (2021)

work page arXiv 2021
[2]

Chru´ sciel and Paul Klinger, The annoying null boundaries , J

Piotr T. Chru´ sciel and Paul Klinger, The annoying null boundaries , J. Phys. Conf. Ser. 968 (2018), no. 1, 012003

work page 2018
[3]

Galloway and Eric Ling, Some Remarks on the C 0 c 0 -(In)Extendibility of Spacetimes, Ann

Gregory J. Galloway and Eric Ling, Some Remarks on the C 0 c 0 -(In)Extendibility of Spacetimes, Ann. Henri Poincar´ e18 (2017), no. 10, 3427–3447

work page 2017
[4]

Galloway, Eric Ling, and Jan Sbierski, Timelike Completeness as an Ob- struction to C 0-Extensions, Comm

Gregory J. Galloway, Eric Ling, and Jan Sbierski, Timelike Completeness as an Ob- struction to C 0-Extensions, Comm. Math. Phys. 359 (2017), no. 3, 937–949

work page 2017
[5]

High Energy Phys

Ghazal Geshnizjani, Eric Ling, and Jerome Quintin, On the initial singularity and extendibility of ﬂat quasi-de Sitter spacetimes , J. High Energy Phys. (2023), no. 10

work page 2023
[6]

Quantum Grav

Melanie Graf and Eric Ling, Maximizers in Lipschitz spacetimes are either timelike or null, Class. Quantum Grav. 35 (2018), no. 8, 087001

work page 2018
[7]

James D. E. Grant, Michael Kunzinger, and Clemens S¨ aman n, Inextendibility of space- times and Lorentzian length spaces , Ann. Glob. Anal. Geom. 55 (2018), no. 1, 133–147

work page 2018
[8]

Ettore Minguzzi and Stefan Suhr, Some regularity results for Lorentz–Finsler spaces , Ann. Glob. Anal. Geom. 56 (2019), no. 3, 597–611

work page 2019
[9]

Jan Sbierski, On the proof of the C 0-inextendibility of the Schwarzschild spacetime , J. Phys. Conf. Ser. 968 (2018)

work page 2018
[10]

Jan Sbierski, The C 0-inextendibility of the Schwarzschild spacetime and the sp acelike diameter in Lorentzian geometry , J. Diﬀ. Geom. 108 (2018), no. 2, 319 – 378

work page 2018
[11]

14, 2881 – 2942

Jan Sbierski, On holonomy singularities in general relativity and the C 0,1 loc -inextendibility of space-times, Duke Mathematical Journal 171 (2022), no. 14, 2881 – 2942

work page 2022
[13]

Jan Sbierski, The C 0-inextendibility of a class of FLRW spacetimes , preprint arXiv:2208.07752v1 (2023). 7

work page arXiv 2023

[1] [1]

Chru´ sciel, Quo vadis, mathematical general relativity? , preprint arXiv:2112.02126v1 (2021)

Piotr T. Chru´ sciel, Quo vadis, mathematical general relativity? , preprint arXiv:2112.02126v1 (2021)

work page arXiv 2021

[2] [2]

Chru´ sciel and Paul Klinger, The annoying null boundaries , J

Piotr T. Chru´ sciel and Paul Klinger, The annoying null boundaries , J. Phys. Conf. Ser. 968 (2018), no. 1, 012003

work page 2018

[3] [3]

Galloway and Eric Ling, Some Remarks on the C 0 c 0 -(In)Extendibility of Spacetimes, Ann

Gregory J. Galloway and Eric Ling, Some Remarks on the C 0 c 0 -(In)Extendibility of Spacetimes, Ann. Henri Poincar´ e18 (2017), no. 10, 3427–3447

work page 2017

[4] [4]

Galloway, Eric Ling, and Jan Sbierski, Timelike Completeness as an Ob- struction to C 0-Extensions, Comm

Gregory J. Galloway, Eric Ling, and Jan Sbierski, Timelike Completeness as an Ob- struction to C 0-Extensions, Comm. Math. Phys. 359 (2017), no. 3, 937–949

work page 2017

[5] [5]

High Energy Phys

Ghazal Geshnizjani, Eric Ling, and Jerome Quintin, On the initial singularity and extendibility of ﬂat quasi-de Sitter spacetimes , J. High Energy Phys. (2023), no. 10

work page 2023

[6] [6]

Quantum Grav

Melanie Graf and Eric Ling, Maximizers in Lipschitz spacetimes are either timelike or null, Class. Quantum Grav. 35 (2018), no. 8, 087001

work page 2018

[7] [7]

James D. E. Grant, Michael Kunzinger, and Clemens S¨ aman n, Inextendibility of space- times and Lorentzian length spaces , Ann. Glob. Anal. Geom. 55 (2018), no. 1, 133–147

work page 2018

[8] [8]

Ettore Minguzzi and Stefan Suhr, Some regularity results for Lorentz–Finsler spaces , Ann. Glob. Anal. Geom. 56 (2019), no. 3, 597–611

work page 2019

[9] [9]

Jan Sbierski, On the proof of the C 0-inextendibility of the Schwarzschild spacetime , J. Phys. Conf. Ser. 968 (2018)

work page 2018

[10] [10]

Jan Sbierski, The C 0-inextendibility of the Schwarzschild spacetime and the sp acelike diameter in Lorentzian geometry , J. Diﬀ. Geom. 108 (2018), no. 2, 319 – 378

work page 2018

[11] [11]

14, 2881 – 2942

Jan Sbierski, On holonomy singularities in general relativity and the C 0,1 loc -inextendibility of space-times, Duke Mathematical Journal 171 (2022), no. 14, 2881 – 2942

work page 2022

[12] [13]

Jan Sbierski, The C 0-inextendibility of a class of FLRW spacetimes , preprint arXiv:2208.07752v1 (2023). 7

work page arXiv 2023