Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

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

T0 review · 2 major / 3 minor · reviewed 2026-08-09 · deepseek-v4-flash

Pith's one-line read A nonlinear p-d'Alembertian carries d'Alembert comparison across the timelike cut locus.

desk verdict A useful invited survey of the distributional p-d'Alembertian, but the proof sketch of Theorem 4.12 has a Dirac-mass gap that needs fixing. read the letter →

arxiv 2501.19071 v2 pith:7OBTOUNC submitted 2025-01-31 math.DG math-phmath.APmath.MGmath.MP

classification math.DGmath-phmath.APmath.MGmath.MP MSC 28A5051K1035J9249Q2251F9953C2153C5083C75
keywords distributionalp-d'AlembertiantimelikecutlocusLorentzdistancefunctionLorentzianoptimaltransportRiccicurvatureboundslocalizationanddisintegrationvolumesingularitytheoremscomparisontheory
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 survey argues that a nonlinear relative of the d'Alembertian, the p-d'Alembertian built from a concave Lagrangian with exponent p<1, should replace the classical wave operator in Lorentzian comparison theory. Its central claim is that comparison estimates for the p-d'Alembertian of Lorentz distance functions hold distributionally on the whole chronological future, including the timelike cut locus, where all earlier results stopped. That advance rests on optimal transport through spacetime: optimal-transport potentials for the Lorentz–Wasserstein problem are flows along p-gradients, and the transport can be shown to avoid the singular set of the time separation function almost surely. If correct, the classical d'Alembertian of distance functions inherits controls it never had across the cut locus, with direct consequences for splitting theorems and volume singularity theorems.

What carries the argument

The load-bearing object is the distributional $p$-d'Alembertian $\square_p := \operatorname{div}[|du|_*^{p-2}\nabla u]$, with $p$ a nonzero number less than one, defined through the inequality $\int d\varphi(\nabla u)\,|du|_*^{p-2}\,d\mathrm{vol}\le -T(\varphi)$. It is the variational derivative of a convex energy, hence nonlinear yet elliptic, and it agrees with the classical d'Alembertian on Lorentz distance functions because their differential has unit cometric norm. The argument then runs through Lorentzian optimal transport: the power $l_o^q/q$ is a potential for transporting a Dirac mass, the unique geodesic of mass distributions is the flow of its $p$-gradient, and a singular-set avoidance theorem for the time separation function guarantees the flow stays away from the cut locus almost surely, which is what lets the comparison integrate by parts across the singular set. A second mechanism, localization along negative-gradient rays, disintegrates the volume measure into one-dimensional conditional densities and converts the operator into one-dimensional derivatives, yielding exact representation formulas.

What would settle it

Construct a globally hyperbolic measured spacetime with $\mathrm{Ric}\ge K$ in timelike directions, a point $o$, and a vol-absolutely continuous measure $\mu_1$ supported in $I^+(o)$, such that the time-reversed optimal transport from $\mu_1$ to $\delta_o$ maps a set of positive $\mu_1$-measure into $TC^+(o)$. If such an example exists, the singular-set avoidance theorem fails there and the comparison across the cut locus would not follow from the surveyed argument.

Watch

Extended reading notes

Core claim

The discovery surveyed is that the distributional $p$-d'Alembertian, formally $\square_p u = \operatorname{div}(|du|_*^{p-2}\nabla u)$ for nonzero $p<1$, is the right operator for Lorentzian comparison. On a globally hyperbolic measured spacetime with $\mathrm{Ric}\ge K$ in timelike directions, the inequality $-\int d\varphi(\nabla u_q)\,|du_q|_*^{p-2}\,d\mathrm{vol}\le \dim M \int \varphi\, T_{K,\dim M}\circ l_o\,d\mathrm{vol}$ holds for every nonnegative $\varphi\in \mathrm{Lip}_c(I^+(o))$, with $u_q=l_o^q/q$; the test function is not required to avoid the future timelike cut locus of $o$. From this comparison the existence of the operator as a difference of two Radon measures follows by the standard representation of Radon functionals, and a complementary localization argument yields exact formulas exhibiting the cut-locus contribution as a nonpositive singular measure. The same machinery produces volume-to-area comparison bounds and Hawking-type volume singularity theorems.

Load-bearing premise

The whole advance depends on the theorem that optimal transport through a spacetime almost never sends mass into the singular set of the time separation function; if a positive amount of transported mass landed on that set, the integration-by-parts step that carries the comparison across the cut locus would break down.

Editorial extensions

If this is right

  • The distributional $p$-d'Alembertian of $l_o$ and of $l_o^q/q$ exists on the full chronological future up to the sharp Bonnet–Myers diameter bound, as a difference of two Radon measures.
  • D'Alembert comparison holds across the future timelike cut locus, so the barrier formulations used in splitting theorems can be replaced by a distributional estimate that matches the integration-by-parts definition of the operator.
  • Exact representation formulas split the operator into an absolutely continuous part controlled by logarithmic derivatives of conditional densities and a nonpositive singular part concentrated on the cut locus.
  • The associated volume-to-area inequality yields Hawking-type volume singularity theorems, including a negative-curvature equality case where geodesic incompleteness need not occur but future volume incompleteness does.

Reading between the lines

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

  • A testable extension is to check whether singular-set avoidance persists for non-absolutely-continuous initial measures or for Finsler spacetimes; if it fails, comparison across the cut locus would need a different mechanism.
  • The elliptic character of $\square_p$ suggests a heat-flow or $p$-Brownian-motion analogue in Lorentzian signature, connecting the comparison theory to stochastic processes on phase space.
  • If the distributional comparison survives on synthetic timelike curvature-dimension spaces, the splitting theorem for infinitesimally Minkowskian timelike curvature-dimension spaces would follow from nonsmooth maximum principles rather than smoothness assumptions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. This paper is an invited survey of the distributional nonlinear p-d'Alembertian (p < 1, p != 0) on globally hyperbolic spacetimes, recently introduced by Beran et al. [23] and Braun [36]. After recalling Lorentzian geometry, causality, and Lorentz-Wasserstein transport, it states comparison theorems for the p-d'Alembertian of Lorentz distance functions that are claimed to hold across the future timelike cut locus (Theorems 4.12 and 4.13), gives abstract existence results via the Riesz-Markov-Kakutani theorem (Theorem 4.14), and then presents constructive exact representation formulas based on localization (Theorems 5.7 and 5.8). It closes with Heintze-Karcher-type estimates, volume singularity theorems, and open problems. The author states explicitly in Section 1 that all proofs are only sketched and that the central results are imported from two preprints.

Significance. The survey is well organized, carefully attributes results, and provides a useful service by collecting definitions, model spaces, and open problems around a genuinely new object. Its advertised advance - distributional control of the d'Alembertian on the whole future of a point, including the timelike cut locus - is significant for Lorentzian comparison theory and for the recent elliptic proof of splitting theorems [38], if the imported results of [23,36] are correct. The paper is honest about its limits: it repeatedly says proofs are sketched and does not claim to prove the imported theorems. However, because the survey presents a proof sketch of the central cut-locus comparison, the correctness of that sketch matters for the survey's expository value; see the major comments. I found no circularity in the mathematics: the comparison statements are traced to optimal transport, localization, and Ricci bounds, not to the theorem being proved.

major comments (2)
  1. [§4.3, proof sketch of Theorem 4.12] The proof sets mu0 = delta_o and mu1 = (c phi)^{n/(n-1)} vol and states that Proposition 4.10 makes Theorem 4.5 applicable. This is not correct as written: Theorem 4.5 requires mu0 to be vol-absolutely continuous, while delta_o is singular. Consequently, Theorem 4.5(ii) cannot yield the asserted conclusion that mu1 is concentrated on I+(o) \ TC+(o); that conclusion would only follow from a time-reversed application with absolutely continuous source mu1 and target delta_o, and such a statement is neither stated nor proved in the survey. Without this concentration assertion, Lemma 4.11 and the subsequent integration by parts across the cut locus are unsupported. Please repair the application, for example by stating an explicit time-reversed singular-set avoidance lemma or by invoking the classical cut-locus measure-zero Theorem 2.14, and adjust the surrounding text accordingly.
  2. [§4.3, final step of Theorem 4.12 proof] The step labeled 'A formal application of Lemma 4.11' substitutes psi = rho_1^{-1/dim M}, but Lemma 4.11 is stated only for psi in C_c^infinity(I+(o)). No compact support, smoothness, or integrability of rho_1^{-1/dim M} along the rays is established in the sketch, and the limit t -> 1 is interchanged with the integral without a domination argument. Since this step is what converts the transport-density estimate (Theorem 4.9) into the comparison inequality, the proof sketch is incomplete at a load-bearing point. If this is a known argument from [23], the survey should say so explicitly and point to the precise statement in [23] where the approximation is justified.
minor comments (3)
  1. [§4.2, Theorem 4.9] Theorem 4.9 is stated for arbitrary compactly supported mu1 with spt mu1 subset I+(o), but its conclusion refers to the vol-densities rho_t and rho_1. Please add the hypothesis that mu1 is absolutely continuous with respect to vol, or state explicitly that the density estimates are only asserted for absolutely continuous marginals.
  2. [§5.4, Remark 5.19] The sentence describing the warped-product example reads 'future volume incomplete yet not all l-geodesics are future complete'; if the purpose is to illustrate logical independence from geodesic incompleteness, this should presumably read 'yet all l-geodesics are future complete' (or the example should be described more carefully). As printed, the sentence suggests the example is geodesically incomplete, which would not illustrate the claimed independence.
  3. [§4.1, proof sketch of Theorem 4.5] There is a typo: 'demostrates' should be 'demonstrates'.

Circularity Check

0 steps flagged · score 2.0 of 10

Heavy self-citation in this self-survey, but no circular reduction: the surveyed comparison and representation theorems are derived from optimal transport, localization, and stated curvature assumptions, not from their own conclusions.

full rationale

This paper is a survey of the author's own preprints [23, 36], so self-citation is pervasive. However, no load-bearing step reduces to its own input by construction. Theorem 4.12 is derived from McCann's uniqueness/singular-set theorem (Theorem 4.5), a density bound from Braun's prior work (Theorem 4.9), and a chain-rule identity (Lemma 4.11); Theorem 5.7 and Theorem 5.8 follow from Cavalletti–Mondino's disintegration theorem (Theorem 5.1) plus one-dimensional integration by parts; Theorems 5.10, 5.11, and 5.13 are read off from the representation formulas using logarithmic-derivative and density estimates that are consequences of the stated timelike curvature-dimension condition. These ingredients have stated assumptions that do not include the target results, so the self-citations are not circular. The paper honestly notes that 'All proofs, if any, will only be sketched' and that several key technical contributions are omitted entirely. The main caveat is a rigor gap in the proof sketch of Theorem 4.12: it applies Theorem 4.5 to the Dirac initial measure μ0 = δ_o even though Theorem 4.5 assumes μ0 is vol-absolutely continuous, and the inference that μ1 is concentrated off the timelike cut locus is not justified as stated. This is a correctness risk, not a circularity, because the desired comparison is not assumed in the cited ingredients.

Assumptions & free parameters 0 free parameters · 7 assumptions · 1 invented entities

The surveyed framework rests on standard smooth spacetime assumptions, timelike Ricci lower bounds, and a set of heavy external theorems from optimal transport and localization. No quantities are fitted to data, and no new physical entities are hypothesized.

assumptions (7)
  • domain assumption Standing assumption: M is a connected smooth noncompact manifold, dimension at least 2, with Lorentzian metric g, time orientation, fixed reference measure vol, and global hyperbolicity of (M,g).
    Invoked repeatedly from Section 2 and the start of Section 3; all surveyed theorems are stated in this setting.
  • domain assumption Timelike Ricci lower bound: Ric(v,v) >= K |v|^2 for all timelike v, equivalently the TCD condition from Definition 4.6.
    Main hypothesis of Theorems 4.12, 4.13, 5.7, 5.8, 5.13, 5.18, 5.20; enters through the comparison functions T_{K,N} and C_{K,N}.
  • domain assumption McCann's singular-set avoidance and uniqueness of optimal couplings (Theorem 4.5).
    External theorem used as a black box in the proof sketch of Theorem 4.12 to place the target measure outside the timelike cut locus.
  • domain assumption Essential semiconcavity of transport densities (Theorem 4.9).
    Supplies the density inequality along ell_q-geodesics that is integrated to obtain the d'Alembert comparison.
  • domain assumption Lorentzian localization/disintegration theorem of Cavalletti-Mondino (Theorem 5.1).
    Underlies the exact representation formulas (Theorems 5.7 and 5.8), the Heintze-Karcher inequality, and the volume singularity theorems.
  • domain assumption Enhanced regularity of Lorentz distance functions outside the future timelike cut locus (Theorem 2.14).
    Gives |d l_Sigma|_* = 1 and smoothness away from TC^+(Sigma), used in Lemma 5.6 and the identification of the p-d'Alembertian with the classical one.
  • standard math Riesz-Markov-Kakutani representation theorem and measure disintegration theory.
    Used to turn Radon functionals into measures in Section 4.4 and to define conditional densities in Section 5.1.
invented entities (1)
  • Distributional p-d'Alembertian div(|du|_*^{p-2} ∇u)
    purpose: Replace the linear hyperbolic d'Alembertian in Lorentzian comparison theory with a nonlinear elliptic operator that admits a distributional definition and comparison estimates across the timelike cut locus.
    It is a definitional construction (Definition 3.3) reviewed from [23], not a physically postulated entity; its value is judged by the theorems it enables, not by an external falsifiable prediction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of New perspectives on the d'Alembertian from general relativity. An invitation." pith.science (2026). https://pith.science/paper/7OBTOUNC

@misc{pith2026250119071,
  author       = {Pith},
  title        = {Pith review of: New perspectives on the d'Alembertian from general relativity. An invitation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7OBTOUNC}},
  note         = {Machine review of arXiv:2501.19071}
}
abstract

This survey has multiple objectives. First, we motivate and review a new distributional notion of the d'Alembertian from mathematical relativity, more precisely, a nonlinear $p$-version thereof, where $p$ is a nonzero number less than one. This operator comes from natural Lagrangian actions introduced relatively recently. Unlike its classical linear yet hyperbolic counterpart, it is nonlinear yet has elliptic characteristics. Second, we describe recent comparison estimates for the $p$-d'Alembertian of Lorentz distance functions (notably a point or a spacelike hypersurface). Their new contribution implied by prior works on optimal transport through spacetime is a control of the timelike cut locus. Third, we illustrate exact representation formulas for these $p$-d'Alembertians employing methods from convex geometry. Fourth, several applications and open problems are presented.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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...

Reference graph

Works this paper leans on

178 extracted references · 63 canonical work pages · cited by 1 Pith paper

  1. [23]

    Beran, M

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

  2. [36]

    , Exact d’Alembertian for Lorentz distance functions, Preprint, arXiv:2408.16525

  3. [38]

    , An elliptic proof of the splitting theorems from Lorentzian geometry, Preprint, arXiv:2410.12632

  4. [1]

    A. A. Agrachev and R. V. Gamkrelidze,Feedback-invariant optimal control theory and differential geometry. I. Regular extremals, J. Dynam. Control Systems3 (1997), no. 3, 343–389. MR1472357

  5. [2]

    A. A. Agrachev,Curvature and hyperbolicity of Hamiltonian systems, Tr. Mat. Inst. Steklova 256 (2007), 31–53. MR2336892

  6. [3]

    , Geometry of optimal control problems and Hamiltonian systems, Nonlinear and optimal control theory, 2008, pp. 1–59. MR2410710

  7. [4]

    Akdemir, A

    A. Akdemir, A. Colinet, R. McCann, F. Cavalletti, and F. Santarcangelo,Independence of synthetic curvature dimension conditions on transport distance exponent, Trans. Amer. Math. Soc. 374 (2021), no. 8, 5877–5923. MR4293791

  8. [5]

    S. B. Alexander and R. L. Bishop,Lorentz and semi-Riemannian spaces with Alexandrov curvature bounds, Comm. Anal. Geom.16 (2008), no. 2, 251–282. MR2425468

Show all 178 references
  1. [6]

    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. MR4785565

  2. [7]

    Ambrosio,Lecture notes on optimal transport problems, Mathematical aspects of evolving interfaces (Funchal, 2000), 2003, pp

    L. Ambrosio,Lecture notes on optimal transport problems, Mathematical aspects of evolving interfaces (Funchal, 2000), 2003, pp. 1–52. MR2011032

  3. [8]

    Ambrosio and N

    L. Ambrosio and N. Gigli,A user’s guide to optimal transport, Modelling and optimisation of flows on networks, 2013, pp. 1–155. MR3050280

  4. [9]

    Ambrosio, N

    L. Ambrosio, N. Gigli, and G. Savaré,Gradient flows in metric spaces and in the space of probability measures, Second edition, Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 2008. MR2401600

  5. [10]

    Math.195 (2014), no

    , Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below, Invent. Math.195 (2014), no. 2, 289–391. MR3152751

  6. [11]

    Ambrosio, A

    L. Ambrosio, A. Mondino, and G. Savaré,Nonlinear diffusion equations and curvature conditions in metric measure spaces, Mem. Amer. Math. Soc.262 (2019), no. 1270, v+121. MR4044464

  7. [12]

    Andersson and G

    L. Andersson and G. J. Galloway,dS/CFT and spacetime topology, Adv. Theor. Math. Phys. 6 (2002), no. 2, 307–327. MR1937858 40 MATHIAS BRAUN

  8. [13]

    Andersson, G

    L. Andersson, G. J. Galloway, and R. Howard,A strong maximum principle for weak solutions of quasi-linear elliptic equations with applications to Lorentzian and Riemannian geometry, Comm. Pure Appl. Math.51 (1998), no. 6, 581–624. MR1611140

  9. [14]

    Andersson and R

    L. Andersson and R. Howard, Comparison and rigidity theorems in semi-Riemannian geometry, Comm. Anal. Geom.6 (1998), no. 4, 819–877. MR1664893

  10. [15]

    Avez,Essais de géométrie riemannienne hyperbolique globale

    A. Avez,Essais de géométrie riemannienne hyperbolique globale. Applications à la relativité générale, Ann. Inst. Fourier (Grenoble)13 (1963), 105–190. MR167940

  11. [16]

    Bacher and K.-T

    K. Bacher and K.-T. Sturm,Localization and tensorization properties of the curvature- dimension condition for metric measure spaces, J. Funct. Anal.259 (2010), no. 1, 28–56. MR2610378

  12. [17]

    Bakry and M

    D. Bakry and M. Émery,Diffusions hypercontractives, Séminaire de probabilités, XIX, 1983/84, 1985, pp. 177–206. MR889476

  13. [18]

    Bakry, I

    D. Bakry, I. Gentil, and M. Ledoux,Analysis and geometry of Markov diffusion operators, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 348, Springer, Cham, 2014. MR3155209

  14. [19]

    Barbu, M

    V. Barbu, M. Rehmeier, and M. Röckner,p-Brownian motion and thep-Laplacian, Preprint, arXiv:2409.18744

  15. [20]

    Bayle,Propriétés de concavité du profil isopérimétrique et applications, Ph.D

    V. Bayle,Propriétés de concavité du profil isopérimétrique et applications, Ph.D. Thesis, 2004

  16. [21]

    J. K. Beem, P. E. Ehrlich, and K. L. Easley,Global Lorentzian geometry, Second, Monographs and Textbooks in Pure and Applied Mathematics, vol. 202, Marcel Dekker, Inc., New York,

  17. [22]

    Beran,Bonnet-Myers rigidity theorem for globally hyperbolic Lorentzian length spaces, Preprint, arXiv:2401.17017

    T. Beran,Bonnet-Myers rigidity theorem for globally hyperbolic Lorentzian length spaces, Preprint, arXiv:2401.17017

  18. [24]

    Beran, L

    T. Beran, L. Napper, and F. Rott,Alexandrov’s Patchwork and the Bonnet-Myers theorem for Lorentzian length spaces, Trans. Amer. Math. Soc.378 (2025), no. 4, 2713–2743. MR4880460

  19. [25]

    Beran, A

    T. Beran, A. Ohanyan, F. Rott, and D. A. Solis,The splitting theorem for globally hyperbolic Lorentzian length spaces with non-negative timelike curvature, Lett. Math. Phys.113 (2023), no. 2, Paper No. 48, 47. MR4579262

  20. [26]

    T.BeranandC.Sämann, Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds, J. Lond. Math. Soc. (2)107 (2023), no. 5, 1823–1880. MR4585303

  21. [27]

    A. N. Bernal and M. Sánchez,Globally hyperbolic spacetimes can be defined as ‘causal’ instead of ‘strongly causal’, Classical Quantum Gravity24 (2007), no. 3, 745–749. MR2294243

  22. [28]

    Bertrand,Existence and uniqueness of optimal maps on Alexandrov spaces, Adv

    J. Bertrand,Existence and uniqueness of optimal maps on Alexandrov spaces, Adv. Math. 219 (2008), no. 3, 838–851. MR2442054

  23. [29]

    Bertrand, A

    J. Bertrand, A. Pratelli, and M. Puel,Kantorovich potentials and continuity of total cost for relativistic cost functions, J. Math. Pures Appl. (9)110 (2018), 93–122. MR3744921

  24. [30]

    Bertrand and M

    J. Bertrand and M. Puel,The optimal mass transport problem for relativistic costs, Calc. Var. Partial Differential Equations46 (2013), no. 1-2, 353–374. MR3016512

  25. [31]

    Bianchini and F

    S. Bianchini and F. Cavalletti,The Monge problem for distance cost in geodesic spaces, Comm. Math. Phys.318 (2013), no. 3, 615–673. MR3027581

  26. [32]

    Billingsley,Convergence of probability measures, Second, Wiley Series in Probability and Statistics: Probability and Statistics, John Wiley & Sons, Inc., New York, 1999

    P. Billingsley,Convergence of probability measures, Second, Wiley Series in Probability and Statistics: Probability and Statistics, John Wiley & Sons, Inc., New York, 1999. A Wiley-Interscience Publication. MR1700749

  27. [33]

    V. I. Bogachev,Measure theory. Vol. I, II, Springer-Verlag, Berlin, 2007. MR2267655

  28. [34]

    Braun,Good geodesics satisfying the timelike curvature-dimension condition, Nonlinear Anal

    M. Braun,Good geodesics satisfying the timelike curvature-dimension condition, Nonlinear Anal. 229 (2023), Paper No. 113205, 30 pp. MR4528587

  29. [35]

    Timelike curvature-dimension conditions, J

    , Rényi’s entropy on Lorentzian spaces. Timelike curvature-dimension conditions, J. Math. Pures Appl. (9)177 (2023), 46–128. MR4629751

  30. [37]

    Braun, N

    M. Braun, N. Gigli, R. J. McCann, A. Ohanyan, and C. Sämann, In preparation

  31. [39]

    Braun, N

    M. Braun, N. Gigli, R. J. McCann, and S. Vincini, In preparation

  32. [40]

    Braun and R

    M. Braun and R. J. McCann,Causal convergence conditions through variable timelike Ricci curvature bounds, Preprint, arXiv:2312.17158

  33. [41]

    Braun and S

    M. Braun and S. Ohta,Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes, Trans. Amer. Math. Soc.377 (2024), no. 5, 3529–3576. MR4744787

  34. [42]

    Brenier, The least action principle and the related concept of generalized flows for incompressible perfect fluids, J

    Y. Brenier, The least action principle and the related concept of generalized flows for incompressible perfect fluids, J. Amer. Math. Soc.2 (1989), no. 2, 225–255. MR969419 NEW PERSPECTIVES ON THE D’ALEMBERTIAN 41

  35. [43]

    , Extended Monge-Kantorovich theory, Optimal transportation and applications (Martina Franca, 2001), 2003, pp. 91–121. MR2006306

  36. [44]

    Brué and D

    E. Brué and D. Semola,Constancy of the dimension forRCD(K,N ) spaces via regularity of Lagrangian flows, Comm. Pure Appl. Math.73 (2020), no. 6, 1141–1204. MR4156601

  37. [45]

    Burago, Y

    D. Burago, Y. Burago, and S. Ivanov,A course in metric geometry, Graduate Studies in Mathematics, vol. 33, American Mathematical Society, Providence, RI, 2001. MR1835418

  38. [46]

    Burago, M

    Yu. Burago, M. Gromov, and G. Perel’man,A. D. Aleksandrov spaces with curvatures bounded below, Uspekhi Mat. Nauk47 (1992), no. 2(284), 3–51, 222. MR1185284

  39. [47]

    Burtscher and L

    A. Burtscher and L. García-Heveling,Global hyperbolicity through the eyes of the null distance, Comm. Math. Phys.405 (2024), no. 4, Paper No. 90, 35. MR4719972

  40. [48]

    Burtscher, C

    A. Burtscher, C. Ketterer, R. J. McCann, and E. Woolgar,Inscribed radius bounds for lower Ricci bounded metric measure spaces with mean convex boundary, SIGMA Symmetry Integrability Geom. Methods Appl.16 (2020), Paper No. 131, 29. MR4185085

  41. [49]

    Bykov, E

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

  42. [50]

    L. A. Caffarelli, M. Feldman, and R. J. McCann,Constructing optimal maps for Monge’s transport problem as a limit of strictly convex costs, J. Amer. Math. Soc.15 (2002), no. 1, 1–26. MR1862796

  43. [51]

    Calabi,An extension of E

    E. Calabi,An extension of E. Hopf’s maximum principle with an application to Riemannian geometry, Duke Math. J.25 (1958), 45–56. MR92069

  44. [52]

    Caponio, A

    E. Caponio, A. Ohanyan, and S. Ohta,Splitting theorems for weighted Finsler spacetimes via thep-d’Alembertian: beyond the Berwald case, Preprint, arXiv:2412.20783

  45. [53]

    J. S. Case,Singularity theorems and the Lorentzian splitting theorem for the Bakry-Emery- Ricci tensor, J. Geom. Phys.60 (2010), no. 3, 477–490. MR2600009

  46. [54]

    Cavalletti,The Monge problem in Wiener space, Calc

    F. Cavalletti,The Monge problem in Wiener space, Calc. Var. Partial Differential Equations 45 (2012), no. 1-2, 101–124. MR2957652

  47. [56]

    MR3160530

    , Monge problem in metric measure spaces with Riemannian curvature-dimension condition, Nonlinear Anal.99 (2014), 136–151. MR3160530

  48. [57]

    , An overview ofL1 optimal transportation on metric measure spaces, Measure theory in non-smooth spaces, 2017, pp. 98–144. MR3701737

  49. [58]

    Cavalletti and E

    F. Cavalletti and E. Milman,The globalization theorem for the curvature-dimension condition, Invent. Math.226 (2021), no. 1, 1–137. MR4309491

  50. [59]

    Cavalletti and A

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

  51. [60]

    Topol.21 (2017), no

    , Sharp geometric and functional inequalities in metric measure spaces with lower Ricci curvature bounds, Geom. Topol.21 (2017), no. 1, 603–645. MR3608721

  52. [61]

    PDE 13 (2020), no

    , New formulas for the Laplacian of distance functions and applications, Anal. PDE 13 (2020), no. 7, 2091–2147. MR4175820

  53. [62]

    Relativity Gravitation 54 (2022), no

    , A review of Lorentzian synthetic theory of timelike Ricci curvature bounds, Gen. Relativity Gravitation 54 (2022), no. 11, Paper No. 137, 39 pp. MR4504922

  54. [63]

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

  55. [64]

    , A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds, Preprint, arXiv:2401.03949

  56. [65]

    Chavel,Eigenvalues in Riemannian geometry, Pure and Applied Mathematics, vol

    I. Chavel,Eigenvalues in Riemannian geometry, Pure and Applied Mathematics, vol. 115, Academic Press, Inc., Orlando, FL, 1984. Including a chapter by Burton Randol, With an appendix by Jozef Dodziuk. MR768584

  57. [66]

    Cheeger and T

    J. Cheeger and T. H. Colding,Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann. of Math. (2)144 (1996), no. 1, 189–237. MR1405949

  58. [67]

    , On the structure of spaces with Ricci curvature bounded below. I, J. Differential Geom. 46 (1997), no. 3, 406–480. MR1484888

  59. [68]

    , On the structure of spaces with Ricci curvature bounded below. II, J. Differential Geom. 54 (2000), no. 1, 13–35. MR1815410

  60. [69]

    , On the structure of spaces with Ricci curvature bounded below. III, J. Differential Geom. 54 (2000), no. 1, 37–74. MR1815411

  61. [70]

    Cheeger and D

    J. Cheeger and D. G. Ebin,Comparison theorems in Riemannian geometry, North-Holland Mathematical Library, vol. Vol. 9, North-Holland Publishing Co., Amsterdam-Oxford; Amer- ican Elsevier Publishing Co., Inc., New York, 1975. MR458335

  62. [71]

    Cheeger and D

    J. Cheeger and D. Gromoll, The splitting theorem for manifolds of nonnegative Ricci curvature, J. Differential Geom.6 (1971/72), 119–128. MR303460 42 MATHIAS BRAUN

  63. [72]

    Choquet-Bruhat and R

    Y. Choquet-Bruhat and R. Geroch,Global aspects of the Cauchy problem in general relativity, Comm. Math. Phys.14 (1969), 329–335. MR250640

  64. [73]

    P. T. Chruściel,Elements of causality theory, Preprint, arXiv:1110.6706

  65. [74]

    P. T. Chruściel and J. D. E. Grant,On Lorentzian causality with continuous metrics, Classical Quantum Gravity29 (2012), no. 14, 145001, 32. MR2949547

  66. [75]

    Cordero-Erausquin, R

    D. Cordero-Erausquin, R. J. McCann, and M. Schmuckenschläger,A Riemannian interpola- tion inequality à la Borell, Brascamp and Lieb, Invent. Math.146 (2001), no. 2, 219–257. MR1865396

  67. [76]

    G. B. De Luca, N. De Ponti, A. Mondino, and A. Tomasiello,Gravity from thermodynamics: optimal transport and negative effective dimensions, SciPost Phys.15 (2023), no. 2, Paper No. 039, 55. MR4629082

  68. [77]

    R. M. Dudley,Lorentz-invariant Markov processes in relativistic phase space, Ark. Mat.6 (1966), 241–268. MR198540

  69. [78]

    Eckstein and T

    M. Eckstein and T. Miller,Causality for nonlocal phenomena, Ann. Henri Poincaré18 (2017), no. 9, 3049–3096. MR3685983

  70. [79]

    P. E. Ehrlich, Y.-T. Jung, and S.-B. Kim,Volume comparison theorems for Lorentzian manifolds, Geom. Dedicata73 (1998), no. 1, 39–56. MR1651891

  71. [80]

    P. E. Ehrlich and M. Sánchez,Some semi-Riemannian volume comparison theorems, Tohoku Math. J. (2)52 (2000), no. 3, 331–348. MR1772801

  72. [81]

    Erbar, K

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

  73. [82]

    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. 27 (1988), no. 3, 477–491. MR940115

  74. [83]

    Feldman and R

    M. Feldman and R. J. McCann,Monge’s transport problem on a Riemannian manifold, Trans. Amer. Math. Soc.354 (2002), no. 4, 1667–1697. MR1873023

  75. [84]

    Fourès-Bruhat,Théorème d’existence pour certains systèmes d’équations aux dérivées partielles non linéaires, Acta Math.88 (1952), 141–225

    Y. Fourès-Bruhat,Théorème d’existence pour certains systèmes d’équations aux dérivées partielles non linéaires, Acta Math.88 (1952), 141–225. MR53338

  76. [85]

    Franchi and Y

    J. Franchi and Y. Le Jan,Relativistic diffusions and Schwarzschild geometry, Comm. Pure Appl. Math. 60 (2007), no. 2, 187–251. MR2275328

  77. [86]

    Frankel and G

    T. Frankel and G. J. Galloway,Energy density and spatial curvature in general relativity, J. Math. Phys. 22 (1981), no. 4, 813–817. MR617327

  78. [87]

    D. H. Fremlin,Measure theory. Vol. 4, Torres Fremlin, Colchester, 2006. Topological measure spaces. Part I, II, Corrected second printing of the 2003 original. MR2462372

  79. [88]

    G. J. Galloway,Curvature, causality and completeness in space-times with causally complete spacelike slices, Math. Proc. Cambridge Philos. Soc.99 (1986), no. 2, 367–375. MR817678

  80. [89]

    Differential Geom

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

  81. [90]

    G. J. Galloway and A. Horta,Regularity of Lorentzian Busemann functions, Trans. Amer. Math. Soc. 348 (1996), no. 5, 2063–2084. MR1348150

  82. [91]

    G. J. Galloway and E. Woolgar,Cosmological singularities in Bakry-Émery spacetimes, J. Geom. Phys. 86 (2014), 359–369. MR3282334

  83. [92]

    Gangbo and R

    W. Gangbo and R. J. McCann,The geometry of optimal transportation, Acta Math.177 (1996), no. 2, 113–161. MR1440931

  84. [93]

    García-Heveling,Volume singularities in general relativity, Lett

    L. García-Heveling,Volume singularities in general relativity, Lett. Math. Phys.114 (2024), no. 3, Paper No. 71. MR4751750

  85. [94]

    Geroch,Domain of dependence, J

    R. Geroch,Domain of dependence, J. Mathematical Phys.11 (1970), 437–449. MR270697

  86. [95]

    ,Singularities,Relativity(Proc.Conf.Midwest,Cincinnati,Ohio,1969),1970,pp.259–

  87. [96]

    Gigli,An overview of the proof of the splitting theorem in spaces with non-negative Ricci curvature, Anal

    N. Gigli,An overview of the proof of the splitting theorem in spaces with non-negative Ricci curvature, Anal. Geom. Metr. Spaces2 (2014), no. 1, 169–213. MR3210895

  88. [97]

    , On the differential structure of metric measure spaces and applications, Mem. Amer. Math. Soc. 236 (2015), no. 1113, vi+91 pp. MR3381131

  89. [99]

    , The splitting theorem in non-smooth context, Mem. Amer. Math. Soc., to appear

  90. [100]

    Gigli and A

    N. Gigli and A. Mondino,A PDE approach to nonlinear potential theory in metric measure spaces, J. Math. Pures Appl. (9)100 (2013), no. 4, 505–534. MR3102164

  91. [101]

    Graf,Volume comparison forC1,1-metrics, Ann

    M. Graf,Volume comparison forC1,1-metrics, Ann. Global Anal. Geom.50 (2016), no. 3, 209–235. MR3554372

  92. [102]

    Graf, E.-A

    M. Graf, E.-A. Kontou, A. Ohanyan, and B. Schinnerl,Hawking-type singularity theorems for worldvolume energy inequalities, Ann. Henri Poincaré (2024)

  93. [103]

    Graf and C

    M. Graf and C. Sormani,Lorentzian area and volume estimates for integral mean curvature bounds, Developments in Lorentzian geometry, [2022]©2022, pp. 105–128. MR4539754 NEW PERSPECTIVES ON THE D’ALEMBERTIAN 43

  94. [104]

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

  95. [105]

    Grigor’yan,Heat kernel and analysis on manifolds, AMS/IP Studies in Advanced Mathe- matics, vol

    A. Grigor’yan,Heat kernel and analysis on manifolds, AMS/IP Studies in Advanced Mathe- matics, vol. 47, American Mathematical Society, Providence, RI; International Press, Boston, MA, 2009. MR2569498

  96. [106]

    Gromov and V

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

  97. [107]

    P. R. Halmos,Measure Theory, D. Van Nostrand Co., Inc., New York, 1950. MR33869

  98. [108]

    S. W. Hawking and G. F. R. Ellis,The large scale structure of space-time, Cambridge Monographs on Mathematical Physics, vol. No. 1, Cambridge University Press, London-New York, 1973. MR424186

  99. [109]

    S. W. Hawking and R. Penrose,The singularities of gravitational collapse and cosmology, Proc. Roy. Soc. London Ser. A314 (1970), 529–548. MR264959

  100. [110]

    S. W. Hawking,The occurrence of singularities in cosmology. III. Causality and singularities, Proc. Roy. Soc. London Ser. A. Math. Phys. Sci.300 (1967), no. 1461, 187–201

  101. [111]

    Heintze and H

    E. Heintze and H. Karcher,A general comparison theorem with applications to volume estimates for submanifolds, Ann. Sci. École Norm. Sup. (4) 11 (1978), no. 4, 451–470. MR533065

  102. [112]

    R. A. Hounnonkpe and E. Minguzzi,Globally hyperbolic spacetimes can be defined without the ‘causal’ condition, Classical Quantum Gravity36 (2019), no. 19, 197001, 9. MR4016706

  103. [113]

    Jordan, D

    R. Jordan, D. Kinderlehrer, and F. Otto,The variational formulation of the Fokker-Planck equation, SIAM J. Math. Anal.29 (1998), no. 1, 1–17. MR1617171

  104. [114]

    Kannan, L

    R. Kannan, L. Lovász, and M. Simonovits,Isoperimetric problems for convex bodies and a localization lemma, Discrete Comput. Geom.13 (1995), no. 3-4, 541–559. MR1318794

  105. [115]

    Kell and S

    M. Kell and S. Suhr,On the existence of dual solutions for Lorentzian cost functions, Ann. Inst. H. Poincaré C Anal. Non Linéaire37 (2020), no. 2, 343–372. MR4072806

  106. [116]

    Ketterer,The Heintze-Karcher inequality for metric measure spaces, Proc

    C. Ketterer,The Heintze-Karcher inequality for metric measure spaces, Proc. Amer. Math. Soc. 148 (2020), no. 9, 4041–4056. MR4127847

  107. [117]

    Klartag,Needle decompositions in Riemannian geometry, Mem

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

  108. [118]

    Kunzinger and C

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

  109. [119]

    Kunzinger and R

    M. Kunzinger and R. Steinbauer,Null distance and convergence of Lorentzian length spaces, Ann. Henri Poincaré23 (2022), no. 12, 4319–4342. MR4512238

  110. [120]

    Kuwae and X.-D

    K. Kuwae and X.-D. Li,New Laplacian comparison theorem and its applications to diffusion processes on Riemannian manifolds, Bull. Lond. Math. Soc. 54 (2022), no. 2, 404–427. MR4414994

  111. [121]

    Kuwae and T

    K. Kuwae and T. Shioya, Laplacian comparison for Alexandrov spaces , Preprint, arXiv:0709.0788

  112. [122]

    Leray,Hyperbolic differential equations, Institute for Advanced Study (IAS), Princeton, NJ, 1953

    J. Leray,Hyperbolic differential equations, Institute for Advanced Study (IAS), Princeton, NJ, 1953. MR63548

  113. [123]

    Lott and C

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

  114. [124]

    Lovász and M

    L. Lovász and M. Simonovits,Random walks in a convex body and an improved volume algorithm, Random Structures Algorithms4 (1993), no. 4, 359–412. MR1238906

  115. [125]

    Y. Lu, E. Minguzzi, and S. Ohta,Comparison theorems on weighted Finsler manifolds and spacetimes withϵ-range, Anal. Geom. Metr. Spaces10 (2022), no. 1, 1–30. MR4388774

  116. [126]

    , Geometry of weighted Lorentz-Finsler manifolds II: A splitting theorem, Internat. J. Math. 34 (2023), no. 1, Paper No. 2350002, 29. MR4552199

  117. [127]

    Maeda,Volume estimate of submanifolds in compact Riemannian manifolds, J

    M. Maeda,Volume estimate of submanifolds in compact Riemannian manifolds, J. Math. Soc. Japan 30 (1978), no. 3, 533–551. MR500722

  118. [128]

    Magnabosco and C

    M. Magnabosco and C. Rigoni, Optimal maps and local-to-global property in negative dimensional spaces with Ricci curvature bounded from below, Tohoku Math. J. (2)75 (2023), no. 4, 483–507. MR4677752

  119. [129]

    R. J. McCann,Polar factorization of maps on Riemannian manifolds, Geom. Funct. Anal. 11 (2001), no. 3, 589–608. MR1844080

  120. [130]

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

  121. [131]

    , A synthetic null energy condition, Comm. Math. Phys.405 (2024), no. 2, Paper No. 38, 24 pp. MR4703452

  122. [132]

    44 MATHIAS BRAUN

    , Trading linearity for ellipticity: a nonsmooth approach to Einstein’s theory of gravity and the Lorentzian splitting theorems, Preprint, arXiv:2501.00702. 44 MATHIAS BRAUN

  123. [133]

    R. J. McCann and C. Sämann,A Lorentzian analog for Hausdorff dimension and measure, Pure Appl. Anal.4 (2022), no. 2, 367–400. MR4496090

  124. [134]

    Minguzzi,Convexity and quasi-uniformizability of closed preordered spaces, Topology Appl

    E. Minguzzi,Convexity and quasi-uniformizability of closed preordered spaces, Topology Appl. 160 (2013), no. 8, 965–978. MR3043127

  125. [135]

    Minguzzi and S

    E. Minguzzi and S. Suhr,Lorentzian metric spaces and their Gromov–Hausdorff convergence, Lett. Math. Phys.114 (2024), no. 3, Paper No. 73. MR4752400

  126. [136]

    Minguzzi,Characterization of some causality conditions through the continuity of the Lorentzian distance, J

    E. Minguzzi,Characterization of some causality conditions through the continuity of the Lorentzian distance, J. Geom. Phys.59 (2009), no. 7, 827–833. MR2536847

  127. [137]

    , Light cones in Finsler spacetime, Comm. Math. Phys.334 (2015), no. 3, 1529–1551. MR3312442

  128. [138]

    3, 202 pp

    , Lorentzian causality theory, Living Reviews in Relativity22 (2019), no. 3, 202 pp

  129. [139]

    Mondino and A

    A. Mondino and A. Naber,Structure theory of metric measure spaces with lower Ricci curvature bounds, J. Eur. Math. Soc. (JEMS)21 (2019), no. 6, 1809–1854. MR3945743

  130. [140]

    Mondino and S

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

  131. [141]

    Morgan,Manifolds with density, Notices Amer

    F. Morgan,Manifolds with density, Notices Amer. Math. Soc.52 (2005), no. 8, 853–858. MR2161354

  132. [142]

    Müller,Gromov-Hausdorff metrics and dimensions of Lorentzian length spaces, Preprint, arXiv:2209.12736

    O. Müller,Gromov-Hausdorff metrics and dimensions of Lorentzian length spaces, Preprint, arXiv:2209.12736

  133. [143]

    R. P. A. C. Newman,A proof of the splitting conjecture of S.-T. Yau, J. Differential Geom. 31 (1990), no. 1, 163–184. MR1030669

  134. [144]

    Nomizu and H

    K. Nomizu and H. Ozeki,The existence of complete Riemannian metrics, Proc. Amer. Math. Soc. 12 (1961), 889–891. MR133785

  135. [145]

    Ohta,Finsler interpolation inequalities, Calc

    S. Ohta,Finsler interpolation inequalities, Calc. Var. Partial Differential Equations36 (2009), no. 2, 211–249. MR2546027

  136. [146]

    , On the curvature and heat flow on Hamiltonian systems, Anal. Geom. Metr. Spaces 2 (2014), no. 1, 81–114. MR3208069

  137. [147]

    , (K,N )-convexity and the curvature-dimension condition for negativeN, J. Geom. Anal. 26 (2016), no. 3, 2067–2096. MR3511469

  138. [148]

    O’Neill,Semi-Riemannian geometry, Pure and Applied Mathematics, vol

    B. O’Neill,Semi-Riemannian geometry, Pure and Applied Mathematics, vol. 103, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983. With applications to relativity. MR719023

  139. [149]

    Otsu and T

    Y. Otsu and T. Shioya,The Riemannian structure of Alexandrov spaces, J. Differential Geom. 39 (1994), no. 3, 629–658. MR1274133

  140. [150]

    Otto and C

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

  141. [151]

    Otto,The geometry of dissipative evolution equations: the porous medium equation, Comm

    F. Otto,The geometry of dissipative evolution equations: the porous medium equation, Comm. Partial Differential Equations26 (2001), no. 1-2, 101–174. MR1842429

  142. [152]

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

  143. [153]

    Penrose,Gravitational collapse and space-time singularities, Phys

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

  144. [154]

    Petrunin,Harmonic functions on Alexandrov spaces and their applications, Electron

    A. Petrunin,Harmonic functions on Alexandrov spaces and their applications, Electron. Res. Announc. Amer. Math. Soc.9 (2003), 135–141. MR2030174

  145. [155]

    4(2011),53–64

    ,Alexandrov meets Lott-Villani-Sturm,MünsterJ.Math. 4(2011),53–64. MR2869253

  146. [156]

    Rajala and K.-T

    T. Rajala and K.-T. Sturm,Non-branching geodesics and optimal maps in strongCD(K, ∞)- spaces, Calc. Var. Partial Differential Equations50 (2014), no. 3-4, 831–846. MR3216835

  147. [157]

    Rudin,Real and complex analysis, McGraw-Hill Book Co., New York-Toronto-London,

    W. Rudin,Real and complex analysis, McGraw-Hill Book Co., New York-Toronto-London,

  148. [158]

    Sämann,A brief introduction to non-regular spacetime geometry, Internationale Mathe- matische Nachrichten256 (2024), 1–17

    C. Sämann,A brief introduction to non-regular spacetime geometry, Internationale Mathe- matische Nachrichten256 (2024), 1–17

  149. [159]

    Seifert,Global connectivity by timelike geodesics, Z

    H.-J. Seifert,Global connectivity by timelike geodesics, Z. Naturforsch.22a (1967), 1356–1360. MR225556

  150. [160]

    Sormani and C

    C. Sormani and C. Vega,Null distance on a spacetime, Classical Quantum Gravity33 (2016), no. 8, 085001, 29. MR3476515

  151. [161]

    Steinbauer,The singularity theorems of general relativity and their low regularity exten- sions, Jahresber

    R. Steinbauer,The singularity theorems of general relativity and their low regularity exten- sions, Jahresber. Dtsch. Math.-Ver.125 (2023), no. 2, 73–119. MR4594980

  152. [162]

    Sturm,On the geometry of metric measure spaces

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

  153. [163]

    II, Acta Math

    , On the geometry of metric measure spaces. II, Acta Math. 196 (2006), no. 1, 133–177. MR2237207

  154. [164]

    , Remarks about synthetic upper Ricci bounds for metric measure spaces, Tohoku Math. J. (2)73 (2021), no. 4, 539–564. MR4355059 NEW PERSPECTIVES ON THE D’ALEMBERTIAN 45

  155. [165]

    , Metric measure spaces and synthetic Ricci bounds: fundamental concepts and recent developments, European Congress of Mathematics, [2023]©2023, pp. 125–159. MR4615741

  156. [166]

    V. N. Sudakov,Geometric problems in the theory of infinite-dimensional probability distri- butions, Proc. Steklov Inst. Math.2 (1979), i–v, 1–178. MR530375

  157. [167]

    Suhr,Theory of optimal transport for Lorentzian cost functions, Münster J

    S. Suhr,Theory of optimal transport for Lorentzian cost functions, Münster J. Math.11 (2018), no. 1, 13–47. MR3873093

  158. [168]

    Treude,Ricci curvature comparison in Riemannian and Lorentzian geometry, Master’s Thesis, 2011

    J.-H. Treude,Ricci curvature comparison in Riemannian and Lorentzian geometry, Master’s Thesis, 2011

  159. [169]

    Treude and J

    J.-H. Treude and J. D. E. Grant,Volume comparison for hypersurfaces in Lorentzian manifolds and singularity theorems, Ann. Global Anal. Geom.43 (2013), no. 3, 233–251. MR3027611

  160. [170]

    N. S. Trudinger and X.-J. Wang,On the Monge mass transfer problem, Calc. Var. Partial Differential Equations 13 (2001), no. 1, 19–31. MR1854255

  161. [171]

    Villani,Optimal transport, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

    C. Villani,Optimal transport, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338, Springer-Verlag, Berlin, 2009. Old and new. MR2459454

  162. [172]

    Villani,Inégalités isopérimétriques dans les espaces métriques mesurés [d’après F

    C. Villani,Inégalités isopérimétriques dans les espaces métriques mesurés [d’après F. Caval- letti & A. Mondino], 2019, pp. Exp. No. 1127, 213–265. Séminaire Bourbaki. Vol. 2016/2017. Exposés 1120–1135. MR3939278

  163. [173]

    von Renesse,Heat kernel comparison on Alexandrov spaces with curvature bounded below, Potential Anal.21 (2004), no

    M.-K. von Renesse,Heat kernel comparison on Alexandrov spaces with curvature bounded below, Potential Anal.21 (2004), no. 2, 151–176. MR2058031

  164. [174]

    von Renesse and K.-T

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

  165. [175]

    R. M. Wald,General relativity, University of Chicago Press, Chicago, IL, 1984. MR757180

  166. [176]

    Wang,Analysis for diffusion processes on Riemannian manifolds, Advanced Series on Statistical Science & Applied Probability, vol

    F.-Y. Wang,Analysis for diffusion processes on Riemannian manifolds, Advanced Series on Statistical Science & Applied Probability, vol. 18, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2014. MR3154951

  167. [177]

    Woolgar and W

    E. Woolgar and W. Wylie,Cosmological singularity theorems and splitting theorems for N-Bakry-émery spacetimes, J. Math. Phys.57 (2016), no. 2, 022504, 12. MR3453844

  168. [178]

    , Curvature-dimension bounds for Lorentzian splitting theorems, J. Geom. Phys.132 (2018), 131–145. MR3836773

  169. [179]

    Wylie and D

    W. Wylie and D. Yeroshkin,On the geometry of Riemannian manifolds with density, Preprint, arXiv:1602.08000

  170. [180]

    Zhang and X.-P

    H.-C. Zhang and X.-P. Zhu,Ricci curvature on Alexandrov spaces and rigidity theorems, Comm. Anal. Geom.18 (2010), no. 3, 503–553. MR2747437 Institute of Mathematics, EPFL, 1015 Lausanne, Switzerland Email address: mathias.braun@epfl.ch

Pith tools

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