arxiv:hep-th/ v1 29 Dec 2002

Transcription

1 hep-th/0136 Cassica Geometry of De Sitter Spacetime : An Introductory Review arxiv:hep-th/0136v1 9 Dec 00 Yoonbai Kim a,b,1, Chae Young Oh a,, and Nami Park a,3 a BK1 Physics Research Division and Institute of Basic Science, Sungkyunkwan University, Suwon , Korea b Schoo of Physics, Korea Institute for Advanced Study, 07-43, Cheongryangri-Dong, Dongdaemun-Gu, Seou , Korea Abstract Cassica geometry of de Sitter spacetime is reviewed in arbitrary dimensions. Topics incude coordinate systems, geodesic motions, and Penrose diagrams with detaied cacuations. 1 yoonbai@skku.ac.kr young@newton.skku.ac.kr 3 nami@newton.skku.ac.kr 1

2 Contents 1 Introduction Setup 3 3 Usefu Coordinates Goba (cosed) coordinates (τ, θ i ), i = 1,,, d Conforma coordinates (T, θ i ) Panar (infationary) coordinates (t, x i ) Static coordinates (t, r, θ a ), a = 1,,, d Geodesics Goba (cosed) coordinates Conforma coordinates Panar (infationary) coordinates Static coordinates Penrose Diagram Static coordinates Conforma coordinates Panar (infationary) coordinates Discussion 33 A Various Quantities 34 A.1 Goba (cosed) coordinates A. Conforma coordinates A.3 Panar (infationary) coordinates A.4 Static coordinates Introduction Cosmoogica constant Λ was originay introduced in genera reativity with the motivation to aow static homogeneous universe to Einstein equations in the presence of matter. Once expansion of the universe was discovered, its roe turned out to be unnecessary and it experienced a checkered history. Recent cosmoogica observations suggest some evidences for the existence of a positive cosmoogica constant [1] : From a variety of observationa sources, its magnitude is (G h/c 3 )Λ 10 13, and both matter Ω matter and vacuum Ω Λ are of comparabe magnitude, Ω matter /Ω Λ 0.3/0.7 in spatiay fat universe. Both resuts are paraphrased as od and new cosmoogica constant probems [, 3]. Incusion of quantum fied theory predicts naturay the energy density via quantum fuctuations even up to the

3 Panck scae, so the od probem is to understand why the observed present cosmoogica constant is so sma. It is the worst fine-tuning probem requiring a magic canceation with accuracy to 10 decima paces. The new probem is to understand why the vacuum energy density is comparabe to the present mass density of the universe. Though there are severa casses of efforts to sove the cosmoogica constant probem, e.g., canceation of vacuum energy based on symmetry principe ike supersymmetry, the idea of quintessence, and the anthropic principe, any of them is not widey accepted as the soution, yet. In the eary universe, existing cosmoogica constant aso provides an intriguing idea, infationary cosmoogy, to fix ong-standing cosmoogica probems in the Big-bang scenario. In addition to the above, detaied properties of the de Sitter geometry in arbitrary dimensions raise a debate ike seection of true vacuum compatibe with its scae symmetry in reation with trans-panckian cosmoogy [4, 5] or becomes a cornerstone of a theoretica idea ike ds/cft for a chaenging probem of quantum gravity in de Sitter spacetime [6]. In the context of genera reativity, cassica study on the cosmoogica constant is to understand geometry of de Sitter spacetime (ds d ). Therefore, in this review, we study de Sitter geometry and the motion of cassica test partice in the background of the de Sitter spacetime in detai. Topics incude usefu coordinate systems, geodesic motions, and Penrose diagrams. One of our purposes is to combine knowedges of cassica de Sitter geometry, scattered with other subjects in the textbooks or reviews, in one note [7, 8, 9, 10]. We tried to make our review sef-contained and a technica note by containing various formuas in the appendix. The review is organized as foows. In section, we introduce our setup with notations and signature. In section 3, four coordinates (goba, conforma, panar, and static) and coordinate transformations among those are expained with the reason why such four of them are frequenty used. Kiing symmetries are aso obtained in each coordinate system. A possibe geodesic motions of cassica test partice are given in section 4. Identification of de Sitter horizon for a static observer and cosmoogica evoution to a comoving observer are aso incuded. In section 5, causa structure of the goba de Sitter spacetime is deat through Penrose diagrams, and its quantum theoretica impication is aso discussed. Section 6 is devoted to brief discussion. Various quantities are dispayed in Appendix for convenience. Setup In this section, we introduce basic setup for studying cassica geometry of de Sitter spacetime in arbitrary dimensions. Two methods are empoyed : One is soving directy Einstein equations for each metric ansatz, and the other is reading off the specific form of coordinate transformation between two metrics. We begin with Einstein-Hibert action couped to matters : S = 1 16πG d d x g (R Λ) + S m, (.1) 3

4 where S m stands for the matter action of our interest, which vanishes for imit of the pure gravity, and Λ is a cosmoogica constant, which sets to be positive for ds d. Einstein equations are read from the action (.1) where energy-momentum tensor T µν is defined by G µν + Λg µν = 8πGT µν, (.) T µν δs m. (.3) g δg µν Throughout the paper sma Greek indices µ, ν, ρ, σ, τ, κ... run from 0 to d 1, and our spacetime signature is (, +, +,..., +). To be specific et us consider a rea scaar fied φ(x) of which action is S m = d d x [ g 1 ] gµν µ φ ν φ V (φ). (.4) In order not to have an additiona contribution to the cosmoogica constant at cassica eve, we set minimum vaue of the scaar potentia to vanish, min(v (φ)) = 0. Then its energy-momentum tensor becomes T µν = µ φ ν φ 1 g µν ρ φ ρ φ g µν V (φ), (.5) where energy density T 00 is positive semi-definite in the imit of fat spacetime. For the pure ds d, the energy-momentum tensor of the matter, T µν, vanishes so that one can regard these spacetimes as soutions of the Einstein equations of Eq. (.) G µν = Λg µν (.6) for an empty spacetime with a positive constant vacuum energy (Λ > 0) : T vacuum µν Λ 8πG g µν. (.7) Therefore, the ony nontrivia component of the Einstein equations (.6) is R = d Λ > 0. (.8) d It means that the de Sitter spacetime is maximay symmetric, of which oca structure is characterized by a positive constant curvature scaar aone such as R µνρσ = 1 d(d 1) (g µρg νσ g µσ g νρ )R. (.9) Since the scaar curvature (.8) is constant everywhere, the ds d is free from physica singuarity and it is confirmed by a constant Kretschmann scaar : R µνρσ R µνρσ = d(d 1) R = We foow usua definition of tensors as foows. 4 8d d(d 1)(d ) Λ. (.10)

