Pith. sign in

REVIEW 3 minor 2 cited by

Convergence of Lorentzian spaces and curvature bounds for generalized cones

T0 review · 0 major / 3 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read Timelike curvature and curvature-dimension bounds stay stable under ℓ-convergence of Lorentzian pre-length spaces, including for generalized cones.

desk verdict The paper defines ℓ-convergence for Lorentzian pre-length spaces, proves stability of timelike curvature bounds under it, and applies the notion to get sharp bounds on generalized cones via GH convergence of bases and fibers plus uniform warping. read the letter →

arxiv 2605.11271 v2 pith:XUMSEBQO submitted 2026-05-11 math.DG math-phmath.MGmath.MP

Christian Ketterer This is my paper · ORCID
classification math.DGmath-phmath.MGmath.MP
keywords lorentzianpre-lengthspacesell-convergencetimelikecurvaturecurvature-dimensionboundsgeneralizedconesgromov-hausdorffconvergencepre-compactnesswarpedproducts
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 defines ℓ-convergence for Lorentzian pre-length spaces as an extension of earlier notions and proves that timelike curvature bounds and timelike curvature-dimension bounds remain stable under measured versions of this convergence. It then shows that ℓ-convergence applies directly to sequences of generalized Lorentzian cones when the base intervals and fiber spaces converge in the Gromov-Hausdorff sense while the warping functions converge uniformly. This setup produces sharp timelike curvature and curvature-dimension bounds for the cones themselves. A pre-compactness theorem is obtained for the class of smooth generalized cones whose full Ricci or Riemann curvature satisfies a uniform lower bound.

What carries the argument

ℓ-convergence, a notion of convergence for Lorentzian pre-length spaces that extends prior notions and is shown to preserve timelike curvature properties when applied to generalized cones.

What would settle it

A sequence of generalized cones whose bases and fibers converge in GH sense and whose warping functions converge uniformly, yet whose limit fails to satisfy the claimed timelike curvature lower bound.

Watch

Extended reading notes

Core claim

Timelike curvature and timelike curvature-dimension bounds are stable under (measured) ℓ-convergence; ℓ-convergence applies to generalized Lorentzian cones -I_i ×_{f_i} X_i whenever the base I_i and fiber X_i converge in GH sense and the functions f_i converge uniformly, yielding sharp bounds; pre-compactness holds for smooth generalized cones with a uniform lower bound on the full Ricci or Riemann curvature tensor.

Load-bearing premise

The proposed ℓ-convergence extends prior notions in a manner that preserves timelike curvature properties for pre-length spaces, and generalized cones satisfy the structural conditions needed for the stability and convergence statements to apply.

Editorial extensions

If this is right

  • Sharp timelike curvature bounds hold for the limiting generalized cone.
  • Timelike curvature-dimension bounds pass to the limit under measured ℓ-convergence.
  • Pre-compactness holds in the class of smooth generalized cones with uniform lower bounds on Ricci or Riemann curvature.
  • Generalized cones inherit curvature bounds from their bases, fibers, and warping functions via the convergence.
  • Stability applies to measured versions of the convergence.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The stability result may allow curvature-controlled approximations of singular Lorentzian spaces by sequences of smooth cones.
  • Adopting ℓ-convergence could extend existing compactness theorems from Riemannian geometry to the Lorentzian setting without additional assumptions on the time orientation.
  • The uniform convergence requirement on warping functions suggests that small perturbations in the warping can be controlled to preserve curvature bounds in the limit.
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

0 major / 3 minor

Summary. The paper introduces a notion of ℓ-convergence for Lorentzian pre-length spaces that extends prior convergence notions. It proves stability of timelike curvature bounds and timelike curvature-dimension bounds under (measured) ℓ-convergence. It then shows that a sequence of generalized Lorentzian cones -I_i ×_{f_i} X_i converges in the ℓ-sense whenever the bases I_i and fibers X_i converge in the Gromov-Hausdorff sense and the warping functions f_i converge uniformly; this yields sharp timelike curvature and curvature-dimension bounds for the cones. Finally, the paper establishes a pre-compactness theorem for the class of smooth generalized cones possessing a uniform lower bound on the full Ricci or Riemann curvature tensor.

