Geroch–Traschen-regular extension of the curvature blow-up dichotomy for timelike geodesic incompleteness

The classical singularity theorems predict incomplete inextendible timelike geodesics in generic globally hyperbolic spacetimes, but they do not say what curvature does at such an endpoint. Rácz (2023) proved a dichotomy for smooth spacetimes: if the tidal force and frame-drag parts of the curvature, together with the line integrals of the first-order transversal covariant derivatives of the tidal forces, are uniformly bounded along a synchronized family of freely falling observers, then the spacetime is extendible within the $C^0$ Geroch–Traschen class — the widest class of metrics whose curvature exists as a distribution; combined with the $C^0$-form of strong cosmic censorship, this forces blow-up of the physically measured curvature components. The paper itself leaves two questions open: whether the smoothness hypothesis on the spacetime metric can be replaced by $C^0$ Geroch–Traschen regularity, and whether the pointwise curvature hypotheses can be weakened to boundedness of the line integrals of the tidal components alone, where the integrand is merely a distribution.

Background

The singularity theorems of Penrose (1965), Hawking–Penrose (1970), and Geroch (1968) establish, from causality and energy conditions alone, that physically reasonable spacetimes contain incomplete inextendible causal geodesics: the geodesic flow cannot be continued, so the spacetime 'ends'. They do not determine what an observer approaching such an endpoint experiences — in particular, whether the curvature in its physically measurable components blows up. Strong cosmic censorship sharpens this: it asserts that the maximal globally hyperbolic development (MGHD) — the unique maximal solution of the Cauchy problem determined by given initial data — of generic initial data is inextendible as a solution of the Einstein equations, so that classical determinism survives. Since extensions with a very rough metric may still preserve causality, Christodoulou, Dafermos, and Sbierski proposed a $C^0$-form of the conjecture in which inextendibility is demanded within the widest class of metrics for which the field equations retain distributional meaning. That class was identified by Geroch and Traschen: a Lorentzian metric is Geroch–Traschen (GT) regular if the metric and its inverse are locally bounded and the weak first derivatives of the metric are locally square-integrable; for exactly this class the Riemann, Einstein, and Weyl tensors exist as distributions. The class strictly contains locally Lipschitz metrics and accommodates gravitational shock waves, thin mass shells, and shell-crossing singularities.

Rácz (2023), building on his earlier smooth extension construction (Spacetime extensions II, 2010), proved a dichotomy for smooth spacetimes. In an $n$-dimensional globally hyperbolic spacetime, consider an incomplete timelike geodesic $\gamma$ and a synchronized $(n-1)$-parameter family of timelike geodesics $\mathcal{G}$ — a congruence of freely falling observers filling a neighborhood of a final segment of $\gamma$, parametrized by a common Gaussian time and equipped with a parallelly propagated synchronized orthonormal frame $\{v,E_{(\alpha)}\}$. Relative to the unit timelike vector $v$, the tidal force and frame-drag parts of the Riemann tensor are its electric and magnetic components; they are what a freely falling small body feels as stretch/compression and as twisting (relative precession of nearby gyroscopes). Rácz's Theorem 3 states that if the tidal force and frame-drag components, together with the line integrals of the first-order transversal covariant derivatives of the tidal forces, are uniformly bounded along the members of $\mathcal{G}$, then the spacetime extends as a manifold with a $C^0$ GT-regular metric. His Theorem 2 combines this with Condition 1 — the $C^0$-form of strong cosmic censorship asserting that the MGHD of generic compact or asymptotically flat initial data is inextendible within the class of continuous GT-regular metrics, which the paper adopts from Christodoulou, Dafermos, and Sbierski — and concludes that in a 'generic' (locally algebraically non-special, i.e. with no degenerate algebraic curvature type at the relevant points) timelike geodesically incomplete MGHD, observers arbitrarily close to $\gamma$ see blow-up of the tidal force or frame-drag components (at least of order $(t_p-t)^{-\epsilon}$ for some $\epsilon>0$), or of the transversal derivatives of the tidal forces (at least of order $(t_p-t)^{-1}$), where $t_p$ is the supremal value of the affine parameter.

Both theorems assume the ambient metric is smooth. The restriction is substantive, because the techniques underpinning geodesic analysis currently stop at Lipschitz regularity: for $C^{0,1}$ (Lipschitz) metrics the geodesic equation still has solutions in the sense of Filippov (solutions of a differential inclusion) and maximal causal curves admit $C^{1,1}$ parametrizations (Steinbauer 2014; Lange–Lytchak–Sämann 2021), and for $C^1$ globally hyperbolic metrics one can approximate by smooth metrics with controlled curvature (Graf 2020); but for GT metrics the Christoffel symbols themselves need not be distributions, and no geodesic theory is available. Causality theory, by contrast, survives at merely continuous metrics (Chruściel–Grant 2012), and the well-posedness of wave equations on metrics of low regularity has been developed in the curve-integrable framework of Sanchez Sanchez (2015), which Rácz cites as containing 'many of the needed techniques' for the questions below. Rácz notes that carrying the dichotomy over to GT-regular metrics would require a theory of geodesics and Jacobi fields for such metrics, possibly by representing geodesics of $g_{ab}$ as limits of geodesics of smooth approximating metrics ${}^{(i)}g_{ab}$ whose curvature tensors converge in $L^2$ to the curvature distribution of $g_{ab}$ and by making the Jacobi (geodesic-deviation) equation well defined almost everywhere along the members of a synchronized congruence $\mathcal{G}$; in the GT setting the weakened line-integral hypothesis on the tidal components, too, is only a distribution and needs a careful treatment. The smooth argument for Theorem 3 proceeds through Jacobi-type estimates along the congruence, derived from the Jacobi equation together with a higher-order propagation identity, and through a Lipschitz-extension step that uses Whitney's property P and Kirszbraun's theorem to obtain the $C^0$ Geroch–Traschen extension.

