A lower semicontinuous time separation function for $C^0$ spacetimes

Abstract

The time separation function (or Lorentzian distance function) is a fundamental object used in Lorentzian geometry. For smooth spacetimes it is known to be lower semicontinuous, and in fact, continuous for globally hyperbolic spacetimes. Moreover, an axiom for Lorentzian length spaces - a synthetic approach to Lorentzian geometry - is the existence of a lower semicontinuous time separation function. Nevertheless, the usual time separation function is $\text{not}$ necessarily lower semicontinuous for $C^0$ spacetimes due to bubbling phenomena. In this paper, we introduce a class of curves called "nearly timelike" and show that the time separation function for $C^0$ spacetimes is lower semicontinuous when defined with respect to nearly timelike curves. Moreover, this time separation function agrees with the usual one when the metric is smooth. Lastly, sufficient conditions are found guaranteeing the existence of a nearly timelike maximizer between two points in a $C^0$ spacetime.

18 pages. v3 agrees with published version

References in corpus (25)

• Causality theory for closed cone structures with applications
• On Lorentzian causality with continuous metrics
• Global hyperbolicity for spacetimes with continuous metrics
• Timelike completeness as an obstruction to $C^0$-extensions
• Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications
• Inextendibility of spacetimes and Lorentzian length spaces
• Some Remarks on the $C^0$-(in)extendibility of Spacetimes
• Null distance and convergence of Lorentzian length spaces
• Maximizers in Lipschitz spacetimes are either timelike or null
• The future is not always open
• On the causal hierarchy of Lorentzian length spaces
• A review of Lorentzian synthetic theory of timelike Ricci curvature bounds
• On the proof of the $C^0$-inextendibility of the Schwarzschild spacetime
• The splitting theorem for globally hyperbolic Lorentzian length spaces with non-negative timelike curvature
• Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds
• Aspects of $C^0$ causal theory
• The Big Bang is a Coordinate Singularity for $k=-1$ Inflationary FLRW Spacetimes
• Lorentz meets Lipschitz
• Time functions on Lorentzian length spaces
• Causality theory of spacetimes with continuous Lorentzian metrics revisited
• Gluing constructions for Lorentzian length spaces
• Remarks on the cosmological constant appearing as an initial condition for Milne-like spacetimes
• On the asymptotic assumptions for Milne-like spacetimes
• A conformal infinity approach to asymptotically ${\text{AdS}}_2\times S^{n-1}$ spacetimes
• Gluing of Lorentzian length spaces and the causal ladder

Cited by in corpus (1)

• The representation of spacetime through time functions