
==== Front
Lett Math Phys
Lett Math Phys
Letters in Mathematical Physics
0377-9017
1573-0530
Springer Netherlands Dordrecht

38994398
1843
10.1007/s11005-024-01843-7
Article
Examples of cosmological spacetimes without CMC Cauchy surfaces
http://orcid.org/0000-0002-9989-132X
Ling Eric el@math.ku.dk

1
Ohanyan Argam 2
1 https://ror.org/035b05819 grid.5254.6 0000 0001 0674 042X Copenhagen Centre for Geometry and Topology (GeoTop), Department of Mathematical Sciences, University of Copenhagen, 2100 Copenhagen, Denmark
2 https://ror.org/03prydq77 grid.10420.37 0000 0001 2286 1424 Department of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090 Wien, Austria
9 7 2024
9 7 2024
2024
114 4 9623 2 2024
20 5 2024
21 6 2024
© The Author(s) 2024
2024
https://creativecommons.org/licenses/by/4.0/ Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
CMC (constant mean curvature) Cauchy surfaces play an important role in mathematical relativity as finding solutions to the vacuum Einstein constraint equations is made much simpler by assuming CMC initial data. However, Bartnik (Commun Math Phys 117(4):615–624, 1988) constructed a cosmological spacetime without a CMC Cauchy surface whose spatial topology is the connected sum of two three-dimensional tori. Similarly, Chruściel et al. (Commun Math Phys 257(1):29–42, 2005) constructed a vacuum cosmological spacetime without CMC Cauchy surfaces whose spatial topology is also the connected sum of two tori. In this article, we enlarge the known number of spatial topologies for cosmological spacetimes without CMC Cauchy surfaces by generalizing Bartnik’s construction. Specifically, we show that there are cosmological spacetimes without CMC Cauchy surfaces whose spatial topologies are the connected sum of any compact Euclidean or hyperbolic three-manifold with any another compact Euclidean or hyperbolic three-manifold. Analogous examples in higher spacetime dimensions are also possible. We work with the Tolman–Bondi class of metrics and prove gluing results for variable marginal conditions, which allows for smooth gluing of Schwarzschild to FLRW models.

Keywords

Cosmological spacetimes
CMC Cauchy surfaces
Tolman–Bondi metrics
Mathematics Subject Classification

83C20
53B30
53C50
http://dx.doi.org/10.13039/501100002808 Carlsbergfondet CF21-0680 Ling Eric http://dx.doi.org/10.13039/501100001732 Danmarks Grundforskningsfond CPH-GEOTOP-DNRF151 Ling Eric http://dx.doi.org/10.13039/501100002428 Austrian Science Fund Grant DOI 10.55776/P-33594 Ohanyan Argam issue-copyright-statement© Springer Nature B.V. 2024
==== Body
pmcIntroduction

In this section, we present the sources of interest for “no-CMC” cosmological spacetimes, i.e., cosmological spacetimes without any CMC Cauchy surfaces. The flow of the presentation follows [12], where we refer to for many more details, especially regarding historical developments. Let us begin by recalling the cosmological version of the Hawking–Penrose singularity theorem.1

Theorem 1.1

(Cosmological Hawking–Penrose singularity theorem). Let (M, g) be a globally hyperbolic spacetime, with compact Cauchy surfaces, satisfying the strong energy condition. (Such spacetimes are sometimes called cosmological.) If (M, g) satisfies the generic condition, i.e., along every inextendible causal geodesic γ, there exists a parameter t such that the tidal force operatorR:Tγ(t)M→Tγ(t)M,v↦R(v,γ′(t))γ′(t)

is not identically zero, then there are incomplete causal geodesics in M.

Observe that the assumption of genericity cannot be dropped: Indeed, take (S, h) to be any compact Riemannian manifold with Ric≥0, then (R×S,-dt2+h) satisfies all of the assumptions except for genericity and is causally geodesically complete. In 1988, Bartnik [2] conjectured that this theorem is rigid in the genericity assumption, i.e., that Lorentzian products are the only nongeneric counterexamples. More precisely, the conjecture states the following:

Conjecture 1.2

(Bartnik’s splitting conjecture). Let (M, g) be a globally hyperbolic spacetime with compact Cauchy surfaces satisfying the strong energy condition. If (M, g) is timelike geodesically complete, then (M, g) splits isometrically as a product (R×S,-dt2+h), where (S, h) is a compact Riemannian manifold.

While this conjecture has been proved over the years under various additional assumptions (we refer to [12] for a detailed discussion of these developments), the version as stated remains open to this day and is one of the most significant open problems in mathematical General Relativity.

In connection with Conjecture 1.2, Bartnik proved the following:

Theorem 1.3

[2] Let (M, g) be a globally hyperbolic spacetime, with compact Cauchy surfaces, satisfying the strong energy condition. If (M, g) is timelike geodesically complete, then (M, g) splits isometrically as a product (R×S,-dt2+h) if and only if there exists a constant mean curvature (CMC) Cauchy surface in M.

In [10], Dilts and Holst review the issue of the existence of CMC Cauchy surfaces in globally hyperbolic spacetimes with compact Cauchy surfaces and raise the question: When do spacetimes have CMC Cauchy surfaces? Motivated by this question, in [13], Galloway and the first named author proved the existence of a CMC Cauchy surface under the assumptions of compact Cauchy surfaces, future timelike geodesic completeness and nonpositive timelike sectional curvature. Clearly the latter assumption implies the strong energy condition. Therefore, they proposed the following conjecture:

Conjecture 1.4

[13] Let (M, g) be a globally hyperbolic, future timelike geodesically complete spacetime with compact Cauchy surfaces satisfying the strong energy condition. Then M contains a CMC Cauchy surface.

As discussed in [10], most existence results rely on barrier methods, see [14] for an application. However, a well-known example of Bartnik [2] shows that not all spacetimes with compact Cauchy surfaces satisfying the strong energy condition contain CMC Cauchy surfaces. Specifically, Bartnik constructs a timelike geodesically incomplete spacetime satisfying the remaining assumptions of Conjecture 1.2 that does not contain any CMC Cauchy surfaces. The rough procedure is as follows: Consider flat FLRW with T3 spacelike slices, cut out a small ball out of T3 and glue the spatial cylinder of Schwarzschild to it. Then extend Schwarzschild to one-half of its maximal extension, and glue a time-inverted copy of the resulting spacetime across one of the event horizons in Schwarzschild. The gluing of Schwarzschild to flat FLRW is done in the framework of Tolman–Bondi metrics, reducing the gluing of spacetimes to the smooth interpolation of functions. Using initial data gluing methods, Chruściel, Isenberg and Pollack construct a similar (vacuum) example obtained in [9]. To our knowledge, these are the only such examples which appear in the literature. The goal of this article is to provide additional ones, by generalizing Bartnik’s spacetime gluing construction.

Our generalization of Bartnik’s example is twofold: First, we extend the gluing of Tolman–Bondi metrics to variable marginal conditions using ODE existence and uniqueness arguments (see Theorem 2.9). While certainly interesting, this gluing procedure may result in spacetimes which are not globally hyperbolic due to the smallness of the gluing region. To remedy this, we analyze maximality of the ODE solutions at hand and are able to generalize Bartnik’s construction by gluing Schwarzschild to flat and hyperbolic FLRW models with compact spacelike slices in such a way that the resulting spacetime is globally hyperbolic (see Sect. 4 and Theorem 4.3). This gives a large class of reasonable spacetimes which do not contain any CMC Cauchy surfaces. Note that if Conjecture 1.2 is true, then any such example must be incomplete. While Bartnik’s construction as well as our generalizations are manifestly incomplete, that incompleteness is a consequence of how the spacetime was constructed. It would be interesting to find similar constructions where the incompleteness is less obvious and more so a consequence of general principles. Such an example would help to gain insight into Conjecture 1.2. In addition, it would be interesting to determine whether or not the example in [9] is timelike geodesically complete.

For convenience, let us state the main results (Theorem 2.9 and Theorem 4.3) informally:

Theorem 1.5

Let (M1=D1×S2,g1) and (M2=D2×S2,g2) be Tolman–Bondi spacetimes satisfying Einstein’s equations for dust (with nonnegative energy density), where gi are of the form1.1 gi=-dt2+Xi(t,r)2dr2+Yi(t,r)2dΩ2,0<Xi,Yi∈C∞(Di),

Di⊂R2 open and connected. If certain monotonicity conditions are satisfied, then these spacetimes may be (smoothly) glued across an r-interval (where we write (t,r)∈Di) to a larger Tolman–Bondi spacetime (M, g) which also satisfies Einstein’s equations for dust with nonnegative energy density.

Theorem 1.6

