Pith. sign in

REVIEW 3 major objections 5 minor 5 cited by

Lorentzian metric spaces and GH-convergence: the unbounded case

T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read By dropping boundedness, the paper defines Lorentzian metric spaces from just three axioms on the Lorentzian distance and proves that Gromov-Hausdorff limits of Lorentzian (pre)length spaces remain Lorentzian (pre)length spaces.

desk verdict A careful, workmanlike extension of the authors' bounded Lorentzian metric space program; Thm 6.17 holds up, the countable-generation caveat is real but acknowledged. read the letter →

arxiv 2412.04311 v2 pith:RI7KYWP4 submitted 2024-12-05 math.MG gr-qcmath-phmath.MP

A. Bykov , E. Minguzzi , S. Suhr This is my paper · ORCID
classification math.MGgr-qcmath-phmath.MP MSC 53C5053C2354E15
keywords LorentzianmetricspacereversetriangleinequalityGromov-Hausdorffconvergencelengthquasi-uniformitytimefunctionglobalhyperbolicitycountablygenerated
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

This paper removes the boundedness assumption from the authors' earlier Lorentzian metric space theory and argues that three conditions already capture what is needed: the reverse triangle inequality for chronologically related pairs, continuity of the Lorentzian distance with relative compactness of chronological diamonds, and a distinguishing property for the distance function. The paper shows that adding a countable generating set makes every such space Polish, endowed with time functions, and suitable for a Gromov-Hausdorff theory in which balls and basepoints are replaced by truncated chronological regions and generating sequences. Its central result is that the Gromov-Hausdorff limit of a sequence of sequenced Lorentzian (pre)length spaces is again a Lorentzian (pre)length space, so the (pre)length property is stable under the convergence being defined. A canonical quasi-uniformity—in the sequenced case a canonical quasi-metric—is constructed directly from $d$, and it encodes both the topology and the extended causal relation $J$. This matters because it gives a coordinate-free, metric-like language for rough spacetimes, covering causets and smooth globally hyperbolic spacetimes, with global-hyperbolicity-type compactness built into the axioms.

What carries the argument

The object that carries the argument is the chronological diamond $I(p,q)=\{x\in X : p\ll x\ll q\}$, with $x\ll y$ meaning $d(x,y)>0$; relative compactness of these diamonds is the unbounded substitute for the old boundedness condition and is what makes the topology locally compact and unique when the chronological boundary is empty (Propositions 2.8 and 3.3). Around this, the argument organizes around (a) the extended causal relation $J$, defined by $d(p,y)\ge d(p,x)$ and $d(x,p)\ge d(y,p)$ for all $p$, whose compactness on causal hulls expresses global hyperbolicity (Theorems 4.5–4.6); (b) the $(m,\epsilon)$ quasi-correspondence between truncated regions $X_m=I(p_1,\dots,p_m)\cup\{p_1,\dots,p_m\}$, which defines GH-convergence for sequenced spaces and is the tool through which the limit-curve and stability arguments run; and (c) the canonical quasi-uniformity generated by the maps $d_p,d^p:X\to\mathbb{R}$ with $\mathbb{R}$'s order quasi-uniformity, which has $J$ as its associated order (Theorem 7.10) and, for sequenced spaces, is induced by an explicit quasi-metric (Theorem 7.15).

What would settle it

A direct test is the paper's own example, $X=(0,\infty)$ with $d(x,y)=(x-y)^+$ (Section 6.3): one can verify computationally that two different generating sequences for the approximating spaces give non-isomorphic GH-limits, which shows convergence is sequence-dependent. A stronger test of Theorem 6.17 would be to find any sequence of sequenced Lorentzian prelength spaces whose GH-limit satisfies the three axioms yet contains a chronologically related pair $x\ll y$ with no isocausal curve connecting them; the paper's limit-curve theorem and diagonal construction are precisely what rule out such a limit, and exhibiting one would refute the stability claim.