5 quantity definition Jacobian factor g det(g µν ) connection Γ µ νρ 1 gµσ ( ν g σρ + ρ g σν σ g νρ ) covariant derivative of a contravariant vector Riemann curvature tensor Ricci tensor µ A ν µ A ν + Γ ν µρa ρ R µ νρσ ργ µ σν σγ µ ρν + Γµ ρτ Γτ σν Γµ στ Γτ ρν R µν R ρ µρν curvature scaar R g µν R µν Einstein tensor G µν R µν g µν R 3 Usefu Coordinates When we dea with specific physics in genera reativity, we are firsty concerned with appropriate coordinate system. In this section, we introduce four usefu coordinates and buid coordinate transformations among those for tensor cacuus : They are goba (cosed), conforma, panar (infationary), and static coordinates. For the detaied cacuation of various quantities in systems of coordinates, refer to Appendix. Simiar to physica issues in fat spacetime, the symmetries of a Riemannian manifod is reaized through metric invariance under the symmetry transformations. Specificay, et us choose a coordinate system as (x µ, g µν ) and take into account a transformation x µ x µ. If the metric g µν remains to be form-invariant under the transformation g µν (x) = g µν(x) (3.1) for a coordinates x µ, such transformation is caed an isometry. Since any finite continuous transformation with non-zero Jacobian can be constructed by an infinite sum of infinitesima transformations, study under infinitesima transformation is sufficient for continuous isometry. If we consider an infinitesima coordinate transformation x µ x µ = x µ + εx µ (x), (3.) where ε is sma parameter and X µ a vector fied, expansion of the form-invariance (3.1) eads to Kiing s equations L X g µν X ρ ρ g µν + g µρ ν X ρ + g ρν µ X ρ = 0, (3.3) where L X denotes a Lie derivative. Then, any X µ given by a soution of the Kiing s equations (3.3) is caed a Kiing vector fied. In every subsection we wi discuss Kiing symmetries of each coordinate system. 5

6 3.1 Goba (cosed) coordinates (τ,θ i ), i = 1,,,d 1 An intriguing observation about the ds d is embedding of the ds d into fat (d+1)-dimensiona spacetime, which was made by E. Schrödinger (1956). In (d + 1)-dimensiona Minkowski spacetime, the Einstein equation is triviay satisfied 0 = d+1 R g AB R AB = R + R dd, (3.4) where capita indices, A, B,..., represent (d + 1)-dimensiona Minkowski indices run from 0 to d. If we set R dd = d Λ which impies a positive constant curvature of the embedded d space, then the d-dimensiona Einstein equation (.8) of ds d is reproduced. Topoogy of such embedded d-dimensiona spacetime of the positive constant curvature is visuaized by urging agebraic constraint of a hyperbooid η AB X A X B =, (3.5) where η AB = diag( 1, 1, 1,, 1). So the gobay defined metric of fat (d + 1)-dimensiona spacetime is ds = η AB dx A dx B (3.6) constrained by the equation of a hyperbooid (3.5). Let us carify the reation between the cosmoogica constant Λ and the ength by inserting the constraint (3.5) into the Einstein equation (.8). To be specific, we eiminate the ast spatia coordinate X d from the metric (3.6) and the constraint (3.5) : dx d = η µνx µ dx ν η αβ X α X. (3.7) β Inserting Eq. (3.7) into the metric (3.6), we have the induced metric g µν of a curved spacetime due to an embedding : X µ X ν g µν = η µν + η αβ X α X, (3.8) β and its inverse g µν is The induced connection Γ µ νρ becomes Γ µ νρ = 1 ( η νρ X µ + X νx ρ X µ g µν = η µν 1 Xµ X ν. (3.9) η αβ X α X β ). (3.10) Subsequenty, we compute induced curvatures : The Riemann curvature tensor R µ νρσ is R µ νρσ = 1 [ η νσ δ µ ρ η νρ δ µ σ + η νρx σ X µ η νσ X ρ X µ + δ µ ρx ν X σ δ µ ] σx ν X ρ η αβ X α X β + 1 [ η 4 νσ X ρ X µ η νρ X σ X µ + (η νσx ρ X µ η νρ X σ X µ )X γ X γ ], (3.11) η αβ X α X β 6

7 and the Ricci tensor R µν is R µν = d 1 ( η µν + Since the induced curvature scaar R does not vanish R = ) X µ X ν η αβ X α X β. (3.1) d(d 1), (3.13) the Einstein equation, (3.4) or (3.5), wi determine the reation between the ength and the cosmoogica constant Λ. Insertion of the constraint (3.5) into the Einstein equation (.8) gives us a reation between the cosmoogica constant Λ and the ength such as Λ = (d 1)(d ). (3.14) Impemented by Wey symmetry, the unique scae of the theory of our interest,, can aways be set to be one by a Wey rescaing as X A X A = e ω X A = XA. (3.15) Therefore, the ds d is defined as a d-dimensiona hypersurface (a hyperbooid) embedded in fat (d + 1)-dimensiona spacetime, and the overa topoogy is cyindrica, being R S d 1 (See Fig. 1). A we-known coordinate system to cover entire d-dimensiona hyperbooid is obtained from the foowing observation : As shown in Fig. 1, the reation between X 0 and the spatia ength of (X 1, X,..., X d ) is hyperboic and spatia sections of a constant X 0 defines a (d 1)- dimensiona sphere of radius + (X 0 ). Therefore, a convenient choice satisfying Eq. (3.5) is X 0 = sinh τ and X α = ω α cosh τ, (α = 1,..., d), (3.16) where < τ < and ω α s (α, β,...) for the spatia sections of constant τ satisfy d (ω α ) = 1. (3.17) α=1 Subsequenty, we have d 1 ange variabes θ i, i = 1,,, d 1, such as ω 1 = cosθ 1, 0 θ 1 < π, ω = sin θ 1 cosθ, 0 θ < π,. ω d = sin θ 1 cosθ sin θ d 3 cos θ d 3, 0 θ d 3 < π, ω d 1 = sin θ 1 cosθ sin θ d cos θ d 1, 0 θ d < π, ω d = sin θ 1 cosθ, sin θ d sin θ d 1, 0 θ d 1 < π. (3.18) 7

8 X 0 X 0 +( X 0 ) S d-1 X, X,..., X 1 d Figure 1: d-dimensiona hyperbooid iustrating de Sitter spacetime embedded in d + 1-dimensions. Inserting Eq. (3.16) and Eq. (3.18) into the metric (3.6), we have a resutant metric rewritten in terms of the above coordinates (τ, θ i ) : ( ) τ ds = dτ + cosh dω d 1, (3.19) where dω d 1 is (d 1)-dimensiona soid ange dω d 1 = dθ1 + sin θ 1 dθ + + sin θ 1 sin θ d dθd 1 d 1 j 1 = sin θ i dθ j. (3.0) j=1 i=1 Note that singuarities in the metric (3.0) at θ i = 0 and θ i = π (i = 1,,, d ) are simpy trivia coordinate artifacts that occur with poar coordinates. In these coordinates with a fixed time τ, the spatia hypersurface corresponds to a (d 1)-dimensiona sphere of radius cosh(τ/). Thus, its radius is infinitey arge at τ =, decreases to the minimum radius at τ = 0, and then increases to infinite size as τ. We again emphasize that the spatia section is compact (finite) except for the farthest past and future. In this coordinate system, / θ d 1 is the ony Kiing vector because the metric (3.19) is isometric under the rotation of a coordinate θ d 1. On the other hand, / τ is not a Kiing vector and missing of this Kiing symmetry breaks the conservation of energy so that Hamitonian is not defined propery and the quantization procedure does not proceed smoothy. However, S-matrix of the quantum fied theory, if it exists, is known to be unitary because the coordinates cover gobay the whoe spacetime. 8

