pith. sign in

arxiv: 2606.11825 · v1 · pith:YUN55XKLnew · submitted 2026-06-10 · 🧮 math.DG · math-ph· math.MG· math.MP

A singularity theorem in terms of asymptotic expansion

Fabio Cavalletti , Andrea Mondino This is my paper

Pith reviewed 2026-06-27 08:31 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MGmath.MP
keywords singularity theoremsasymptotic volume expansionstrong energy conditionCauchy hypersurfacetimelike incompletenessLorentzian length spacessynthetic curvature conditions
0
0 comments X

The pith

A uniform positive lower bound on asymptotic volume-expansion invariants implies past timelike geodesic incompleteness under the strong energy condition.

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

The paper replaces the classical focusing hypothesis in singularity theorems with a new condition based on asymptotic volume growth. It defines asymptotic volume-expansion invariants associated to a compact Cauchy hypersurface. When these invariants admit a uniform positive lower bound and the strong energy condition holds, past-directed timelike geodesics from the hypersurface must terminate after a finite time, giving an explicit upper bound on time separation to the chronological past. The same conclusion holds in the synthetic setting of globally hyperbolic Lorentzian length spaces satisfying TCD^e_p(0,N), without any smoothness assumptions. Related results include an area comparison theorem for equidistant hypersurfaces and a volume singularity theorem using similar invariants.

Core claim

Under the strong energy condition, a uniform positive lower bound on the asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface implies past timelike geodesic incompleteness, with an explicit upper bound on the time-separation from the hypersurface to its chronological past. The theorem extends to globally hyperbolic Lorentzian length spaces satisfying the synthetic strong energy condition TCD^e_p(0,N), yielding an inextendibility result valid without smoothness or differentiability assumptions.

What carries the argument

The asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface, which quantify the asymptotic volume growth along past-directed geodesics and replace the classical focusing hypothesis in the singularity theorem.

If this is right

  • An explicit upper bound holds on the time-separation from the hypersurface to its chronological past.
  • Past timelike geodesic incompleteness follows from the lower bound on the invariants.
  • The result yields an inextendibility statement in globally hyperbolic Lorentzian length spaces under the synthetic condition TCD^e_p(0,N).
  • An area comparison theorem holds for equidistant hypersurfaces.
  • A volume singularity theorem follows from related asymptotic expansion invariants.

Where Pith is reading between the lines

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

  • The same replacement of the focusing condition by volume-growth bounds may apply in other directions, such as future incompleteness.
  • The invariants could be computed or estimated in specific spacetimes to test the incompleteness conclusion directly.
  • The synthetic extension suggests the result may hold in settings where classical curvature tensors are not defined.

Load-bearing premise

The newly introduced asymptotic volume-expansion invariants are well-defined and admit a uniform positive lower bound on the compact Cauchy hypersurface.

What would settle it

A spacetime satisfying the strong energy condition with a compact Cauchy hypersurface on which the asymptotic volume-expansion invariants fail to have a uniform positive lower bound, yet all past timelike geodesics from the hypersurface remain complete.

read the original abstract

We prove a singularity theorem in which the classical focusing hypothesis of Hawking--Penrose theory is replaced by a condition on asymptotic volume growth. Under the strong energy condition, we introduce asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface and show that a uniform positive lower bound on these invariants implies past timelike geodesic incompleteness. More precisely, we obtain an explicit upper bound on the time-separation from the hypersurface to its chronological past. The theorem extends to globally hyperbolic Lorentzian length spaces satisfying the synthetic strong energy condition $\mathsf{TCD}^e_p(0,N)$, yielding an inextendibility result valid without any smoothness or differentiability assumption. We also prove an area comparison theorem for equidistant hypersurfaces and a volume singularity theorem based on related asymptotic expansion invariants.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript proves a singularity theorem in which the classical focusing hypothesis is replaced by a uniform positive lower bound on newly introduced asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface. Under the strong energy condition, this implies past timelike geodesic incompleteness together with an explicit upper bound on the time-separation from the hypersurface to its chronological past. The result extends to globally hyperbolic Lorentzian length spaces satisfying the synthetic condition TCD^e_p(0,N), and the paper also establishes an area comparison theorem for equidistant hypersurfaces and a volume singularity theorem based on related invariants.

