pith. sign in

arxiv: 2604.11783 · v1 · submitted 2026-04-13 · 🧮 math.DG · gr-qc· math-ph· math.MG· math.MP

Hausdorff-type metric geometry of the space of Cauchy hypersurfaces

Christian Lange , Jonas W. Peteranderl This is my paper

Pith reviewed 2026-05-10 15:49 UTC · model grok-4.3

classification 🧮 math.DG gr-qcmath-phmath.MGmath.MP
keywords Cauchy hypersurfacesHausdorff metricglobally hyperbolic spacetimesLorentzian geometrycompletenesslocal compactnesssynthetic Lorentzian spaces
0
0 comments X

The pith

A Hausdorff-type metric equips the space of Cauchy hypersurfaces with completeness and local compactness.

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

The paper constructs a natural Hausdorff-type metric on the set of all Cauchy hypersurfaces inside a globally hyperbolic spacetime. It then proves that the resulting metric space is complete and locally compact, first for ordinary Lorentzian manifolds and then in more abstract synthetic Lorentzian settings. The same construction yields a generalization of earlier completeness theorems for the spacetimes themselves. A reader would care because this metric supplies a concrete way to measure how close two time slices are, turning an otherwise unstructured collection of hypersurfaces into a geometric object that can be studied with standard tools of metric geometry.

Core claim

The authors define a Hausdorff-type distance between Cauchy hypersurfaces by using the spacetime distance function, show that this distance is a true metric, and establish that the resulting space is complete and locally compact. The same metric allows them to extend Beem-Takahashi completeness results from the spacetime to the space of its Cauchy hypersurfaces, and the proofs carry over to synthetic Lorentzian settings without requiring smoothness.

What carries the argument

The Hausdorff-type metric on the space of Cauchy hypersurfaces, induced directly from the spacetime distance function.

If this is right

  • The space of Cauchy hypersurfaces becomes a complete metric space under the new distance.
  • Local compactness follows, so every point has a compact neighborhood in this metric.
  • The completeness results extend from smooth Lorentzian manifolds to synthetic Lorentzian spaces.
  • Earlier theorems of Beem and Takahashi on spacetime completeness are recovered and generalized as special cases.

Where Pith is reading between the lines

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

  • Sequences of evolving hypersurfaces can now be tested for convergence inside a metric space rather than by ad-hoc comparison.
  • The construction may supply a natural topology for studying limits of solutions when the choice of time slice is varied.
  • In numerical simulations the metric could quantify how much two different slicing choices differ.

Load-bearing premise

The spacetime is globally hyperbolic, which is needed for Cauchy hypersurfaces to exist and for the metric to be well-defined on them.

What would settle it

Exhibit a globally hyperbolic spacetime together with a Cauchy sequence of Cauchy hypersurfaces whose Hausdorff limit is either not a Cauchy hypersurface or fails to lie in the space.

Figures

Figures reproduced from arXiv: 2604.11783 by Christian Lange, Jonas W. Peteranderl.

Figure 1
Figure 1. Figure 1: In particular, sup in the definition of dL is attained. Associating a causal and timelike relation to (X, dL) as described at the beginning of Section 2 (in the context of Lorentzian manifolds) turns X into a Lorentzian pre-length space. The space X is geodesic, and the conditions (i)-(iii) in Subsection 2.2 can easily be verified to conclude that X is a BMS-Lorentzian length space. However, X does not hav… view at source ↗
Figure 1
Figure 1. Figure 1: A geodesic between causally related points x, y ∈ X that cannot be connected by a straight segment in X has to pass p. An analogous past statement holds. In particular, if the bubbling boundary is in addition empty, then a timelike curve is inextendible if and only if it is t-inextendible. Proof. We prove the characterization of future inextendible causal curves. The characteriza￾tion of future t-inextendi… view at source ↗
read the original abstract

We equip the space of Cauchy hypersurfaces in a globally hyperbolic spacetime with a natural Hausdorff-type metric and study its properties, in particular completeness and local compactness, for Lorentzian manifolds and in more general synthetic Lorentzian settings. For this purpose, we also generalize results on completeness properties of spacetimes due to Beem and Takahashi.

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 / 2 minor

Summary. The manuscript equips the space of Cauchy hypersurfaces in a globally hyperbolic spacetime with a natural Hausdorff-type metric (taking values in the extended reals) and studies its completeness and local compactness properties, both for Lorentzian manifolds and in synthetic Lorentzian settings. It also generalizes completeness criteria due to Beem and Takahashi.

Significance. If the construction and proofs hold, the work supplies a concrete metric geometry on the space of Cauchy hypersurfaces, extending classical results to synthetic Lorentzian geometry. The direct application of the generalized Beem-Takahashi criteria to obtain completeness and local compactness is a clear strength, as is the handling of non-compact cases via extended reals.