Significance. If the stability and convergence statements hold, the work supplies a technically useful extension of convergence theory to the Lorentzian setting that preserves timelike curvature conditions. The explicit criterion for ℓ-convergence of generalized cones and the resulting sharp bounds are of direct interest for warped-product constructions and singularity analysis. The pre-compactness result supplies a compactness tool under curvature control that is not available from earlier notions. No machine-checked proofs or parameter-free derivations are present, but the logical chain from definition through stability to application on cones is internally consistent.

minor comments (3)
  1. [§2] The definition of ℓ-convergence (presumably in §2 or §3) should include an explicit statement of the topology or metric on the space of measures used in the measured version, to make the stability theorem for curvature-dimension bounds immediately verifiable.
  2. [Theorem on generalized cones] In the statement of the cone convergence theorem, the precise mode of convergence of the warping functions f_i (e.g., C^0 or C^1) and the required uniformity of the lower curvature bound should be stated explicitly rather than left implicit in the uniform-convergence hypothesis.
  3. [Pre-compactness theorem] The pre-compactness theorem would benefit from a short remark clarifying whether the uniform Ricci/Riemann lower bound is assumed only on the smooth cones or also passes to the ℓ-limit; this affects the sharpness claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, accurate summary of the paper's contributions on ℓ-convergence, stability results, cone convergence, and precompactness, and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper introduces a new definition of ℓ-convergence for Lorentzian pre-length spaces that extends prior notions, then proves stability of timelike curvature and curvature-dimension bounds under measured ℓ-convergence, and finally applies the notion to show that generalized cones inherit sharp bounds when bases and fibers converge in GH sense and warping functions converge uniformly. These are independent mathematical constructions and proofs; no step reduces by construction to its own inputs, no fitted parameters are relabeled as predictions, and no load-bearing claims rest on self-citations whose content is unverified or circular. The derivation chain is self-contained against external benchmarks in metric geometry and Lorentzian analysis.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities can be identified from the provided text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Convergence of Lorentzian spaces and curvature bounds for generalized cones." pith.science (2026). https://pith.science/paper/XUMSEBQO

@misc{pith2026260511271,
  author       = {Pith},
  title        = {Pith review of: Convergence of Lorentzian spaces and curvature bounds for generalized cones},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XUMSEBQO}},
  note         = {Machine review of arXiv:2605.11271}
}
abstract