Watch

Extended reading notes

Core claim

The central claim, stated on the paper's own terms, is that a Lorentzian metric space needs no auxiliary topology, metric, or boundedness data: a set $X$ with $d:X\times X\to[0,\infty)$ satisfying (i) the reverse triangle inequality $d(x,z)\ge d(x,y)+d(y,z)$ when $d(x,y),d(y,z)>0$, (ii) continuity of $d$ with compactness of $I_\epsilon\cap(I(x,y)\times I(x,y))$, and (iii) point-distinguishing by the functions $d_p$ and $d^p$, is already a well-behaved spacetime object. On such spaces, without chronological boundary, property (ii) is equivalent to relative compactness of all chronological diamonds, and the extended causal relation $J$ (the largest relation compatible with $d$ and the reverse triangle inequality) is closed, transitive, and antisymmetric. For countably generated spaces the topology is $\sigma$-compact, second-countable, and Polish (Proposition 3.20), time functions exist (Lemma 4.11), and the paper's defined Gromov-Hausdorff convergence for sequenced spaces—via $(m,\epsilon)$ quasi-correspondences—has the property that limits of Lorentzian (pre)length spaces remain Lorentzian (pre)length spaces (Theorem 6.17).

Load-bearing premise

The load-bearing premise is the countable-generation condition: every structural result—Polish topology, time functions, and Gromov-Hausdorff stability—applies only to spaces admitting a countable generating set $G$ with $X=I(G)$, and the paper itself notes that not every Lorentzian metric space admits any generating set at all.

Editorial extensions

If this is right

  • Any GH-limit of sequenced Lorentzian (pre)length spaces is again a Lorentzian (pre)length space, so the (pre)length property is a closed condition under the paper's convergence notion (Theorem 6.17).
  • Countably generated Lorentzian metric spaces are Polish and carry bounded time functions, so arguments needing complete metrizability and order-preserving potentials apply without an auxiliary Riemannian metric (Proposition 3.20, Lemma 4.11).
  • The canonical quasi-uniformity (and quasi-metric in the sequenced case) encodes both topology and causal order from the distance function alone, giving a uniform notion of curve convergence in which pointwise and uniform convergence of isocausal curves coincide (Theorem 7.10, Corollary 5.8).
  • Away from chronological boundaries the three axioms are equivalent to relative compactness of chronological diamonds with continuous $d$ (Theorem 2.14), so the definition is checkable in practice and reproduces global-hyperbolicity-type compactness.
  • The class of examples is large: smooth globally hyperbolic spacetimes and causets both satisfy the axioms (Proposition 2.4, Proposition 3.18), and under the standing assumptions of the time-separation literature the paper's Lorentzian length spaces correspond exactly to length metric spacetimes with every point on an isochronal curve (Corollary 5.27).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A reader could push the canonical quasi-metric of Theorem 7.15 toward a Gromov precompactness criterion: families of sequenced Lorentzian metric spaces with uniformly controlled quasi-metric diameters at each truncation level would be expected to have convergent subsequences, a statement the paper gestures at in its conclusions but does not prove.
  • The countable-generation restriction suggests where the theory should break: a Lorentzian metric space whose chronological boundary structure forces uncountable generating sets would fall outside the Polish, time-function, and GH-stability results, so physical models with non-separable boundary structure would need a separate convergence formalism.
  • Because the GH-limit depends on the chosen generating sequence (Section 6.3), the paper's convergence is really a convergence of spaces pointed by a countable causal net; one could try to gauge-invariantize the notion by quantifying over all generating sequences, at the cost of recovering the full isometry class rather than a single 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, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper removes the boundedness assumption from the authors' earlier notion of Lorentzian metric space and develops a theory for unbounded Lorentzian metric spaces. The main objects are sets X with a Lorentzian distance d satisfying the reverse triangle inequality, a compactness/continuity condition on chronologically related sets, and a distinguishing condition. Adding countable generation gives Polish spaces (Prop. 3.20), time functions (Lemma 4.11), a limit curve theorem (Thm. 5.9), and a Gromov-Hausdorff theory for sequenced Lorentzian metric spaces based on quasi-correspondences. The central result is Theorem 6.17, stating that GH-limits of sequenced Lorentzian (pre)length spaces are again Lorentzian (pre)length spaces; two proofs are given. The paper also shows that every Lorentzian metric space carries a canonical quasi-uniformity whose associated order is the causal relation J (Thm. 7.10), and that sequenced spaces carry a canonical quasi-metric (Thm. 7.15). A comparison with the Braun--McCann framework is included.