Given compact Riemannian quotients Q,Q~ of R3 or H3, we glue Schwarzschild spacetime to a dust-filled FLRW spacetime with spacelike slices Q, then glue the resulting spacetime to a gluing of Schwarzschild to FLRW with spacelike slices Q~, but with opposite time orientation, across a Schwarzschild event horizon. The resulting spacetime, (M, g), is globally hyperbolic with compact Cauchy surfaces of topology Q#Q~ and satisfies the strong and dominant energy conditions. Moreover, (M, g) does not contain any CMC Cauchy surfaces. Analogous examples can be constructed in higher spacetime dimensions by considering higher-dimensional Schwarzschild and FLRW spacetimes.

The paper is organized as follows: In Sect. 2, we discuss important properties of Tolman–Bondi spacetimes, where, for convenience, we give full derivations of results we could only find in older literature. We discuss how to describe Schwarzschild and FLRW spacetimes as Tolman–Bondi spacetimes. The section is rounded off by the general gluing result for Tolman–Bondi spacetimes (Theorem 2.9). Section 3 is dedicated to a thorough discussion of Bartnik’s construction. We review both proofs of Bartnik as to why the constructed spacetime has no CMC Cauchy surfaces. One is of topological nature, relying on the form of the topology of the spacelike slice of FLRW, while the other is more elementary and Lorentz-geometric, using Hawking’s singularity theorem and CMC foliation arguments to achieve a contradiction to the existence of CMCs. We describe in Sect. 4 how to generalize Bartnik’s construction by gluing Schwarzschild to flat or hyperbolic FLRW with arbitrary compact Riemannian quotients of R3 or H3 as spacelike slices. One of our proofs makes use of the positive resolution of the surface subgroup conjecture [16]. We also describe how to obtain the analogous constructions in higher spacetime dimensions. Finally, we give a conclusion and an outlook on possible relevant future lines of research in Sect. 5.

Notation and conventions

Let us collect here some notation and conventions we will use throughout the paper. A⊂B denotes (not necessarily strict) inclusion. A spacetime is a connected, time-oriented Lorentzian manifold whose metric has the signature (-,+,⋯,+). By Cauchy surface, we will always mean a smooth, spacelike hypersurface that is met uniquely by each future-directed C1-causal curve γ:(a,b)→M that is inextendible, i.e., the limits limt→aγ(t) and limt→bγ(t) do not exist.2Ric denotes the Ricci tensor and R denotes the scalar curvature. For functions f(t, r) depending on a time variable t and a radial variable r, we will write f˙=∂tf and f′=∂rf. We write Tn for the n-dimensional torus and Hn for n-dimensional hyperbolic space. Given two smooth manifolds M1 and M2, M1#M2 denotes their connected sum. Given groups G1 and G2, G1∗G2 denotes their free product. Given any spacelike hypersurface S in a spacetime M, HS≡H(S)=Tr(∇N) denotes its (future) mean curvature (where N is its future unit normal). We say a spacelike hypersurface S has constant mean curvature (or is CMC) if HS is a constant. We say it is maximal if HS=0. We will write Pri for the projection map from a given product space to the i-th factor. By a Riemannian quotient Q of a Riemannian manifold N, we mean a quotient arising from the smooth, free, proper and isometric action of a discrete Lie group Γ on N, i.e., Q=N/Γ, equipped with the unique Riemannian metric such that the quotient map N→Q is a normal Riemannian covering; in particular, Q is locally isometric to N and dimN=dimQ.

Tolman–Bondi spacetimes

Let us begin with a discussion of Tolman–Bondi metrics, which are a class of metrics in four spacetime dimensions with S2-symmetry and which present the setting for the constructions of cosmological spacetimes without CMC Cauchy surfaces. The advantage in using them for our setting is that they allow for purely analytic gluing constructions. We follow the derivations in [4] and [11], but write out all of the proofs for convenience.

Definition 2.1

(Tolman–Bondi spacetimes). A Tolman–Bondi (TB) spacetime is a four-dimensional Lorentzian manifold M=D×S2 with metric2.1 g=-dt2+X(t,r)2dr2+Y(t,r)2dΩ2,

where D is an open connected subset of R2, and X and Y are smooth positive functions on D. Here (and everywhere else), dΩ2 is the standard round metric on S2. Moreover, (M, g) is understood to be time-oriented via ∂∂t.

Observe that a Tolman–Bondi spacetime is a warped product of the form D×YS2, where S2 is equipped with the usual round metric and D is a two-dimensional spacetime with the Lorentzian metric -dt2+X(t,r)dr2.

We will be interested in Tolman–Bondi spacetimes satisfying Einstein’s equations for dust:

Definition 2.2

(Dust-filled Tolman–Bondi spacetimes). We say a Tolman–Bondi spacetime (M=D×S2,g) is dust-filled if it satisfies the Einstein equations for dust, i.e., there exists ρ∈C∞(D) such that2.2 G:=Ric-12Rg=8πρdt2.

Recall that a spacetime (M, g) is said to satisfy the strong energy condition (SEC) if Ric(V,V)≥0 for all timelike vector fields V on M. It satisfies the dominant energy condition (DEC) if G(V,W)≥0 for future-directed causal vector fields V, W on M.

Lemma 2.3

(Dust-filled TB spacetimes satisfy SEC and DEC). If (M, g) is a dust-filled Tolman–Bondi spacetime with ρ nonnegative, then it satisfies the strong and dominant energy conditions.

Proof

We first show the SEC. Complete ∂t to an orthonormal frame of M and take the g-trace of (2.2) with respect to that frame to getR-2R=-8πρ,

thus R=8πρ. Reinserting this into (2.2), we getRic=8πρdt2+4πρg.

Thus, if V is any unit timelike vector field on M, the reverse Cauchy–Schwarz inequality together with ρ≥0 impliesRic(V,V)=8πρg(∇t,V)2-4πρ≥8πρ-4πρ=4πρ≥0,

thus establishing the SEC.

Showing the DEC is easier: Let V and W be future-directed causal vectors. Then the component Vt=dt(V) is nonnegative since V is future directed. Likewise Wt≥0. Therefore, G(V,W)=8πρVtWt≥0. □

Proposition 2.4

Let (M, g) be a dust-filled Tolman–Bondi spacetime. Then ∂t(1XY′)=0 and ∂t(ρY′Y2)=0.

Proof

Let G=Ric-12Rg denote the Einstein tensor. Since the Einstein equations hold with dust, we have G(∂t,∂r)=0. A calculation shows2.3 G(∂t,∂r)=2XY(X˙Y′-XY˙′).

Therefore, X˙Y′-XY˙′=0 which impliesX2∂t(Y′/X)=0.

Since X is never zero, ∂t(Y′/X)=0.

To prove that ρY′Y2 is independent of t, we investigate G(∂t,∂t) and G(∂r,∂r): An explicit calculation yields2.4 G(∂t,∂t)=1X3Y2(X3Y˙2+2X2X˙YY˙+X3-2XYY′′-XY′2+2X′YY′)

2.5 G(∂r,∂r)=-1Y2(2X2YY¨+X2Y˙2+X2-Y′2).

We introduce the quantity2.6 S:=Y1+Y˙2-Y′2X2.

It is elementary to check that2.7 G(∂t,∂t)Y′=1Y2S′,

2.8 G(∂r,∂r)Y˙=-X2Y2S˙.

Now, S˙=0 since G(∂r,∂r)=0. Therefore, S˙′=0; hence,∂t(Y2Y′G(∂t,∂t))=0.

Since G(∂t,∂t)=8πρ, the claim follows. □

The next result is a key property of dust-filled Tolman–Bondi spacetimes, as it allows one to view the coefficient functions X and Y as solutions of ODEs.

Proposition 2.5

Let (M, g) be a dust-filled Tolman–Bondi spacetime. Then the function S defined in Eq. (2.6) is independent of t and is an antiderivative of 8πρY′Y2. (The latter is independent of t due to Proposition 2.4.) Moreover, writing W:=Y′/X, it holds that2.9 Y˙(t,r)2=W(r)2-1+1Y(t,r)S(r).

Proof

Let S be the function introduced in Eq. (2.6). We have already shown in the proof of Proposition 2.4 that S˙=0. (This is a consequence of Eq. (2.8).) By Eq. (2.7), and noting that G(∂t,∂t)=8πρ, we getS′=8πρY′Y2.

Inserting the definition of S, we getS=Y1+Y˙2-Y′2X2,

solving for Y˙2 gives the claim. □

Definition 2.6

(Marginal condition and mass function). Let (M, g) be a dust-filled Tolman Bondi spacetime,g=-dt2+X2dr2+Y2dΩ2.

We call the associated functions W:=Y′X-1 and S:=Y(1+Y˙2-Y′2X-2) marginal condition and mass function,3 respectively.

Next, we discuss some important examples of Tolman–Bondi spacetimes, namely Schwarzschild and FLRW. These will be the building blocks for constructing cosmological spacetimes without CMC Cauchy surfaces.

Example 2.7

(Schwarzschild spacetime). The standard (nonextended) Schwarzschild spacetime of mass m>0 is (R≠0,2m)gS:=-1-2mRdτ2+11-2mRdR2+R2dΩ2.

We introduce Lemaître coordinates t, r viadt=dτ+2mRdR1-2mR,dr=dτ+R2mdR1-2mR.

Writing the metric in these coordinates yieldsgS=-dt2+2m32(r-t)23dr2+(2m)2332(r-t)43dΩ2.

This is in Tolman–Bondi form defined on M:={(t,r)∈R2:t<r}×S2 and describes one half of the maximal analytic extension of the Schwarzschild spacetime. The hypersurfaces {r=const} are timelike and, for r→-∞, converge to the event horizon separating the two halves of the maximal extension (see Fig. 1). For later use, let us note thatW(r)=1,S(r)=2m.

Fig. 1 The Lemaître coordinates (t, r) cover one-half of the maximally extended Schwarzschild spacetime. The hypersurfaces of constant r are timelike and foliate the spacetime; they become null as they approach I-. As r→-∞, the hypersurfaces approach the (totally geodesic) null hypersurface represented by the thick dashed lines, i.e., the hypersurface T=-X in Kruskal coordinates

Example 2.8

(FLRW). We will now describe the FLRW spacetimes with any of the constant spatial sectional curvatures k=+1,0,-1 as Tolman–Bondi metrics. We will refer to these as spherical, flat and hyperbolic FLRW, respectively. We refer to [18, Sec. 12.5] for more details than what is presented below. Note that we work with negative time intervals for technical reasons, as this will later allow us to glue FLRW spacetimes to Schwarzschild using Theorem 2.9 (resp. Corollary 2.12) in conjunction with Propositions 3.1 and 4.1. (i) Flat FLRW: For any parameter M>0, the spacetime (-∞,0)×afR3, with af(t):=(6πM)13t23,

satisfies Einstein’s equations for dust, with energy density ρ(t)=Maf(t)-3, where M is the Friedmann mass parameter. Writing the three-dimensional Euclidean metric in spherical coordinates as dr2+r2dΩ2, the metric for flat FLRW can be written in Tolman–Bondi form gf=-dt2+af(t)2dr2+af(t)2r2dΩ2

on the manifold (-∞,0)×(0,∞)×S2. We calculate W and S for this metric: W(r)=1,S(r)=8πM3r3.

(ii) Hyperbolic FLRW: Here, the spacetime is (-∞,0)×ahH3. The function ah cannot be written explicitly, but it satisfies Friedmann’s equation a˙h2-1=8πM3ah

and can be written in dependence on a parameter η<0 (together with time) as t(η)=4πM3(sinh(η)-η),ah(η)=4πM3(cosh(η)-1).

Writing the hyperbolic metric on H3 as dr2+sinh(r)2dΩ2 (on (0,∞)×S2), the hyperbolic FLRW metric can be expressed on the manifold (-∞,0)×(0,∞)×S2 in Tolman–Bondi form as gh=-dt2+ah(t)2dr2+ah(t)2sinh(r)2dΩ2.

The energy density is again ρ(t)=Mah(t)-3, and moreover, W(r)=cosh(r),S(r)=8πM3sinh(r)3.

(iii) Spherical FLRW: Similarly to before, consider -8π2M3,0×asS3, where as satisfies as˙2+1=8πM3as.

As in the hyperbolic case, as cannot be written explicitly, but can be described in dependence on a parameter θ∈(-2π,0) (together with time) via t(θ)=4πM3(θ-sin(θ)),as(θ)=4πM3(1-cos(θ)).

Writing the metric on S3 as dr2+sin(r)2dΩ2 (on (0,π)×S2), the spherical FLRW metric can be written on the manifold -8π2M3,0×(0,π)×S2 as gs=-dt2+as(t)2dr2+as(t)2sin(r)2dΩ2.

Here, ρ(t)=Mas(t)-3 and W(r)=cos(r),S(r)=8πM3sin(r)3.

The next result shows that, under certain monotonicity conditions, we can always glue dust-filled Tolman–Bondi spacetimes across intervals of r by solving the ODE for Y given in Proposition 2.5.

Theorem 2.9

(Gluing Tolman–Bondi spacetimes). Let (M1=D1×S2,g1) and (M2=D2×S2,g2) be dust-filled Tolman–Bondi spacetimes with nonnegative energy densities ρ1,ρ2. We write Pr2(Di)=(ri-,ri+), i=1,2. Suppose r1∈(r1-,r1+) and r2∈(r2-,r2+), r1<r2. Moreover, suppose there exists t0 such that (t0,ri)∈Di, such that either both Y˙1(t0,ri)>0 and Y˙2(t0,ri)>0 or both Y˙(t0,r1)<0 and Y˙(t0,r2)<0, and suppose that the following technical assumption is satisfied: There exist smooth functions W,S,r↦Yr(t0)∈C∞((r1-,r2+)) agreeing with Wi,Si,r↦Yi(t0,r) on their corresponding domains with S monotonically increasing, r↦Yr(t0) strictly monotonically increasing, W positive, such that on [r1,r2],W(r)2-1+S(r)Yr(t0)>0.

Then there exists a dust-filled Tolman–Bondi spacetime (M=D×S2,g) with a nonnegative energy density ρ such that Pr2(D)=(r1-,r2+), g=g1 for r≤r1 and g=g2 for r≥r2.

Proof

Let us assume for definiteness that Y˙1(t0,r1)<0 and Y˙2(t0,r2)<0. We are interested in solving the following ODE initial value problem for fixed r∈[r1,r2]:Y˙(t,r)=-W(r)2-1+S(r)Y(t,r),Y(t0,r)=Yr(t0).

First, the fact that Y˙i(·,ri)<0 implies that for all t close to t0,Y˙i(t,ri)=-Wi(ri)2-1+Si(ri)Yi(t,ri).

Let S,W,Yr(t0) be as in the assumption. Due to positivity, the right-hand side of the initial value problem in question depends smoothly on Y(·,r), for every fixed r∈[r1,r2], hence admits a unique solution Y(t, r) on a maximal domain of definition (tr-,tr+). We may extract a common domain of definition (t-,t+) such that all Y(t, r), r∈[r1,r2], are defined for t∈(t-,t+). Moreover, since the initial data r↦Yr(t0) depends smoothly on r, so does the solution. We may assume that (t-,t+) is small enough so that Y,Y′>0,Y˙<0 for all (t,r)∈(t-,t+)×[r1,r2].

Let us now construct the spacetime: We set D:=D~1∪((t-,t+)×[r1,r2])∪D~2, whereD~1:={(t,r)∈D1:r<r1},D~2:={(t,r)∈D2:r>r2}.

For (t,r)∈(t-,t+)×[r1,r2], we let Y be the solution obtained above and X:=Y′/W. Then (t,r)∈D↦X(t,r),Y(t,r) are positive, smooth functions on D. Moreover, by construction, the corresponding Tolman–Bondi metric is dust-filled with energy density given for (t,r)∈(t-,t+)×[r1,r2] byρ:=S′(r)8πY2Y′≥0.

To elucidate, Eqs. (2.3)–(2.8) in the proof of Proposition 2.4 are true for any Tolman–Bondi metric. Therefore, G(∂t,∂r)=0 since X=Y′/W and G(∂r,∂r)=0 since S˙=0. Thus, the Tolman–Bondi metric is dust-filled. □

Remark 2.10

In many cases, it is elementary to satisfy the technical assumption of Theorem 2.9: Indeed, if (i) either Y˙1(t0,r1)>0 and Y˙2(t0,r2)>0 or Y˙1(t0,r1)<0 and Y˙2(t0,r2)<0,

(ii) 0<S1(r1)≤S2(r2),

(iii) Y1(t0,r1)<Y2(t0,r2),Y1′(t0,r1)>0,Y2′(t0,r2)>0,

(iv) W1(r1)2≥1 and W2(r2)2≥1, W1>0 and W2>0,

then one can simply choose monotonically increasing (resp. strictly monotonically increasing) connecting functions S,Yr(t0) as well as any interpolating function W which increases resp. decreases from W1(r1) to W2(r2) (if W1(r1)≤W2(r2) resp. W1(r1)≥W2(r2)).

Remark 2.11

(Gluing vacuum TB spacetimes). Note that if (M1,g1) and (M2,g2) are vacuum Tolman–Bondi spacetimes, i.e., ρ1=0 and ρ2=0, then S1,S2 are constants. If S1=S2 and the remaining assumptions of Theorem 2.9 are satisfied, the proof shows that, by choosing the connecting smooth function S to be that same constant, the glued spacetime can be constructed to be vacuum.

Let us note the following useful consequence of Theorem 2.9 regarding the gluing of Schwarzschild spacetime to (fairly) arbitrary Tolman–Bondi spacetimes.

Corollary 2.12

(Gluing TB spacetimes to Schwarzschild). Let (M1,g1) be Schwarzschild spacetime of mass m in Lemaître coordinates as described in Example 2.7. Let (M2=D2×S2,g2) be any dust-filled Tolman–Bondi spacetime with nonnegative energy density ρ2. Let r1∈R. Suppose there is an r2>r1 and t0<r1 such that (t0,r2)∈D2. Moreover, suppose the following technical assumptions are satisfied: (i) Y˙2(t0,r2)<0.

(ii) 2m≤S2(r2).

(iii) (2m)1332(r1-t0)23<Y2(t0,r2), Y2′(t0,r2)>0.

Then there exists a dust-filled Tolman–Bondi spacetime (M=D×S2,g) with a nonnegative energy density ρ such that Pr2(D)=(-∞,supPr2(D2)), g|(-∞,r1]=g1, and g|[r2,supPr2(D2))=g2.

Proof

We need to verify the technical condition in Theorem 2.9. Indeed, pick any smooth, monotonically increasing connector S for S1,S2 and strictly monotonically increasing connector Yr(t0) for Y1(t0,·) and Y2(t0,·) on the interval [r1,r2]. Note that W1≡1, and W2(r2)=Y2′(t0,r2)X2(t0,r2)>0 by assumption. If W2(r2)≥1, we are done by Remark 2.10, so suppose 0<W2(r2)<1. Moreover,W2(r2)2-1+S2(r2)Y2(t0,r2)>0

since Y˙2(t0,r2)<0. Let δ>0 be such thatS2(r2)Y2(t0,r2)>1-W2(r2)2+δ.

Let ε>0 be such thatS(r)Yr(t0)>1-W2(r2)2+δ2

on [r2-ε,r2]. Now let W be a smooth function connecting W1 to W2 as follows: W≡1 on [r1,r2-ε] and smoothly and monotonically decreases on [r2-ε,r2] to W2(r2). Then on [r2-ε,r2],S(r)Yr(t0)>1-W2(r2)2+δ2≥1-W(r)2+δ2.

Since W=1 on [r1,r2-ε], we have thus shown that the technical condition in Theorem 2.9 is satisfied. This concludes the proof. □

Remark 2.13

While the preceding results show that the gluing of Tolman–Bondi spacetimes can in principle be done under fairly general circumstances, the resulting construction will in general not be globally hyperbolic since the glued region may be very small. This can be seen in examples where a Tolman–Bondi spacetime is glued to Schwarzschild (cf. Corollary 2.12): If the glued region does not extend to past timelike infinity i- (i.e., if t-≠-∞ in the proof of Theorem 2.9), then one may find timelike curves emanating from i- which are unable to cross into the glued region. Thus, the glued spacetime does not contain any Cauchy hypersurfaces.

To ensure global hyperbolicity, an investigation into the maximal interval of existence of the ODE in Proposition 2.5 is necessary.

Bartnik’s “no-CMC” example

In this section, we present the cosmological spacetime without CMC Cauchy surfaces constructed by Bartnik [2]. An essential ingredient of the construction is the gluing Schwarzschild spacetime to flat FLRW. In this case, the ODE given in Proposition 2.9 may be solved explicitly, allowing for a simple gluing argument in terms of functions.

Proposition 3.1

(Explicit TB metrics). Let (D×S2,g) be a dust-filled Tolman–Bondi spacetime with marginal condition W(r)≡1 and suppose the mass function is always positive, S>0. Then, writing M(r)=S(r)/2, there exists a smooth function t0(r) such that43.1 X(t,r)=M′(r)(t0(r)-t)+2M(r)t0′(r)[6M(r)2(t0(r)-t)]13,

3.2 Y(t,r)=92M(r)(t0(r)-t)213.

Moreover, the metric can be extended smoothly to D~×S2, where D~={(t,r)∈R2:r∈{M>0},t∈(-∞,t0(r))}, provided that3.3 ddrM(r)(t0(r)-t)2>0.

Conversely, given smooth functions M(r) and t0(r) defined on I⊂R with M>0 satisfying (3.3) (this is in particular the case if t0 is strictly monotonically increasing and M is monotonically increasing, or vice versa), Eqs. (3.1) and (3.2) define a Tolman–Bondi spacetime on D~×S2, where D~ is given as before (I={M>0}).

Proof

Since W=1 and S>0, by Eq. (2.9) Y˙ is either always positive or always negative, w.l.o.g. let us assume that Y˙<0.5 Then, by the same reference,Y˙(t,r)=-S(r)Y(t,r).

By assumption S(r)>0, so fixing some s0 such that (s0,r)∈D, Y(t, r) has to agree with the unique solution Y~(t,r) of the following r-parameter family of ODEs:Y~˙(t,r)=-S(r)Y~(t,r),Y~(s0,r)=Y(s0,r).

This ODE can be integrated explicitly and yields Eq. (3.2) with M:=S/2 andt0(r)=s0+23M(r)Y(s0,r)32.

Evidently, the maximal existence interval for Y(t, r) is t∈(-∞,t0(r)). The condition (3.3) guarantees that X=Y′>0 on D~. □

Let us now describe the construction: Let (M1,g1) be the following portion of Schwarzschild spacetime in Lemaître coordinates with mass m=1, as described in Example 2.7: M1={(t,r)∈R2:t<r≤1-ε}×S2 (for some small ε>0). Since Schwarzschild has marginal condition W=1, the functions X, Y are given in terms of functions M(r) and t0(r) as described in Proposition 3.1. It is easily checked that3.4 M(r)=1,t0(r)=r.

Next, consider T3 as a Riemannian quotient of R3 with the group action induced by 3Z3, hence we can consider (-∞,1)×afT3 as a Lorentzian quotient of flat FLRW (-∞,1)×afR3 with Friedmann mass parameter M=34π. Note that we shift the upper limit of the time parameter by 1 for monotonicity reasons which will become clear in a moment. Let x0∈T3 be arbitrary and 0<2ε<1. Then B1+2ε3(x0) is isometric to B1+2ε3(y0)⊂R3 (for any y0 in the preimage of x0 under the quotient map); hence, the spacetime portion (-∞,1)×af(B1+2ε3(x0)\B1+ε3(x0)) can be written in Tolman–Bondi form, identical to flat FLRW. Let (M2,g2) be the spacetime (-∞,1)×af(T3\B1+ε3(x0)). Since flat FLRW also has marginal condition W=1, it is also given explicitly according to Proposition 3.1 with functions3.5 M(r)=r3,t0(r)=1.

We now glue (M1,g1) to (M2,g2) across the r-interval [1-ε,1+ε]: Indeed, due to the explicit form of the functions M,t0 in the two spacetimes, we may connect them smoothly across [1-ε,1+ε] while satisfying (on (1-ε,1+ε))63.6 t0′>0andM′>0.

(This is the reason for shifting the time parameter of FLRW by 1, so that t0′>0 can be achieved.) As we argued in the proof of Proposition 3.1, t0′>0 and M′>0 imply Y,Y′=X>0, as well as ρ=M′/4πY2Y′≥0. We denote the resulting spacetime by (M+,g+).Fig. 2 A two-dimensional spatial cross section of (M+,g+). The inner and outer circles are the spheres r=1-ε and r=1+ε, respectively. For r<1-ε, the spacetime is exactly given by the Schwarzschild spacetime. For r>1+ε, the spacetime is exactly given by a k=0 FLRW dust spacetime; at large values r ceases to be a coordinate since we identify the sides. The shaded region between the spheres represents the gluing region. The point at the center represents r=-∞

Lemma 3.2

(M+,g+) is globally hyperbolic.

We omit the proof of this Lemma, since it is very similar to the one we give in the generalization to the hyperbolic case in Lemma 4.2.

Now let (M-,g-) be a time-reversed copy of (M+,g+). We extend them both to r=-∞ (which corresponds to extending Schwarzschild to its event horizon) and glue them there7. The resulting Lorentzian manifold (M, g) is smooth and time-orientable due to the properties of the maximal extension of Schwarzschild. Observe that there exists a time-inverting isometry φ:(M,g)→(M,g) mapping (M+,g+) to (M-,g-) and vice versa. Now, since both (M+,g+) and (M-,g-) are globally hyperbolic, so is (M, g). (This can be seen by looking at the corresponding Penrose diagram, see [2, Fig. 2].) A Cauchy surface can be constructed by connecting the bifurcate horizon smoothly to one of the spatial slices in the each of the FLRW regions. [18, Cor. 14.54] can be used to show that this is in fact a Cauchy surface.

