{'fraction_non_alphanumeric': 0.05247769319957655, 'fraction_numerical': 0.015576952160104855, 'mean_word_length': 4.033747779751332, 'pattern_counts': {'":': 0, '<': 14, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 6, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Timelike Completeness as an Obstruction to C0-Extensions

The study of low regularity (in-)extendibility of Lorentzian manifolds is motivated by the question whether a given solution to the Einstein equations can be extended (or is maximal) as a weak solution. In this paper we show that a timelike complete and globally hyperbolic Lorentzian manifold is C0-inextendible. For the proof we make use of the result, recently established by Sämann (Ann Henri Poincaré 17(6):1429–1455, 2016), that even for continuous Lorentzian manifolds that are globally hyperbolic, there exists a length-maximizing causal curve between any two causally related points.


Introduction
A smooth Lorentzian manifold is said to be C k -inextendible if it cannot be isometrically embedded as a proper subset into another Lorentzian manifold of the same dimension with a C k -regular metric. It is a classical result that a smooth timelike geodesically complete Lorentzian manifold is C 2 -inextendible (see e.g. [2,Proposition 6.16]). In this paper we prove

Theorem 1. A smooth (at least C 2 ) time-oriented Lorentzian manifold that is timelike geodesically complete and globally hyperbolic is C 0 -inextendible.
This fundamental inextendibility result is an almost immediate consequence of the following. The study of extensions of Lorentzian manifolds arises naturally in Einstein's theory of general relativity as the classical question, whether a given Lorentzian manifold, a solution to the Einstein equations, can be extended to a bigger solution. Traditionally, this question has been addressed mainly for extensions with a Lorentzian metric of regularity at least C 2 . The statement that a given solution of the Einstein equations is inextendible as a Lorentzian manifold of a certain regularity entails in particular that the solution is inextendible (or 'maximal') as a solution of the considered regularity.
For a Lorentzian manifold to be a strong solution of the Einstein equations, the Lorentzian metric has to be at least twice differentiable. For weak solutions to the Einstein equations, one requires that the metric is at least continuous and, in some coordinate system, the Christoffel symbols are locally in L 2 . Thus, in order to rule out a continuation of a given solution of Einstein's equations as a weak solution it suffices to show that it is inextendible as a Lorentzian manifold with a continuous metric and Christoffel symbols that are locally square integrable.
The study of low regularity inextendibility is in particular relevant for the strong cosmic censorship conjecture in general relativity. In a formulation according to Christodoulou (see the prologue of [4]) this states that for generic asymptotically flat (or compact) initial data for the Einstein equations the corresponding maximal globally hyperbolic development is inextendible as a weak solution to the Einstein equations. As discussed above, this would follow from showing that for generic asymptotically flat (or compact) initial data for the Einstein equations the corresponding maximal globally hyperbolic development is inextendible as a Lorentzian manifold with a continuous metric and Christoffel symbols locally in L 2 . One way to paraphrase this conjecture is to say that general relativity is generically a deterministic theory. For more on this conjecture we refer the reader to the introductions of [4,8,13,18] and references therein. A further motivation for the study of low regularity inextendibility is to give a classification of the strength of the breakdown of the metric, i.e., the necessary loss of regularity of an extension. If the breakdown of the metric signals a 'singularity', then this would correspond to a classification of the strength of singularities.
A systematic study of low-regularity inextendibility was started in [18], which develops some general methods for proving the C 0 -inextendibility of Lorentzian manifolds and applies them to show in particular the C 0 -inextendibility of the maximal analytic Schwarzschild spacetime as well as that of the Minkowski spacetime. The work [13] extends these methods and investigates the extendibility properties of the open cosmological FLRW spacetimes, finding that so called 'Milne-like' FLRW spacetimes are C 0 -extendible while establishing the C 0 -inextendibility of 'non-Milne-like' FLRW spacetimes in the spherically symmetric class of extension. In all of the inextendibility results it is important to understand the obstruction to extensions stemming from the region of spacetime which, in a vague sense, is 'timelike asymptotically complete'. In the Schwarzschild spacetime this would be the exterior region of the black hole, in Minkowski space the whole spacetime, and in the open cosmological spacetimes the future of any Cauchy hypersurface. The methods developed in [18] to capture the obstruction to C 0 -extensions of these regions require future divergence 1 and future one-connectedness 2 (at least some asymptotic form of it) of the spacetime. Especially the property of future one-connectedness, if it holds, is often quite difficult to prove. In this paper we circumvent the property of future one-connectedness by proving that the properties of global hyperbolicity and timelike geodesic completeness also ensure the C 0 -inextendibility of the spacetime, thus enlarging the available toolbox for proving low-regularity inextendibility. In particular, Theorem 1 applies directly to the spacetimes 1 A spacetime (M, g) is said to be future divergent iff for every future inextendible timelike curve γ : [0, ∞) → M the timelike distance d γ (0), γ (s) between γ (0) and γ (s) goes to infinity for s → ∞. 2 A spacetime (M, g) is said to be future one-connected iff any two future directed timelike curves with the same endpoints are homotopic with fixed endpoints via timelike curves. arising dynamically from perturbed Minkowski initial data, [5], and from perturbed de Sitter initial data, [1,10,11].
The proof of Theorem 2 makes use of the following theorem, which was recently proved in the very nice paper of Sämann [17].

Theorem 3 ([17, Proposition 6.4]). Let (M, g) be a time-oriented globally hyperbolic
Lorentzian manifold with a continuous metric. Let q ∈ J + ( p). Then there is a causal curve γ from p to q which has length greater than or equal to that of all other causal curves from p to q. 3 The analogue of this theorem for Lorentzian manifolds (M, g) with g at least in C 2 is a classical result, see for example [2]. Sämann's proof is more in the spirit of Seifert's original proof [19] in the smooth setting, which is based on the compactness of C( p, q), the space of causal curves from p to q, in a suitable topology. In Sect. 2, we include a slightly more direct proof of Theorem 3 along the lines of [2, Proposition 14.7], based on limit maximizing curves. Both proofs are ultimately closely related, and require the upper semicontinuity of the length functional in appropriate settings.
The Riemannian analogue of Theorem 3, which states that for any two points in a complete Riemannian manifold with a continuous metric, there exists a length-minimizing curve connecting these points, is a well-known textbook result, see for example Theorem 2.5.23 in [3]. Removing the completeness assumption, it still holds that for any point on a Riemannian manifold with a continuous metric one can find a small neighborhood, such that any two points in this neighborhood can be connected by a length-minimizing curve.
With regard to Theorem 1, it is instructive to compare the Riemannian case and the Lorentzian case. Given a complete Riemannian manifold (M, g), it also holds that it is C 0 -inextendible: assuming there exists a C 0 -extension, one considers a neighborhood of a boundary point and finds a length-minimizer that connects a point in M to this boundary point. The portion of this curve in M has to be an inextendible geodesic, which by the assumption of completeness has to have infinite length. This gives the contradiction.
In the Lorentzian case one proceeds analogously, one considers a length-maximizer connecting the boundary point with a causally related point in M. The difference now is that in order to obtain the contradiction, one has to rule out the subtle possiblility that the part of this length-maximizer that is contained in M is a null geodesic (note that this length-maximizer might have non-trivial extent in the complement of M). It is here that we make use of the global hyperbolicity of M.
The proofs of Theorems 1 and 2 are given in Sect. 3, where we also conclude with some applications.

Preliminaries
In this section we introduce some basic causal theoretic notions relevant to the C 0 setting. Also, for the convenience of the reader, we present a rather basic 'barebones' proof of the existence of maximizers in this setting.
By a C k spacetime we mean a smooth, connected, and paracompact d +1 dimensional manifold M, equipped with a C k Lorentzian metric g, such that (M, g) is time-orientable. Henceforth, throughout this section, we restrict attention to C 0 spacetimes. For causal theoretic notions used here, we will by and large follow the development of Chruściel [6] and Chruściel and Grant [7]. Fix a complete Riemannian metric h on M. A curve γ : I → M is said to be locally Lipschitzian if given any compact K ⊂ I , there is a constant C(K ) such that for all s 1 , s 2 ∈ K , we have where d h is the Riemannian distance function on (M, h). (As shown in [6], this definition is independent of the choice of the complete Riemannian metric.) By Rademacher's theorem, a locally Lipschitzian curve γ is differentiable almost everywhere and γ ∈ L ∞ loc . A locally Lipschitzian curve γ : I → M is said to be future timelike or future causal if its derivative is future timelike or future causal, respectively, almost everywhere. 4 For compact intervals I , the length of γ is given by, L(γ ) = I −g(γ , γ ). It is a useful fact, shown in [6], that any causal curve γ : I → M can be reparameterized with respect to h-arc length, so that γ is (uniformly) Lipschitzian in this parameterization.
Let U be an open set about p. J + ( p, U ) denotes the set of points q ∈ U which can be reached from p via a future causal curve which is contained in where the supremum is taken over all future causal curves joining p to q.
A C 0 spacetime (M, g) is strongly causal if given any p ∈ M and any neighborhood We now present two lemmas, the first of which establishes some simple estimates (see also [6, Lemma 2.6.5]). Put γ (a)) .
Taking square roots and integrating, we again see that, by shrinking U further, the second inequality in (2.1) can be satisfied for all causal curves γ in U .
Taking limits of causal curves is fundamental to causal theory. Following Minguzzi [14], we say that the sequence of future causal curves γ n : We now make use of the limit curve lemma in [7], to obtain the following. A key step in the proof of the existence of maximizers is recognizing that the length functional is upper semicontinuous. This was first proved by Penrose [16] for strongly causal C 2 spacetimes. It was later observed in [9,12] that the uniform convergence on compact subsets enables one to prove upper semicontinuity in spacetimes without assuming strong causality. We now present a proof of upper semicontinuity for C 0 spacetimes; see [17, Theorem 6.3] for a closely related proof in a slightly different setting. Proof. By Proposition 1.2 of [7], there is a family of smooth Lorentzian metrics {g : > 0} such that g is wider than g (i.e., g(X, X ) ≤ 0, X = 0 ⇒ g (X, X ) < 0), g converges uniformly on compact subsets of M to g as → 0, and for all X ∈ T M with |X | h = 1, we have |g(X, X ) − g (X, X )| < .
Hence, the curves γ and γ n are future causal curves in (M, g ). By Lemma 2.1, there exists C > 0 and a partition a = s 0 < s 1 < · · · < s k = b of [a, b] such that, for i = 0, . . . , k − 1, γ ([s i , s i+1 ]) lies in a neighborhood V i with the property that every g-causal curve in V i has h-length less than C. Now let σ be a g-causal curve in V parameterized by h-arclength, then a.e., |g(σ , σ )| < |g (σ , σ )| + < |g (σ , σ )| + √ and so Switching the roles of g and g , we establish that It follows that, 3) along with the fact that the length functional is upper semicontinuous in the smooth spacetime (M, g ). Indeed, Corollary 2.4.11 in [6] implies that Lipschitz causal curves are continuous causal curves as defined in [14]. Upper semicontinuity for Lipschitz curves in smooth spacetimes then follows from [14, Theorem 2.4(a)] (see also [16]).
Proof. Let us first observe that the Lorentzian distance function d is finite-valued. Let q ∈ J + ( p). To prove that d( p, q) is finite, cover the compact set J + ( p) ∩ J − (q) with a finite number of causally convex neighborhoods {V 1 , . . . , V k } such that d V i is bounded by 1 for all i = 1, . . . , k (cf., Lemma 2.1). Any future causal curve λ from p to q can only enter each V i once so L(λ) ≤ k. Since γ was arbitrary, we have d( p, q) ≤ k. Now by definition of d, there is a sequence of future causal curves γ n : [0, s n ] → M from p to q, parameterized with respect to h-arc length, which satisfy L(γ n ) ≥ d( p, q)− n −1 . By passing to a subsequence if necessary, we may assume by Lemma 2.2 that the sequence γ n converges uniformly to a future causal curve γ : [0, s * ] → M from p to q. Then Proposition 2.3 (and the remark following its proof) gives Thus γ is a maximizer.
We note that the proof of Theorem 2.4 does not make use of the lower semicontinuity of the Lorentzian distance function; compare, for example, the proof of Proposition 14.7 in [2] in the smooth case. In fact, lower semicontinuity does not hold in the C 0 setting. This may be seen as a result of the 'bubbling' phenomena discussed in [7]; see especially [7,Example 1.11].

