The representation of spacetime through time functions

Abstract

The properties of the stable distance over stable spacetimes are used as a reference to propose a simplified, abstract notion of spacetime. The discussion shows that spacetime, with its topology, causal order and (upper semi-continuous) Lorentzian distance, can be introduced in a general and minimalistic way. Specifically, it is shown that spacetime can be represented as nothing more than a family of functions defined over an arbitrary set, the functions being a posteriori interpreted as rushing time functions. The proof makes use of the product trick which reduces causality and metricity to causality in a space with one additional dimension, so leading to a kind of unification for the notions of time function and proper time. Ultimately, our results show that time fully characterizes spacetime.

Latex, 35 pages. v2: Added Remark 5.12, other minimal changes

References in corpus (25)

• Causality theory for closed cone structures with applications
• On Lorentzian causality with continuous metrics
• Convex neighborhoods for Lipschitz connections and sprays
• An algebraic formulation of causality for noncommutative geometry
• Connes duality in Lorentzian geometry
• An optimal transport formulation of the Einstein equations of general relativity
• Normally preordered spaces and utilities
• Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications
• A noncommutative view on topology and order
• The causal ladder and the strength of K-causality. II
• The Lorentzian distance formula in noncommutative geometry
• The distance formula in algebraic spacetime theories
• A regularisation approach to causality theory for $C^{1,1}$-Lorentzian metrics
• Maximizers in Lipschitz spacetimes are either timelike or null
• The representation of spacetime through steep time functions
• Time functions as utilities
• On the causal hierarchy of Lorentzian length spaces
• 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
• Convexity and quasi-uniformizability of closed preordered spaces
• Global Hyperbolicity through the Eyes of the Null Distance
• Causality theory of spacetimes with continuous Lorentzian metrics revisited
• Lorentzian manifolds properly isometrically embeddable in Minkowski spacetime
• A lower semicontinuous time separation function for $C^0$ spacetimes
• Destructuring Physics: A functional derivation of spacetime

Cited by in corpus (1)

• Results on Lorentzian metric spaces