Significance. If the results stand, this is an important step toward a minimalist, synthetic Lorentzian geometry that covers globally hyperbolic spacetimes and causets while supporting a notion of Gromov-Hausdorff convergence. The paper is careful and detailed, and the central GH-stability theorem is given two proofs, one of which is direct and essentially complete. The construction of a canonical quasi-uniformity and the explicit comparison with Braun--McCann are valuable contributions. The main limitations are the countable-generation restriction, which is explicitly acknowledged, and several local proof gaps that are repairable and do not undermine the central claims.

major comments (3)
  1. [Section 6.5, first proof of Theorem 6.17] The family F = {I_epsilon(p,q) : p,q in X, epsilon > 0} does not satisfy the covering hypothesis of Theorem 5.11, which requires that for every finite set {p_1,...,p_m} there is F in F with I(p_1,...,p_m) subset F. In a standard chronological diamond, points arbitrarily close to the boundary of I(p,q) have d(p,x) or d(x,q) arbitrarily small, so no single epsilon > 0 covers I(p,q). Thus the first proof of Theorem 6.17 has a genuine gap. Since the direct proof is independent and complete, this does not affect the validity of the theorem, but the first proof should be withdrawn or amended.
  2. [Section 6.1, Proposition 6.9] The proof asserts that 'The set X'_r is compact', where X'_r = I_R(p'_1,...,p'_r) is the union of open chronological diamonds plus finitely many points; this set is not compact in general. The diagonal subsequence argument can be repaired by using the relative compactness of the individual diamond I(p'_i,p'_j) that contains all phi_m(x) for a fixed x, but as written the proof is invalid at this step. This gap affects the uniqueness of GH limits (Theorem 6.13), not the GH-stability theorem.
  3. [Section 3.3, Proposition 3.20] The statement 'By Proposition 2.8 the sets I(p_1,...,p_n) are compact' is inaccurate: Proposition 2.8 yields relative compactness only. The sigma-compactness conclusion is still correct because X = union_m closure(I(p_1,...,p_m)) and each closure is compact, but the proof should be corrected to say this explicitly.
minor comments (5)
  1. [Lemma 5.5, proof] After deriving w <= z and tau(w) < tau(z), the text writes 'tau(zeta(w)) = tau(zeta(z)) = r'; the intended statement is tau(w) = tau(z) = r, since w and z are limits of the points zeta(q_{n_k}) and zeta(q_{m_k}).
  2. [Section 6, notation and subsequent uses] The set X_m = I_R(p_1,...,p_m) is not compact in general; several arguments (e.g. Proposition 6.9 and the direct proof of Theorem 6.17) should explicitly invoke the compactness of the closed sets I_epsilon(...) or of the closures of chronological diamonds rather than compactness of X_m.
  3. [Corollary 5.27, proof] The sentence 'the existence of an isochronal curve passing through every point implies J = I' should read J = closure(I), since J is closed while I is generally open.
  4. [Theorem 5.11, proof, second part] The notation zeta_n(t) in sigma_n(t) is ambiguous because sigma_n(t) is a point of the quotient space B_{F_n}; it should say 'choose a representative zeta_n(t) in the equivalence class sigma_n(t)'.
  5. [Proposition 2.8, proof] In the first case the proof concludes 'I(p,q) is compact', but the argument only establishes relative compactness; the final sentence of the second case correctly says 'relatively compact.' Please harmonize the wording.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the unbounded GH-stability, Polishness, time-function, and quasi-uniformity results are derived rather than assumed, and self-citations to the prior bounded theory are independent support.

