Time functions on Lorentzian length spaces

Abstract

In general relativity, time functions are crucial objects whose existence and properties are intimately tied to the causal structure of a spacetime and also to the initial value formulation of the Einstein equations. In this work we establish all fundamental classical existence results on time functions in the setting of Lorentzian (pre-)length spaces (including causally plain continuous spacetimes, closed cone fields and even more singular spaces). More precisely, we characterize the existence of time functions by $K$-causality, show that a modified notion of Geroch's volume functions are time functions if and only if the space is causally continuous, and lastly, characterize global hyperbolicity by the existence of Cauchy time functions, and Cauchy sets. Our results thus inevitably show that no manifold structure is needed in order to obtain suitable time functions.

arXiv commentAccepted version. 40 pages, 2 figures

References in corpus (24)

• On smooth Cauchy hypersurfaces and Geroch's splitting theorem
• Quantum Gravity from Causal Dynamical Triangulations: A Review
• Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes
• Forks in the Road, on the Way to Quantum Gravity
• The causal set approach to quantum gravity
• Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions
• A Causal Order for Spacetimes with $C^0$ Lorentzian Metrics: Proof of Compactness of the Space of Causal Curves
• Loop and spin foam quantum gravity: a brief guide for beginners
• The Cosmological Time Function
• An optimal transport formulation of the Einstein equations of general relativity
• Lyapounov Functions of closed Cone Fields: from Conley Theory to Time Functions
• Global hyperbolicity for spacetimes with continuous metrics
• Null distance on a spacetime
• K-causality coincides with stable causality
• Inextendibility of spacetimes and Lorentzian length spaces
• Null distance and convergence of Lorentzian length spaces
• Causal continuity in degenerate spacetimes
• On differentiability of volume time functions
• The future is not always open
• Time functions as utilities
• Causal Fermion Systems: A Primer for Lorentzian Geometers
• Properties of the Null Distance and Spacetime Convergence
• Aspects of $C^0$ causal theory
• Causality theory of spacetimes with continuous Lorentzian metrics revisited

Cited by in corpus (6)

• Causality theory of spacetimes with continuous Lorentzian metrics revisited
• A Toponogov globalisation result for Lorentzian length spaces
• A lower semicontinuous time separation function for $C^0$ spacetimes
• Spacetime closedness theorem for homogeneous Lorentzian foliations
• Results on Lorentzian metric spaces
• A conformal Hopf-Rinow theorem for semi-Riemannian spacetimes