minor comments (2)
  1. [§2.3] §2.3: the notation for the extended-real-valued distance function d_H^∞ could be introduced with an explicit sentence distinguishing it from the finite Hausdorff distance before the first use in the completeness proof.
  2. [Theorem 5.2] Theorem 5.2: the statement of local compactness would be clearer if it explicitly recalled the two conditions (properness and local compactness of the base spacetime) that are inherited from the generalized Beem-Takahashi criterion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript and the recommendation to accept. We appreciate the recognition of the Hausdorff-type metric construction on the space of Cauchy hypersurfaces, the completeness and local compactness results in both classical and synthetic Lorentzian settings, and the generalization of the Beem-Takahashi criteria, including the handling of non-compact cases via extended reals.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines a Hausdorff-type metric on the space of Cauchy hypersurfaces using the standard Hausdorff construction induced by the spacetime metric on a globally hyperbolic manifold (or synthetic Lorentzian space). Completeness and local compactness are obtained by generalizing the independent Beem-Takahashi criteria, which are external results not authored by the present writers and not derived from the new metric. No fitted parameters, self-definitional loops, or load-bearing self-citations appear; the logical chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction relies on the standard definition of globally hyperbolic spacetimes and the existence of Cauchy hypersurfaces; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption The spacetime is globally hyperbolic, ensuring every inextendible causal curve intersects every Cauchy hypersurface exactly once.
    Invoked in the abstract as the setting in which the space of hypersurfaces is defined and the metric is studied.

pith-pipeline@v0.9.0 · 5349 in / 1314 out tokens · 65653 ms · 2026-05-10T15:49:50.509211+00:00 · methodology

Review history (2 revisions) →

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