9 An opposite direction is to assume an appropriate form of metric with an unknown function f(τ/), ds = dτ + f(τ/) dω d 1, (3.1) and then to try to sove the Einstein equations. Curvature scaar of the metric (3.1) is computed as (d )(1 + f ) + f R = (d 1) f, (3.) f where the overdot denotes derivative of the rescaed time variabe f df/d(τ/) in this subsection. With the aid of Eq. (3.14), the Einstein equation (.8) becomes (f f f 1) = d( f + f 1). (3.3) A particuar soution of Eq. (3.3), irrespective of d, can be obtained by soving two equations f f f 1 = 0 and f + f 1 = 0. (3.4) The soution of Eq. (3.4) is ± cosh[(τ τ 0 )/] except unwanted trivia soution (f = 0). Since we can choose τ 0 = 0 without oss of generaity, via a time transation, τ τ τ 0, we have ( ) τ f(τ/) = ± cosh (3.5) which is equivaent to the metric (3.19) found by a coordinate transformation. The genera soution of Eq. (3.3) shoud satisfy the foowing equations f f f 1 = df and f + f 1 = F, (3.6) where F is an arbitrary function of τ/. According to the search by use of Mathematica and a handbook [11], it seems that no other soution than Eq. (3.5) is known, yet. 3. Conforma coordinates (T,θ i ) A noteworthy property of the ds d is provided by computation of the Wey (or conforma) tensor C µνρσ = R µνρσ + 1 d (g µσr ρν + g νρ R σµ g µρ R ρν g νσ R ρν ) 1 + (d 1)(d ) (g µρg ρν g µσ g σν )R, (3.7) for d 4, or the Cotton tensor ( ) C µν = ǫρσµ σ R ν ρ δν ρ g 4 R (3.8) 9

10 for d = 3. 4 Substituting the Einstein equation (.8) and Eq. (.9) into the conforma tensors in Eqs. (3.7) and (3.8), we easiy notice that they vanish so that ds d is proven to be conformay fat : [ ] 1 C µνρσ = d(d 1) d(d ) + 1 (g µρ g ρν g µσ g ρν )R = 0, (3.30) (d 1)(d ) C µν = 1 ǫ µνρ ρ (R 4Λ) R Λ = 0. (3.31) 4 g Therefore, the condition (.9) that the Riemann curvature tensor is determined by the scaar curvature aone is equivaent to the condition of vanishing conforma tensor in this system. Consequenty the unique scae of the ds d, = (d 1)(d )/Λ, can be scaed away by a Wey (scae) transformation. The above conforma property of the ds d suggests that conforma coordinate system is a good coordinate system. It is written in terms of conforma time T as ds = F(T/) ( dt + dω d 1 ). (3.3) If we compare the metric of the goba coordinates (3.19) with that of the conforma coordinates (3.3), then coordinate transformation between two is summarized in a first-order differentia equation of F(T/) d nf dt = ± F 1, (3.33) where F(T/) = cosh(τ/) 1 provides a boundary condition such as F(0) = 1. The unique soution of Eq. (3.33) is ( ) T F(T/) = sec. (3.34) Substituting the resut (3.34) into the metric (3.3), we have ds = 1 cos T ( dt + dω d 1) with π < T < π. (3.35) Since the metric (3.35) is isometric under the rotation of θ d 1, / θ d 1 is a Kiing vector but there is no other Kiing vector. Thus, the ony symmetry is axia symmetry. Note that there is one-to-one correspondence between the goba coordinates (3.19) and the conforma coordinates (3.35), which means that the conforma coordinate system describes aso entire 4 The Cotten tensor (3.8) is derived from the gravitationa Chern-Simon action : S CS = 1 d 3 xǫ (R µνρ ρ σµνγ σ ρτ ) 3 Γρ σµγ σ κνγ κ ρτ. (3.9) Since this gravitationa Chern-Simon action is composed of cubic derivative terms so that it is dimensioness without any dimensionfu constant. It means that 3-dimensiona conforma gravity is described by this Chern-Simon term. 10

11 de Sitter spacetime. In addition, any nu geodesic with respect to the conforma metric (3.35) is aso nu in the conformay-transformed metric : d s cos ( T ) ds = dt + dω d 1. (3.36) Therefore, Penrose diagram for the ds d can easiy be identified from this metric (3.36), which contains the whoe information about the causa structure of the ds d but distances are highy distorted. However, we wi discuss the Penrose diagram for the ds d in section 5 after the Kruska coordinate system is introduced. As mentioned previousy, topoogy of the de Sitter spacetime is cyindrica (R S d 1 ) so the process to make the Penrose diagram is to change the hyperbooid into a d-dimensiona cyinder of a finite height, being I S d 1 (I = [0, π]). Again note that the conforma coordinate system (3.35) does not incude the timeike Kiing symmetry so that the Hamitonian as a conserved quantity cannot be chosen and the quantum theory on these coordinates is aso sick. Existence of conforma symmetry aso affects much on the choice of fied theoretic vacuum in the de Sitter spacetime. From now on et us obtain the conforma metric (3.34) by soving the Einstein equations (.6) under Eq. (3.3). If we compute the curvature scaar, we have R = (d 1) (d )F + (d 4) F + F F F 4, (3.37) Here overdot denotes F df/d(t/), and the same overdot in every subsection wi aso be used as derivative of the rescaed time variabe in each corresponding subsection. Then the Einstein equation (.8) becomes (F F F F ) = d(f 4 F F ). (3.38) A particuar soution of Eq. (3.38), irrespective of d, shoud satisfy the foowing equations F F F F = 0 and F + F F 4 = 0. (3.39) The unique soution of Eq. (3.39) with F(0) = 1 is proven to be the same as Eq. (3.34). The genera soution shoud satisfy the foowing equations F F F F = dg and F 4 F F = G, (3.40) where G is an arbitrary function of T/. According to the search by use of Mathematica and a handbook [11], no other soution than Eq. (3.34) is found yet. 3.3 Panar (infationary) coordinates (t,x i ) A noticed character of the pure ds d from Eq. (.9) is the fact that it is maximay symmetric. Suppose a comoving observer in the pure ds d, then he or she may find maximay-symmetric 11

