pith. machine review for the scientific record. sign in

arxiv: 2605.11271 · v1 · submitted 2026-05-11 · 🧮 math.DG · math-ph· math.MG· math.MP

Recognition: no theorem link

Convergence of Lorentzian spaces and curvature bounds for generalized cones

Christian Ketterer

Pith reviewed 2026-05-13 00:55 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MGmath.MP
keywords Lorentzian geometrytimelike curvaturecurvature-dimension boundsgeneralized conesℓ-convergenceGromov-Hausdorff convergencepre-compactnesswarping functions
0
0 comments X

The pith

Timelike curvature and curvature-dimension bounds are stable under ℓ-convergence for Lorentzian pre-length spaces, with sharp bounds holding for generalized cones.

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

The paper introduces ℓ-convergence as a new notion for Lorentzian pre-length spaces that extends earlier convergence ideas in the setting. It proves that lower bounds on timelike sectional curvature and on timelike curvature-dimension conditions remain valid when a sequence of spaces converges in this measured ℓ-sense. The notion fits generalized cones of the form -I ×_f X particularly well: when the base interval I and the fiber X converge in the Gromov-Hausdorff sense while the warping function f converges uniformly, the cones themselves converge in the ℓ-sense. This transfer yields sharp timelike curvature and CD bounds on the cones and produces a pre-compactness theorem for families of smooth cones whose full Ricci or Riemann curvature is bounded from below uniformly.

Core claim

We introduce ℓ-convergence for Lorentzian pre-length spaces and prove that timelike curvature bounds and timelike curvature-dimension bounds are stable under measured ℓ-convergence. For generalized cones -I_i ×_{f_i} X_i, ℓ-convergence holds whenever I_i and X_i converge in GH and f_i converge uniformly. Consequently, sharp timelike curvature and CD bounds are obtained for such cones, and a pre-compactness result follows for smooth generalized cones with uniform lower bound on the full Ricci or Riemann curvature tensor.

What carries the argument

ℓ-convergence, a notion of convergence on Lorentzian pre-length spaces that preserves timelike curvature bounds; the generalized cone construction -I ×_f X that transfers convergence and curvature information from base interval, fiber, and warping function.

If this is right

  • A sequence of generalized cones -I_i ×_{f_i} X_i converges in ℓ-sense whenever the intervals I_i converge in GH, the fibers X_i converge in GH, and the warping functions f_i converge uniformly.
  • Sharp lower bounds on timelike sectional curvature and on timelike curvature-dimension conditions hold for any such limiting cone.
  • The class of smooth generalized cones with a uniform lower bound on the full Ricci or Riemann curvature tensor is pre-compact with respect to ℓ-convergence.

Where Pith is reading between the lines

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

  • The stability result may permit taking limits of families of space-times while retaining synthetic curvature controls, in a manner parallel to how Gromov-Hausdorff limits work for Riemannian manifolds with sectional-curvature bounds.
  • Generalized cones could serve as model spaces for constructing or approximating singular Lorentzian metrics by passing to the limit along sequences with controlled curvature.
  • The framework opens the possibility of developing a synthetic theory of Lorentzian spaces with timelike curvature bounds that is independent of smooth embeddings.

Load-bearing premise

The spaces are Lorentzian pre-length spaces in which timelike curvature bounds are defined, and uniform convergence of the warping functions together with GH convergence of the base and fiber controls the Lorentzian distance and the curvature in the cone.

What would settle it

A sequence of generalized cones in which the bases and fibers converge in GH sense with uniform warping functions, yet the limit cone fails to satisfy the expected lower bound on timelike curvature.

read the original 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.

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

0 major / 0 minor

Summary. The paper introduces ℓ-convergence (and its measured variant) for Lorentzian pre-length spaces as an extension of the measured Gromov-Hausdorff framework that preserves causal structure. It proves stability of timelike curvature bounds and timelike curvature-dimension bounds under this convergence. It then shows that ℓ-convergence is well-adapted to generalized Lorentzian cones: a sequence of cones −I_i ×_{f_i} X_i converges in the ℓ-sense whenever the intervals I_i and fibers X_i converge in the GH sense and the warping functions f_i converge uniformly. This is used to obtain sharp timelike curvature and CD bounds for such cones. Finally, a pre-compactness theorem is proved for the class of smooth generalized cones with a uniform lower bound on the full Ricci (or Riemann) curvature tensor.

