pith. sign in

arxiv: 2506.04934 · v3 · submitted 2025-06-05 · 🧮 math.DG · gr-qc· math-ph· math.MG· math.MP

On the geometry of synthetic null hypersurfaces

Fabio Cavalletti , Davide Manini , Andrea Mondino This is my paper

Pith reviewed 2026-05-19 11:21 UTC · model grok-4.3

classification 🧮 math.DG gr-qcmath-phmath.MGmath.MP
keywords synthetic null hypersurfacenull energy conditionHawking area theoremPenrose singularity theoremLorentzian geometryoptimal transportcausal spacetimeslow-regularity geometry
0
0 comments X

The pith

A synthetic null energy condition on non-smooth spacetimes implies Hawking area and Penrose singularity theorems.

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

This paper builds a synthetic framework for null hypersurfaces that works in spacetimes too rough for classical differential geometry. It defines a synthetic null hypersurface as the triple of an achronal set, a gauge function for parametrization, and a Radon measure, then introduces the null energy condition NC^e(N) through concavity of an entropy power functional along optimal transport. The condition is stable under convergence of these hypersurfaces and agrees with the usual null energy condition when the spacetime is smooth. If the condition holds, the paper derives a synthetic version of Hawking's area theorem and proves Penrose's singularity theorem in continuous spacetimes, plus existence of trapped regions in topological causal spaces.

Core claim

The paper defines a synthetic null hypersurface as the triple (H, G, m) consisting of a closed achronal set H in a topological causal space, a gauge function G that encodes affine parametrizations along null generators, and a Radon measure m that serves as a synthetic analog of the rigged measure. From this triple it defines the synthetic null energy condition NC^e(N) by requiring concavity of an entropy power functional along optimal transport plans with parametrization given by G. This condition is invariant under natural changes of gauge and measure, coincides with the classical null energy condition on smooth null hypersurfaces, remains stable under convergence of synthetic null hypersur

What carries the argument

The synthetic null hypersurface triple (H, G, m) whose gauge G parametrizes the entropy power functional whose concavity defines the NC^e(N) condition.

If this is right

  • The NC^e(N) condition remains stable under convergence of synthetic null hypersurfaces.
  • It supplies a framework in which a synthetic Hawking area theorem holds.
  • The Penrose singularity theorem is valid for continuous spacetimes that satisfy NC^e(N).
  • Existence of trapped regions follows in topological causal spaces under the NC^e(N) condition.

Where Pith is reading between the lines

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

  • The stability result suggests that NC^e(N) can be checked on approximating sequences and then passed to the limit in singular spacetimes.
  • The same construction may extend to other low-regularity causality results that currently require smoothness.
  • Verification of the synthetic condition on concrete singular examples would directly confirm the area and singularity conclusions in those models.

Load-bearing premise

The gauge function G and Radon measure m must be chosen so the entropy power functional is well-defined and the concavity condition is invariant under natural equivalences, without an independent check that every classical null hypersurface admits such a triple.

What would settle it

Exhibit a continuous spacetime satisfying the synthetic NC^e(N) condition in which a trapped surface evolves without forming a singularity, or a smooth spacetime in which the synthetic condition fails to recover the classical null energy condition.

read the original abstract

This paper develops a synthetic framework for the geometric and analytic study of null (lightlike) hypersurfaces in non-smooth spacetimes. Drawing from optimal transport and recent advances in Lorentzian geometry and causality theory, we define a synthetic null hypersurface as a triple $(H, G, \mathfrak{m})$: $H$ is a closed achronal set in a topological causal space, $G$ is a gauge function encoding affine parametrizations along null generators, and $\mathfrak{m}$ is a Radon measure serving as a synthetic analog of the rigged measure. This generalizes classical differential geometric structures to potentially singular spacetimes. The central object is the synthetic null energy condition ($\mathsf{NC}^e(N)$), defined via the concavity of an entropy power functional along optimal transport, with parametrization given by the gauge $G$. This condition is invariant under changes of gauge and measure within natural equivalence classes. It agrees with the classical Null Energy Condition in the smooth setting and it applies to low-regularity spacetimes. A key property of the $\mathsf{NC}^e(N)$ condition is the stability under convergence of synthetic null hypersurfaces. The $\mathsf{NC}^e(N)$ condition is also remarkably fruitful for applications. First, it provides a framework for a synthetic version of Hawking's area theorem. Second, the celebrated Penrose's singularity theorem is proved for continuous spacetimes, and the existence of trapped regions is settled in the general setting of topological causal spaces satisfying the $\mathsf{NC}^e(N)$.

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

