Uniqueness and non-uniqueness results for spacetime extensions

Abstract

Given a function $f:A\to {\mathbb{R}}^n$ of a certain regularity defined on some open subset $A\subseteq {\mathbb{R}}^m$, it is a classical problem of analysis to investigate whether the function can be extended to all of ${\mathbb{R}}^m$ in a certain regularity class. If an extension exists and is continuous, then certainly it is uniquely determined on the closure of $A$. A similar problem arises in general relativity for Lorentzian manifolds instead of functions on ${\mathbb{R}}^m$. It is well-known, however, that even if the extension of a Lorentzian manifold $(M,g)$ is analytic, various choices are in general possible at the boundary. This paper establishes a uniqueness condition for extensions of globally hyperbolic Lorentzian manifolds $(M,g)$ with a focus on low regularities: any two extensions which are anchored by an inextendible causal curve $\gamma :[-1,0)\to M$ in the sense that $\gamma$ has limit points in both extensions, must agree locally around those limit points on the boundary as long as the extensions are at least locally Lipschitz continuous. We also show that this is sharp: anchored extensions which are only Hölder continuous do in general not enjoy this local uniqueness result.

arXiv comment36 pages; v2: version accepted for publication in IMRN, minor changes

References in corpus (10)

• Globally hyperbolic spacetimes can be defined as "causal" instead of "strongly causal"
• On Lorentzian causality with continuous metrics
• On the Existence of a Maximal Cauchy Development for the Einstein Equations - a Dezornification
• Timelike completeness as an obstruction to $C^0$-extensions
• Maximizers in Lipschitz spacetimes are either timelike or null
• The future is not always open
• Elements of causality theory
• On the proof of the $C^0$-inextendibility of the Schwarzschild spacetime
• On geodesics in low regularity
• Some regularity results for Lorentz-Finsler spaces

Cited by in corpus (1)

• An extendible spacetime without closed timelike curves whose every extension contains closed timelike curves