C 0 -Inextendibility
In this section we will use the existence of maximizers (Theorem 2.4) to prove that timelike geodesically complete globally hyperbolic spacetimes are C 0 -inextendible.
A C 0 spacetime (M ext , g ext ) is a C 0 -extension of a spacetime (M, g) if they are of the same dimension and (M, g) embeds smoothly and isometrically as a proper subset of (M ext , g ext ). If no C 0 -extension of (M, g) exists, then we say that (M, g) is C 0inextendible. Definition 3.1. Given a C 0 -extension (M ext , g ext ) of (M, g), we make the following definitions (see [13]). We will need to make use of the following basic result, which is proved in [18] (see also [13]). Therefore, if one can find a C 0 -extension (M ext , g ext ) of (M, g), then one can also find a smooth timelike curve which leaves M and enters M ext . In fact, if (M ext , g ext ) is a C 2 -extension of (M, g), then, by using normal neighborhoods, one can find timelike geodesics which leave M and enter M ext . The next theorem is our key result. It says that when (M ext , g ext ) is a C 0 -extension of a globally hyperbolic spacetime (M, g), then one can still find timelike geodesics which leave M and enter M ext . Here η μν are the usual components of the Minkowski metric and g μν are the components of g ext with respect to (x 0 , x 1 , . . . , x d ). Note that we still assume the entire negative x 0 -axis lies inside M, but we will be mainly interested in the curve γ (which makes up 1/4 of the negative x 0 -axis).
Consider the following smooth Lorentzian metrics on U By continuity of the metric, there is an 0 > 0 such that for any 0 < < 0 and any X ∈ T U , we have (cf., [7,Proposition 1.10], For 0 < < 0 we consider V ⊂ U which is given by We show that (V , g ext | V ) is globally hyperbolic: First note that, by [6,Corollary 2.4.11], Lipschitz causal curves in (V , η (1/2) ) can be closely approximated by piecewise smooth causal curves. Hence, since (V , η (1/2) ) is strongly causal and η (1/2) is wider than g ext , it is almost immediate that (V , g ext | V ) is strongly causal. Now fix r, s ∈ V with s ∈ J + g ext (r, V ). We have to show D : , which is clearly compact in U . Hence, it is sufficient to show that D is closed in V . This follows from an application of Lemma 2.2.
By Theorem 2.4, there is a maximizer α : [0, 2] → V from q := γ (0) = φ −1 (−δ, 0, . . . , 0) to p = γ (1). Since α is a maximizer, we know that Now α begins in the physical spacetime (M, g) and ends at p ∈ ∂ + M. Therefore, we can break α into two curves σ : [0, 1) → V and λ : [1,2] Since α is a maximizer in V , we know that σ is a maximizer in V . Since σ lies inside M, it follows from [15,Proposition 34,p. 147] (which can be extended to Lipschitz causal curves using [6,Proposition 2.4.5]) that, up to parametrization, σ is either a timelike or a null geodesic. (In the special case α [0, 2) ⊂ M, it's easy to conclude that α| [0,2) is a timelike geodesic with endpoint p.) Thus it suffices to show that σ cannot be a null geodesic. So let us suppose that σ is a null geodesic. We are going to obtain a contradiction by showing that, for sufficiently small , we will have We will do this by putting a lower bound on L(γ ) and an upper bound on L(λ). To simplify the estimates, we will use the fact that γ and λ can be reparameterized with respect to the x 0 coordinate. We can do this since for a small enough neighborhood, x 0 is a time function (cf. [6]).

Upper Bound on L(λ):
Let us write λ(t) = φ −1 t, x 1 (t), . . . , x d (t) . Let −a ∈ (−δ, 0) denote the starting parameter value of λ with respect to the x 0 -parameterization. Then Fig. 1. λ(−a) lies to the future of the wide cone and is on or outside the "narrow" cone The third line follows from |g μν (x) − η μν | < for all x ∈ V and the fourth line follows from the fact that |ẋ i (t)| < 2, which is a consequence of the bound (3.5). Now the bounds on L(λ) and L(γ ) and the fact that L(λ) ≥ L(γ ) gives Equivalently, Now the aim is show that there is a constant C < 1 such that a/δ ≤ C and that this constant C is independent of . Then by choosing small enough, we will contradict the above inequality.
Proof of Theorems 1 and 2 in the introduction. Lemma 3.2 and Theorem 3.3 (along with its time dual) together imply Theorem 2. Now assume (M, g) is timelike geodesically complete and globally hyperbolic. If (M ext , g ext ) is a C 0 -extension, then by Theorem 2 there exists a timelike geodesic γ in M with endpoint on the boundary. Since γ has infinite length, this contradicts Lemma 2.1.
It is perhaps worth noting that the full strength of global hyperbolicity is not needed in Theorem 1. Indeed, nowhere in the proof of Theorem 3.3 is strong causality used, only the compactness of 'causal diamonds'.
Theorem 1 directly applies to the spacetimes arising in the proof of the stability of Minkowski and de Sitter space, by virtue of their global hyperbolicity and timelike completeness: The spacetimes constructed in [5] which arise dynamically from perturbed Minkowski initial data are C 0 -inextendible. (2) The spacetimes constructed in [1,10,11] which arise dynamically from perturbed de Sitter initial data are C 0 -inextendible.
We also note that Theorem 3.3 implies the following. For globally hyperbolic, future timelike geodesically complete spacetimes, we then have the following structural result for ∂ − M. Corollary 3.7. Let (M, g) be a smooth (at least C 2 ) globally hyperbolic spacetime which is future timelike geodesically complete. Suppose (M ext , g ext ) is a C 0 -extension of (M, g). Then ∂ − M is an achronal (with respect to smooth timelike curves) topological hypersurface.
Proof. By Theorem 3.6, we know that ∂ + M = ∅. The corollary is then an immediate consequence of Theorem 2.6 in [13].
We note further that, since Theorem 3.6 avoids the future one-connectedness assumption, Theorem 3.2 in [13] now extends to FLRW type models with compact Cauchy surfaces.