12 spatia hypersurface orthogona to his or her time direction. The corresponding panar (infationary) metric takes the form ds = dt + a (t/)γ ij dx i dx j, (3.41) where a(t/) is cosmic scae factor and (d 1)-dimensiona spatia metric γ ij of hypersurface shoud aso carry maxima symmetries as a defining property : a 4 d 1 R. d 1 R ijk = k(γ ik γ j γ i γ jk ), (3.4) where k = (d 1)(d ) Note that every nonvanishing component of the d-dimensiona Riemann curvature R µνρσ is expressed by the (d 1)-dimensiona metric (3.41) such as R titj = aäγ ij, (3.43) R tijk = aȧ ( i γ kj + j γ ki k γ ij ), (3.44) R ijk = (ka + a ȧ )(γ ik γ j γ i γ jk ), (3.45) where the overdot denotes derivative of the rescaed time variabe, ȧ da(t/)/d(t/). So does those of the Ricci tensor and that of the scaar curvature R tt = d 1 a ä, (3.46) R ti = ȧ a γjk ( j γ ik i γ jk + k γ ji ), (3.47) R ij = [aä + (d )(ȧ + k)]γ ij, (3.48) R = (d 1) aä + (d )ȧ + (d )k a. (3.49) In the de Sitter spacetime of our interest, we ony have a positive vacuum energy (or equivaenty a positive cosmoogica constant) as the matter source given in Eq. (.7). Let us interpret it in terms of a cosmoogica perfect fuid of which energy-momentum tensor can be written T µν = (p + ρ)u µ U ν + pg µν, (3.50) where ρ and p are the energy density and pressure respectivey as measured in the rest frame, and U µ is the veocity of the fuid. Since the fuid is at rest for a comoving observer, the veocity of the fuid U µ is U µ = (1, 0, 0,..., 0), (3.51) and then T µ ν diag( ρ, p,...,p). Therefore, the equation of state w = p/ρ = 1 tes it is a perfect fuid with a positive constant density and a negative constant pressure : ρ = p = Λ 8πG. (3.5) 1

13 Obviousy it is aso consistent with conservation of the energy-momentum tensor (.7), i.e., µ T µ ν = 0. Due to isotropy and homogeneity, spatia part of the metric (3.41) γ ij is rewritten by we-known Robertson-Waker metric in terms of (d 1)-dimensiona spherica coordinates (r, θ a ), (a = 1,,, d ) : ds = dt + a (t/) d ( ) ä ρ a = 4πG d 1 + p [ dr 1 k(r/) + r dω d ], (3.53) where k can have 0 (fat) or 1 (open) or +1 (cosed). Under the metric (3.53), the Einstein equations (.6) are summarized by two Friedmann equations : (ȧ ) = 4πG [ ] d ρ (d 4)p k a d 1 a = d (d 1) Λ k a, (3.54) = d Λ. (3.55) (d 1) The right-hand side of Eq. (3.55) is aways positive in the ds d of a positive cosmoogica constant. Thus, the universe depicted by the ds d is acceerating or equivaenty deceeration parameter q = aä a (3.56) is observed to be negative. When k = 0 or 1, the right-hand side of Eq. (3.54) is aways positive. It means that, once the universe started expanding, it is eternay expanding. Or equivaenty, once Hubbe parameter H(t) ȧ (3.57) a was observed to be positive, the rate of expansion of the universe aways remains to be positive. Even for k = +1 case, once the cosmic scae factor a(t/) arrives at critica size a cr such as a cr = (d 1)/(d )Λ, and then the universe continues eterna expansion. The exact soutions of the Friedmann equations (3.54) (3.55) are nothing but infationary soutions consistent with the above arguments = sinh(t/), for k = 1 a(t/) exp(±t/), for k = 0. (3.58) = cosh(t/), for k = +1 If we interpret singuarity at a = 0 as the Big Bang of the creation of the universe, then open universe of k = 1 experienced it at t = 0 and an expanding fat universe of k = 0 did it at past infinity t = whie cosed universe of k = +1 did not. The constraint of the hyperbooid (3.5) embedded in (d + 1)-dimensiona Minkowski spacetime can be decomposed into two constraints by introducing an additiona parameter t, of which one is a -dimensiona hyperboa of radius 1 ( ) x i e t/ ( ) X 0 ( ) X d ( ) x i + = 1 e t/, (3.59) 13

14 and the other is a (d 1)-dimensiona sphere of radius xi et/ ( ) X 1 ( ) X d 1 ( ) x i + + = e t/, (3.60) where (x i ) denotes the sum over the index i. Therefore, a nice coordinate system to impement the above two constraints (3.59) (3.60) is X 0 X i X d = sinh t + (xi /) e t/, = xi et/ (i = 1,,, d 1), = cosh t (xi /) e t/, (3.61) where range of x i is < x i < and that of t is < t <. Since X 0 + X d = exp( t/) 0, our panar coordinates (3.61) cover ony upper-haf the ds d as shown in Fig.. Lower-haf the ds d can be described by changing the (d + 1)-th coordinate X d to X d / = cosh(t/) + (x i ) e t /. Inserting these transformations (3.61) into the fat (d + 1)- X X 0 = X d X d Figure : Upper-haf the ds d covered by our panar coordinates is given by shaded region. dimensiona Minkowski metric (3.6), we obtain a famiiar form of the panar metric of the ds d : ds = dt + e t/ dx i (3.6) which coincides exacty with the fat soution (3.58) found by soving the Einstein equations (3.54) (3.55). 14

15 Since the metric (3.6) is not isometric under time transation, / t is not a timeike Kiing vector. This nonexistence impies no notion of conserved energy and Hamitonian, which hinders description of quantum gravity in the panar coordinates. However, the metric (3.6) is independent of x i, so it satisfies form-invariance (3.1). Therefore, / x i s are spaceike Kiing vectors and the spatia geometry invoves transationa symmetries and rotationa symmetries. 3.4 Static coordinates (t,r,θ a ), a = 1,,,d The constraint of the hyperbooid (3.5) embedded in (d + 1)-dimensiona Minkowski spacetime is again decomposed into two constraints by introducing an additiona parameter r, of which one is a -dimensiona hyperboa of radius 1 (r/) ( ) X 0 ( ) X d ( ) r + = 1 (3.63) and the other is a (d 1)-dimensiona sphere of radius r/ ( ) X 1 ( ) X d 1 ( ) r + + =. (3.64) Therefore, a nice coordinate system to impement the above two constraints (3.63) (3.64) is X 0 ( ) r t = 1 sinh, X i X d = r ωi, (i = 1,,, d 1), ( ) r t = 1 cosh, (3.65) where ω i s were given in Eq. (3.18) and r (0 r < ) wi be identified with radia coordinate of static coordinate system. Since X 0 + X d = r exp( t/) 0 and X 0 + X d = r exp(t/) 0, the region of r covers ony a quarter of the whoe ds d as shown by the shaded region in Fig. 3. Later, r = wi be identified by a horizon of the pure de Sitter spacetime. Inserting these transformations (3.65) into the (d + 1)-dimensiona Minkowski metric (3.6), we obtain a famiiar form of static metric of the ds d : [ ( ) ] r dr where ds = 1 dt + [ 1 ( r ) ] + r dω d, (3.66) dω d = dθ1 + sin θ 1 dθ + + sin θ 1 sin θ d 3 dθd ( d b 1 = sin θ a )dθ b. b=1 a=1 15

