Abstract:A semi-Riemannian manifold is said to satisfy $R\ge K$ (or $R\le K$) if spacelike sectional curvatures are $\ge K$ and timelike ones are $\le K$ (or the reverse). Such spaces are abundant, as warped product constructions show; they include, in particular, big bang Robertson-Walker spaces. By stability, there are many non-warped product examples. We prove the equivalence of this type of curvature bound with local triangle comparisons on the signed lengths of geodesics. Specifically, $R\ge K$ if and only if locally the signed length of the geodesic between two points on any geodesic triangle is at least that for the corresponding points of its model triangle in the Riemannian, Lorentz or anti-Riemannian plane of curvature $K$ (and the reverse for $R\le K$). The proof is by comparison of solutions of matrix Riccati equations for a modified shape operator that is smoothly defined along reparametrized geodesics (including null geodesics) radiating from a point. Also proved are semi-Riemannian analogues to the three basic Alexandrov triangle lemmas, namely, the realizability, hinge and straightening lemmas. These analogues are intuitively surprising, both in one of the quantities considered, and also in the fact that monotonicity statements persist even though the model space may change. Finally, the algebraic meaning of these curvature bounds is elucidated, for example by relating them to a curvature function on null sections.

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

On curvature bounds in Lorentzian length spaces

A Toponogov globalisation result for Lorentzian length spaces

Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds

Lorentz and semi-Riemannian spaces with Alexandrov curvature bounds

Lorentzian metric spaces and their Gromov-Hausdorff convergence

Bonnet-Myers rigidity theorem for globally hyperbolic Lorentzian length spaces

Lorentzian metric spaces and their Gromov–Hausdorff convergence

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

Non Hilbertian (Lorentzian) Length Spaces

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

Low regularity approach to Bartnik's conjecture

Generalized products and Lorentzian length spaces

Maximality and Cauchy developments of Lorentzian length spaces

Nonsmooth d'Alembertian for Lorentz distance functions

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

A synthetic null energy condition

Lorentzian metric spaces and GH-convergence: the unbounded case

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

A few notes on Lorentz spaces