Problem Statement

The problem, posed by the author in Section 6 of Rácz (2023), is to make the extension/blow-up dichotomy valid at Geroch–Traschen regularity with essentially optimal curvature hypotheses. It consists of two linked questions serving one objective.

(a) GT primary metric. Does Theorem 3 — and with it Theorem 2 — remain true when the smoothness hypothesis on the primary metric is replaced by membership of $g_{ab}$ in the $C^0$ Geroch–Traschen class? Precisely: let $(M,g_{ab})$ be an $n$-dimensional locally algebraically non-special globally hyperbolic timelike geodesically incomplete spacetime whose metric is $C^0$ Geroch–Traschen regular, let $\gamma$ be an incomplete timelike geodesic, and let $\mathcal{G}$ be a synchronized $(n-1)$-parameter family of timelike geodesics spanning a neighborhood of a final segment of $\gamma$. If the tidal force and frame-drag parts of the (distributional) curvature, together with the line integrals of the first-order transversal covariant derivatives of the tidal forces, are uniformly bounded along the members of $\mathcal{G}$, must $(M,g_{ab})$ be extendible as a spacetime within the $C^0$ Geroch–Traschen class?

(b) Optimality of the curvature hypotheses. Are the boundedness hypotheses of Theorem 3 essentially optimal? In particular, does the construction of the intermediate extension survive under the strictly weaker requirement of boundedness of only the line integrals