16 d X = 0 X X 0 X = 0 X d X d Figure 3: The region bounded by the de Sitter horizon (r ) is shown by shaded region. The metric (3.66) is form-invariant (3.1) for both time transation and rotation of the coordinate θ d so that we have two Kiing vectors, / t and / θ d. Correspondingy, spacetime geometry has axia and time transationa symmetries. Therefore, Hamitonian is we-defined in the static coordinates (3.66) but unitarity is threatened by existence of the horizon at r =. In order to describe the system with rotationa symmetry in d-dimensions, a static observer may introduce the static coordinate system where the metric invoves two independent functions of the radia coordinate r, e.g., Ω(r) and A(r) : ds = e Ω(r) A(r)dt + dr A(r) + r dω d. (3.67) Curvature scaar of the metric (3.67) is computed as [ (d 3)(1 A) R = (d ) r r ( )] da dr + AdΩ dr d A dr + Ω Ad dr + A ( dω dr From Eqs. (A.5) and (A.6), simpified form of the Einstein equations (.6) is d dω r dr d d [ r d 3 (1 A) ] = r d dr 16 ) + 3 da dr dω. dr (3.68) = 0, (3.69) (d 1)(d ). (3.70)

17 Schwarzschid-de Sitter soution of Eqs. (3.69) and (3.70) is Ω = Ω 0 and A = 1 r GM. (3.71) rd 3 Here an integration constant Ω 0 can aways be absorbed by a scae transformation of the time variabe t, dt e Ω 0 dt, and the other integration constant M is chosen to be zero for the pure de Sitter spacetime of our interest, which is proportiona to the mass of a Schwarzschid-de Sitter back hoe [1]. Then the resutant metric coincides exacty with that of Eq. (3.66). 4 Geodesics Structure of a fixed curved spacetime is usuay probed by cassica motions of a test partice. The shortest curve, the geodesic, connecting two points in the de Sitter space is determined by a minimum of its arc-ength σ for given initia point P i and end-point P f, and is parametrized by an arbitrary parameter λ such as x µ (λ) : σ = Pf P i dσ = λf λ i di = λf L = λ i λf λ i g µν dx µ dx ν = (extremum). (4.1) According to the variationa principe, the geodesic must obey second-order Euer-Lagrange equation d x µ + dx ν dx ρ Γµ νρ = 0. (4.) When the parameter λ is chosen by the arc-ength σ itsef, a force-free test partice moves on a geodesic. In this section, we anayze precisey possibe geodesics in the four coordinate systems of the de Sitter spacetime, obtained in the previous section. We aso introduce severa usefu quantities in each coordinate system and expain some characters of the obtained geodesics. 4.1 Goba (cosed) coordinates Lagrangian for the geodesic motions (4.1) is read from the metric (3.19) in the goba coordinates : ( ) ( ) dτ τ d 1 L = + cosh j 1 ( ) sin dθj θ i, (4.3) where λ is an affine parameter. Corresponding geodesic equations (4.) are given by d- couped equations j=1 d i 1 τ + sinh(τ/) cosh(τ/) j=1 i=1 ( ) sin dθi θ j = 0, (4.4) 17

18 d θ i + j 1 ( ) sinh(τ/) dτ dθ i cosh(τ/) sin θ ( i 1 ) i cos θ i sin dθj cosθ k dθ k dθj θ j + j=i+1 k=1 sin θ k = 0. (4.5) Since θ d 1 is cycic, dθ d 1 / in Eq. (4.5) is repaced by a constant of motion J such as cosh (τ/) i 1 j=1 sin θ j dθ d 1 = J. (4.6) Let us reca a we-known fact that any geodesic connecting arbitrary two points on a (d 1)- dimensiona sphere shoud be ocated on its greatest circe. Due to rotationa symmetry on the S d 1, one can aways orient the coordinate system so that the radia projection of the orbit coincides with the equator, θ 1 = θ = θ 3 = = θ d = π, (4.7) of the spherica coordinates. This can aso be confirmed by an expicit check that Eq. (4.7) shoud be a soution of Eq. (4.5). It means that a test partice has at start and continues to have zero momenta in the θ i -directions (i = 1,,, d ). Therefore, the system of our interest reduces from d-dimensions to (1 + 1)-dimensions without oss of generaity. Insertion of Eq. (4.7) into Eq. (4.6) gives dθ d 1 = so that the remaining equation (4.4) becomes J cosh (τ/), (4.8) d τ = J 3 sinh(τ/) cosh 3 (τ/). (4.9) Integration of Eq. (4.9) arrives at the conservation of energy E E = 1 where the effective potentia V eff is given by V eff (τ/) = 1 ( ) dτ + V eff(τ/), (4.10) ( J 0 (J = 0) ) 1 (J 0), (4.11) cosh (τ/) and thereby another constant of motion E shoud be bounded beow, i.e., E 1 (J/). Eiminating the affine parameter λ in both Eq. (4.8) and Eq. (4.10), we obtain the orbit equation which is integrated as an agebraic equation : tanθ d 1 = J sinh (τ/) (J/) + E cosh (τ/). (4.1) 18

19 Since the spatia sections are sphere S d 1 of a constant positive curvature and Cauchy surfaces, their geodesic normas of J = 0 are ines which monotonicay contract to a minimum spatia separation and then re-expand to infinity (See dotted ine in Fig. 4). Another representative geodesic motion of J 0 (dashed ine) is aso sketched in Fig. 4. For exampe, suppose that the affine parameter λ is identified with the coordinate time τ. Then, we easiy confirm from the above anaysis that every geodesic emanating from any point can be extended to infinite vaues of the affine parameters in both directions, λ = τ (, ), so that the de Sitter spacetime is said to be geodesicay compete. However, there exist spatiay-separated points which cannot be joined by one geodesic. (a) (, 0) = X 0 sinh( τ/) (b) π (, ) (0, 0) θ d-1 (-,- π ) (-, 0) Figure 4: Two representative geodesic motions in the goba coordinates : (a) dotted ine for J = 0, (b) dashed ine for J Conforma coordinates Simiar to the procedure in the previous subsection, we read automaticay Lagrangian for geodesics (4.1) from the conforma metric (3.35) : ( ) ( ) T dt d 1 L = sec + j 1 ( ) sin dθj θ i, (4.13) j=1 and then corresponding geodesic equations (4.) are i=1 d T + 1 ( ) sin(t/) dt + sin(t/) ( ) i 1 sin dθi θ j = 0, (4.14) cos(t/) cos(t/) 19 j=1