full rationale

The central claims do not reduce to their inputs by construction. Definition 2.1 postulates only the reverse triangle inequality, continuity plus compactness of I_epsilon within chronological diamonds, and distinction by d; it does not postulate GH-stability, Polishness, existence of time functions, or quasi-uniformizability. Proposition 3.20 proves Polishness from countable generation using the second countability of bounded Lorentzian metric spaces, Lemma 4.11 constructs time functions as an explicit convergent series in d, and Theorem 7.10 computes the quasi-uniformity's associated order directly from the defining maps and the definition of J. Theorem 6.17 is the key case: although its first proof invokes the bounded GH-stability result [27, Thm. 5.18], the paper gives a second, direct proof that constructs isocausal limit curves from the quasi-correspondence estimates, the explicit time functions, and Lemma 5.5, without assuming the conclusion. The heavy use of [27] is self-citation, but those cited results are previously published, parameter-free, and do not presuppose the unbounded theorem, so they are independent evidence rather than a circularity chain. The reviewer-noted gap in the first proof of Theorem 6.17 (the family F = {I_epsilon(p,q)} may not satisfy the covering requirement of Theorem 5.11 for arbitrary finite sets) is a correctness concern only, and it does not affect the direct proof; it is not a circularity. Overall, the derivation chain is honest and non-circular.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No numbers are fitted to data. The weights 2^{-n} in the time functions and in the quasi-metric p are arbitrary convergence weights, not fitted parameters, and they do not enter the geometric results. No new particles, forces, or physical entities are introduced; the new objects such as unbounded Lorentzian metric space, sequenced Lorentzian metric space, and quasi-correspondence are mathematical definitions, not postulated entities with independent empirical handles.

assumptions (3)
  • domain assumption The bounded Lorentzian metric space theory of Minguzzi-Suhr [27], including Prop. 1.19, Thm. 3.5, Prop. 5.8, Thm. 5.18, and Thm. 6.4, is assumed as a black box.
    This paper extends [27] and repeatedly invokes its results without re-proving them, for example in Lemma 3.10, Proposition 6.9, and Theorem 6.17.
  • domain assumption Smooth globally hyperbolic spacetimes have finite, continuous Lorentzian distance satisfying the reverse triangle inequality, and their chronological diamonds are relatively compact.
    Used in Proposition 2.4 to show that every globally hyperbolic spacetime is a Lorentzian metric space.
  • standard math Every second countable locally compact Hausdorff space is Polish.
    Used in Proposition 3.20, with citation to [23, Prop. 3.1], to conclude that countably generated Lorentzian metric spaces are Polish.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Lorentzian metric spaces and GH-convergence: the unbounded case." pith.science (2026). https://pith.science/paper/RI7KYWP4

@misc{pith2026241204311,
  author       = {Pith},
  title        = {Pith review of: Lorentzian metric spaces and GH-convergence: the unbounded case},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RI7KYWP4}},
  note         = {Machine review of arXiv:2412.04311}
}
read the original abstract

We introduce a notion of Lorentzian metric space which drops the boundedness condition from our previous work and argue that the properties defining our spaces are minimal. In fact, they are defined by three conditions given by (a) the reverse triangle inequality for chronologically related events, (b) Lorentzian distance continuity and relative compactness of chronological diamonds, and (c) a distinguishing condition via the Lorentzian distance function. By adding a countably generating condition we confirm the validity of desirable properties for our spaces including the Polish property. The definition of (pre)length space given in our previous work on the bounded case is generalized to this setting. We also define a notion of Gromov-Hausdorff convergence for Lorentzian metric spaces and prove that (pre)length spaces are GH-stable. It is also shown that our (sequenced) Lorentzian metric spaces bring a natural quasi-uniformity (resp. quasi-metric). Finally, an explicit comparison with other recent constructions based on our previous work on bounded Lorentzian metric spaces is presented.

