pith. sign in

arxiv: 2504.10380 · v5 · pith:COZXZMMJnew · submitted 2025-04-14 · 🧮 math.DG · gr-qc· math-ph· math.MG· math.MP

Lorentzian Gromov-Hausdorff convergence and pre-compactness

classification 🧮 math.DG gr-qcmath-phmath.MGmath.MP
keywords lorentzianconvergencepre-compactnessspacesgromov-hausdorffcausalcontrolledcovers
0
0 comments X
read the original abstract

The goal of the paper is to introduce a convergence \`a la Gromov-Hausdorff for Lorentzian spaces, building on $\epsilon$-nets consisting of causal diamonds and relying only on the time separation function. This yields a geometric notion of convergence, which can be applied to synthetic Lorentzian spaces (Lorentzian pre-length spaces) or smooth spacetimes. Among the main results, we prove a Lorentzian counterpart of the celebrated Gromov's pre-compactness theorem for metric spaces, where controlled covers by balls are replaced by controlled covers by diamonds. This yields a geometric pre-compactness result for classes of globally hyperbolic spacetimes, satisfying a uniform doubling property on Cauchy hypersurfaces and a suitable control on the causality, and a curvature-driven pre-compactness result. The final part of the paper establishes several applications: we show that Chru\'sciel-Grant approximations are an instance of the Lorentzian Gromov-Hausdorff convergence here introduced, we prove that timelike sectional curvature bounds are stable under such a convergence, we introduce timelike blow-up tangents and discuss connections with the main conjecture of causal set theory.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 8 Pith papers

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

  1. Stability of Synthetic Timelike Ricci Bounds under $C^0$-Limits and Applications to Impulsive Gravitational Waves

    gr-qc 2026-05 unverdicted novelty 8.0

    Synthetic timelike Ricci bounds TCD^e_p(K,N) are stable under C^0-limits of Lorentzian metrics, with applications to impulsive gravitational waves and counterexamples to Lorentzian splitting theorems.

  2. Lorentzian coarea inequality

    math.MG 2026-05 unverdicted novelty 7.0

    A coarea inequality holds for Lorentzian Hausdorff measure via diameter-preserving maps on causal pre-length spaces together with a covering lemma under local causal enlargement.

  3. Timelike Ricci curvature lower bounds via optimal transport for Orlicz-type Lorentzian costs

    math.DG 2026-04 unverdicted novelty 7.0

    Timelike Ricci curvature lower bounds in globally hyperbolic spacetimes are equivalent to convexity of relative entropy along geodesics from Orlicz-type optimal transport with cost u composed with time separation.

  4. Timelike Ricci curvature lower bounds via optimal transport for Orlicz-type Lorentzian costs

    math.DG 2026-04 unverdicted novelty 7.0

    Timelike Ricci curvature lower bounds are characterized by convexity of relative entropy along geodesics in optimal transport with general Orlicz-type Lorentzian costs u composed with time separation on globally hyper...

  5. Hausdorff-type metric geometry of the space of Cauchy hypersurfaces

    math.DG 2026-04 unverdicted novelty 7.0

    A Hausdorff-type metric is placed on the space of Cauchy hypersurfaces in globally hyperbolic spacetimes, yielding completeness and local compactness results that generalize earlier work by Beem and Takahashi.

  6. Reshetnyak Majorisation and discrete upper curvature bounds for Lorentzian length spaces

    math.DG 2025-09 unverdicted novelty 7.0

    An analogue of Reshetnyak's majorisation theorem is proven for Lorentzian length spaces with upper curvature bounds, yielding a four-point characterization of those bounds suitable for discrete settings.

  7. On the geometry of synthetic null hypersurfaces

    math.DG 2025-06 unverdicted novelty 7.0

    Introduces a synthetic null energy condition using optimal transport on topological causal spaces that agrees with the classical NEC in smooth cases and enables proofs of area and singularity theorems in non-smooth settings.

  8. Lorentzian coarea inequality

    math.MG 2026-05 unverdicted novelty 6.0

    Introduces locally uniformly d-controlling maps preserving causal diamond diameters and proves the coarea inequality for Lorentzian Hausdorff measure in pre-length spaces, plus a covering lemma under local causal enlargement.