2 major / 2 minor

Summary. The paper develops a synthetic framework for studying null hypersurfaces in non-smooth spacetimes. It defines a synthetic null hypersurface as a triple (H, G, m), with H a closed achronal set in a topological causal space, G a gauge function encoding affine parametrizations along generators, and m a Radon measure as a synthetic rigged measure. The central object is the synthetic null energy condition NC^e(N), defined by concavity of an entropy power functional along optimal transport plans parametrized by G. The paper claims this condition is invariant under natural equivalences, agrees with the classical null energy condition in the smooth setting, is stable under convergence of synthetic null hypersurfaces, and implies both a synthetic Hawking area theorem and the Penrose singularity theorem for continuous spacetimes satisfying NC^e(N).

Significance. If the agreement with the classical NEC and the stability and implication theorems hold, the work would extend key results from mathematical relativity (Hawking area theorem, Penrose singularity theorem) to low-regularity and singular settings via optimal transport methods. This builds on recent Lorentzian causality and synthetic geometry advances, potentially enabling analysis of spacetimes where classical differential geometry fails, with credit due for the stability result under convergence and the explicit use of gauge-invariant constructions.

major comments (2)
  1. [§2] §2 (Definition of the synthetic null hypersurface): The triple (H, G, m) is introduced and invariance under equivalences is stated, but no existence theorem or explicit reconstruction is supplied showing that an arbitrary classical smooth null hypersurface in a C^2 spacetime admits G and m reproducing the rigged measure and affine parametrization. This is load-bearing for the central claim that NC^e(N) agrees with the classical NEC on smooth hypersurfaces (abstract and §4), as the agreement is asserted without independent verification that every such hypersurface embeds into the synthetic framework.
  2. [§5] §5 (Stability and applications): The stability of NC^e(N) under convergence and the proofs of the synthetic Hawking theorem and Penrose theorem are stated to follow from the concavity condition, but the derivations rely on the well-definedness of the entropy power functional for the chosen (G, m); without the missing reconstruction result from §2, these implications remain conditional on the synthetic objects faithfully capturing all classical cases.
minor comments (2)
  1. [§3] The explicit formula for the entropy power functional (in terms of m and G) is referenced but not displayed with an equation number in the main text; adding it would improve readability when discussing concavity.
  2. [§4] Notation for the gauge equivalence classes and the Radon measure m could be cross-referenced more consistently when stating invariance of NC^e(N).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying these key points about the interface between the synthetic framework and classical smooth null hypersurfaces. We agree that an explicit reconstruction is necessary to make the agreement with the classical NEC fully rigorous and to remove any conditionality from the stability and application results. We will add the required material in the revised version.