The goal of this article is twofold. We introduce a notion of convergence for Lorentzian pre-length spaces, $\ell$-convergence, that extends previous convergence notions in this context. We show that timelike curvature and timelike curvature-dimension bounds are stable under (measured) $\ell$-convergence. Then, we show that $\ell$-convergence is well adapted for generalized Lorentzian cones: a sequence of generalized cones $-I_i\times_{f_i}X_i$ converges in $\ell$ sense if the base $I_i$ and the fiber $X_i$ converge in GH sense and the functions $f_i$ converge uniformly. We use this to show sharp timelike curvature and timelike curvature-dimension bounds for such cones. Finally, we obtain a pre-compactness theorem for $\ell$-convergence in the class of smooth generalized cones that have a uniform lower bound on the full Ricci (or Riemann) curvature tensor.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Null distance on cosmological spacetimes and monotone convergence

    math.DG 2026-07 conditional novelty 7.0 of 10

    For compact-slice cosmological spacetimes, the null-distance completion is bi-Lipschitz to a product taxi space, and monotone families converge uniformly and future-developed, with the limit's causally-null distance e...

  2. Doubling for chronological diamonds in Lorentzian geometry

    math.DG 2026-07 conditional novelty 6.0 of 10

    Timelike curvature bounds plus a measure-contraction condition imply a doubling estimate for chronological diamonds, giving precompactness for generalized cones in Lorentzian Gromov-Hausdorff convergence.

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages · cited by 2 Pith papers

  1. [1]

    Alexander and Richard L

    Stephanie B. Alexander and Richard L. Bishop. Warped products of Hadamard spaces.Manuscripta Math., 96(4):487–505, 1998

    work page 1998

  2. [2]

    Alexander and Richard L

    Stephanie B. Alexander and Richard L. Bishop. Curvature bounds for warped prod- ucts of metric spaces.Geom. Funct. Anal., 14(6):1143–1181, 2004

    work page 2004

  3. [3]

    Alexander and Richard L

    Stephanie B. Alexander and Richard L. Bishop. Lorentz and semi-Riemannian spaces with Alexandrov curvature bounds.Comm. Anal. Geom., 16(2):251–282, 2008

    work page 2008

  4. [4]

    Alexander and Richard L

    Stephanie B. Alexander and Richard L. Bishop. Warped products admitting a cur- vature bound.Adv. Math., 303:88–122, 2016

    work page 2016

  5. [5]

    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, curvature, and singularity theorems.Comm. Anal. Geom., 31(6):1469–1528, 2023

    work page 2023

  6. [6]

    Properties of the null distance and spacetime convergence.Int

    Brian Allen and Annegret Burtscher. Properties of the null distance and spacetime convergence.Int. Math. Res. Not., 2022(10):7729–7808, 2022

    work page 2022

  7. [7]

    Lectures in Mathematics ETH Z¨ urich

    Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e.Gradient flows in metric spaces and in the space of probability measures. Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, second edition, 2008

    work page 2008

  8. [8]

    Ricci bounds for Euclidean and spheri- cal cones

    Kathrin Bacher and Karl-Theodor Sturm. Ricci bounds for Euclidean and spheri- cal cones. InSingular phenomena and scaling in mathematical models, pages 3–23. Springer, Cham, 2014

    work page 2014