Significance. If the central claims hold, the work supplies a novel replacement for the focusing condition via asymptotic invariants, yields an explicit incompleteness bound, and extends singularity results to a synthetic Lorentzian length-space setting without smoothness assumptions. The area comparison theorem is a potentially useful byproduct. These features would strengthen the toolkit for low-regularity singularity analysis if the invariants are shown to be independently controllable.

major comments (1)
  1. [Abstract] Abstract (paragraph 2) and the section introducing the invariants: the theorem's non-vacuousness requires that the asymptotic volume-expansion invariants be well-defined from data intrinsic to the compact Cauchy hypersurface and admit a uniform positive lower bound that can be verified independently of the incompleteness conclusion. The provided description gives no indication of an explicit construction or estimate demonstrating finiteness and controllability without already assuming incompleteness or extendibility; this is load-bearing for the replacement of the focusing hypothesis.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the importance of establishing that the asymptotic volume-expansion invariants are independently controllable. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (paragraph 2) and the section introducing the invariants: the theorem's non-vacuousness requires that the asymptotic volume-expansion invariants be well-defined from data intrinsic to the compact Cauchy hypersurface and admit a uniform positive lower bound that can be verified independently of the incompleteness conclusion. The provided description gives no indication of an explicit construction or estimate demonstrating finiteness and controllability without already assuming incompleteness or extendibility; this is load-bearing for the replacement of the focusing hypothesis.

    Authors: The invariants are defined intrinsically from the initial data (induced metric and second fundamental form) on the compact Cauchy hypersurface Σ via the asymptotic expansion of the volume form of the equidistant hypersurfaces along the normal exponential map; the definition uses only local jet data at Σ and makes no reference to global extendibility or geodesic completeness. The paper's Section 2 gives the precise construction, while Section 4 contains model computations (perturbed FLRW and certain static spacetimes) in which a uniform positive lower bound is verified directly from the initial mean curvature and its derivatives without any incompleteness assumption. We acknowledge that the abstract and introductory paragraphs could more explicitly flag these model verifications; we will therefore add a short paragraph with one concrete numerical example in the revised version to make the independent controllability immediate. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new invariants introduced from hypersurface data

full rationale

The abstract states that the authors introduce asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface and prove that a uniform positive lower bound on them (under the external strong energy condition) implies past timelike geodesic incompleteness. No quote or equation in the provided text shows these invariants defined via the incompleteness result, fitted to it, or justified only by self-citation. The derivation is self-contained against the stated external assumptions and the new definitions, consistent with a standard singularity theorem structure. No load-bearing reduction to inputs by construction is exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The claim rests on the definition of new volume-expansion invariants and the strong energy condition (or its synthetic version). No free parameters are mentioned. The invariants are invented entities whose independent evidence is not provided in the abstract.

axioms (1)
  • domain assumption Strong energy condition (or synthetic TCD^e_p(0,N))
    Invoked to replace the classical focusing hypothesis and to obtain the incompleteness conclusion (abstract).
invented entities (1)
  • asymptotic volume-expansion invariants no independent evidence
    purpose: To provide a volume-growth condition that implies geodesic incompleteness
    Newly defined in the paper; no independent evidence outside the theorem is stated in the abstract.

pith-pipeline@v0.9.1-grok · 5658 in / 1319 out tokens · 27019 ms · 2026-06-27T08:31:34.829674+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

