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.

Rigidity of Travelling Times for Strictly Convex Obstacles in Riemannian Manifolds

Recovering Obstacles from their Travelling Times

Linear Bounds for the Lengths of Geodesics on Manifolds With Curvature Bounded Below

Lipschitz Stability of Travel Time Data

Prescribing curvatures on three dimensional Riemannian manifolds with boundaries

Curvature-dimension condition, rigidity theorems and entropy differential inequalities on Riemannian manifolds

Llarull type theorems on complete manifolds with positive scalar curvature

Rigidity Theorems for Diameter Estimates of Compact Manifold with Boundary

Dimension constraints in some problems involving intermediate curvature

Causal convergence conditions through variable timelike Ricci curvature bounds

Linearization in incompatible elasticity for general ambient spaces

Ricci curvature bounds and rigidity for non-smooth Riemannian and semi-Riemannian metrics

Obstructions to distinguished Riemannian metrics via Lorentzian geometry

Failure of curvature-dimension conditions on sub-Riemannian manifolds via tangent isometries

The $L^{3/2}$-norm of the scalar curvature under the Ricci flow on a 3-manifold

Rigidity of CR Morphisms

Complete Riemannian 4-manifolds with uniformly positive scalar curvature

Boundary rigidity of 3D CAT(0) cube complexes

Glued spaces and lower Ricci curvature bounds

Rigidity of compact quasi-Einstein manifolds with boundary

The Lorentzian scattering rigidity problem and rigidity of stationary metrics