Show all 54 references
  1. [9]

    The equivalence of smooth and synthetic notions of timelike sectional curvature bounds.Proc

    Tobias Beran, Michael Kunzinger, Argam Ohanyan, and Felix Rott. The equivalence of smooth and synthetic notions of timelike sectional curvature bounds.Proc. Amer. Math. Soc., 153(2):783–797, 2025

    2025

  2. [10]

    On curvature bounds in Lorentzian length spaces.J

    Tobias Beran, Michael Kunzinger, and Felix Rott. On curvature bounds in Lorentzian length spaces.J. Lond. Math. Soc. (2), 110(2):Paper No. e12971, 41, 2024

    2024

  3. [11]

    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

  4. [12]

    Gromov’s reconstruction theorem and mea- sured gromov-hausdorff convergence in lorentzian geometry, 2025

    Mathias Braun and Clemens S¨ amann. Gromov’s reconstruction theorem and mea- sured gromov-hausdorff convergence in lorentzian geometry, 2025

    2025

  5. [13]

    American Mathematical Society, Prov- idence, RI, 2001

    Dmitri Burago, Yuri Burago, and Sergei Ivanov.A course in metric geometry, vol- ume 33 ofGraduate Studies in Mathematics. American Mathematical Society, Prov- idence, RI, 2001

    2001

  6. [14]

    Yuri Burago, Mikhael Gromov, and Grigori Perelman. A. D. Aleksandrov spaces with curvatures bounded below.Uspekhi Mat. Nauk, 47(2(284)):3–51, 222, 1992

    1992

  7. [15]

    Bykov, E

    A. Bykov, E. Minguzzi, and S. Suhr. Lorentzian metric spaces and GH-convergence: the unbounded case.Lett. Math. Phys., 115(3):Paper No. 63, 66, 2025

    2025

  8. [16]

    Generalized cones admit- ting a curvature-dimension condition, 2025

    Matteo Calisti, Christian Ketterer, and Clemens S¨ amann. Generalized cones admit- ting a curvature-dimension condition, 2025

    2025

  9. [17]

    The globalization theorem for the curvature- dimension condition.Invent

    Fabio Cavalletti and Emanuel Milman. The globalization theorem for the curvature- dimension condition.Invent. Math., 226(1):1–137, 2021. 48 CHRISTIAN KETTERER

    2021

  10. [18]

    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. Relativ. Gravitation, 54(11):39, 2022. Id/No 137

    2022

  11. [19]

    Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications.Camb

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

    2024

  12. [20]

    Cambridge University Press, Cambridge, 1993

    Isaac Chavel.Riemannian geometry—a modern introduction, volume 108 ofCam- bridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1993

    1993

  13. [21]

    Gromov’s compactness theo- rem for the intrinsic timed-Hausdorff distance.Differential Geom

    Mauricio Che, Raquel Perales, and Christina Sormani. Gromov’s compactness theo- rem for the intrinsic timed-Hausdorff distance.Differential Geom. Appl., 103:Paper No. 102364, 24, 2026

    2026

  14. [22]

    Jeff Cheeger and Tobias H. Colding. Lower bounds on Ricci curvature and the almost rigidity of warped products.Ann. of Math. (2), 144(1):189–237, 1996

    1996

  15. [23]

    Jeff Cheeger and Tobias H. Colding. On the structure of spaces with Ricci curvature bounded below. I.J. Differential Geom., 46(3):406–480, 1997

    1997

  16. [24]

    Tobias H. Colding. Shape of manifolds with positive Ricci curvature.Invent. Math., 124(1-3):175–191, 1996

    1996

  17. [25]

    Sharp H¨ older continuity of tangent cones for spaces with a lower Ricci curvature bound and applications.Ann

    Tobias Holck Colding and Aaron Naber. Sharp H¨ older continuity of tangent cones for spaces with a lower Ricci curvature bound and applications.Ann. of Math. (2), 176(2):1173–1229, 2012

    2012

  18. [26]

    Characterization of tangent cones of non- collapsed limits with lower Ricci bounds and applications.Geom

    Tobias Holck Colding and Aaron Naber. Characterization of tangent cones of non- collapsed limits with lower Ricci bounds and applications.Geom. Funct. Anal., 23(1):134–148, 2013

    2013

  19. [27]

    Causality for nonlocal phenomena.Ann

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

    2017

  20. [28]

    Convergence of pointed non- compact metric measure spaces and stability of Ricci curvature bounds and heat flows.Proc

    Nicola Gigli, Andrea Mondino, and Giuseppe Savar´ e. Convergence of pointed non- compact metric measure spaces and stability of Ricci curvature bounds and heat flows.Proc. Lond. Math. Soc. (3), 111(5):1071–1129, 2015

    2015

  21. [29]

    Mod- ern Birkh¨ auser Classics

    Misha Gromov.Metric structures for Riemannian and non-Riemannian spaces. Mod- ern Birkh¨ auser Classics. Birkh¨ auser Boston Inc., Boston, MA, english edition, 2007. Based on the 1981 French original, With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the Fren...

    2007

  22. [30]

    Steven G. Harris. A triangle comparison theorem for Lorentz manifolds.Indiana Univ. Math. J., 31(3):289–308, 1982

    1982

  23. [31]

    Lower Ricci curvature and nonex- istence of manifold structure.Geom

    Erik Hupp, Aaron Naber, and Kai-Hsiang Wang. Lower Ricci curvature and nonex- istence of manifold structure.Geom. Topol., 29(1):443–477, 2025

    2025

  24. [32]

    On the geometry of metric measure space with variable curvature bounded from below.http://arxiv.org/abs/1506.03279

    Christian Ketterer. On the geometry of metric measure space with variable curvature bounded from below.http://arxiv.org/abs/1506.03279

    arXiv

  25. [33]

    Ricci curvature bounds for warped products.J

    Christian Ketterer. Ricci curvature bounds for warped products.J. Funct. Anal., 265(2):266–299, 2013

    2013

  26. [34]

    Cones over metric measure spaces and the maximal diameter theorem.J

    Christian Ketterer. Cones over metric measure spaces and the maximal diameter theorem.J. Math. Pures Appl. (9), 103(5):1228–1275, 2015

    2015

  27. [35]

    Warped products over one-dimensional base spaces and the rcd condition, 2025

    Christian Ketterer. Warped products over one-dimensional base spaces and the rcd condition, 2025

    2025

  28. [36]

    Lorentzian length spaces.Ann

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

    2018

  29. [37]

    Null distance and convergence of Lorentzian length spaces.Ann

    Michael Kunzinger and Roland Steinbauer. Null distance and convergence of Lorentzian length spaces.Ann. Henri Poincar´ e, 23(12):4319–4342, 2022

    2022

  30. [38]

    Ricci curvature for metric-measure spaces via optimal transport.Ann

    John Lott and C´ edric Villani. Ricci curvature for metric-measure spaces via optimal transport.Ann. of Math. (2), 169(3):903–991, 2009

    2009

  31. [39]

    Robert J. McCann. Displacement convexity of Boltzmann’s entropy characterizes the strong energy condition from general relativity.Camb. J. Math., 8(3):609–681, 2020. CURVATURE FOR GENERALIZED CONES AND CONVERGENCE 49

    2020

  32. [40]

    Minguzzi

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

    2023

  33. [41]

    Minguzzi

    E. Minguzzi. Results on Lorentzian metric spaces.Gen. Relativity Gravitation, 58(1):Paper No. 9, 21, 2026

    2026

  34. [42]

    Minguzzi and S

    E. Minguzzi and S. Suhr. Lorentzian metric spaces and their Gromov-Hausdorff con- vergence.Lett. Math. Phys., 114(3):Paper No. 73, 63, 2024

    2024

  35. [43]

    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

  36. [44]

    Lorentzian gromov-hausdorff convergence and pre-compactness, 2025

    Andrea Mondino and Clemens S¨ amann. Lorentzian gromov-hausdorff convergence and pre-compactness, 2025

    2025

  37. [45]

    Lorentzian Gromov-Hausdorff theory and finiteness results.Gen

    Olaf M¨ uller. Lorentzian Gromov-Hausdorff theory and finiteness results.Gen. Rela- tivity Gravitation, 54(10):Paper No. 117, 17, 2022

    2022

  38. [46]

    On the measure contraction property of metric measure spaces.Com- ment

    Shin-ichi Ohta. On the measure contraction property of metric measure spaces.Com- ment. Math. Helv., 82(4):805–828, 2007

    2007

  39. [47]

    Semi-Riemannian geometry

    Barrett O’Neill. Semi-Riemannian geometry. With applications to relativity. Pure and Applied Mathematics, 103. New York-London etc.: Academic Press. xiii, 468 p. (1983)., 1983

    1983

  40. [48]

    Semiconcave functions in Alexandrov’s geometry

    Anton Petrunin. Semiconcave functions in Alexandrov’s geometry. InSurveys in dif- ferential geometry. Vol. XI, volume 11 ofSurv. Differ. Geom., pages 137–201. Int. Press, Somerville, MA, 2007

    2007

  41. [49]

    Introducing Various Notions of Distances between Space-Times

    Anna Sakovich and Christina Sormani. Introducing Various Notions of Distances between Space-Times. Preprint, arXiv:2410.16800 [math.DG] (2025), 2025

    2025

  42. [50]

    Null distance on a spacetime.Classical Quantum Gravity, 33(8):29, 2016

    Christina Sormani and Carlos Vega. Null distance on a spacetime.Classical Quantum Gravity, 33(8):29, 2016. Id/No 085001

    2016

  43. [51]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. I.Acta Math., 196(1):65–131, 2006

    2006

  44. [52]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. II.Acta Math., 196(1):133–177, 2006

    2006

  45. [53]

    American Mathematical Society, Providence, RI, 2003

    C´ edric Villani.Topics in optimal transportation, volume 58 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2003

    2003

  46. [54]

    Springer-Verlag, Berlin, 2009

    C´ edric Villani.Optimal transport, Old and new, volume 338 ofGrundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 2009. Department of Mathematics & Statistics, Logic House, South Campus, Maynooth University,...

    2009

Pith tools

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