arxiv:gr-qc/ v2 14 Apr 2004

Transcription

1 TRANSITION FROM BIG CRUNCH TO BIG BANG IN BRANE COSMOLOGY arxiv:gr-qc/ v 14 Apr 004 CLAUS GERHARDT Abstract. We consider a brane N = I S 0, where S 0 is an n- dimensional space form, not necessarily compact, in a Schwarzschild- AdS (n+) bulk N and prove that, for specific negative pressures on the brane, the brane is an ARW space. By reflecting N and N to ˆN and ˆN, the joint branes N ˆN can be naturally embedded as a C - hypersurface in R S 0, if n is odd and if ω = n 1 is chosen, a value that corresponds to the assumption of a radiation dominated universe in classical general relativity. Contents 0. Introduction 1 1. The modified Friedmann equation 5. Transition from big crunch to big bang 10 References 1 0. Introduction In a previous paper [] we defined a special class of cosmological spacetimes, so-called ARW spaces, and used the inverse mean curvature flow to prove that, by reflecting the spaces, a smooth transition of class C 3 from big crunch to big bang is possible. We want to apply these results to branes in a Schwarzschild-AdS (n+) bulk N, if the underlying Riemannian space form S 0 is compact, where the branes are assumed to lie in the black hole region, i.e., the radial coordinate is the time function. The metric in N is given by by (0.1) d s = h 1 dr + hdt + r σ ij dx i dx j, Date: nd April Mathematics Subject Classification. 35J60, 53C1, 53C44, 53C50, 58J05. Key words and phrases. Lorentzian manifold, mass, cosmological spacetime, general relativity, inverse mean curvature flow, ARW spacetimes, transition from big crunch to big bang, cyclic universe. This work has been supported by the Deutsche Forschungsgemeinschaft. 1

2 TRANSITION FROM BIG CRUNCH TO BIG BANG where (σ ij ) is the metric of an n- dimensional space form S 0, the radial coordinate r is assumed to be negative, r < 0, and h(r) is defined by (0.) h = m( r) (n 1) + n(n+1) Λr κ, where m > 0 and Λ 0 are constants, and κ = 1, 0, 1 is the curvature of S 0. We note that for the results in the present paper S 0 need neither be compact nor simply connected, only when we want to apply the abstract transition results from [] we have to assume that S 0 is compact. However the transition results derived below are independent of the topology of S 0 or the sign of κ. We consider branes N contained in the black hole region {r 0 < r < 0}. N will be a globally hyperbolic spacetime N = I S 0 with metric (0.3) d s = e f ( (dx 0 ) + σ ij dx i dx j ) such that (0.4) f = f(x 0 ) = log( r(x 0 )). We may assume that the time variable x 0 = τ maps N on the interval ( a, 0). In τ = 0 we have a big crunch singularity induced by the black hole. The relation between geometry and physics is governed by the Israel junction conditions (0.5) h αβ Hḡ αβ = κ(t αβ σḡ αβ ), where h αβ is the second fundamental form of N, H = ḡ αβ h αβ the mean curvature, κ 0 a constant, T αβ the stress energy tensor of a perfect fluid with an equation of state (0.6) p = ω n ρ, and σ the tension of the brane. One of the parameters used in the definition of (n + 1)-dimensional ARW spaces is a positive constant γ, which is best expressed as (0.7) γ = 1 (n + ω ). If N would satisfy the Einstein equation of a perfect fluid with an equation of state (0.8) p = ω n ρ, then γ would be defined with the help of ω in (0.8), cf. [, Section 9]. ARW spaces with compact S 0 also have a future mass m > 0, which is defined by (0.9) m = lim G αβ ν α ν β e ωf, M where G αβ is the Einstein tensor and where the limit is defined with respect to a sequence of spacelike hypersurfaces running into the future singularity, cf. [4].

