Pith. sign in

REVIEW 1 major objections 38 references

A singularity theorem in terms of asymptotic expansion

T0 review · 1 major / 0 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A uniform positive lower bound on asymptotic volume-expansion invariants implies past timelike geodesic incompleteness under the strong energy condition.

desk verdict The paper replaces the focusing condition with asymptotic volume-expansion invariants for a singularity theorem and extends it synthetically, but the independence and controllability of those invariants need explicit verification. read the letter →

arxiv 2606.11825 v1 pith:YUN55XKL submitted 2026-06-10 math.DG math-phmath.MGmath.MP

Fabio Cavalletti , Andrea Mondino This is my paper · ORCID
classification math.DGmath-phmath.MGmath.MP
keywords singularitytheoremsasymptoticvolumeexpansionstrongenergyconditionCauchyhypersurfacetimelikeincompletenessLorentzianlengthspacessyntheticcurvatureconditions
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 1 assumptions · 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.

assumptions (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
    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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A singularity theorem in terms of asymptotic expansion." pith.science (2026). https://pith.science/paper/YUN55XKL

@misc{pith2026260611825,
  author       = {Pith},
  title        = {Pith review of: A singularity theorem in terms of asymptotic expansion},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YUN55XKL}},
  note         = {Machine review of arXiv:2606.11825}
}
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 10 canonical work pages

  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]

    Beran, M

    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

    work page 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

    work page Pith review 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

    work page 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

    work page 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

    work page arXiv 2023

Show all 38 references
  1. [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

    2026

  2. [10]

    Busemann

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

    1967

  3. [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,

  4. [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

  5. [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

    2025 arXiv

  6. [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

  7. [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

  8. [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

    2024

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [24]

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

    1967

  17. [25]

    Lorentzian length spaces.Ann

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

    2018

  18. [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

  19. [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

  20. [28]

    Lorentzian causality theory.Living Rev

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

  21. [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

  22. [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

  23. [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

    2026 arXiv

  24. [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

    2025 arXiv

  25. [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

  26. [34]

    Gravitational collapse and space-time singularities.Phys

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

    1965

  27. [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

  28. [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

  29. [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

  30. [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

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.