A note on the Lorentzian splitting theorem
Gregory J. Galloway
TL;DR
The paper addresses the Lorentzian splitting problem under a weakened Ricci curvature condition, requiring $\liminf_{t \to \infty} \int_0^{t} \mathrm{Ric}(\alpha'(\hat{r}),\alpha'(\hat{r}))\, d\hat{r} \ge 0$ along timelike rays and the existence of a timelike line. It adopts a causal-geometric approach using achronal limits and ray horospheres, alongside mean-curvature in the support sense and the geometric maximum principle, to derive a local product near a timelike line and then a global splitting. It yields a global isometry $(M,g) \cong (\mathbb{R} \times S, -dt^2 + h)$ with $S$ a complete spacelike Cauchy hypersurface, determining structure via foliations by totally geodesic hypersurfaces. By removing the bounded Ricci condition required in prior work, the result broadens Lorentzian splitting to globally hyperbolic spacetimes under weaker energy conditions and suggests extensions to non-globally hyperbolic or low-regularity settings.
Abstract
We present a version of the Lorentzian splitting theorem under a weakened Ricci curvature condition. The proof makes use of basic properties of achronal limits [19], [20], together with the geometric maximum principle for $C^0$ spacelike hypersurfaces in [1]. Our version strengthens a related result in [29] in the globally hyperbolic setting by removing a certain boundedness condition on the Ricci curvature.