Significance. If the results hold, the work supplies a synthetic convergence theory for Lorentzian spaces that directly extends the successful measured-GH approach while respecting causality, together with concrete applications to cone constructions that are central in general relativity and Lorentzian geometry. The stability theorems and the explicit reduction for cones (GH convergence of base and fiber plus uniform convergence of f_i controlling the Lorentzian distance) provide a clean, parameter-free route to curvature bounds on cones. The pre-compactness result is a useful compactness statement under natural curvature assumptions. These contributions strengthen the toolkit for synthetic timelike curvature theory.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the accurate summary of its contributions, and the recommendation to accept. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent definitions and standard tools

full rationale

The manuscript introduces an independent definition of ℓ-convergence for Lorentzian pre-length spaces that extends measured Gromov-Hausdorff convergence while preserving causal structure. Stability of timelike curvature and CD bounds is shown by verifying that ℓ-convergence implies convergence of timelike distances and that the curvature inequalities pass to the limit via direct comparison with model spaces. For generalized cones, the argument uses GH convergence of the base interval and fiber together with uniform convergence of the warping functions to obtain convergence of the induced Lorentzian distance; curvature bounds on the cones are then obtained by direct computation from the corresponding bounds on the fibers. The pre-compactness theorem applies the standard GH pre-compactness criterion under a uniform lower bound on Ricci or Riemann curvature. No load-bearing step reduces by the paper's own equations to a fitted parameter, self-definition, or self-citation chain; all steps rest on externally standard notions (GH convergence, model-space comparison) that are not derived from the target results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the existence of a well-behaved notion of timelike curvature in pre-length spaces and on the compatibility of ℓ-convergence with the warped-product structure of generalized cones. No free parameters are introduced in the abstract; the work relies on standard background from metric geometry and Lorentzian geometry.

axioms (2)
  • domain assumption Lorentzian pre-length spaces admit a well-defined notion of timelike curvature and curvature-dimension bounds.
    The stability statements presuppose that these curvature notions are already defined and meaningful on the class of spaces considered.
  • domain assumption Gromov-Hausdorff convergence of the base interval and fiber, together with uniform convergence of the warping function, control the Lorentzian distance structure of the cone.
    This is invoked to transfer convergence and curvature bounds from the factors to the cone.

pith-pipeline@v0.9.0 · 5459 in / 1695 out tokens · 53198 ms · 2026-05-13T00:55:28.436181+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

54 extracted references · 54 canonical work pages

  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

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

    work page 2025

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

    work page 2024

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

    work page 2023

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

    work page 2025

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

    work page 2001

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

    work page 1992

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

    work page 2025

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

    work page 2025

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

    work page 2021

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

    work page 2022

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

    work page 2024

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

    work page 1993

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

    work page 2026

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

    work page 1996

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

    work page 1997

  24. [24]

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

    work page 1996

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

    work page 2012

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

    work page 2013

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

    work page 2017

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

    work page 2015

  29. [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 French by Sean Michael Bates

    work page 2007

  30. [30]

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

    work page 1982

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

    work page 2025

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

    work page arXiv

  33. [33]

    Ricci curvature bounds for warped products.J

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

    work page 2013

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

    work page 2015

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

    work page 2025

  36. [36]

    Lorentzian length spaces.Ann

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

    work page 2018

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

    work page 2022

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

    work page 2009

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

    work page 2020

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

    work page 2023

  41. [41]

    Minguzzi

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

    work page 2026

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

    work page 2024

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

    work page 2023

  44. [44]

    Lorentzian gromov-hausdorff convergence and pre-compactness, 2025

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

    work page 2025

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

    work page 2022

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

    work page 2007

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

    work page 1983

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

    work page 2007

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

    work page arXiv 2025

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

    work page 2016

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

    work page 2006

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

    work page 2006

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

    work page 2003

  54. [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, Ireland Email address:christian.ketterer@mu.ie

    work page 2009