read point-by-point responses

  1. Referee: [§2] §2 (Definition of the synthetic null hypersurface): The triple (H, G, m) is introduced and invariance under equivalences is stated, but no existence theorem or explicit reconstruction is supplied showing that an arbitrary classical smooth null hypersurface in a C^2 spacetime admits G and m reproducing the rigged measure and affine parametrization. This is load-bearing for the central claim that NC^e(N) agrees with the classical NEC on smooth hypersurfaces (abstract and §4), as the agreement is asserted without independent verification that every such hypersurface embeds into the synthetic framework.

    Authors: We agree that an explicit reconstruction theorem is needed to substantiate the embedding of classical objects. In the revised manuscript we will insert a new proposition in §2. For any smooth null hypersurface in a C² spacetime we construct G by taking the affine parameter along each generator (normalized with respect to a fixed future-directed null vector field) and define m to be the Radon measure induced by the classical rigged measure. We then verify directly that the entropy-power functional reduces to the standard one whose concavity is equivalent to the classical null energy condition via the Raychaudhuri equation. This proposition will also confirm that the invariance under equivalences holds in the smooth limit, thereby grounding the central claim in the abstract and §4. revision: yes

  2. Referee: [§5] §5 (Stability and applications): The stability of NC^e(N) under convergence and the proofs of the synthetic Hawking theorem and Penrose theorem are stated to follow from the concavity condition, but the derivations rely on the well-definedness of the entropy power functional for the chosen (G, m); without the missing reconstruction result from §2, these implications remain conditional on the synthetic objects faithfully capturing all classical cases.

    Authors: We accept that the stability statement and the proofs of the synthetic Hawking area theorem and Penrose singularity theorem in §5 are conditional until the reconstruction is supplied. With the new proposition in §2 the entropy power functional is well-defined on the image of every classical smooth null hypersurface, so the concavity condition NC^e(N) applies directly. Consequently the stability under convergence extends the classical results to their limits, and the synthetic Hawking and Penrose theorems recover the smooth statements as special cases. We will add a clarifying remark in §5 and adjust the abstract to state these implications without qualification once the reconstruction is in place. revision: yes

Circularity Check

0 steps flagged

No significant circularity: synthetic framework defined directly, with theorems derived from the new definitions rather than reducing to inputs by construction

full rationale

The paper defines synthetic null hypersurfaces via the triple (H, G, m) and introduces NC^e(N) explicitly as concavity of an entropy power functional along G-parametrized optimal transport plans. This is a standard definitional extension to low-regularity settings, not a claim that a derived quantity equals its own inputs. Stability under convergence and the synthetic Hawking/Penrose theorems follow from properties of this definition and optimal transport tools; no quoted step reduces a central result to a fitted parameter, self-citation chain, or ansatz smuggled without independent content. The claimed agreement with classical NEC on smooth cases is asserted but does not exhibit the specific reduction required to flag circularity under the analysis rules.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The framework rests on background results from optimal transport and causality theory together with the new definitions of the triple and the concavity condition; no explicit free parameters are introduced in the abstract, but the choice of gauge and measure classes functions as an implicit modeling choice.

axioms (2)
  • domain assumption H is a closed achronal set in a topological causal space
    Stated in the definition of synthetic null hypersurface
  • standard math Optimal transport plans exist and the entropy power functional is well-defined on the space of measures
    Invoked when defining NC^e(N) via concavity along transport
invented entities (2)
  • synthetic null hypersurface (H, G, m) no independent evidence
    purpose: Generalize classical null hypersurface structures to non-smooth settings
    Central new object introduced in the paper
  • synthetic null energy condition NC^e(N) no independent evidence
    purpose: Provide a gauge-invariant energy condition via entropy concavity
    Defined directly from the triple and used for all applications

pith-pipeline@v0.9.0 · 5824 in / 1410 out tokens · 45110 ms · 2026-05-19T11:21:38.972833+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

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

  1. The Hawking Singularity Theorem for H\"older Continuous Metrics with $L^p$-Bounded Curvature

    gr-qc 2026-04 unverdicted novelty 8.0

    Hawking's singularity theorem holds for W^{1,p} Lorentzian metrics with L^p curvature under lower Ricci bounds and upper mean curvature conditions, yielding geodesic incompleteness.

  2. Infinitesimal Minkowskianity for manifolds with continuous Lorentzian metrics

    math.DG 2026-04 unverdicted novelty 7.0

    Causally simple spacetimes with continuous Lorentzian metrics on smooth manifolds are infinitesimally Minkowskian.

Reference graph

Works this paper leans on