$$I_{\vec{\gamma}}(t)=\int_{t_0}^{t}\|R_{bcd}{}^{a}v^{b}E_{(\alpha)}^{c}v^{d}\|_{\vec{\gamma}(t')}\,dt'$$

of the tidal components along the members of $\mathcal{G}$, replacing uniform pointwise boundedness of the tidal force and frame-drag components together with the transversal-derivative line integrals? For $C^0$ Geroch–Traschen metrics the integrand is defined only as a distribution, so the meaning of the integral is itself part of the question.

Both questions serve the single objective of determining the weakest metric regularity and curvature integrability under which timelike geodesic incompleteness of a generic globally hyperbolic spacetime forces either Geroch–Traschen-extendibility or blow-up of the physically measured tidal/frame-drag curvature. Condition 1 (the $C^0$ strong cosmic censorship hypothesis in the Geroch–Traschen class) is an input that the theorems assume, not part of what is asked; its own status in the asserted generality remains open.

References

1. István Rácz: Spacetime singularities and curvature blow-ups, General Relativity and Gravitation 55, Article 3 (2023), DOI 10.1007/s10714-022-03053-9, arXiv:2301.00572, https://arxiv.org/abs/2301.00572
2. Robert Geroch and Jennie Traschen: Strings and other distributional sources in general relativity, Physical Review D 36, 1017–1031 (1987), DOI 10.1103/PhysRevD.36.1017, https://journals.aps.org/prd/abstract/10.1103/PhysRevD.36.1017
3. Roger Penrose: Gravitational collapse and space-time singularities, Physical Review Letters 14, 57–59 (1965), DOI 10.1103/PhysRevLett.14.57, https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.14.57
4. S. W. Hawking and R. Penrose: The singularities of gravitational collapse and cosmology, Proceedings of the Royal Society of London. A 314, 529–548 (1970), DOI 10.1098/rspa.1970.0021, https://royalsocietypublishing.org/doi/10.1098/rspa.1970.0021
5. Robert Geroch: What is a singularity in general relativity?, Annals of Physics 48, 526–540 (1968), DOI 10.1016/0003-4916(68)90144-9, https://www.sciencedirect.com/science/article/abs/pii/0003491668901449
6. Roland Steinbauer and James A. Vickers: On the Geroch-Traschen class of metrics, Classical and Quantum Gravity 26, 065001 (2009), DOI 10.1088/0264-9381/26/6/065001, arXiv:0811.1376, https://arxiv.org/abs/0811.1376
7. Piotr T. Chruściel and James D. Grant: On Lorentzian causality with continuous metrics, Classical and Quantum Gravity 29, 145001 (2012), DOI 10.1088/0264-9381/29/14/145001, arXiv:1111.0400, https://arxiv.org/abs/1111.0400
8. Roland Steinbauer: Every Lipschitz metric has $C^1$-geodesics, Classical and Quantum Gravity 31, 057001 (2014), DOI 10.1088/0264-9381/31/5/057001, arXiv:1311.0300, https://arxiv.org/abs/1311.0300
9. Christian Lange, Alexander Lytchak, and Clemens Sämann: Lorentz meets Lipschitz, Advances in Theoretical and Mathematical Physics 25 (2021), DOI 10.4310/ATMP.2021.v25.n8.a4, arXiv:2009.08834, https://arxiv.org/abs/2009.08834
10. Melanie Graf: Singularity theorems for $C^1$-Lorentzian metrics, Communications in Mathematical Physics 378 (2020), DOI 10.1007/s00220-020-03808-y, arXiv:1910.13915, https://arxiv.org/abs/1910.13915
11. Yafet Sanchez Sanchez: Regularity of curve integrable spacetimes, General Relativity and Gravitation 47, 80 (2015), DOI 10.1007/s10714-015-1922-4, arXiv:1502.06458, https://arxiv.org/abs/1502.06458
12. István Rácz: Spacetime extensions II, Classical and Quantum Gravity 27, 155007 (2010), DOI 10.1088/0264-9381/27/15/155007, arXiv:0803.0648, https://arxiv.org/abs/0803.0648
13. Jan Sbierski: The $C^0$-inextendibility of the Schwarzschild spacetime and the spacelike diameter in Lorentzian geometry, Journal of Differential Geometry 108 (2018), DOI 10.4310/jdg/1518490820, arXiv:1507.00601, https://arxiv.org/abs/1507.00601
14. Jan Sbierski: On holonomy singularities in general relativity and the $C^{0,1}_{\mathrm{loc}}$-inextendibility of space-times, Duke Mathematical Journal 171 (2022), DOI 10.1215/00127094-2022-0040, arXiv:2007.12049, https://arxiv.org/abs/2007.12049
15. Jan Sbierski: Lipschitz inextendibility of weak null singularities from curvature blow-up, Inventiones mathematicae 243, 961–991 (2026), DOI 10.1007/s00222-025-01387-0, arXiv:2409.18838, https://arxiv.org/abs/2409.18838
16. Mihalis Dafermos and Jonathan Luk: The interior of dynamical vacuum black holes I: The $C^0$-stability of the Kerr Cauchy horizon, Annals of Mathematics (2) 202, no. 2 (2025), DOI 10.4007/annals.2025.202.2.1, arXiv:1710.01722, https://arxiv.org/abs/1710.01722
17. Eric Ling: The $C^0$-inextendibility of some spatially flat FLRW spacetimes, General Relativity and Gravitation 58, Article 52 (2026), DOI 10.1007/s10714-026-03555-w, arXiv:2404.08257, https://arxiv.org/abs/2404.08257
18. Melanie Graf and Marco van den Beld-Serrano: $C^0$-inextendibility of FLRW spacetimes within a subclass of axisymmetric spacetimes, in Progress in Lorentzian Geometry, Springer Proceedings in Mathematics & Statistics, 163–187 (2025), DOI 10.1007/978-3-031-99212-4_9, arXiv:2409.13799, https://arxiv.org/abs/2409.13799
19. Benedikt Miethke: $C^0$-inextendibility of the Kasner spacetime, Master's thesis, Universität Wien (2024), DOI 10.25365/thesis.76304, arXiv:2408.05257, https://arxiv.org/abs/2408.05257
20. Tobias Beran, John Harvey, and Clemens Sämann: Curvature bounds, regularity and inextendibility of spacetimes, Classical and Quantum Gravity 43, 145010 (2026), DOI 10.1088/1361-6382/ae82af, arXiv:2603.20802, https://arxiv.org/abs/2603.20802
21. Moritz Reintjes: Strong Cosmic Censorship with bounded curvature, Classical and Quantum Gravity 41, 175002 (2024), DOI 10.1088/1361-6382/ad636e, arXiv:2304.04444, https://arxiv.org/abs/2304.04444
22. Madhukrishna Chakraborty and Subenoy Chakraborty: Black-Hole singularity and its possible mitigations: Reformulation of Penrose's singularity theorem using null Raychaudhuri matrix, Physics of the Dark Universe 46, 101607 (2024), DOI 10.1016/j.dark.2024.101607, arXiv:2408.03767, https://arxiv.org/abs/2408.03767
23. Jan Dragašević, Ina Moslavac, and Ivica Smolić: Weighing the curvature invariants, The European Physical Journal C 85, Article 818 (2025), DOI 10.1140/epjc/s10052-025-14552-9, arXiv:2502.12242, https://arxiv.org/abs/2502.12242
24. Amir Hadi Ziaie, Naser Sadeghnezhad, and Akbar Jahan: Novel Brans–Dicke wormhole solutions in non-vacuum spacetimes, Modern Physics Letters A 40, 2550110 (2025), DOI 10.1142/s021773232550110x, arXiv:2502.12043, https://arxiv.org/abs/2502.12043