Figures

Figures reproduced from arXiv: 2412.04311 by the authors.

Figure 1
Figure 1. The (m, ϵ) quasi-correspondence. We concentrate on the first inclusion, the other can be shown analogously. Con￾sider x ∈ Iϵ+ϵ ′ (p 1 , . . . , pm). Then there are some i, j ∈ {1, . . . , m} such that d(p i , x) ≥ ϵ + ϵ ′ and d(x, pj ) ≥ ϵ + ϵ ′ . Since x ∈ Iϵ(p 1 , . . . , pm) ⊂ R1 there is also some x ′ ∈ X′ such that (x, x′ ) ∈ R. We have d(p ′i , x′ ) > d(p i , x) − ϵ ≥ ϵ ′ , d(x ′ , p′j ) > d(x, pj ) − ϵ ≥ ϵ ′ … view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 5 Pith papers

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

  1. Gromov's reconstruction theorem and measured Gromov-Hausdorff convergence in Lorentzian geometry

    math.DG 2025-06 conditional novelty 7.0 of 10

    Normalized bounded Lorentzian metric measure spaces are isomorphic exactly when all of their finite-sample time-separation matrix laws coincide, and three hierarchically related measured Lorentz-Gromov-Hausdorff conve...

  2. Colloidal hydrodynamic interactions in viscoelastic fluids

    cond-mat.soft 2025-08 unverdicted novelty 6.0 of 10

    Hydrodynamic interactions between colloids in a wormlike micelle solution are memory-dependent, with a long-lived flow reversal after cessation that standard continuum models fail to capture.

  3. Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index

    cs.AI 2025-08 unverdicted novelty 5.0 of 10

    Two game-theoretic feature importance scores that include non-WAXp contributions and quantify how effective each feature is at ruling out adversarial examples.

  4. Destructuring Physics: A functional derivation of spacetime

    gr-qc 2025-08 unverdicted novelty 4.0 of 10

    Spacetime can be represented minimally as an arbitrary set equipped with a family of real functions that, the author argues, retains the essential causal, topological, and metric content.

  5. New perspectives on the d'Alembertian from general relativity. An invitation

    math.DG 2025-01 conditional novelty 2.0 of 10

    A review of the p-d'Alembertian framework for Lorentzian distance functions, giving distributional comparison theorems across the timelike cut locus.

Reference graph

Works this paper leans on

45 extracted references · 35 canonical work pages · cited by 5 Pith papers

  1. [27]

    Minguzzi and S

    E. Minguzzi and S. Suhr. Lorentzian metric spaces and their Gromov- Hausdorff convergence. Lett. Math. Phys. , 114:73, 2024. arXiv:2209.14384

    arXiv 2024

  2. [1]

    B. Allen. Null distance and Gromov-Hausdorff convergence of warped prod- uct spacetimes. Gen. Relativ. Gravit. , 55:118, 2023

    work page 2023

  3. [2]

    Allen and A

    B. Allen and A. Y. Burtscher. Properties of the null distance and spacetime convergence. Int. Math. Res. Not. IMRN , 2022(10):7729–7808, 2022

    work page 2022

  4. [3]

    A. N. Bernal and M. S´ anchez. Globally hyperbolic spacetimes can be de- fined as ‘causal’ instead of ‘strongly causal’. Class. Quantum Grav., 24:745– 749, 2007

    work page 2007

  5. [4]

    Bombelli and J

    L. Bombelli and J. Noldus. The moduli space of isometry classes of globally hyperbolic spacetimes. Class. Quantum Grav. , 21:4429–4453, 2004

    work page 2004

  6. [5]

    Bourbaki

    N. Bourbaki. Elements of Mathematics: General topology I . Addison- Wesley Publishing, Reading, 1966

    work page 1966

  7. [6]

    M. Braun. R´ enyi’s entropy on Lorentzian spaces. Timelike curvature- dimension conditions. J. Math. Pures Appl. , 117:46–128, 2023. arXiv:2206.13005v3

    work page Pith review arXiv 2023

  8. [7]

    Braun and R

    M. Braun and R. J. McCann. Causal convergence conditions through vari- able timelike Ricci curvature bounds. arXiv:2312.17158v2, 2023. 66

    arXiv 2023