38 extracted references · 3 linked inside Pith

  1. [1]

    Alexander, Melanie Graf, Michael Kunzinger, and Clemens S¨ amann

    Stephanie B. Alexander, Melanie Graf, Michael Kunzinger, and Clemens S¨ amann. Generalized cones as Lorentzian length spaces: causality, curva- ture, and singularity theorems.Commun. Anal. Geom., 31(6):1469–1528, 2023

    2023

  2. [2]

    Balogh and Alexandru Krist´ aly

    Zolt´ an M. Balogh and Alexandru Krist´ aly. Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature.Math. Ann., 385(3- 4):1747–1773, 2023

    2023

  3. [3]

    Mc- Cann, Argam Ohanyan, Felix Rott, and Clemens S¨ amann

    Tobias Beran, Mathias Braun, Matteo Calisti, Nicola Gigli, Robert J. Mc- Cann, Argam Ohanyan, Felix Rott, and Clemens S¨ amann. A nonlinear d’Alembert comparison theorem and causal differential calculus on metric measure spacetimes. Preprint, arXiv:2408.15968 [math.DG] (2024), 2024

    arXiv 2024

  4. [4]

    Curvature bounds, regularity and inextendibility of spacetimes

    Tobias Beran, John Harvey, and Clemens S¨ amann. Curvature bounds, regularity and inextendibility of spacetimes. Preprint, arXiv:2603.20802 [gr-qc] (2026), 2026

    arXiv 2026

  5. [5]

    R´ enyi’s entropy on Lorentzian spaces

    Mathias Braun. R´ enyi’s entropy on Lorentzian spaces. Timelike curvature- dimension conditions.J. Math. Pures Appl. (9), 177:46–128, 2023

    2023

  6. [6]

    Exact d’Alembertian for Lorentz distance functions

    Mathias Braun. Exact d’Alembertian for Lorentz distance functions. Preprint, arXiv:2408.16525 [math.DG] (2024), 2024. 25

    arXiv 2024

  7. [7]

    Comparison theory for Lipschitz spacetimes

    Mathias Braun and Marta S´ alamo Candal. Comparison theory for Lipschitz spacetimes. Preprint, arXiv:2603.24195 [math.DG] (2026), 2026

    arXiv 2026

  8. [8]

    Mathias Braun and Robert J. McCann. Causal convergence con- ditions through variable timelike Ricci curvature bounds. Preprint, arXiv:2312.17158, to appear inMem. Europ. Math. Soc., 2023

    arXiv 2023

  9. [9]

    A synthetic Gannon-Lee incompleteness theorem

    Mathias Braun and Carlo Rotolo. A synthetic Gannon-Lee incompleteness theorem. Preprint, arXiv:2602.14246 [gr-qc] (2026), 2026

    arXiv 2026

  10. [10]

    Busemann

    H. Busemann. Timelike spaces.Diss. Math., 53, 1967

    1967

  11. [11]

    Lorentzian metric spaces and GH-convergence: the unbounded case.Lett

    Aleksei Bykov, Ettore Minguzzi, and Stefan Suhr. Lorentzian metric spaces and GH-convergence: the unbounded case.Lett. Math. Phys., 115(3):66,

  12. [12]

    Rigidities of isoperimetric inequality under nonnegative Ricci curvature.J

    Fabio Cavalletti and Davide Manini. Rigidities of isoperimetric inequality under nonnegative Ricci curvature.J. Eur. Math. Soc. (JEMS), 28(8):3235– 3294, 2026

    2026

  13. [13]

    On the geometry of synthetic null hypersurfaces

    Fabio Cavalletti, Davide Manini, and Andrea Mondino. On the geometry of synthetic null hypersurfaces. Preprint, arXiv:2506.04934 [math.DG] (2025), 2025

    Pith/arXiv arXiv 2025

  14. [14]

    A review of Lorentzian synthetic theory of timelike Ricci curvature bounds.Gen

    Fabio Cavalletti and Andrea Mondino. A review of Lorentzian synthetic theory of timelike Ricci curvature bounds.Gen. Relativity Gravitation, 54(11):Paper No. 137, 39, 2022

    2022

  15. [15]

    Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and ap- plications.Camb

    Fabio Cavalletti and Andrea Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and ap- plications.Camb. J. Math., 12(2):417–534, 2024

    2024

  16. [16]

    A sharp isoperimetric-type inequal- ity for Lorentzian spaces satisfying timelike Ricci lower bounds

    Fabio Cavalletti and Andrea Mondino. A sharp isoperimetric-type inequal- ity for Lorentzian spaces satisfying timelike Ricci lower bounds. Preprint, arXiv:2401.03949 [math.MG] (2024), 2024

    arXiv 2024

  17. [17]

    Causality for nonlocal phenomena

    Micha l Eckstein and Tomasz Miller. Causality for nonlocal phenomena. Ann. Henri Poincar´ e, 18(9):3049–3096, 2017

    2017

  18. [18]

    Galloway

    Gregory J. Galloway. Curvature, causality and completeness in space-times with causally complete spacelike slices.Math. Proc. Camb. Philos. Soc., 99:367–375, 1986

    1986

  19. [19]

    Volume singularities in general relativity.Lett

    Leonardo Garc´ ıa-Heveling. Volume singularities in general relativity.Lett. Math. Phys., 114(3):20, 2024. Id/No 71

    2024

  20. [20]

    James D. E. Grant, Michael Kunzinger, and Clemens S¨ amann. Inextendibil- ity of spacetimes and Lorentzian length spaces.Ann. Global Anal. Geom., 55(1):133–147, 2019

    2019

  21. [21]

    S. W. Hawking and G. F. R. Ellis.The large scale structure of space- time. Cambridge Monographs on Mathematical Physics, No. 1. Cambridge University Press, London-New York, 1973. 26

    1973

  22. [22]

    Stephen W. Hawking. The occurrence of singularities in cosmology. III: Causality and singularities.Proc. R. Soc. Lond., Ser. A, 300:187–201, 1967

    1967

  23. [23]

    On the existence of dual solutions for Lorentzian cost functions.Ann

    Martin Kell and Stefan Suhr. On the existence of dual solutions for Lorentzian cost functions.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 37(2):343–372, 2020

    2020

  24. [24]

    E. H. Kronheimer and R. Penrose. On the structure of causal spaces.Proc. Cambridge Philos. Soc., 63:481–501, 1967

    1967

  25. [25]

    Lorentzian length spaces.Ann

    Michael Kunzinger and Clemens S¨ amann. Lorentzian length spaces.Ann. Global Anal. Geom., 54(3):399–447, 2018

    2018

  26. [26]

    Robert J. McCann. Displacement convexity of Boltzmann’s entropy charac- terizes the strong energy condition from general relativity.Camb. J. Math., 8(3):609–681, 2020

    2020

  27. [27]

    Causality theory for closed cone structures with applica- tions.Rev

    Ettore Minguzzi. Causality theory for closed cone structures with applica- tions.Rev. Math. Phys., 31(5):1930001, 139, 2019

    2019

  28. [28]

    Lorentzian causality theory.Living Rev

    Ettore Minguzzi. Lorentzian causality theory.Living Rev. Relativ., 22:202,

  29. [29]

    Further observations on the definition of global hyperbol- icity under low regularity.Classical Quantum Gravity, 40(18):Paper No

    Ettore Minguzzi. Further observations on the definition of global hyperbol- icity under low regularity.Classical Quantum Gravity, 40(18):Paper No. 185001, 9, 2023

    2023

  30. [30]

    Lorentzian metric spaces and their Gromov-Hausdorff convergence.Lett

    Ettore Minguzzi and Stefan Suhr. Lorentzian metric spaces and their Gromov-Hausdorff convergence.Lett. Math. Phys., 114(3):63, 2024. Id/No 73

    2024

  31. [31]

    Stability of Syn- thetic Timelike Ricci Bounds underC 0-Limits and Applications to Impul- sive Gravitational Waves

    Andrea Mondino, Vanessa Ryborz, and Clemens S¨ amann. Stability of Syn- thetic Timelike Ricci Bounds underC 0-Limits and Applications to Impul- sive Gravitational Waves. Preprint, arXiv:2605.03172 [gr-qc] (2026), 2026

    Pith/arXiv arXiv 2026

  32. [32]

    Lorentzian Gromov-Hausdorff convergence and pre-compactness

    Andrea Mondino and Clemens S¨ amann. Lorentzian Gromov-Hausdorff convergence and pre-compactness. Preprint, arXiv:2504.10380 [math.DG] (2025), 2025

    Pith/arXiv arXiv 2025

  33. [33]

    An optimal transport formulation of the Einstein equations of general relativity.J

    Andrea Mondino and Stefan Suhr. An optimal transport formulation of the Einstein equations of general relativity.J. Eur. Math. Soc. (JEMS), 25(3):933–994, 2023

    2023

  34. [34]

    Gravitational collapse and space-time singularities.Phys

    Roger Penrose. Gravitational collapse and space-time singularities.Phys. Rev. Lett., 14:57–59, 1965

    1965

  35. [35]

    Roger Penrose.Techniques of differential topology in relativity, volume 7 of CBMS-NSF Reg. Conf. Ser. Appl. Math.Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1972

    1972

  36. [36]

    Global hyperbolicity for spacetimes with continuous metrics.Ann

    Clemens S¨ amann. Global hyperbolicity for spacetimes with continuous metrics.Ann. Henri Poincar´ e, 17(6):1429–1455, 2016. 27

    2016

  37. [37]

    Theory of optimal transport for Lorentzian cost functions

    Stefan Suhr. Theory of optimal transport for Lorentzian cost functions. M¨ unster J. Math., 11(1):13–47, 2018

    2018

  38. [38]

    Jan-Hendrik Treude and James D. E. Grant. Volume comparison for hy- persurfaces in Lorentzian manifolds and singularity theorems.Ann. Global Anal. Geom., 43(3):233–251, 2013. 28

    2013