20 d θ i du + sin(t/) dt dθ i cos(t/) sin θ i cos θ i j 1 j=i+1 ( ) ( i 1 ) sin dθj cos θ k dθ k dθj θ j + k=1 sin θ k = 0. (4.15) Since θ d 1 is cycic, dθ d 1 / is repaced by a constant of motion J such as i 1 cos (T/) sin θ d 1 θ j j=1 = J. (4.16) Since the (d 1)-anguar coordinates {θ i } constitute a (d 1)-dimensiona sphere, the same argument around Eq. (4.7) is appied and thereby the system of our interest reduces again from d-dimensions to (1 + 1)-dimensions without oss of generaity. Substituting of Eq. (4.7) into Eq. (4.16), we have dθ d 1 = J cos (T/) (4.17) and rewrite Eq. (4.14) as d T + 1 ( ) dt tan(t/) + tan(t/) ( dθd 1 Eq. (4.18) is integrated out and we obtain another conserved quantity E : ) = 0. (4.18) E ( dθd 1 ) = 1 ( ) dt cos (T/). (4.19) In Eq. (4.19) we rescaed the affine parameter λ in order to absorb a redundant constant. Combining Eq. (4.17) and Eq. (4.19), we obtain an orbit equation expressed by eiptic functions : θ d 1 = J where [ 1 ( ) T + E EipticE, 1 E + 1 ( ) T EipticE, 1 = dt E + 1 ( ) T EipticF, 1 = dt E + 1 ( ) E T EipticF 1 + E, 1 ], (4.0) E E + 1 sin (T/), (4.1) E+1 sin (T/). (4.) (T, θ d 1 ) represents a cyinder of finite height as shown in Fig. 5. Geodesic of zero energy, E = 0, (or equivaenty zero anguar momentum, J = 0), is shown as a dotted ine, and that of positive energy, E > 0, (or nonvanishing anguar momentum, J 0), as a dashed ine in Fig. 5. 0

21 T (0, π/) 01 (π/, π/) (b) (a) (0.0) θd-1 ( π/, π/) (0, π/) Figure 5: Geodesics on the (T, θ d 1 ) pane : (a) dotted ine for J = 0, (b) dashed ine for J Panar (infationary) coordinates Lagrangian for the geodesic motion (4.1) for the fat space of k = 0 is read from the metric (3.53) : ( ) ( ) ( dt dr d L = + e t/ + e t/ r b 1 ) ( ) sin dθb θ a, (4.3) and the corresponding geodesic equations (4.) are d θ a + dt dθ a + r d t + 1 ( ) dr et/ + et/ d r + d dt dr r b=1 dr dθ a sin θ a cosθ a d r b=1 ( b 1 b 1 a=1 b=a+1 ( b 1 a=1 b=1 a=1 ) ( ) sin dθb θ a = 0, (4.4) ) ( ) sin dθb θ a = 0, (4.5) sin θ b ( dθb ) + ( a 1 Since θ d is cycic, dθ d / is repaced by a constant of motion J such as c=1 ) cosθ c dθ c dθb sin θ c = 0. (4.6) d 3 e t/ r b=1 sin θ b dθ d = J. (4.7) 1

22 If we use a we-known fact that any geodesic connecting arbitrary two points on a (d )- dimensiona sphere shoud be ocated on its greatest circe, one may choose without oss of generaity θ 1 = θ = θ 3 = = θ d 3 = π, (4.8) which shoud be a soution of Eq. (4.6) due to rotationa symmetry on the (d )-dimensiona sphere S d. Therefore, the system of our interest reduces from d-dimensions to ( + 1)- dimensions without oss of generaity. Insertion of Eq. (4.8) into Eq. (4.7) gives dθ d = so that the equations (4.4) (4.5) become d t + et/ ( dr J e t/ r, (4.9) ) + J e t/ = 0, (4.30) 4 r d r + dt dr J e 4t/ = 0. (4.31) 4 r 3 Eiminating the third term in both Eqs. (4.30) (4.31) by subtraction, we have the combined equation r dr et/ = dt + C, (4.3) where C is constant. Finay, for C = 0, the radia equation (4.3) is soved as For J = 0, Eq. (4.31) becomes r = e t/. (4.33) ( ) d t/ dr e = 0. (4.34) It reduces dr/ = C e t/ and C is constant. Information on the scae factor a(t) is argey gained through the observation of shifts in waveength of ight emitted by distant sources. It is conventionay gauged in terms of redshift parameter z between two events, defined as the fractiona change in waveength : z λ 0 λ 1 λ 1, (4.35) where λ 0 is the waveength observed by us here after ong journey and λ 1 is that emitted by a distant source. For convenience, we pace ourseves at the origin r = 0 of coordinates since our de Sitter space is homogeneous and isotropic, and consider a photon traveing to us aong the radia direction with fixed θ a s. Suppose that a ight is emitted from the source at time t 1 and arrives at us at time t 0. Then, from the metric (3.53), the nu geodesic connecting (t 1, r 1, θ 1,, θ d ) and (t 0, 0, θ 1,, θ d ) reates coordinate time and distance as foows t0 t 1 dt a(t) = r1 0 dr 1 kr f(r 1). (4.36)

23 If next wave crest eaves r 1 at time t 1 +δt 1 and reach us at time t 0 +δt 0, the time independence of f(r 1 ) provides t1 +δt 1 dt t0+δt t 1 a(t) = 0 dt t 0 a(t). (4.37) For sufficienty short time δt 0 (or δt 1 ) the scae factor a(t) is approximated by a constant over the integration time in Eq. (4.37), and, with the hep of λ 0 = δt 0 t 1 t 0 (or λ 1 = δt 1 t 1 t 0 ), Eq. (4.37) resuts in λ 1 = a(t 1) λ 0 a(t 0 ) (4.38) = 1 + H 0 (t 1 t 0 ) 1 q 0H 0 (t 1 t 0 ) +, (4.39) where H 0 = H(t 0 ) from Eq. (3.57) and q 0 = q(t 0 ) from Eq (3.56). Substituting Eq. (4.38) into Eq. (4.35), we have z = a(t 0) 1. (4.40) a(t 1 ) On the other hand, the comoving distance r 1 is not measurabe so that we can define the uminosity distance d L : d L L 4πF, (4.41) where L is absoute uminosity of the source and F is fux measured by the observer. It is motivated from the fact that the measured fux F is simpy equa to uminosity times one over the area around a source at distance d in fat space. In expanding universe, the fux wi be diuted by the redshift of the ight by a factor (1 + z) and the difference between emitting time and measured time. When comoving distance between the observer and the ight source is r 1, a physica distance d becomes a 0 r 1, where a 0 is scae factor when the ight is observed. Therefore, we have Inserting Eq. (4.4) into Eq. (4.41), we obtain Using the expansion (4.39), Eq. (4.40) is expressed by F L = 1 4πa 0r1(1 + z). (4.4) d L = a 0 r 1 (1 + z). (4.43) z = 1 + H 0(t 1 t 0 ) 1 q 0H 0(t 1 t 0 ) +. (4.44) For sma H 0 (t 1 t 0 ), Eq. (4.44) can be inverted to [ ( t 0 t 1 = H0 1 z 1 + q 0 ) ] z +. (4.45) 3

24 When k = 0, the right-hand side of Eq. (4.36) yieds r and expansion of the eft-hand side for sma H 0 (t 1 t 0 ) gives ( t0 1 r 1 = dt t 1 a(t 1 ) ȧ(t ) 1) a (t 1 ) t + = 1 [(t 0 t 1 ) + 1 ] a 0 H 0(t 0 t 1 ) + = 1 a 0 H 0 [ z 1 ] (1 + q 0)z +, (4.46) where a(t 1 ) a 0 +ȧ 0 (t 1 t 0 )+ ä0(t 1 1 t 0 ) + was used in the second ine and Eq. (4.45) was inserted in the third ine. Repacing r 1 in Eq. (4.43) by Eq. (4.46), we finay have Hubbe s aw : [ d L = H0 1 z + 1 ] (1 q 0)z + (4.47) which reates the distance to a source with its observed red shift. Note that we can determine present Hubbe parameter H 0 and present deceeration parameter q 0 by measurement of the uminosity distances and redshifts. As a reference, observed vaue of H 0 at present is H 0 = 100h km/s Mpc (0.6 < h < 0.8) so that corresponding time scae T universe H0 1 is about one biion year and ength scae L universe ch0 1 is about severa thousand Mpc. Since the scae factor is given by an exponentia function, a(t) = e t/, for the fat spacetime of k = 0, the eft-hand side of Eq. (4.36) is integrated in a cosed form : r 1 = e t 1/ e t 0/. (4.48) In addition, the redshift parameter z is expressed as so the uminosity distance d L in Eq. (4.43) becomes z = e (t 0 t 1 )/ 1, (4.49) d L = (z + z ). (4.50) Comparing Eq. (4.50) with the Hubbe s aw (4.47), we finay confirm that the expanding fat space soution of k = 0 has present Hubbe parameter H 0 = 1/ and the de Sitter universe is acceerating with present deceeration parameter q 0 = 1 as expected. 4.4 Static coordinates Geodesic motions parametrized by proper time σ are described by the foowing Lagrangian read from the static metric (3.66) : [ ( r L = 1 ) ] ( ) dt + dσ 1 1 ( r ) ( dr dσ 4 ) + r d b=1 ( b 1 a=1 ) ( ) sin dθb θ a. (4.51) dσ

25 Since the time t and ange θ d coordinates are cycic, the conjugate momenta E and J are conserved : J L d 3 ( ) = r sin dθ d θ dθ j d dσ j=1 dσ, (4.5) L [ ( r E ( ) = 1 dt dσ ) ] dt dσ. (4.53) By the same argument in the subsection 4.3, the system of our interest reduces from d- dimensions to ( + 1)-dimensions without oss of generaity, and then Eq. (4.5) becomes dθ d dσ = J r. (4.54) From here on et us use rescaed variabes e = E/, x = r/, and j = J/. Note that j cannot exceed 1 due to the imitation of ight veocity. Then second-order radia geodesic equation from the Lagrangian (4.51) becomes d x dσ + x 1 x ( ) dx + e dσ Integration of Eq. (4.55) eads to conservation of the energy e e = 1 x x j1 = 0. (4.55) 1 x x 3 ( ) dx + V eff 0, (4.56) dσ where the effective potentia V eff is given by V eff (x) = ( 1 x ) ( j x 1 ). (4.57) As shown in Fig. 6, the motion of a partice having the energy e 1 can never ower than x = j due to repusive centrifuga force, which becomes 0 as j approaches 0. The ranges except j < r < 1 are forbidden by the fact that kinetic energy shoud be positive. For e = e indicated in Fig. 6, a test partice moves bounded orbit within two turning points x 1 and x. The periheion x 1 and the apheion x were obtained from dx/dσ = 0 x 1 = j e (j e) 4j, x = j e + (j e) 4j. (4.58) If the energy e have minimum vaue of the effective potentia e = e 3, then the motion is possibe ony at x = x 0, so that the orbita motion shoud be circuar. Shaded region in Fig. 6 is the aowabe region for static observer, which is bounded by de Sitter horizon (x = 1). It corresponds to one fourth of the goba hyperboic region in Fig. 9. 5

26 V eff ( j-1) j 1/ x1 x j r x (= 0 ) x 01 (a) (b) (c) e 1 e e 3 Figure 6: Effective potentia and various avaiabe vaues of the energy e : (a) e 1 = 0, (b) (j 1) < e < 0, (c) e 3 = (j 1). Soving for dr/dσ from Eq. (4.56), we have dσ = dx (4.59) x 4 + (j + e + 1)x j. Then the integration of both sides gives x = j e + 1 (j e) 4j sin (σ + C), (4.60) where C is an integration constant. If we choose the periheion x 1 given in Eq. (4.58) for σ = 0, C is fixed by π/ and then the apheion x is given at σ = π/. When the energy e takes maximum vaue e = 0, position of the apheion at x = 1 is nothing but the de Sitter horizon. So the eapsed proper time for the motion from the periheion to the apheion, ( π/, π/), is finite. Changing the proper time σ in Eq. (4.59) to coordinate time of a static observer t by means of Eq. (4.53), we find e dt = dx (4.61) (x 1) x 4 + (j + e + 1)x j, and the integration for e = e gives tan[(t t 0 )] = 4e (j 1 + e)(1 x ) e(x 1) e + (1 x )(1 j /x ). (4.6) 6

27 Note that the ranges are j < x < 1, 0 < j < 1, and (j 1) < e < 0. (4.63) In the case of e = e 1, the integration of Eq. (4.61) gives t t 0 = im (1 j )(1 x ) (1 x ) e. (4.64) e 0 (1 j )(x 1) To reach the de Sitter horizon at x = 1, the energy e shoud have a vaue e 1 irrespective of the vaue of j as shown in Fig. 7. For e = e 3 = (j 1) /, x is fixed by x 0 = j. When a test partice approaches the de Sitter horizon, the eapsed coordinate time diverges as x t t 0 = im x 1 1 j 1 j 1 x 1 1 im +. (4.65) x 1 1 x x x x (a) (b) (c) t e 1 e e 3 Figure 7: Radia geodesics on time t : (a) dash-dot ine for e 1, (b) soid ine for e, (c) dashed ine for e 3. By combining Eq. (4.54) with Eq. (4.59) and its integration, we obtain an eiptic orbit equation for e = e : sin(θ d + θ 0 ) = j + (1 + j + e)x x [(1 + j) + e][(1 j) + e]. (4.66) 7