We will give the two proofs of Bartnik as to why (M, g) has no CMC Cauchy surfaces. The first is of topological nature and requires the following fundamental result of Schoen and Yau on the relationship between scalar curvature and topology on a Riemannian three-manifold.

Theorem 3.3

[19, Thm. 5.2] Let N be a compact, oriented three-manifold. Suppose that one of the following holds: (i) π1(N) contains a finitely generated, noncyclic Abelian subgroup.

(ii) π1(N) contains a subgroup which is isomorphic to the fundamental group of a surface of genus g>1.

Then N admits no Riemannian metric of positive scalar curvature. Moreover, every Riemannian metric on N of nonnegative scalar curvature is flat.

The second proof follows from much simpler Lorentz-geometric arguments and is more generally applicable, see the subsequent section. It requires the following CMC foliation theorem due to Bartnik.

Theorem 3.4

[2] Let (M~,g~) be a globally hyperbolic spacetime, with compact Cauchy surfaces, satisfying the strong energy condition. Suppose S⊂M~ is a compact maximal Cauchy surface. Then a neighborhood of S is foliated with CMC Cauchy surfaces. Moreover, if every such foliation is by maximal surfaces, then the spacetime is isometric to an open subset of (R×S,-dt2+h), where h is the induced Riemannian metric on S. In particular, the spacetime is static.

Let us now give the announced proofs:

Theorem 3.5

[2] The constructed spacetime (M, g) is globally hyperbolic, timelike geodesically incomplete and satisfies the strong energy condition. Its Cauchy surfaces are topologically T3#T3 and it does not contain any CMC Cauchy surfaces.

Proof

The only part left to prove is the nonexistence of CMC Cauchy surfaces. (i) Topological proof: Let φ:(M,g)→(M,g) be the time-inverting isometry. Suppose S⊂M is a compact CMC Cauchy surface. If HS≠0, since Hφ(S)=-HS, we may assume w.l.o.g. that HS>0. We claim that φ(S)⊂I+(S). Indeed: Suppose φ(S) is not a subset of I+(S). Then there is a point p∈φ(S) such that p∉I+(S). An inextendible future timelike curve through p must intersect S, say at q. Let γ be a maximizing future timelike geodesic from p to q. By the Brill–Flaherty uniqueness result (see [2, Eq. (2)]), we have Hφ(S)(p)-HS(q)≥∫Ric(γ′,γ′).