Show all 45 references
  1. [8]

    Burago, Y

    D. Burago, Y. Burago, and S. Ivanov. A course in metric geometry . Amer- ican Mathematical Society, Providence, Rhode Island, 2001

    2001

  2. [9]

    A. Y. Burtscher and L. Garc ´ ıa–Heveling. Global hyperbolicity through the eyes of the null distance. Commun. Math. Phys. , 405:90, 2024

    2024

  3. [10]

    Busemann

    H. Busemann. Timelike spaces. Dissertationes Mathematicae (for- merly Rozprawy Matematyczne - Instytut Matematyczny Polskiej Akademii Nauk), 53:1–52, 1967

    1967

  4. [11]

    Cavalletti and A

    F. Cavalletti and A. Mondino. A review of Lorentzian synthetic theory of timelike Ricci curvature bounds. Gen. Relativ. Gravit. , 54:137, 2022

    2022

  5. [12]

    Cavalletti and A

    F. Cavalletti and A. Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications. Camb. J. Math. , 12:417–534, 2024

    2024

  6. [13]

    P. T. Chru´ sciel, J. D. E. Grant, M. Kunzinger, and E. Minguzzi. Preface. J. of Phys.: Conf. Ser. , 968:011001, 2018. Contribution to the proceedings of the conference ’Non-Regular Spacetime Geometry’, Firenze (Italy) June 20 - 22, 2017

    2018

  7. [14]

    Fletcher and W

    P. Fletcher and W. Lindgren. Quasi-uniform spaces, volume 77 of Lect. Notes in Pure and Appl. Math. Marcel Dekker, Inc., New York, 1982

    1982

  8. [15]

    G. J. Galloway and E. Ling. Some remarks on the C 0-(in)extendibility of spacetimes. Ann. Henri Poincar´ e, 18:3427–3447, 2017

    2017

  9. [16]

    G. J. Galloway, E. Ling, and J. Sbierski. Timelike completeness as an obstruction to C 0-extensions. Commun. Math. Phys. , 359:937–949, 2018

    2018

  10. [17]

    J. D. E. Grant, M. Kunzinger, and C. S¨ amann. Inextendibility of spacetimes and Lorentzian length spaces. Ann. Glob. Anal. Geom. , 55:133–147, 2019

    2019

  11. [18]

    R. A. Hounnonkpe and E. Minguzzi. Globally hyperbolic spacetimes can be defined without the ‘causal’ condition. Class. Quantum Grav. , 36:197001,

  12. [19]

    J. C. Kelly. Bitopological spaces. Proc. London Math. Soc., 13:71–89, 1963

    1963

  13. [20]

    E. H. Kronheimer and R. Penrose. On the structure of causal spaces. Proc. Camb. Phil. Soc. , 63:482–501, 1967

    1967

  14. [21]

    Kunzinger and C

    M. Kunzinger and C. S¨ amann. Lorentzian length spaces.Ann. Global Anal. Geom., 54:399–447, 2018

    2018

  15. [22]

    Kunzinger and R

    M. Kunzinger and R. Steinbauer. Null distance and convergence of loren- tzian length spaces. Ann. Henri Poincar´ e, 23:4319–4342, 2022

    2022

  16. [23]

    Minguzzi

    E. Minguzzi. Topological conditions for the representation of preorders by continuous utilities. Appl. Gen. Topol., 13:81–89, 2012. arXiv:1108.5123. 67

    2012 arXiv

  17. [24]

    Minguzzi

    E. Minguzzi. Convexity and quasi-uniformizability of closed preordered spaces. Topol. Appl., 160:965–978, 2013. arXiv:1212.3776

    2013 arXiv

  18. [25]

    Minguzzi

    E. Minguzzi. Further observations on the definition of global hyper- bolicity under low regularity. Class. Quantum Grav. , 40:185001, 2023. arXiv::2302.09284

    2023 arXiv

  19. [26]

    Minguzzi and S

    E. Minguzzi and S. Suhr. Some regularity results for Lorentz-Finsler spaces. Ann. Glob. Anal. Geom. , 56:597–611, 2019. arXiv:1903.00842

    2019 arXiv

  20. [28]

    M¨ uller

    O. M¨ uller. Gromov-Hausdorff metrics and dimensions of lorentzian length spaces. arXiv:2209.12736v7, 2022

    2022 arXiv

  21. [29]

    M¨ uller

    O. M¨ uller. Lorentzian Gromov-Hausdorff theory and finiteness results.Gen. Relativ. Gravit., 54:117, 2022. arXiv:1912.00988v6

    2022 arXiv

  22. [30]

    M¨ uller

    O. M¨ uller. Functors in Lorentzian geometry – three variations on a theme. Gen. Relativ. Gravit. , 55:39, 2023. arXiv:2205.01617

    2023 arXiv

  23. [31]

    M¨ uller

    O. M¨ uller. Maximality and cauchy developments for lorentzian length spaces. arXiv:2404.06428, 2024

    2024 arXiv

  24. [32]

    Statistical geometry

    Jan Myrheim. Statistical geometry. Technical Report CERN-TH-2538, CERN, 1978

    1978

  25. [33]

    L. Nachbin. Topology and order. D. Van Nostrand Company, Inc., Prince- ton, 1965

    1965

  26. [34]

    J. Noldus. The limit space of a Cauchy sequence of globally hyperbolic spacetimes. Class. Quantum Grav. , 21:851–874, 2004

    2004

  27. [35]

    J. Noldus. A Lorentzian Gromov-Hausdorff notion of distance. Class. Quantum Grav., 21:839–850, 2004

    2004

  28. [36]

    C. W. Patty. Bitopological spaces. Duke Math. J. , 34:387–392, 1967

    1967

  29. [37]

    Podolsk´ y and R

    J. Podolsk´ y and R. Steinbauer. Penrose junction conditions with: geometric insights into low-regularity metrics for impulsive gravitational waves. Gen. Relativ. Gravit., 54:96, 2022

    2022

  30. [38]

    A. A. Robb. A Theory of Time and Space . Cambridge University Press, Cambridge, 1914

    1914

  31. [39]

    Sakovich and C

    A. Sakovich and C. Sormani. Introducing various notions of distances be- tween space-times. arXiv::2410.16800

  32. [40]

    Sakovich and C

    A. Sakovich and C. Sormani. The null distance encodes causality. J. Math. Phys., 64:012502, 2023. 68

    2023

  33. [41]

    Sbierski

    J. Sbierski. On holonomy singularities in general relativity & the C 0,1 loc - inextendibility of spacetimes. Duke Mathematical Journal , 171:2881–2942, 2022

    2022

  34. [42]

    Sormani and C

    C. Sormani and C. Vega. Null distance on a spacetime. Class. Quantum Grav., 33:085001, 2016

    2016

  35. [43]

    S. Surya. The causal set approach to quantum gravity. Living Reviews in Relativity, 22:5, 2019

    2019

  36. [44]

    Tr` eves.Topological vector spaces, distributions and kernels

    F. Tr` eves.Topological vector spaces, distributions and kernels . Academic Press, New York, 1967

    1967

  37. [45]

    S. Willard. General topology. Addison-Wesley Publishing Company, Read- ing, 1970. 69

    1970

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.