Accepted Paper
Inserted: 15 apr 2025
Last Updated: 30 jun 2026
Journal: Journal fur die Reine und Angewandte Mathematik
Year: 2026
Abstract:
The goal of this paper is to introduce a notion of convergence à la Gromov–Hausdorff for Lorentzian spaces, based on $\varepsilon$-nets formed by causal diamonds and depending solely on the time-separation function. This provides a geometric framework for convergence that applies both to synthetic Lorentzian pre-length spaces and to smooth spacetimes.
Among our main results, we establish a Lorentzian analogue of Gromov’s celebrated precompactness theorem for metric spaces, where controlled covers by balls are replaced with controlled covers by diamonds. This leads to two geometric precompactness results for families of globally hyperbolic $n$-dimensional spacetimes $(M^n,g)$. The first relies on suitable causality control together with the existence of a Cauchy hypersurface $\Sigma$ satisfying a uniform doubling property. The second assumes:
- the existence of a compact Cauchy surface $\Sigma$ with bounded second fundamental form and bounded diameter;
- a lower bound on the ambient Ricci curvature along $\Sigma$;
- a lower bound on timelike sectional curvature on $M$.
This is the first Lorentzian precompactness result obtained under curvature–diameter assumptions. In the final part of the paper, we present several applications. We show that Chruściel–Grant approximations are special cases of the Lorentzian Gromov–Hausdorff convergence introduced here, prove that timelike sectional curvature bounds are stable under this convergence, introduce timelike blow-up tangents, and discuss connections with the main conjecture of causal set theory.
Download: