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

Abstract

The goal of the present work is three-fold. The first goal is to set foundational results on optimal transport in Lorentzian (pre-)length spaces, including cyclical monotonicity, stability of optimal couplings and Kantorovich duality (several results are new even for smooth Lorentzian manifolds). The second one is to give a synthetic notion of ``timelike Ricci curvature bounded below and dimension bounded above'' for a measured Lorentzian pre-length space using optimal transport. The key idea being to analyse convexity properties of Entropy functionals along future directed timelike geodesics of probability measures. This notion is proved to be stable under a suitable weak convergence of measured Lorentzian pre-length spaces, giving a glimpse on the strength of the approach we propose. The third goal is to draw applications, most notably extending volume comparisons and Hawking singularity Theorem (in sharp form) to the synthetic setting. The framework of Lorentzian pre-length spaces includes as remarkable classes of examples: space-times endowed with a causally plain (or, more strongly, locally Lipschitz) continuous Lorentzian metric, closed cone structures, some approaches to quantum gravity.

74 pages. Improved exposition, in particular in Sections 2.5 and 3.3. Final version accepted in Cambridge Journal of Mathematics

Cited by in corpus (14)

• The Hawking-Penrose singularity theorem for $C^1$-Lorentzian metrics
• A Lorentzian analog for Hausdorff dimension and measure
• The Null distance encodes causality
• Lorentz meets Lipschitz
• A comparison theorem for cosmological lightcones
• Generally covariant $N$-particle dynamics
• Inscribed Radius Bounds for Lower Ricci Bounded Metric Measure Spaces with Mean Convex Boundary
• Optimal transport on null hypersurfaces and the null energy condition
• Comparison theorems on weighted Finsler manifolds and spacetimes with $\epsilon$-range
• A lower semicontinuous time separation function for $C^0$ spacetimes
• The representation of spacetime through time functions
• A Toponogov globalisation result for Lorentzian length spaces
• Results on Lorentzian metric spaces
• Concavity of spacetimes