Convergence of Lorentzian spaces and curvature bounds for generalized cones
Pith reviewed 2026-05-13 00:55 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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
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
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
axioms (2)
- domain assumption Lorentzian pre-length spaces admit a well-defined notion of timelike curvature and curvature-dimension bounds.
- 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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.