37 extracted references · 37 canonical work pages · 1 internal anchor

  1. [1]

    Aké Hau, A

    L. Aké Hau, A. J. Cabrera Pacheco, and D. A. Solis, On the causal hierarchy of Lorentzian length spaces, Class. Quant. Grav. 37 (2020), no. 21, 215013

    work page 2020

  2. [2]

    S. B. Alexander, M. Graf, M. Kunzinger, and C. Sämann, Generalized cones as Lorentzian length spaces: causality, curvature, and singularity theorems, Comm. Anal. Geom. 31 (2023), no. 6, 1469--1528

    work page 2023

  3. [3]

    Avez, Essais de g\'eom\'etrie Riemannienne hyperbolique globale, Application \`a la Relativit\'e G\'en\'erale, Ann

    A. Avez, Essais de g\'eom\'etrie Riemannienne hyperbolique globale, Application \`a la Relativit\'e G\'en\'erale, Ann. Inst. Fourier (Grenoble) 132 (1963), 105--190

    work page 1963

  4. [4]

    Bahn and P

    H. Bahn and P. Ehrlich, A Brunn-Minkowski type theorem on the Minkowski spacetime, Canad. J. Math. 51 (1999), no. 3, 449--469

    work page 1999

  5. [5]

    J. K. Beem, Globally hyperbolic space-times which are timelike Cauchy complete, Gen. Relativ. Grav. 7 (1976), 339--344

    work page 1976

  6. [6]

    J. K. Beem, P. E. Ehrlich, and K. L. Easley, Global Lorentzian Geometry, Marcel Dekker Inc., New York (1996)

    work page 1996

  7. [7]

    A. N. Bernal and M. S\'anchez, On smooth Cauchy hypersurfaces and Geroch’s splitting theorem, Commun. Math. Phys. 243 (2003), 461--470

    work page 2003

  8. [8]

    A. N. Bernal and M. S\'anchez, Globally hyperbolic spacetimes can be defined as ‘causal’ instead of ‘strongly causal’, Class. Quant. Grav. 24 (2007), 745--749

    work page 2007

  9. [9]

    Blaschke, Kreis und Kugel, Veit & Comp., Leipzig (1916)

    W. Blaschke, Kreis und Kugel, Veit & Comp., Leipzig (1916)

    work page 1916

  10. [10]

    Braun and R

    M. Braun and R. McCann, Causal convergence conditions through variable timelike Ricci curvature bounds, Mem. Eur. Math. Soc., to appear (2026), arXiv:2312.17158

    work page arXiv 2026

  11. [11]

    Burago, Yu

    D. Burago, Yu. Burago, and S. Ivanov, A course in metric geometry, Graduate Studies in Mathematics 33, AMS, Providence RI (2001)

    work page 2001

  12. [12]

    Burtscher and L

    A. Burtscher and L. García-Heveling, Global Hyperbolicity through the Eyes of the Null Distance, Commun. Math. Phys. 405 (2024), no. 90

    work page 2024

  13. [13]

    Burtscher and L

    A. Burtscher and L. García-Heveling, Time Functions on Lorentzian Length Spaces, Ann. Henri Poincaré 26 (2025), 1533--1572

    work page 2025

  14. [14]

    Busemann, Timelike spaces, Dissertationes Math

    H. Busemann, Timelike spaces, Dissertationes Math. (Rozprawy Mat.) 53 (1967), 1--52

    work page 1967

  15. [15]

    Bykov and E

    A. Bykov and E. Minguzzi, Global hyperbolicity and manifold topology from the Lorentzian distance, preprint (2025), arXiv: 2503.04382

    work page arXiv 2025

  16. [16]

    Bykov, E

    A. Bykov, E. Minguzzi, and S. Suhr, Lorentzian metric spaces and GH-convergence: the unbounded case, Lett. Math. Phys. 115 (2025), no. 63, 1--66

    work page 2025

  17. [17]

    P. T. Chru\'sciel, Elements of causality theory, Preprint (2011), arXiv:1110.6706

    work page arXiv 2011

  18. [18]

    Eschenburg, The splitting theorem for space-times with strong energy condition, J

    J.-H. Eschenburg, The splitting theorem for space-times with strong energy condition, J. Differential Geom. 7 (1988), no. 3, 477–491

    work page 1988

  19. [19]

    G. J. Galloway, The Lorentzian splitting theorem without the completeness assumption, J. Differential Geom. 29 (1989), no. 2, 373--387

    work page 1989

  20. [20]

    García-Heveling and E

    L. García-Heveling and E. Soultanis, Causal bubbles in globally hyperbolic spacetimes, Gen. Relativ. Grav. 54 (2022), no. 155

    work page 2022

  21. [21]

    Geroch, What is a singularity in general relativity, Ann

    R. Geroch, What is a singularity in general relativity, Ann. Phy. (N.Y.) 48 (1968), no. 3, 526--540

    work page 1968

  22. [22]

    Geroch, Domain of dependence, J

    R. Geroch, Domain of dependence, J. Math. Phys. 11 (1970), 437--449

    work page 1970

  23. [23]

    J. D. E. Grant, M. Kunzinger, C. Sämann, and R. Steinbauer, The future is not always open, Lett. Math. Phys. 110 (2020), 83--103

    work page 2020

  24. [24]

    S. W. Hawking and G. F. R. Ellis, The large scale structure of space-time, Cambridge University Press, Cambridge (1973)

    work page 1973

  25. [25]

    S. W. Hawking and R. Penrose, The singularities of gravitational collapse and cosmology, Proc. Roy. Soc. Lond. A 314 (1970), 529--548

    work page 1970

  26. [26]

    E. H. Kronheimer and R. Penrose, On the structure of causal spaces, Proc. Cambridge Philos. Soc. 63 (1967), 481--501

    work page 1967

  27. [27]

    Quantitative Lorentzian isoperimetric inequalities

    C. Lange and J. W. Peteranderl, Quantitative Lorentzian isoperimetric inequalities, Preprint (2025), arxiv:2510.26755

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  28. [28]

    Minguzzi, Lorentzian causality theory, Living Rev

    E. Minguzzi, Lorentzian causality theory, Living Rev. Relativ. 22 (2019), no. 3

    work page 2019

  29. [29]

    Minguzzi, Further observations on the definition of global hyperbolicity under low regularity, Class

    E. Minguzzi, Further observations on the definition of global hyperbolicity under low regularity, Class. Quant. Grav. 44 (2023), no. 18, 185001

    work page 2023

  30. [30]

    Minguzzi, Results on Lorentzian metric spaces, Gen

    E. Minguzzi, Results on Lorentzian metric spaces, Gen. Relativ. Grav. 58 (2026), no. 9

    work page 2026

  31. [31]

    Minguzzi and S

    E. Minguzzi and S. Suhr, Lorentzian metric spaces and their Gromov-Hausdorff convergence, Lett. Math. Phys. 114 (2024), no. 73

    work page 2024

  32. [32]

    Monclair, The Riemannian geometry of the space of compact spacelike Cauchy hypersurfaces, Preprint (2023), arXiv:2310.08469

    D. Monclair, The Riemannian geometry of the space of compact spacelike Cauchy hypersurfaces, Preprint (2023), arXiv:2310.08469

    work page arXiv 2023

  33. [33]

    Mondino and C

    A. Mondino and C. Sämann, Lorentzian Gromov-Hausdorff convergence and weak compactness, Preprint (2025), arXiv:2504.10380

    work page arXiv 2025

  34. [34]

    Kunzinger and C

    M. Kunzinger and C. Sämann, Lorentzian length spaces, Ann. Global Anal. Geom. 54 (2018), 399--447

    work page 2018

  35. [35]

    O'Neill, Semi-Riemannian geometry

    B. O'Neill, Semi-Riemannian geometry. With applications to relativity, Pure and Applied Mathematics 103, Academic Press, New York (1983)

    work page 1983

  36. [36]

    H. J. Seifert, Global Connectivity by Timelike Geodesics, Z. Naturforsch. A 22 (1967), no. 9, 1356--1360

    work page 1967

  37. [37]

    Takahashi, Completeness conditions for spacetimes with low-regularity metrics, Class

    K. Takahashi, Completeness conditions for spacetimes with low-regularity metrics, Class. Quant. Grav. 43 (2026), no. 3, 035011

    work page 2026