28 If we choose x as the periheion at θ d = 0, θ 0 becomes π/. From Eq. (4.58), the semimajor axis a of x is given by a = x 1 + x Eccentricity ε of the eipse can be written ε = Dependence of the orbit for ε is the foowings : = j e. (4.67) 1 j a, (4.68) ε < 1, e 0 : eipse, (j 1) ε = 0, e = : circe. (4.69) This scheme agrees with quaitative discussion by using the effective potentia (4.57) and the energy diagram in Fig. 6. In terms of A and ε, Eq. (4.66) is rewritten by x = a(1 ε ) 1 + ε cos(θ d ). (4.70) Eq. (4.70) foows x = a(1 ε) at θ d = 0 and x = a(1 + ε) at θ d = π/ as expected from Eq. (4.58). As shown in Fig. 8, Eq. (4.70) satisfies the condition for cosed orbits so-caed Bertrand s theorem, which means a partice retraces its own foot step. 5 Penrose Diagram Let us begin with a spacetime with physica metric g µν, and introduce another so-caed unphysica metric ḡ µν, which is conformay reated to g µν such as ḡ µν = Ω g µν. (5.1) Here, the conforma factor Ω is suitaby chosen to bring in the points at infinity to a finite position so that the whoe spacetime is shrunk into a finite region caed Penrose diagram. A noteworthy property is that the nu geodesics of two conformay reated metrics coincide, which determine the ight cones and, in turn, define causa structure. If such process caed conforma compactification is accompished, a the information on the causa structure of the de Sitter spacetime is easiy visuaized through this Penrose diagram athough distances are highy distorted. In this section, we study detaied casua structure in various coordinates in terms of the Penrose diagram. Since every Penrose diagram is drawn as a two-dimensiona square in the fat pane, each point in the diagram denotes actuay a (d )-dimensiona sphere S d except that on eft or right side of the diagram. 8

29 (a) e 1 (b) e θ d- (c) e 3 x j x 1 x 0 1 Figure 8: Orbits on (x, θ d )-pane : (a) dash-dot ine for e 1, (b) soid ine for e, (c) dashed ine for e 3. Circes stand for de Sitter horizon, apheion, circuar orbit, two periheia from the outside. 5.1 Static coordinates Let us introduce a coordinate transformation from the static coordinates (3.66) to Eddington- Finkestein coordinates (x +, x, θ a ) such as x ± t ± n 1 + r 1 r, (5.) where the range of x ± is (, ). As expected, r/ = 0 resuts in a timeike curve for a static object at the origin, x ± = t. Then the metric in Eq. (3.66) becomes ( x ds = sech + x ) ( x dx + dx + tanh + x ) dω d. (5.3) Though the possibe domain of rea r/ corresponds to the interior region of the de Sitter horizon [0,1) due to the ogarithm of Eq. (5.), the metric itsef (5.3) remains to be rea for the whoe range of r/ since (sech[(x + x )/], tanh[(x + x )/]) has (1,0) at r/ = 0, (0,1) at r/ = 1, and ( 1, ) at r/ =, so it covers the entire d-dimensiona de Sitter spacetime as expected. In order to arrive at Penrose diagram of our interest, these coordinates are transformed into Kruska coordinates (U, V ) by U e x / and V e x+ /, (5.4) and then the metric takes the form ds [ = 4dUdV + (1 + UV ) ] dω (1 UV ) d. (5.5) 9

30 The vaue of UV has 1 at the origin (r/ = 0), 0 at the horizon (r/ = 1), and 1 at infinity (r/ = ) by a reation r/ = (1 + UV )/(1 UV ). In addition, another reation U/V = e t/ tes us that the ine of U = 0 corresponds to past infinity (t = ) and V = 0 does to future infinity (t = ). Therefore, the entire region of the de Sitter spacetime is drawn by a Penrose diagram which is a square bounded by UV = 1. At the horizon, r = so that r/ = (1 + UV )/(1 UV ) impies UV = 0. Therefore, as shown in the Fig. 9, r/= UV=1 ( ) UV= 1 (r/=0) U=0 V=0 UV= 1 (r/=0) (t=+, r/=1) (t=, r/= 1) r/= UV=1 ( ) Figure 9: Penrose diagram of de Sitter spacetime from static coordinates. the coordinate axes U = 0 and V = 0 (dashed ines) are nothing but the horizons and the arrows on those dashed ines stand for the directions of increasing U and V. The shaded region is the causay-connected region for the observer at the origin on the right-hand side of the square (UV = 1, r/ = 0). In the Kruska coordinates (5.4), a Kiing vector / t in the static coordinates is expressed as Thus norm of the Kiing vector is t = U U V V. (5.6) ( ) = 4UV/(1 UV ). (5.7) t Note that the norm of the Kiing vector becomes nu at UV = 0. In the region of UV > 0, the norm is spaceike, whie a haf of the region with negative V is forbidden. Timeike Kiing vector is defined ony in the shaded region with ( / t) < 0 as shown in Fig. 9. Such existence of the Kiing vector fied / t guarantees conserved Hamitonian which aows 30

31 quantum mechanica description of time evoution. However, / t is spaceike in both top and bottom trianges and points toward the past in right triange bounded by the southern poe in Fig. 9. Therefore, time evoution cannot be defined beyond the shaded region. The absence of goba definition of timeike Kiing vector in the whoe de Sitter spacetime may predict difficuties in quantum theory, e.g., unitarity. 5. Conforma coordinates As mentioned previousy, the conforma metric (3.36) describes entire de Sitter spacetime and is fat except for a conforma factor 1/ cos (T/) because of the scae symmetry (3.30). These properties are beneficia for drawing the Penrose diagram. By comparing the conforma metric (3.36) directy with that of the Kruska coordinates (5.5), we obtain a set of coordinate transformation [ ( 1 T U = tan + θ 1 π )], (5.8) [ ( 1 T V = tan θ 1 + π )], (5.9) where integration constants are chosen by considering easy comparison with the quantities in the static coordinates. Since the range of conforma time T is π/ < T/ < π/, the horizonta sice S d 1 at T/ = π/ τ/ = (T/ = π/ τ/ = ) forms a past (future) nu infinity I (I + ) with UV = 1 as shown in Fig. 10. When θ 1 = 0 (θ 1 = π), it is a vertica ine on the eft (right) side with UV = 1, which is caed by north (south) poe. When T/ = θ 1 + π/ (or T/ = θ 1 π/), U = 0 (or V = 0) corresponding to a nu geodesic (or another nu geodesic) starts at the south (or north) poe at the past nu infinity I and ends at the north (or south) poe at the future nu infinity I +, where a nu geodesics originate and terminate (See two dashed ines at 45 degree anges in Fig. 10). Obviousy, timeike surfaces are more vertica compared to the nu geodesic ines and spaceike surfaces are more horizonta compared to those. Therefore, every horizonta sice of a constant T is a surface S d 1 and every vertica ine of constant θ s is timeike (See the horizonta and vertica ines in Fig. 10). Athough this diagram contains the entire de Sitter spacetime, any observer cannot observe the whoe spacetime. The de Sitter spacetime has partice horizon because past nu infinity is spaceike, i.e., an observer at the north poe cannot see anything beyond his past nu cone from the south poe at any time as shown by the region O in Fig. 11-(a), because the geodesics of partices are timeike. The de Sitter spacetime has future event horizon because future nu infinity is aso spaceike : The observer can never send a message to any region beyond O + as shown in Fig. 11-(b). This fact is contrasted to the foowing from Minkowski spacetime where a timeike observer wi eventuay receive a history of the universe in the past ight cone. Therefore, the fuy accessibe region to an observer at the north poe is the common region of both O and O +, which coincides exacty with the causay-connected region for the static observer at the origin in Fig