The right-hand side is ≥0, but the left-hand side is <0, which is a contradiction. So φ(S)⊂I+(S). Now we invoke the maximum principle for prescribed mean curvature [1, 15] to conclude the existence of a maximal Cauchy surface S0⊂I+(S)∩I-(φ(S)). Since π1(S0)≅π1(T3#T3)≅Z3∗Z3, it contains the subgroup Z2 which is noncyclic, finitely generated and Abelian. Thus, by Theorem 3.3, the induced metric h on S0 can only have nonnegative scalar curvature if it is flat. But by the constraint equation for scalar curvature (see [8, Eq. (G.2)]), Rh=16πρ+|K|h2-HS02,

where K is the second fundamental form. By maximality, HS0=0, so Rh≥0. We conclude that h is flat, which implies Rh=0. But ρ is nonzero, e.g., in the FLRW parts of the spacetime, which gives the desired contradiction.

(ii) Lorentz-geometric proof: Suppose S⊂M is a compact CMC Cauchy surface, and suppose for the moment that HS≠0. Without loss of generality, we may assume that HS>0. By Hawking’s singularity theorem, each past inextendible timelike curve starting in S has finite Lorentzian arclength. However, this is contradicted, e.g., by the “Lemaître-vertical” curves in Schwarzschild (one could also argue via the infinitely long verticals in the FLRW parts): Consider γ:t↦(t,r0,p0) (with r0<1-ε, p0∈S2 arbitrary) in the (M+,g+)-part of (M, g): We may extend γ so far into the future that it meets S, but already the Schwarzschild part has infinite Lorentzian arclength, a contradiction. So the CMC Cauchy surface S must be maximal, HS=0. By Theorem 3.4, a neighborhood of S is foliated by CMC Cauchy surfaces, all of which must again be maximal. Hence, by the same reference, (M, g) is static, which is manifestly not the case.

□

Remark 3.6

Note that the Lorentz-geometric proof does not require the FLRW part to be spatially T3. In fact, any compact Riemannian quotient of R3 does the job. Nor is the application of the “side-switch” isometry really necessary: Indeed, if HS>0, we use the infinitely long past curves in the (M+,g+)-side to arrive at a contradiction to Hawking’s singularity theorem, and if HS<0, in a similar manner we use the infinitely long future curves in the (M-,g-)-side.

Remark 3.7

In [9], Chruściel, Isenberg and Pollack use their results on the gluing of initial data sets to construct a globally hyperbolic spacetime with Ric=0 and compact Cauchy surfaces of topology T3#T3, that does not contain any CMC Cauchy surfaces. While Bartnik’s example is manifestly timelike geodesically incomplete, this is unclear in their example. However, null geodesic incompleteness has been established, cf. [5, 6]. It would be interesting to see whether similar generalizations as the ones we give in the next section could be achieved using initial data gluing methods.

Generalizations of Bartnik’s “no-CMC” example

In this section, we generalize Bartnik’s construction by gluing Schwarzschild to hyperbolic FLRW models which have compact spacelike slices. Here, the ODE in Proposition 2.9 (with W>1) is not explicitly solvable, but implicit integration will turn out to be sufficient for our purposes. The properties are very similar to the flat case (W=1). It turns out that one cannot do this construction with spherical FLRW, because if W<1 the ODE develops finite time past singularities, giving an obstruction to global hyperbolicity.

Proposition 4.1

Let (M=D×S2,g) be a dust-filled Tolman–Bondi spacetime with Y˙<0, monotonically increasing marginal condition W≥1 and monotonically increasing positive mass function S>0. Then there exists a smooth function t0(r) such that the metric can be extended smoothly to D~×S2, where D~={(t,r)∈R2:r∈{S>0},t∈(-∞,t0(r))}. Conversely, for any choice of strictly monotonically increasing smooth function t0(r), monotonically increasing positive functions S(r) and W(r) (with W(r)≥1), the unique solution of the ODE family Y˙=-W2-1+S/Y with initial condition determined by t0 defines a Tolman–Bondi spacetime (together with X:=Y′/W) on D~×S2. In particular, Y′>0 on D~. Whenever W(r)=1, the solution is given explicitly as described in Proposition 3.1, and whenever W(r)>1, the solution is described implicitly byt0(r)-t=F(W(r),S(r),Y(t,r)).

In this case, F=F(x,y,z) is the functionF(x,y,z)=x2-1+yzzx2-1-yarcoth1+yz(x2-1)(x2-1)32.

Proof

By Proposition 2.5, Y satisfiesY˙(t,r)=-W(r)2-1+S(r)Y(t,r).

This ODE is uniquely solvable upon fixing some initial data Y(s0,r) for every r∈{S>0}. If W(r)=1, we are in the situation of Proposition 3.1, so we may assume W>1. Let (a,b)=(a(r),b(r)) be the maximal existence interval for t when considering Y as a solution of this ODE. Clearly a=-∞ for every r, since Y is monotonically decreasing in t and Y˙ is bounded for Y→+∞. To determine b=b(r), we separate variables in the above ODE and integrate:t0(r)-t=W(r)2+S(r)Y(t,r)Y(t,r)W(r)2-1-S(r)arcoth1+S(r)Y(t,r)(W(r)2-1)(W(r)2-1)32.(∗)

Here, t0(r) is an integration constant depending on r, which can be determined by evaluating (∗) at the initial time t=s0. Note that by monotonicity, Y(t,r)→0 as t→b(r). Using that arcoth(x)→0 as x→∞, the right-hand side of (∗) tends to 0 as t→b(r). So, necessarily, b(r)=t0(r).

It is useful to view the right-hand side of (∗) as F(W(r), S(r), Y(t, r)), where F=F(x,y,z) is a function in three variables defined above and which satisfies, in light of the integration of the ODE,∂zF(x,y,z)=1x2-1+yz.

In particular, ∂zF(W(r),S(r),Y(t,r))>0. Differentiating (∗) with respect to r and solving for Y′ yieldsY′(t,r)=1∂zFt0′(r)-∂xF·W′(r)-∂yF·S′.

Since t0(r)=F(W(r),S(r),Y(s0,r))+s0, it follows thatY′(t,r)=1∂zF((∂xF|s0-∂xF|t)W′+(∂yF|s0-∂yF|t)S′+∂zF|s0Y′(s0,r)).

Since Y′(s0,r)>0 (by positivity of W), it follows that (∂zF|s0)Y′(s0,r)>0. We claim that the other summands are positive as well (recall that W′,S′≥0), as long as t<s0: Indeed,∂t(∂xF|t)=∂x∂zF|tY˙(t,x),∂t(∂yF|t)=∂y∂zF|tY˙(t,x).

One checks that∂x∂zF(x,y,z)=-xx2-1+yz-32<0,∂y∂zF(x,y,z)=-12zx2-1+yz-32<0.

Hence, together with Y˙<0 we get ∂t(∂xF(W(r),S(r),Y(t,r)))>0 and ∂t(∂yF(W(r),S(r),Y(t,r)))>0. Moreover, one can check explicitly that ∂xF→0 and ∂yF→0 as z→0, so if the initial condition satisfies∂zF|s0Y′(s0,r)+∂xF|s0W′+∂yF|s0S′>0,

or equivalently t0′>0, then Y′(t,r)>0 for all r and for all t∈(-∞,t0(r)). □

Let us now generalize the construction in the previous section (up to appropriate choices of parameters) to the gluing of arbitrary (compactified) flat or hyperbolic FLRW spacetimes to Schwarzschild. Since for general marginal conditions W, dust-filled Tolman–Bondi spacetimes cannot be written as explicitly as in the case W=1 (cf. Proposition 3.1), we have to rely on our general gluing result (Theorem 2.9) in conjunction with the above analysis on the maximal solution intervals of the ODE in Proposition 2.5.

Let us now dive into the details: Let N be either R3 or H3, let Q be a compact Riemannian quotient manifold of N, q:N→Q the quotient map. Let x0∈Q and 0<3r2 be such that B3r2Q(x0)⊂Q is isometric to B3r2N(y0) (for any y0∈q-1(x0)). Let (M2,g2) be the spacetime (-∞,r2)×a(Q\B2Q(x0)) with a=af resp. a=ah if N=R3 resp. N=H3. (We again shift the time parameter for monotonicity reasons.) Then the portion (-∞,r2)×a(B3r2Q(x0)\B2Q(x0)) can be written in Tolman–Bondi form, identical to flat or hyperbolic FLRW. Let (M1,g1) be Schwarzschild spacetime in Lemaître coordinates up to a radial coordinate value r≤r1<r2. For fixed Schwarzschild mass m>0, in the flat case the Friedmann mass M needs to be chosen such thatS1(r1)=2m≤8πM3r23=S2(r2),

and in the hyperbolic case, we needS1(r1)=2m≤8πM3sinh(r2)3.

Then it is possible to glue (M1,g1) to (M2,g2) along the interval (r1,r2) by prescribing monotonically increasing connecting functions W, S, and a strictly monotonically increasing connecting function t0 for the corresponding functions on either side, cf. Proposition 4.1. We call the resulting spacetime (M+,g+).

Lemma 4.2

(M+,g+) is globally hyperbolic.

Proof

For simplicity, we give the argument for global hyperbolicity if the gluing procedure is done without any quotient operation on the FLRW part in order to use global Tolman–Bondi spacetime arguments, and the compactified case can be proved along similar lines.8

Keeping this in mind, (M+,g+) is a warped product D×YS2, so it suffices to check global hyperbolicity of the two-dimensional spacetime (D,-dt2+X2dr2), where D={(t,r)∈R2:t<t0(r)} (cf. [3, Thm. 3.68]). For small enough δ>0, we claim that Σ:={t=t0(r)-δ} is a Cauchy surface. It is clearly a smooth, spacelike hypersurface. Let γ(s):=(t(s),r(s)), s∈(0,1), be an arbitrary C1-causal curve. We will show that if γ does not meet Σ, its limits at s=0 or s=1 exist. The acausality of Σ can be proven along similar lines and will be omitted.

Suppose first that t(s)<t0(r(s))-δ. By monotonicity, t(s) has a limit T as s→1, with T≤r2-δ (since t0≤r2 by construction). Again by causality,|r˙(s)|≤t˙(s)X(t(s),r(s)).

Let R+:=lim sups→1r(s). Suppose that R+=+∞, and let s2,n be a realizing sequence, i.e., r(s2,n)→+∞. Then the points (t(s2,n),(r(s2,n))) are eventually in the hyperbolic FLRW part of M+, where X(t,r)=ah(t). Let s1 be such that this is true for all s∈(s1,s2,n). Using that ah′≥1 by Friedmann’s equation, we getr˙(s)≤|r˙(s)|≤t˙(s)ah(t(s))≤t˙(s)ah(t(s))ah′(t(s))=∂slog(ah(t(s))).

Integrating from s1 to s2,n, we see that r(s2,n)→+∞ is impossible. Thus, R+<+∞ and due to T≤t0(R+)-δ<t0(R+), (T,R+)∈D. Now let R-:=lim infs→1r(s). Suppose that R-=-∞ and let s1,n be a realizing sequence. In this case, (t(s1,n),r(s1,n)) is eventually in the Schwarzschild part, so one can argue just as in the case below to show R->-∞. To show that R+=R-, observe that mins∈[s1,n,s2,n]W(r(s))-1 is bounded below by some constant C>0 independently of n. Then, using causality and the fact that ∂tY<0,(∗)t(s2,n)-t(s1,n)≥∫s1,n2,n∂rY(t(s),r(s))W(r(s))|r˙(s)|ds≥C(Y(t(s2,n,r(s2,n)))-Y(t(s1,n,r(s1,n)))).

Taking first s2,n→1 and then s1,n→1 gives T-T=0 on the left-hand side, thus givingY(T,R-)≥Y(T,R+).

Since ∂rY>0, we get R+=R-. Thus, γ is extendible to s=1.

The other possibility is that t(s)>t0(r(s))-δ for all s∈(0,1). We will show that γ is extendible to s=0. Again by monotonicity, t(s) has a limit T as s→0 (a priori T≥-∞). Suppose that indeed T=-∞. Let R-:=lim infs→0r(s). It is impossible that R->-∞, since t0(r(s))-δ<t(s)<t0(r(s)). So R-=-∞. In particular, we may choose a realizing sequence r(sn)→-∞ for sn→0. Then γ(sn) is eventually in the Schwarzschild region of (M+,g+). Thus, causality together with t(s)>t0(r(s))-δ imply the estimate (using the explicit form of the Tolman–Bondi metric for Schwarzschild, cf. Example 2.7)t˙(sn)2≥2m1/3(6δ)1/32r˙(sn)2.

Note that everything on the right-hand side is bounded independently of γ. If δ was chosen small enough, then t(sn)→-∞ much faster than r(sn)→-∞; thus, the inequality t(sn)>t0(r(sn))-δ=r(sn)-δ cannot be maintained. The conclusion is that T>-∞. From here, one can use (∗) and the arguments in the preceding case to see that +∞>R+:=lim sups→0r(s)=R-=:R. Moreover, the function t(s)-t0(r(s)) is easily seen to be monotonically increasing in s because t0′(r(s))≤X(t(s),r(s))=Y′(t(s),r(s))/W(r(s)) and γ(s) is causal. Hence, T=t0(R) is impossible. So T<t0(R); thus, (T,R)∈D. This shows extendibility of γ(s) to s=0. □

Similarly, let Q~ be a compact quotient of either R3 or H3, and construct the analogous globally hyperbolic spacetime (M-,g-), but with inverted time orientation. We extend both to r=-∞ and glue them there to obtain a spacetime (M, g), which is also globally hyperbolic.

Theorem 4.3

(Examples of “no-CMC” spacetimes). Let Q,Q~ be compact Riemannian quotients9 of R3 or H3. Let (M, g) be the spacetime constructed above by gluing Schwarzschild (of any mass m) to flat or hyperbolic FLRW which is spatially Q (with Friedmann mass M1=M1(m)), and then attaching a time-inverted gluing of Schwarzschild to flat or hyperbolic FLRW which is spatially Q~ (with Friedmann mass M2=M2(m)) along the Schwarzschild event horizon. Then (M, g) is globally hyperbolic with topologically Q~#Q Cauchy surfaces, is timelike geodesically incomplete, satisfies the strong and dominant energy conditions, and does not contain any CMC Cauchy surfaces.

Proof

Evidently, (M+,g+) and (M-,g-) contain infinitely long past and future timelike curves, respectively, so the proof may be carried out just like in the Lorentz-geometric proof of Theorem 3.5.

In the symmetric case of Q=Q~ being a quotient of either R3 or H3 (i.e., (M-,g-) is just a time-reversed copy of (M+,g+)), as well as Q oriented, a proof based on Theorem 3.3 may also be given. (In the hyperbolic case, we utilize the positive resolution of the surface subgroup conjecture [16].)

If Q is a quotient of R3, then π1(Q) contains a subgroup which is isomorphic to the fundamental group of a surface of genus g=1. If Q is a quotient of H3, then π1(Q) contains a subgroup which is isomorphic to the fundamental group of a surface of genus g≥2. In either case, π1(Q#Q)≅π1(Q)∗π1(Q) contains a subgroup which is isomorphic to the fundamental group of a genus g≥1 surface. One proceeds as in the topological proof of Theorem 3.5, but uses Theorem 3.3(i) in the R3 case and Theorem 3.3(ii) in the hyperbolic case. □

Remark 4.4

(Higher spacetime dimensions). We have done our analysis of Tolman–Bondi spacetimes and constructed spacetimes without CMC Cauchy surfaces in spacetime dimension d=4 in order to be consistent with the literature [2, 4, 11]. However, all of our gluing and ODE arguments continue to hold for d-dimensional Tolman–Bondi spacetimes D×Sd-2, where the metric is of the formg=-dt2+X(t,r)2dr2+Y(t,r)2dΩd-22.

Here dΩd-22 denotes the standard round metric on Sd-2. Examples of this metric are FLRW spacetimes in d dimensions, as well as the d-dimensional Schwarzschild–Tangherlini spacetime of mass m>0 (R≠0,2m)gS=-1-2mRd-3dτ2+11-2mRd-3dR2+R2dΩd-22.

Just like in d=4 spacetime dimensions, one can introduce Lemaître coordinates (t, r) viadt=dτ+2mRd-3dR2,dr=dτ+Rd-32mdR2,

in which the metric takes the formgS=-dt2+(2m)2d-1d-12(r-t)6-2dd-1dr2+(2m)2d-1d-12(r-t)4d-1dΩd-22.

One can then proceed to glue d-dimensional spatially compact flat or hyperbolic FLRW models to Schwarzschild–Tangherlini (where, as before, the Friedmann mass parameter M has to be chosen accordingly in dependence on the Schwarzschild mass m), and attach two such gluings (one of them time-reversed) along the event horizon. The resulting spacetime can be shown to have no CMC Cauchy surfaces via the same Lorentz-geometric arguments as the ones used in the proofs of Theorems 3.5 and 4.3. Note that the topological proof is not applicable, as that relies on Theorem 3.3 which is a result for three-manifolds. Let us summarize these observations in following corollary.

Corollary 4.5

(Higher-dimensional “no-CMC” examples). Let d≥4 and let Q,Q~ be compact Riemannian quotients of Rd-1 or Hd-1. Let (M, g) be the spacetime constructed by gluing d-dimensional Schwarzschild–Tangherlini (of mass m>0) to flat or hyperbolic d-dimensional FLRW which is spatially Q (with Friedmann mass M1=M1(m)), and then attaching a time-inverted gluing of d-dimensional Schwarzschild–Tangherlini to flat or hyperbolic d-dimensional FLRW which is spatially Q~ (with Friedmann mass M2=M2(m)) along the Schwarzschild–Tangherlini event horizon. Then (M, g) is globally hyperbolic, dimM=d, with Cauchy surfaces of topology Q~#Q, is timelike geodesically incomplete, satisfies the strong and dominant energy conditions and does not contain any CMC Cauchy surfaces.

Remark 4.6

(The spherical case). When gluing Schwarzschild to spherical FLRW, the function W is eventually <1, so W2-1<0. This causes the solution of the ODEY˙(t,r)=-W(r)2-1+S(r)Y(t,r)

to develop a past singularity in finite time. So the glued spacetime cannot be globally hyperbolic, as one may simply take inextendible curves emerging from Schwarzschild past timelike infinity i- which cannot cross into the glued region. Of course, one can remove portions of the Schwarzschild region to make it globally hyperbolic, but in this case, the removed portion would be so large that the resulting spacetime could no longer contain timelike curves with infinite length and be a neighborhood of the event horizon (T=-X in Kruskal coordinates). Indeed, if both could be achieved, then we could glue the resulting spacetime with a time-inverted copy of itself to produce a globally hyperbolic spacetime with spatial topology S3#S3≅S3 that would contain timelike curves with infinite length. Since the resulting spacetime is spherically symmetric, this contradicts a result of Burnett [7, Thm. 1].

On the other hand, one could do the full time-inverted gluing in the spherical case without first removing a portion of the Schwarzschild spacetime to obtain a spacetime (M, g) which is not globally hyperbolic, then restrict attention to the Cauchy development (M~,g~) of some spacelike hypersurface of topology S3#S3≅S3, thus resolving the issue of global hyperbolicity. Of course the methods of proof used so far do not apply to show that (M~,g~) has no CMC Cauchy surfaces, as they rely on the existence of infinitely long timelike curves, so it would be interesting to determine if (M~,g~) contains a CMC Cauchy surface or not.

Also, let (M+,g+) be a toroidal FLRW glued to Schwarzschild, and let (M-,g-) be a time-inverted copy of a spherical FLRW glued to Schwarzschild. One can imagine gluing these spacetimes along the event horizon. However, like above, to achieve global hyperbolicity, portions of the manifold would need to be removed. The resulting spacetime has toroidal spatial topology T3≅T3#S3; however, given the remarks above, we cannot conclude that the spacetime has no CMC Cauchy surface since the Lorentz-geometric proof does not carry over: Based on the construction, there are either timelike curves that have infinite length to the past or to the future but not both. It would be interesting to find cosmological spacetimes without CMC Cauchy surfaces whose spatial topologies are T3, or prove that none can exist.

Conclusion and outlook

In this work, we enlarge the number of known spatial topologies for cosmological spacetimes (i.e., spacetimes with compact Cauchy surfaces and satisfying the strong energy condition) without CMC Cauchy surfaces. Specifically, we show that if Q is any compact Euclidean or hyperbolic three-manifold and Q~ is any other compact Euclidean or hyperbolic three-manifold, then there are cosmological spacetimes of that type with spatial topologies Q#Q~. (All of these examples are manifestly timelike incomplete, see Conjecture 1.4.) To obtain our examples, we generalize a gluing construction of Bartnik [2]. We glue general Tolman–Bondi spacetimes with variable marginal conditions and use that to construct cosmological spacetimes without CMC Cauchy surfaces. Bartnik’s original construction comes from gluing a Schwarzschild Tolman–Bondi spacetime to a flat FLRW spacetime; the gluing procedure in this case is simplified since the marginal condition satisfies W=1 and so the Einstein equations can be integrated, see Proposition 3.1. For the hyperbolic case, the marginal condition satisfies W≥1, and the Einstein equations can no longer be integrated; however, maximal solutions can still be constructed implicitly, see Proposition 4.1.

Our main result, Theorem 4.3, utilizes two different arguments (both due to Bartnik) to establish the nonexistence of a CMC Cauchy surface. The first is a topological argument using well-known results from Schoen and Yau which forbid certain three-manifolds from having nonnegative scalar curvature. This argument is purely at the initial data level. The second argument is more Lorentz-geometric and uses Hawking’s cosmological singularity theorem, but it requires global knowledge of the spacetime. The topological argument only works when Q≅Q~, and we rely on the positive resolution of the surface subgroup conjecture [16] when Q is a hyperbolic three-manifold. The Lorentz-geometric argument works in all cases, but it relies on knowledge of the global spacetime. We describe in Remark 4.4 and Corollary 4.5 how our arguments generalize to produce analogous examples in arbitrary spacetime dimensions. The vacuum cosmological spacetime with spatial topology T3#T3 constructed by Chruściel, Isenberg and Pollack in [9] makes use of the topological proof alluded here. In light of the positive resolution of the surface subgroup conjecture, it would be interesting if the example in [9] generalizes to the more general topologies considered here.

Possible future directions of research include Tolman–Bondi metrics with more general stress–energy tensors (e.g., radiation models), compatibility with results obtained by initial data gluing methods, as well as attempts to find “no-CMC” cosmological spacetimes where the timelike incompleteness is less obvious (so as to gain more insight into Conjecture 1.4 resp. Conjecture 1.2). Also, models with only axial symmetry could be of interest. Such models may have a chance to produce spacetimes with non-CMC Cauchy surfaces provided Burnett’s result [7, Thm. 1] does not generalize to the axially symmetric setting. Lastly, as alluded to at the end of Remark 4.6, our methods cannot be used to establish the nonexistence of CMC Cauchy surfaces in cosmological spacetimes with toroidal spatial topology T3. It would be interesting to find such examples, if any exist.

Acknowledgements

Eric Ling is supported by Carlsberg Foundation CF21-0680 and Danmarks Grundforskningsfond CPH-GEOTOP-DNRF151. Argam Ohanyan is funded by the ÖAW-DOC scholarship of the Austrian Academy of Sciences and by the project P-33594 of the Austrian Science Fund FWF. He is grateful for the hospitality of the Mathematics Department of the University of Copenhagen, where parts of this work were conducted. The authors appreciate the hospitality of the Fields Institute and the ESI during the “Thematic Program on Nonsmooth Riemannian and Lorentzian Geometry” and the “Conference on Non-Regular Spacetime Geometry,” respectively. They thank Piotr Chruściel, Gregory Galloway, Michael Kunzinger and Roland Steinbauer for helpful discussions and valuable feedback.

      This research was funded in part by the Austrian Science Fund (FWF) [Grant DOI 10.55776/P-33594]. For open access purposes, the authors have applied a CC BY public copyright license to any author accepted manuscript version arising from this submission.

Funding

Open access funding provided by Copenhagen University.

1 The general form of the Hawking–Penrose theorem makes significantly fewer assumptions on the causality of the spacetime, see, e.g., [3, Thm. 12.47].

2 This is the “correct” notion of smooth, spacelike Cauchy surface, cf. [17, Rem. 3.31].

3 S/2 can justifiably be called mass of the Tolman–Bondi spacetime (in Schwarzschild: S≡2m). We prefer to work with S and have thus chosen the name mass function to avoid confusion.

4 We use M instead of S here to be consistent with the sources [4, 11] and [2]. The function t0(r) is an integration constant depending on r which arises from solving the ODE for Y.

5 This is the case for Schwarzschild and flat FLRW, cf. Example 2.7 and Example 2.8.

6 Bartnik [2] demands in addition that t0′′≤0, M′′≥0 and t02+M2>0. The latter is automatic, and the convexity/concavity conditions (while certainly achievable) do not appear to be necessary.

7 One could have also started out with two sides of the Schwarzschild horizon in the Kruskal extension and then glued FLRW to both of them in Lemaître and time-reversed Lemaître coordinates, and it would have amounted to the same construction.

8 Indeed, if the spatial FLRW slice is a quotient Q of H3, consider the universal cover which is partitioned by fundamental domains. Using analogous arguments as the ones appearing in this proof, it can be shown that the future end of the lift to the spacetime universal cover of any inextendible causal curve lies in just one fundamental domain, likewise for the past end. Since the fundamental domains are portions of a Tolman–Bondi spacetime, the arguments given in this proof apply.

9 All combinations are allowed: Q,Q~ both quotients of R3, both quotients of H3, or one a quotient of R3 and the other a quotient of H3.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
==== Refs
References

1. Bartnik R Existence of maximal surfaces in asymptotically flat spacetimes Commun. Math. Phys. 1984 94 2 155 175 10.1007/BF01209300
Bartnik, R.: Existence of maximal surfaces in asymptotically flat spacetimes. Commun. Math. Phys. 94(2), 155–175 (1984)10.1007/BF01209300
2. Bartnik R Remarks on cosmological spacetimes and constant mean curvature surfaces Commun. Math. Phys. 1988 117 4 615 624 10.1007/BF01218388
Bartnik, R.: Remarks on cosmological spacetimes and constant mean curvature surfaces. Commun. Math. Phys. 117(4), 615–624 (1988)10.1007/BF01218388
3. Beem J Ehrlich P Easley K Global Lorentzian Geometry 1996 Marcel Dekker
Beem, J., Ehrlich, P., Easley, K.: Global Lorentzian Geometry. Marcel Dekker (1996)
4. Bondi H Spherically symmetrical models in general relativity Mon. Not. R. Astron. Soc. 1947 107 5–6 410 425 10.1093/mnras/107.5-6.410
Bondi, H.: Spherically symmetrical models in general relativity. Mon. Not. R. Astron. Soc. 107(5–6), 410–425 (1947)10.1093/mnras/107.5-6.410
5. Burkhart M Lesourd M Pollack D Null geodesic incompleteness of spacetimes with no CMC Cauchy surfaces Pure Appl. Math. Q. 2019 15 3 839 849 10.4310/PAMQ.2019.v15.n3.a3
Burkhart, M., Lesourd, M., Pollack, D.: Null geodesic incompleteness of spacetimes with no CMC Cauchy surfaces. Pure Appl. Math. Q. 15(3), 839–849 (2019)10.4310/PAMQ.2019.v15.n3.a3
6. Burkhart M Pollack D Causal geodesic incompleteness of spacetimes arising from imp gluing Gen. Relativ. Gravit. 2019 51 1 19 10.1007/s10714-019-2621-3
Burkhart, M., Pollack, D.: Causal geodesic incompleteness of spacetimes arising from imp gluing. Gen. Relativ. Gravit. 51, 1–19 (2019)10.1007/s10714-019-2621-3
7. Burnett GA Lifetimes of spherically symmetric closed universes Phys. Rev. D 1995 51 4 1621 10.1103/PhysRevD.51.1621
Burnett, G.A.: Lifetimes of spherically symmetric closed universes. Phys. Rev. D 51(4), 1621 (1995)10.1103/PhysRevD.51.1621
8. Chruściel PT Geometry of black holes 2020 Oxford University Press
Chruściel, P.T.: Geometry of black holes, vol. 169. Oxford University Press (2020)
9. Chruściel PT Isenberg J Pollack D Initial data engineering Commun. Math. Phys. 2005 257 1 29 42 10.1007/s00220-005-1345-2
Chruściel, P.T., Isenberg, J., Pollack, D.: Initial data engineering. Commun. Math. Phys. 257(1), 29–42 (2005)10.1007/s00220-005-1345-2
10. Dilts, J., Holst, M.: When do spacetimes have constant mean curvature slices? (2017). arXiv preprint arXiv:1710.03209
11. Eardley DM Smarr L Time functions in numerical relativity: marginally bound dust collapse Phys. Rev. D 1979 19 8 2239 10.1103/PhysRevD.19.2239
Eardley, D.M., Smarr, L.: Time functions in numerical relativity: marginally bound dust collapse. Phys. Rev. D 19(8), 2239 (1979)10.1103/PhysRevD.19.2239
12. Galloway GJ Existence of CMC Cauchy surfaces and spacetime splitting Pure Appl. Math. Q. 2019 15 2 667 682 10.4310/PAMQ.2019.v15.n2.a2
Galloway, G.J.: Existence of CMC Cauchy surfaces and spacetime splitting. Pure Appl. Math. Q. 15(2), 667–682 (2019)10.4310/PAMQ.2019.v15.n2.a2
13. Galloway GJ Ling E Existence of CMC Cauchy surfaces from a spacetime curvature condition Gen. Relativ. Gravit. 2018 50 1 7 10.1007/s10714-018-2428-7
Galloway, G.J., Ling, E.: Existence of CMC Cauchy surfaces from a spacetime curvature condition. Gen. Relativ. Gravit. 50, 1–7 (2018)10.1007/s10714-018-2428-7
14. Galloway, G.J., Ling, E.: Remarks on the existence of CMC Cauchy surfaces. In: Developments in Lorentzian Geometry, pp. 93–104. Springer International Publishing, Cham (2022)
15. Gerhardt C H-surfaces in Lorentzian manifolds Commun. Math. Phys. 1983 89 523 553 10.1007/BF01214742
Gerhardt, C.: H-surfaces in Lorentzian manifolds. Commun. Math. Phys. 89, 523–553 (1983)10.1007/BF01214742
16. Kahn, J., Markovic, V.: Immersing almost geodesic surfaces in a closed hyperbolic three manifold. Ann. Math. 1127–1190 (2012)
17. Minguzzi E Lorentzian causality theory Living Rev. Relativ. 2019 22 1 1 202 10.1007/s41114-019-0019-x 30613193
Minguzzi, E.: Lorentzian causality theory. Living Rev. Relativ. 22(1), 1–202 (2019)30613193 10.1007/s41114-019-0019-x
18. O’Neill B Semi-Riemannian geometry with applications to relativity 1983 London Academic press
O’Neill, B.: Semi-Riemannian geometry with applications to relativity. Academic press, London (1983)
19. Schoen R Yau S-T Existence of incompressible minimal surfaces and the topology of three dimensional manifolds with non-negative scalar curvature Ann. Math. 1979 110 1 127 142 10.2307/1971247
Schoen, R., Yau, S.-T.: Existence of incompressible minimal surfaces and the topology of three dimensional manifolds with non-negative scalar curvature. Ann. Math. 110(1), 127–142 (1979)10.2307/1971247
