Abstract:We describe a nonsmooth notion of globally hyperbolic, regular length metric spacetimes $(\mathrm{M},l)$. It is based on ideas of Kunzinger-Sämann, but does not require Lipschitz continuity of causal curves. We study geodesics on $\mathrm{M}$ and the space of probability measures over $\mathrm{M}$ in detail. Furthermore, for such a spacetime endowed with a reference measure $\mathfrak{m}$, a lower semicontinuous function $k\colon \mathrm{M} \to \textbf{R}$, and constants $0<p<1$ and $N\geq 1$, we introduce and study the entropic timelike curvature dimension condition $\smash{\mathrm{TCD}_p^e(k,N)}$ with variable Ricci curvature bound $k$. This provides a unified synthetic approach to general relativistic energy conditions, including $\bullet$ the Hawking-Penrose strong energy condition $\mathrm{Ric}\geq 0$, or more generally $\mathrm{Ric}\geq K$ for constant $K\in\textbf{R}$, in all timelike directions, $\bullet$ the weak energy condition $\mathrm{Ric} \geq \mathrm{scal} - \Lambda$ in all timelike directions, and $\bullet$ the null energy condition $\smash{\mathrm{Ric} \geq 0}$ in all null directions. Our approach also allows for the synthetic quantification of asymptotic conditions or integral controls on the timelike Ricci curvature. For example, we give a nonsmooth generalization of a timelike diameter estimate of Frankel-Galloway (and Schneider), and of a Hawking-type singularity theorem which requires only that the negative Ricci curvature have small enough integral relative to the maximal mean curvature of an achronal slice. As further applications, we discuss the stability of our notion and provide timelike geometric inequalities. To obtain sharp constants in the latter, we develop the localization paradigm in the variable $k$ framework.

Timelike Ricci bounds for low regularity spacetimes by optimal transport

Optimal transport and timelike lower Ricci curvature bounds on Finsler spacetimes

Causal convergence conditions through variable timelike Ricci curvature bounds

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

A sharp isoperimetric-type inequality for Lorentzian spaces satisfying timelike Ricci lower bounds

Rényi's entropy on Lorentzian spaces. Timelike curvature-dimension conditions

The equivalence of smooth and synthetic notions of timelike sectional curvature bounds

Ricci flow from some spaces with asymptotically cylindrical singularities

Gravity from thermodynamics: optimal transport and negative effective dimensions

On the Optimal Regularity Implied by the Assumptions of Geometry I: Connections on Tangent Bundles

Gradient Ricci Solitons on Spacelike Hypersurfaces of Lorentzian Manifolds Admitting a Closed Conformal Timelike Vector Field

Alexandrov's Patchwork and the Bonnet-Myers Theorem for Lorentzian length spaces

A Uniform Sobolev Inequality under Ricci Flow

Displacement convexity of Boltzmann's entropy characterizes the strong energy condition from general relativity

Metric Measure Spaces and Synthetic Ricci Bounds -- Fundamental Concepts and Recent Developments

A Riemannian geometric approach for timelike and null spacetime geodesics

Lower Bound of Ricci Flow's Existence Time

On Smoothness of Timelike Maximal Cylinders in Three-Dimensional Vacuum Spacetimes

A regular metric does not ensure the regularity of spacetime