Causality theory for closed cone structures with applications

TL;DR

This paper generalizes causality theory to non-round, non-regular cone structures on manifolds, establishing key results like causal hierarchy, singularity theorems, and the existence of smooth time functions under weak regularity assumptions.

Contribution

It introduces a causality framework for upper semi-continuous cone distributions, extending classical Lorentzian results to broader, less regular settings with new proofs and concepts.

Findings

Proves equivalence of stable causality, K-causality, and time functions.

Establishes that continuous increasing functions imply smooth ones.

Characterizes stable spacetimes and embeddability in Minkowski space.

Abstract

We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the validity of most results of the regular Lorentzian causality theory including causal ladder, Fermat's principle, notable singularity theorems in their causal formulation, Avez-Seifert theorem, characterizations of stable causality and global hyperbolicity by means of (smooth) time functions. For instance, we give the first proof for these structures of the equivalence between stable causality, $K$-causality and existence of a time function. The result implies that closed cone structures that admit continuous increasing functions also admit smooth ones. We also study proper cone structures, the fiber bundle analog of proper cones. For them we obtain most results on domains of dependence. Moreover, we prove that horismos and Cauchy horizons are generated by lightlike geodesics, the latter being defined through the achronality property. Causal geodesics and steep temporal functions are obtained with a powerful product trick. The paper also contains a study of Lorentz-Minkowski spaces under very weak regularity conditions. Finally, we introduce the concepts of stable distance and stable spacetime solving two well known problems (a) the characterization of Lorentzian manifolds embeddable in Minkowski spacetime, they turn out to be the stable spacetimes, (b) the proof that topology, order and distance (with a formula a la Connes) can be represented by the smooth steep temporal functions. The paper is self-contained, in fact we do not use any advanced result from mathematical relativity.