Convergence of Lorentzian spaces and curvature bounds for generalized cones

Christian Ketterer

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 ↗ Review JSON

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 v3 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

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The main takeaway is that Ketterer introduces ℓ-convergence as an extension of earlier notions for Lorentzian pre-length spaces and shows timelike curvature and curvature-dimension bounds remain stable under measured versions of it. The second part applies this to generalized cones: a sequence converges in the ℓ-sense when the base intervals and fibers converge in Gromov-Hausdorff distance and the warping functions converge uniformly, which yields sharp timelike bounds. A pre-compactness result for smooth generalized cones with uniform lower bounds on the full Ricci or Riemann tensor rounds it out.

The new element is the specific definition of ℓ-convergence and the stability statement tailored to timelike quantities. The cone application looks like a clean test case that mirrors known Riemannian cone results but adapted to the Lorentzian setting with the stated conditions on bases, fibers, and warping functions. The pre-compactness theorem is stated directly and could be useful for controlling limits.

The work is internally consistent on its own terms and builds on prior convergence ideas without obvious circularity. The abstract lays out the goals plainly.

The clear limitation is that only the abstract is available here, so the actual definition of ℓ-convergence, the precise stability proof, and any technical conditions on the measured structure cannot be checked. If the definition turns out weaker than needed, stability might hold only in restricted cases; if stronger, the cone convergence might apply less broadly than claimed. The pre-compactness is restricted to smooth cones, which narrows its immediate scope.

This is for researchers already working in synthetic Lorentzian geometry or mathematical relativity who need tools for curvature control in limits. A reader focused on convergence methods in non-Riemannian metric spaces would get the most from it.

It deserves a serious referee because the claims are specific and the topic has clear relevance, even if the details require verification.

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)

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

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

Pith tools

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