3 TRANSITION FROM BIG CRUNCH TO BIG BANG 3 For ARW spaces with non-compact S 0 we simply call the limit (0.10) lim f e γf = m, which exists by definition and is positive, mass. The main results of this paper can be summarized in the following two theorems Theorem. Let N be a brane contained in the black hole region of N and assume n 3. (i) If σ 0, then γ = 1 (n 1) is the only possible value such that N is an ARW space. (ii) On the other hand, if we set γ = 1 (n 1), then N is an ARW space if and only if the following conditions are satisfied (0.11) ω = n 1 and or { σ = 0, if 3 < n N, σ R, if n = 3, (0.1) ω (n 1) and σ R, 3 n N. If the condition (0.11) holds, then the mass m of N is larger than m (0.13) m = m + κ n ρ 0, where ρ 0 is an integration constant of ρe (n+ω)f. In the other cases we have m = m. (iii) If we define a new bulk ˆN by switching the lightcone in N, and if we replace the negative radial coordinate r by r, so that the singularity in ˆN is that of a white hole, then, by reflection of N, we can define a new brane ˆN ˆN having a big bang singularity. The joint branes N ˆN define a C - hypersurface in R S 0, where the embedding is given by the natural embeddings of N resp. ˆN in N resp. ˆN, if n is odd and ω = n 1. In all other cases the embedding is at least of class C n 1. If S 0 is compact, then, in view of the general transition result in [], there also exists a C 3 - transition flow from N to ˆN which defines a diffeomorphism. (iv) For the specified values of ω and σ the branes do actually exist. 0.. Theorem. A brane N ˆN is an ARW space with γ 1 (n 1) if and only if γ = n, ω = 1, and (0.14) σ = m ρ 0. The mass m of N is then equal to (0.15) m = κ n ρ 0.

4 TRANSITION FROM BIG CRUNCH TO BIG BANG 4 The reflection process described in the preceding theorem is also possible. The embedding of N ˆN in R S 0 is of class C, if n 3 is odd, and at least of class C n 1, if n > 3 is even. A brane with the specified values does actually exist. In Remark 1.5 we give some heuristic arguments why the branes with γ = 1 n 1 (n 1) and ω = should be the preferred choices. For the convenience of the reader we repeat the definiton of ARW spaces, slightly modified to include the case of non-compact S Definition. A globally hyperbolic spacetime N, dimn = n + 1, is said to be asymptotically Robertson-Walker (ARW) with respect to the future, if a future end of N, N +, can be written as a product N + = [a, b) S 0, where S 0 is a Riemannian space, and there exists a future directed time function τ = x 0 such that the metric in N + can be written as (0.16) d s = e ψ{ (dx 0 ) + σ ij (x 0, x)dx i dx j }, where S 0 corresponds to x 0 = a, ψ is of the form (0.17) ψ(x 0, x) = f(x 0 ) + ψ(x 0, x), and we assume that there exists a positive constant c 0 and a smooth Riemannian metric σ ij on S 0 such that (0.18) lim τ b e ψ = c 0 lim τ b σ ij (τ, x) = σ ij (x), and (0.19) lim τ b f(τ) =. Without loss of generality we shall assume c 0 = 1. Then N is ARW with respect to the future, if the metric is close to the Robertson-Walker metric (0.0) d s = e f { dx 0 + σ ij (x)dx i dx j } near the singularity τ = b. By close we mean that the derivatives of arbitrary order with respect to space and time of the conformal metric e f ğ αβ in (0.16) should converge to the corresponding derivatives of the conformal limit metric in (0.0), when x 0 tends to b. We emphasize that in our terminology Robertson-Walker metric does not necessarily imply that ( σ ij ) is a metric of constant curvature, it is only the spatial metric of a warped product. We assume, furthermore, that f satisfies the following five conditions (0.1) f > 0, there exists ω R such that (0.) n + ω > 0 lim τ b f e (n+ ω )f = m > 0.

5 TRANSITION FROM BIG CRUNCH TO BIG BANG 5 Set γ = 1 (n + ω ), then there exists the limit (0.3) lim τ b (f + γ f ) and (0.4) D m τ (f + γ f ) c m f m m 1, as well as (0.5) D m τ f c m f m m 1. If S 0 is compact, then we call N a normalized ARW spacetime, if (0.6) det σij = S n. S Remark. The special branes we consider are always Robertson- Walker spaces, i.e., in order to prove that they are also ARW spaces we only have to show that f satisfies the five conditions stated above. 1. The modified Friedmann equation The Israel junction condition (0.5) is equivalent to (1.1) h αβ = κ(t αβ 1 n Tḡ αβ + nḡαβ), σ where T = Tα α. Assuming the stress energy tensor to be that of a perfect fluid (1.) T 0 0 = ρ, T α i = pδ α i, satisfying an equation of state (1.3) p = ω n ρ, we finally obtain (1.4) h ij = κ n (ρ + σ)ḡ ij for the spatial components of the second fundamental form. Let us label the coordinates in N as (y a ) = (y r, y t, y i ) (r, t, x i ). Then we consider embeddings of the form (1.5) y = y(τ, x i ) = (r(τ), t(τ), x i ) x 0 = τ should be the time function on the brane which is chosen such that the induced metric can be written as (1.6) d s = r ( (dx 0 ) + σ ij dx i dx j ). We also assume that ṙ > 0. Notice that r < 0, so that (x α ) is future oriented coordinate system on the brane. If we set f = log( r), then the induced metric has the form as indicated in (0.3). Let us point out that this choice of τ implies the relation (1.7) r = h 1 ṙ h t,

6 TRANSITION FROM BIG CRUNCH TO BIG BANG 6 since (1.8) ḡ 00 = ẏ, ẏ, where we use a dot or a prime to indicate differentiation with respect to τ unless otherwise specified. Since the time function in ARW spaces has a finite future range, cf. [, Lemma 3.1], we assume without loss of generality that the embedding is defined in I S 0 with I = ( a, 0). The only non-trivial tangent vector of N is (1.9) y = (r, t, 0..., 0), and hence a covariant normal (ν a ) of N is given by (1.10) λ( t, r, 0,...,0), where λ is a normalization factor, and the contravariant normal vector is given by (1.11) (ν a ) = r 1 ( h dt dτ, h 1 ṙ, 0,...,0), in view of (1.7). The normal vector ν of the brane is spacelike, i.e., the Gauß formula reads (1.1) y αβ = h αβ ν, we refer to [1, Section ] for our conventions. We also emphasize that we have neither specified the sign nor the actual value of κ, i.e., it is irrelevant which normal we use in the Gauß formula. To determine h ij we use (1.13) y t ij = y ț ij + Γ t bcy b iy c j Γ γ ij yt γ = r 1 ṙ dt dτ σ ij, and we conclude (1.14) h ij = h dt dτ σ ij, in view of (1.1), (1.13) and the assumption ṙ 0, and from (1.4) we further deduce dt (1.15) hr dτ = κ n (ρ + σ), or, by taking (1.7) into account, (1.16) f h = κ n (ρ + σ) e f. This is the modified Friedmann equation. Since the bulk is an Einstein space, the left-hand side of (0.5) is divergence free, as can be easily deduced with the help of the Codazzi equation, i.e., T αβ is also divergence free, and hence ρ satisfies the conservation law (1.17) ρe (n+ω)f = const = ρ 0.

7 TRANSITION FROM BIG CRUNCH TO BIG BANG 7 In order to find out under which conditions the brane is an ARW space, we distinguish between the cases σ 0 and σ < 0. The latter choice violates the Newtonian approximation Lemma. Let σ 0, then γ = 1 (n 1) is the only possible value such that N can be an ARW space. Proof. From (1.16) and (1.17) we derive (1.18) f e γf = me ( γ (n 1))f + n(n+1) Λe( γ+1)f κe γf + κ n (ρ 0e ( γ+1 (n+ω))f + σρ 0 e ( γ+ (n+ω))f + σ e ( γ+1)f ). Differentiating both sides and dividing by f yields (1.19) (f + γ f )e γf = m( γ (n 1) )e ( γ (n 1))f + ( γ+1) n(n+1) Λe( γ+1)f γ κe γf + κ n (ρ 0( γ + 1 (n + ω))e ( γ+1 (n+ω))f + σρ 0 ( γ + (n + ω))e ( γ+ (n+ω))f + σ ( γ + 1)e ( γ+1)f ). If N is an ARW space, then the left-hand side of (1.18) has to converge to a positive constant, if τ goes to zero, and f + γ f has to converge to a constant. Thus we deduce that all exponents of e f on the right-hand side of (1.18) have to be non-negative. Dividing now equation (1.19) by e γf we see that the coefficients of all powers of e f, which have the common factor κ n, are non-negative, hence we must have γ = 1 (n 1), for otherwise we get a contradiction. 1.. Lemma. Let γ = 1 (n 1) and σ R. Then N is an ARW space if and only if the following conditions are satisfied (1.0) ω = n 1 and or { σ = 0, if 3 < n N, σ R, if n = 3, (1.1) ω (n 1) and σ R, 3 n N. Proof. Let n 3 and σ R be arbitrary. If the left-hand side of (1.18) converges, then the exponents of the terms with the common factor κ n have to be non-negative, since the exponents of the terms with the factor ρ 0 can t be both negative and equal, so that they might cancel each other. Hence there must hold (1.) ω n 1.

8 TRANSITION FROM BIG CRUNCH TO BIG BANG 8 Moreover, after didividing (1.19) by e γf we see that either ω = n 1 or (1.3) n + ω 1, i.e., (1.4) ω (n 1). In case ω = n 1, we deduce from (1.19) that either σ = 0 or (1.5) 0 n + n 1 = n 3, i.e., n = 3 must be valid, if σ 0. If these necessary conditions are satisfied, then we can express f + γ f in the form (1.6) f + γ f = 1 n Λef γ κ + κ n (σc 1 + σ c e f ) with constants c i, in case ω = n 1, where we note that σ = 0, if n > 3, and γ = 1, if n = 3, and in the form 3 (1.7) f + γ f = 1 n Λef γ κ + κ n c i e ǫif with constants c i, ǫ i, such that ǫ i 0, if ω (n 1). Thus the remaining conditions for f in the definition of ARW spaces are automatically satisfied. On the other hand, it is immediately clear that the conditions in the lemma are also sufficient provided we have a solution of equation (1.16) such that i=1 (1.8) lim τ 0 f = and f < Lemma. Suppose the conditions (1.0) or (1.1) are satisfied, then the equation (1.16) can be solved in an interval ( a, 0), such that f satisfies (1.8). Proof. Look at the equation (1.18) and set (1.9) ϕ = e γf. Then ϕ satisfies (1.30) γ ϕ = m + n(n+1) Λϕn+1 κϕ + with ǫ i 0. 3 c i ϕ ǫi On the other hand, the ordinary differential equation 3 (1.31) γ 1 ϕ = m + n(n+1) Λϕn+1 κϕ + c i ϕ ǫi i=1 i=1

9 TRANSITION FROM BIG CRUNCH TO BIG BANG 9 with initial value ϕ(0) = 0 is solvable in a maximal interval I = ( a, 0] such that ϕ C 1 (I) C ( I ) and ϕ > 0 in I. Then define f = γ 1 log ϕ. Next let us examine the possibility that N is an ARW space with γ n Lemma. Let γ n 1. Then N is an ARW space with constant γ if and only if γ = n, ω = 1, and σ < 0 is fine tuned to (1.3) σ = m ρ 0, where ρ 0 is the integration constant in (1.17). Proof. Let N be an ARW space with γ n 1, then we conclude from (1.18) that all exponents of e f had to be non-negative or (1.33) (n + ω) = (n 1), i.e., ω = 1, and σ had to be fine tuned as indicated in (1.3). If all exponents were non-negative, then we would use (1.19) to deduce the same result as in (1.33) with the corresponding value for σ. Hence, in any case we must have ω = 1 and σ as in (1.3). Inserting these values in (1.18) we conclude (1.34) 0 = γ + (n + 1), i.e., γ = n. The conditions in the lemma are therefore necessary. Suppose they are satisfied, then we deduce (1.35) lim f e γf = κ n ρ 0 and (1.36) f + γ f = n Λef γ κ + κ n σ (n + 1)e f, from which we immediately infer that N is an ARW space. The existence result in Lemma 1.3 is also valid in the case γ = n and ω = Remark. (i) If in Lemma 1. resp. Lemma 1.4 ω is equal to the isolated values ω = n 1 resp. ω = 1, then the future mass of N is different from the mass m of N, namely, in case ω = n 1 and γ = n 1 we get (1.37) m = m + κ n ρ 0 > m, and in case ω = 1 and γ = n (1.38) m = κ n ρ 0. (ii) In the physically reasonable case γ = n 1, the value of γ is equal to the value that one would get assuming the Einstein equations were valid in

10 TRANSITION FROM BIG CRUNCH TO BIG BANG 10 N, where the stress energy tensor would be that of a perfect fluid with an equation of state (1.39) p = ω n ρ such that ω = 1, since then N would be an ARW space satisfying (0.7), cf. [, Section 9]. Furthermore, the classical Friedmann equation has the form (1.40) f = κ n ρef = κ n ρ 0e ( (n+ ω))f. Thus, by identifying the leading powers of e f on the right-hand side of (1.16) and (1.40), we see that in case ω = 1 there should hold (1.41) (n + 1) = (n + ω), i.e., (1.4) ω = n 1. Therefore, if we want to interpret the modified Friedmann equation in analogy to the classical Friedmann equation, then we have to choose ω =, if the relation (0.7) serves as a guiding principle. n 1 Let us conclude this section with the following lemma 1.6. Lemma. The branes N which are ARW spaces satisfy the timelike convergence condition near the singularity. Proof. We apply the relation connecting the Ricci tensors of two conformal metrics. Let (1.43) (ν α ) = (1, u i ) and v = 1 σ ij u i u j 1 Du > 0, then (1.44) hence the result. R αβ ν α ν β = R ij u i u j (n 1)(f f ) + v ( f (n 1) f ) (n 1) κ Du (n )f + (n 1) f Du,. Transition from big crunch to big bang Since the brane N is an ARW space, the results of [] can be applied if S 0 is compact. Define a reflected spacetime ˆN by switching the lightcone and changing the timefunction to ˆx 0 = x 0, then N and ˆN can be pasted together at the singularity {0} S 0 yielding a smooth manifold with a metric singularity which is a big crunch, when viewed from N and a big bang, when viewed from ˆN. Moreover, there exists a natural transition flow of class C 3 across the singularity which is defined by rescaling an inverse mean curvature flow.

11 TRANSITION FROM BIG CRUNCH TO BIG BANG 11 In the following we shall see that the reflected spacetime, which can also be defined for non-compact S 0, can be viewed as a brane in the Schwarzschild- AdS (n+) space ˆN which is a reflection of N. ˆN is obtained by switching the lightcone in N and by changing the radial coordinate r to r. The singularity in r = 0 is then a white hole singularity. The brane N is given by (.1) y(τ) = (r(τ), t(τ), x i ). Since the coordinates (x i ) do not change, let us write y(τ) = (r(τ), t(τ)). We shall see in a moment that t(τ) converges, if τ tends to zero, hence, let us set this limit equal to zero. Now we define the reflection ˆN of N by (.) ŷ(τ) = ( r( τ), t( τ)) for τ > 0. The result is a brane in ˆN which can be pasted continuously to N. The embeddings of N resp. ˆN in N resp. ˆN are also embeddings in R S 0, endowed with the Riemannian product metric, and now it makes sense to ask, if the joint hypersurfaces N ˆN form a smooth hypersurface in R S 0. We shall show that this is indeed the case. N ˆN is of class C, if n is odd and if ω assumes only the isolated values, and it is at least of class C n 1 if n is even. The smoothness of N ˆN in R S 0 we interpret as a smooth transition from big crunch to big bang. To prove the smoothness we have to parameterize y = y(τ) with respect to r. This is possible, since (.3) dr dτ = f e f > 0. Then we have y(r) = (r, t(r)) and we need to examine dt (.4) dr = dt dτ dτ dr = dt dτ (.5) Define ϑ(r) = then we obtain from (1.15) (.6) h(r)e (n 1)f 1 f e f. = m + n(n+1) Λe(n+1)f κe (n 1)f, ϑ dt dr = κ n (σ + ρ 0e (n+ω)f ) enf f = κ n (σe(n+ γ)f + ρ 0 e ( γ ω)f ) 1 f e γf. This immediately shows that in all cases dt dr is uniformly bounded, hence lim r 0 t(r) exists. Next we shall prove that f e γf can be written as a polynomial in r. We shall only treat the case γ = n 1 and ω = n 1 in detail.

12 TRANSITION FROM BIG CRUNCH TO BIG BANG 1.1. Lemma. Let γ = n 1 and ω = n 1, and define ϕ = f e γf, then (.7) ϕ = m + n(n+1) Λ( r)n+1 κ( r) n 1, if n > 3, and (.8) ϕ = if n = 3. m Λr4 κr + κ n (σρ 0 r + σ r 4 ), Proof. These relations follow immediately from (1.18), if we observe that σ = 0, if n > 3. Now we can rewrite (.6) to obtain dt (.9) dr = κ n (σ( r)3n 1 + ρ 0 ( r) n 1 )ϑ 1 ϕ 1. If the right-hand side is an even function in r, i.e., if all powers are even, then the embedding of N ˆN is of class C. If there are odd exponents, then the differentiability class is determined by the smallest odd exponent. Now, if n > 3, then σ = 0 and dt dr is an even function, if n is odd. The same is also true, if n = 3 and σ R arbitrary. We also note that if n is even, then the smallest odd exponent is n 1, i.e., dt dr is then of class Cn. Thus we have proved.. Theorem. If γ = n 1 and ω = n 1, then the embedding of N ˆN in R S 0 is of class C, if n is odd, and at least of class C n 1, if n is even. By identical considerations we also derive.3. Theorem. If γ = n 1, σ R, and ω (n 1), then the embedding of N ˆN in R S 0 is at least of class C n 1. Finally, let us look at γ = n and ω = 1. One can easily prove.4. Theorem. If γ = n, ω = 1, then the embedding of N ˆN in R S 0 is of class C, if n is odd, and at least of class C n 1, if n is even. References 1. Claus Gerhardt, Hypersurfaces of prescribed curvature in Lorentzian manifolds, Indiana Univ. Math. J. 49 (000), , pdf file.., The inverse mean curvature flow in ARW spaces - transition from big crunch to big bang, 004, 39, pages, math.dg/ , The inverse mean curvature flow in cosmological spacetimes, 004, 4 pages, math.dg/ , The mass of a Lorentzian manifold, 004, 14 pages, math.dg/ Justin Khoury, A briefing on the ekpyrotic/cyclic universe, 004, 8 pages, astro-ph/ David Langlois, Brane cosmology: an introduction, 00, 3 pages, hep-th/00961.

13 TRANSITION FROM BIG CRUNCH TO BIG BANG Neil Turok and Paul J. Steinhardt, Beyond inflation: A cyclic universe scenario, 004, 7 pages, hep-th/ Ruprecht-Karls-Universität, Institut für Angewandte Mathematik, Im Neuenheimer Feld 94, 6910 Heidelberg, Germany address: gerhardt@math.uni-heidelberg.de URL: