The Null distance encodes causality
arXiv:2208.01975 · doi:10.1063/5.0118979
Abstract
A Lorentzian manifold endowed with a time function, , can be converted into a metric space using the null distance, , defined by Sormani and Vega. We show that if the time function is a proper regular cosmological time function as studied by Andersson, Galloway and Howard, and also by Wald and Yip, or if, more generally, it satisfies the anti-Lipschitz condition of Chruściel, Grant and Minguzzi, then the causal structure is encoded by the null distance in the following sense: As a consequence, in dimension , , we prove that if there is a bijective map between two such spacetimes, , which preserves the cosmological time function, for any , and preserves the null distance, for any , then there is a Lorentzian isometry between them, . This yields a canonical procedure allowing us to convert such spacetimes into unique metric spaces with causal structures and time functions. This will be applied in our upcoming work to define Spacetime Intrinsic Flat Convergence.
arXiv comment24 pages, 4 figures
References in corpus (13)
- On Lorentzian causality with continuous metrics
- The Cosmological Time Function
- Null distance on a spacetime
- Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications
- Null distance and convergence of Lorentzian length spaces
- Maximizers in Lipschitz spacetimes are either timelike or null
- On differentiability of volume time functions
- Length structures on manifolds with continuous Riemannian metrics
- On the causal hierarchy of Lorentzian length spaces
- Properties of the Null Distance and Spacetime Convergence
- A Lorentzian analog for Hausdorff dimension and measure
- Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems
- Oberwolfach Report: Spacetime Intrinsic Flat Convergence