69 extracted references · 69 canonical work pages · cited by 2 Pith papers

  1. [1]

    B., and Javaloyes, M

    Aazami, A. B., and Javaloyes, M. A. Penrose’s singularity theorem in a Finsler spacetime. Classical Quantum Gravity 33 , 2 (Dec 2015), 025003

    work page 2015

  2. [2]

    K., Ehrlich, P

    Beem, J. K., Ehrlich, P. E., and Easley, K. L. Global Lorentzian geometry, second ed. Marcel Dekker, New York, 1996

    work page 1996

  3. [3]

    Beran, M

    Beran, T., Braun, M., Calisti, M., Gigli, N., McCann, R. J., Ohanyan, A., Rott, F., and S¨amann, C. A nonlinear d’Alembert comparison theorem and causal differential calculus on metric measure spacetimes. Preprint at arXiv:2408.15968v2, 2025

    work page arXiv 2025

  4. [4]

    R´ enyi’s entropy on Lorentzian spaces

    Braun, M. R´ enyi’s entropy on Lorentzian spaces. Timelike curvature-dimension conditions. J. Math. Pures Appl. (9) 177 (2023), 46–128

    work page 2023

  5. [5]

    Braun, M., and McCann, R. J. Causal convergence conditions through variable timelike Ricci curvature bounds. Preprint at arXiv:2312.17158v2, 2024. ON THE GEOMETRY OF SYNTHETIC NULL HYPERSURFACES 50

    work page arXiv 2024

  6. [6]

    Y., and LeFloch, P

    Burtscher, A. Y., and LeFloch, P. G. The formation of trapped surfaces in spherically- symmetric Einstein–Euler spacetimes with bounded variation. J. Math. Pures Appl. (9) 102 , 6 (2014), 1164–1217

    work page 2014

  7. [7]

    A classification theorem for compact Cauchy horizons in vacuum spacetimes

    Bustamante, I., and Reiris, M. A classification theorem for compact Cauchy horizons in vacuum spacetimes. Gen. Relativ. Gravitation 53 , 3 (2021), 10. Id/No 36

    work page 2021

  8. [8]

    Lorentzian metric spaces and GH-convergence: the unbounded case

    Bykov, A., Minguzzi, E., and Suhr, S. Lorentzian metric spaces and GH-convergence: the unbounded case. Preprint at arXiv:2412.04311, 2025

    work page arXiv 2025

  9. [9]

    Hawking’s sin- gularity theorem for Lipschitz Lorentzian metrics

    Calisti, M., Graf, M., Hafemann, E., Kunzinger, M., and Steinbauer, R. Hawking’s sin- gularity theorem for Lipschitz Lorentzian metrics. Preprint at arXiv:2501.18450v2, 2025

    work page arXiv 2025

  10. [10]

    Carroll, S. M. Spacetime and geometry. An introduction to general relativity . Cambridge Univer- sity Press, 2019

    work page 2019

  11. [11]

    An Overview of L1 optimal transportation on metric measure spaces

    Cavalletti, F. An Overview of L1 optimal transportation on metric measure spaces . De Gruyter, 2017, pp. 98–144

    work page 2017

  12. [12]

    Optimal transport on null hypersurfaces and the null energy condition, 2025

    Cavalletti, F., Manini, D., and Mondino, A. Optimal transport on null hypersurfaces and the null energy condition, 2025. Preprint at arXiv:2408.08986v2. To appear in Commun. Math. Phys

    work page arXiv 2025

  13. [13]

    Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds

    Cavalletti, F., and Mondino, A. Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds. Invent. Math. 208 , 3 (2017), 803–849

    work page 2017

  14. [14]

    New formulas for the Laplacian of distance functions and applications

    Cavalletti, F., and Mondino, A. New formulas for the Laplacian of distance functions and applications. Anal. PDE 13 , 7 (2020), 2091–2147

    work page 2020

  15. [15]

    Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications

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

    work page 2024

  16. [16]

    Cavalletti and A

    Cavalletti, F., and Mondino, A. A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds, 2024. Preprint at arXiv:2401.03949v2

    work page arXiv 2024

  17. [17]

    T., Delay, E., Galloway, G

    Chru´sciel, P. T., Delay, E., Galloway, G. J., and Howard, R. Regularity of horizons and the area theorem. Ann. Henri Poincar´ e 2, 1 (2001), 109–178

    work page 2001

  18. [18]

    T., and Grant, J

    Chru´sciel, P. T., and Grant, J. D. E.On Lorentzian causality with continuous metrics.Classical Quantum Gravity 29 , 14 (2012), 32. Id/No 145001

    work page 2012

  19. [19]

    Clarke, C. J. S. Generalized hyperbolicity in singular spacetimes. Classical Quantum Gravity 15 , 4 (1998), 975–984

    work page 1998

  20. [20]

    J., and Schmuckenschl ¨ager, M

    Cordero-Erausquin, D., McCann, R. J., and Schmuckenschl ¨ager, M. A Riemannian inter- polation inequality ` a la Borell, Brascamp and Lieb.Invent. Math. 146 , 2 (2001), 219–257

    work page 2001

  21. [21]

    M., and Thomas, J

    Dembo, A., Cover, T. M., and Thomas, J. A. Information-theoretic inequalities. IEEE Trans. Inform. Theory 37 , 6 (1991), 1501–1518

    work page 1991

  22. [22]

    On the equivalence of the entropic curvature- dimension condition and Bochner’s inequality on metric measure spaces.Invent

    Erbar, M., Kuwada, K., and Sturm, K.-T. On the equivalence of the entropic curvature- dimension condition and Bochner’s inequality on metric measure spaces.Invent. Math. 201, 3 (2015), 993–1071

    work page 2015

  23. [23]

    Strings and other distributional sources in general relativity.Phys

    Geroch, R., and Traschen, J. Strings and other distributional sources in general relativity.Phys. Rev. D (3) 36 , 4 (1987), 1017–1031

    work page 1987

  24. [24]

    Singularity theorems for C 1-Lorentzian metrics

    Graf, M. Singularity theorems for C 1-Lorentzian metrics. Comm. Math. Phys. 378 , 2 (2020), 1417–1450

    work page 2020

  25. [25]

    B., and Podolsk ´y, J

    Griffiths, J. B., and Podolsk ´y, J. Exact space-times in Einstein’s general relativity. Camb. Monogr. Math. Phys. Cambridge: Cambridge University Press, 2009

    work page 2009

  26. [26]

    Gromov, M., and Milman, V. D. Generalization of the spherical isoperimetric inequality to uniformly convex Banach spaces. Compos. Math. 62 (1987), 263–282

    work page 1987

  27. [27]

    Surface gravity of compact non-degenerate horizons under the dominant energy condition

    Gurriaran, S., and Minguzzi, E. Surface gravity of compact non-degenerate horizons under the dominant energy condition. Commun. Math. Phys. 395 , 2 (2022), 679–713

    work page 2022

  28. [28]

    Hawking, S. W. The occurrence of singularities in cosmology. III: Causality and singularities.Proc. R. Soc. Lond., Ser. A 300 (1967), 187–201

    work page 1967

  29. [29]

    Hawking, S. W. Black holes in general relativity. Commun. Math. Phys. 25 (1972), 152–166

    work page 1972

  30. [30]

    W., and Ellis, G

    Hawking, S. W., and Ellis, G. F. R. The large scale structure of space-time . Cambridge Mono- graphs on Mathematical Physics. Cambridge University Press, 1973

    work page 1973

  31. [31]

    Isoperimetric problems for convex bodies and a localization lemma

    Kannan, R., Lov ´asz, L., and Simonovits, M. Isoperimetric problems for convex bodies and a localization lemma. Discrete Comput. Geom. 13 , 3-4 (1995), 541–559. ON THE GEOMETRY OF SYNTHETIC NULL HYPERSURFACES 51

    work page 1995

  32. [32]

    Characterization of the null energy condition via displacement convexity of entropy

    Ketterer, C. Characterization of the null energy condition via displacement convexity of entropy. Journ. London Math. Soc. 109 , 1 (2024), e12846 (24pp)

    work page 2024

  33. [33]

    Needle decompositions in Riemannian geometry

    Klartag, B. Needle decompositions in Riemannian geometry. Mem. Amer. Math. Soc. 249 , 1180 (2017), v+77

    work page 2017

  34. [34]

    H., and Penrose, R

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

    work page 1967

  35. [35]

    Lorentzian length spaces

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

    work page 2018

  36. [36]

    Kunzinger, M., Steinbauer, R., and Vickers, J. A. The Penrose singularity theorem in regu- larity C 1,1. Classical Quantum Gravity 32 , 15 (2015), 12. Id/No 155010

    work page 2015

  37. [37]

    G., and Veneziano, G

    Le Floch, B., LeFloch, P. G., and Veneziano, G. Cyclic spacetimes through singularity scat- tering maps. The laws of quiescent bounces. J. High Energy Phys. , 4 (2022), Paper No. 95, 72

    work page 2022

  38. [38]

    Th´ eories relativistes de la gravitation et de l’´ electromagn´ etisme

    Lichnerowicz, A. Th´ eories relativistes de la gravitation et de l’´ electromagn´ etisme. Relativit´ e g´ en´ erale et th´ eories unitaires. Masson et Cie, Paris, 1955

    work page 1955

  39. [39]

    Aspects of C 0 causal theory

    Ling, E. Aspects of C 0 causal theory. Gen. Relativity Gravitation 52 , 6 (2020), Paper No. 57, 40

    work page 2020

  40. [40]

    Ricci curvature for metric-measure spaces via optimal transport

    Lott, J., and Villani, C. Ricci curvature for metric-measure spaces via optimal transport. Ann. of Math. (2) 169 , 3 (2009), 903–991

    work page 2009

  41. [41]

    Lu, Y., Minguzzi, E., and Ohta, S.Geometry of weighted Lorentz–Finsler manifolds I: singularity theorems. J. Lond. Math. Soc. (2) 104 , 1 (2021), 362–393

    work page 2021

  42. [42]

    Mars, M., and Senovilla, J. M. M. Geometry of general hypersurfaces in spacetime: junction conditions. Classical Quantum Gravity 10 , 9 (1993), 1865–1897

    work page 1993

  43. [43]

    McCann, R. J. Displacement convexity of Boltzmann’s entropy characterizes the strong energy condition from general relativity. Camb. J. Math. 8 , 3 (2020), 609–681

    work page 2020

  44. [44]

    McCann, R. J. A synthetic null energy condition. Commun. Math. Phys. 405 , 2 (2024), 38 (24pp)

    work page 2024

  45. [45]

    Area theorem and smoothness of compact Cauchy horizons

    Minguzzi, E. Area theorem and smoothness of compact Cauchy horizons. Commun. Math. Phys. 339, 1 (2015), 57–98

    work page 2015

  46. [46]

    Raychaudhuri equation and singularity theorems in Finsler spacetimes

    Minguzzi, E. Raychaudhuri equation and singularity theorems in Finsler spacetimes. Classical Quantum Gravity 32 , 18 (sep 2015), 185008

    work page 2015

  47. [47]

    Causality theory for closed cone structures with applications

    Minguzzi, E. Causality theory for closed cone structures with applications. Rev. Math. Phys. 31 , 5 (2019), 1930001, 139

    work page 2019

  48. [48]

    Lorentzian causality theory

    Minguzzi, E. Lorentzian causality theory. Living Rev. Relativ. 22 (2019), 202. Id/No 3

    work page 2019

  49. [49]

    Lorentzian metric spaces and their Gromov-Hausdorff convergence

    Minguzzi, E., and Suhr, S. Lorentzian metric spaces and their Gromov-Hausdorff convergence. Lett. Math. Phys. 114 , 3 (2024), 63. Id/No 73

    work page 2024

  50. [50]

    Symmetries of cosmological Cauchy horizons

    Moncrief, V., and Isenberg, J. Symmetries of cosmological Cauchy horizons. Commun. Math. Phys. 89 (1983), 387–413

    work page 1983

  51. [51]

    An optimal transport formulation of the Einstein equations of general relativity

    Mondino, A., and Suhr, S. An optimal transport formulation of the Einstein equations of general relativity. J. Eur. Math. Soc. 25 , 3 (2022), 933–994

    work page 2022

  52. [52]

    Mondino and C

    Mondino, A., and S ¨amann, C. Lorentzian Gromov-Hausdorff convergence and pre-compactness. Preprint at arXiv:2504.10380, 2025

    work page arXiv 2025

  53. [53]

    Gromov-Hausdorff metrics and dimensions of Lorentzian length spaces

    M¨uller, O. Gromov-Hausdorff metrics and dimensions of Lorentzian length spaces. Preprint at arXiv:2209.12736, 2024

    work page arXiv 2024

  54. [54]

    Needle decompositions and isoperimetric inequalities in Finsler geometry

    Ohta, S. Needle decompositions and isoperimetric inequalities in Finsler geometry. J. Math. Soc. Japan 70, 2 (2018), 651–693

    work page 2018

  55. [55]

    Semi-Riemannian geometry, with applications to relativity, vol

    O’Neill, B. Semi-Riemannian geometry, with applications to relativity, vol. 103 ofPure and Applied Mathematics. Academic Press, New York, 1983

    work page 1983

  56. [56]

    Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality

    Otto, F., and Villani, C. Generalization of an inequality by Talagrand and links with the logarithmic Sobolev inequality. J. Funct. Anal. 173 , 2 (2000), 361–400

    work page 2000

  57. [57]

    E., and Weinberger, H

    Payne, L. E., and Weinberger, H. F. An optimal Poincar´ e inequality for convex domains.Arch. Ration. Mech. Anal. 5 (1960), 286–292

    work page 1960

  58. [58]

    Gravitational collapse and space-time singularities

    Penrose, R. Gravitational collapse and space-time singularities. Phys. Rev. Lett. 14 (1965), 57–59

    work page 1965

  59. [59]

    The geometry of impulsive gravitational waves

    Penrose, R. The geometry of impulsive gravitational waves. General Relativity, Papers Honour J. L. Synge, 101-115 (1972)., 1972. ON THE GEOMETRY OF SYNTHETIC NULL HYPERSURFACES 52

    work page 1972

  60. [60]

    Techniques of differential topology in relativity , vol

    Penrose, R. Techniques of differential topology in relativity , vol. 7 of CBMS-NSF Reg. Conf. Ser. Appl. Math. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1972

    work page 1972

  61. [61]

    Introducing various notions of distances between space-times

    Sakovich, A., and Sormani, C. Introducing various notions of distances between space-times. Preprint at arXiv:2410.16800, 2025

    work page arXiv 2025

  62. [62]

    Global hyperbolicity for spacetimes with continuous metrics

    S¨amann, C. Global hyperbolicity for spacetimes with continuous metrics. Ann. Henri Poincar´ e 17, 6 (2016), 1429–1455

    work page 2016

  63. [63]

    Senovilla, J. M. M. Singularity theorems and their consequences. Gen. Relativ. Gravitation 30 , 5 (1998), 701–848

    work page 1998

  64. [64]

    Null distance on a spacetime

    Sormani, C., and Vega, C. Null distance on a spacetime. Classical Quantum Gravity 33 , 8 (mar 2016), 085001

    work page 2016

  65. [65]

    Srivastava, S. M. A course on Borel sets , vol. 180 of Graduate Texts in Mathematics . Springer, New York, 1998

    work page 1998

  66. [66]

    On the geometry of metric measure spaces

    Sturm, K.-T. On the geometry of metric measure spaces. I. Acta Math. 196 , 1 (2006), 65–131

    work page 2006

  67. [67]

    On the geometry of metric measure spaces

    Sturm, K.-T. On the geometry of metric measure spaces. II. Acta Math. 196 , 1 (2006), 133–177

    work page 2006

  68. [68]

    Optimal transport

    Villani, C. Optimal transport. Old and new . Springer, Berlin, 2009

    work page 2009

  69. [69]

    Transport inequalities, gradient estimates, entropy, and Ricci curvature

    von Renesse, M.-K., and Sturm, K.-T. Transport inequalities, gradient estimates, entropy, and Ricci curvature. Comm. Pure Appl. Math. 58 , 7 (2005), 923–940

    work page 2005