arxiv: v2 [hep-th] 7 Jul 2009

Transcription

1 YITP Dynamical D4-D8 and D3-D7 branes in supergravity Pierre Binetruy Astroparticule et Cosmologie, Université Paris Diderot, CNRS/IN2P3, CEA/DSM, Observatoire de Paris, Bâtiment Condorcet 0, rue Alice Domon et Léonie Duquet, Paris Cedex 3, France. arxiv: v2 [hep-th] 7 Jul 2009 Misao Sasaki Yukawa Institute for Theoretical Physics Kyoto University, Kyoto , Japan. Kunihito Uzawa Osaka City University Advanced Mathematical Institute, Osaka , Japan. (Dated: July 7, 2009) Abstract We present a class of dynamical solutions for intersecting D4-D8 and D3-D7 brane systems in ten-dimensional type IIA and IIB supergravity. We discuss if these solutions can be recovered in lower-dimensional effective theories for the warped compactification of a general p-brane system. It is found that an effective p + -dimensional description is not possible in general due to the entanglement of the transverse coordinates and the p + -dimensional coordinates in the metric components. For the D4-D8 brane system, the dynamical solutions reduces to a static warped AdS 6 S 4 geometry in a certain spacetime region. For the D3-D7 brane system, we find a dynamical solution whose metric form is similar to that of a D3-brane solution. The main difference is the existence of a nontrivial dilaton configuration in the D3-D7 solution. Then we discuss cosmology of these solutions. We find that they behave like a Kasner-type cosmological solution at τ, while it reduces to a warped static solution at τ 0, where τ is the cosmic time. PACS numbers:.25.-w,.27.+d, Cq Also at Yukawa Institute for Theoretical Physics Kyoto University, Kyoto , Japan.

2 I. INTRODUCTION Recently, studies on dynamical solutions of supergravity have been a topic of great interest. Conventionally time-dependent solutions of higher-dimensional supergravity are discussed in the context of lower-dimensional effective theories after compactifying the internal space. However, it is unclear how far this effective low-dimensional description is valid. Thus, it is much more desirable to discuss the four-dimensional cosmology in terms of the dynamics of the original higher-dimensional theory. This is particularly true in string cosmology in which the behavior of the early Universe is to be understood in the light of string theory. Indeed, it was pointed out that the four-dimensional effective theory for warped compactification of ten-dimensional type IIB supergravity allows solutions that cannot be obtained from solutions in the original higher-dimensional theories []. A time-dependent solution with fiveform flux in the ten-dimensional type IIB supergravity was obtained by Gibbons, Lu and Pope [2]. Requiring the time dependence of the metric for general black p-brane systems, it was found that the structure of a warp factor that depends on the time is different from the usual product type ansatz [3, 4]. In this paper, we consider dynamical solutions for intersecting brane systems in supergravity, in which gravity is not only coupled to a single gauge field but also to several combinations of scalar and gauge fields. Although the configurations we consider are not directly related to actual warped compactifications to four dimensions, we do so in the hope that they may serve as a first step toward the understanding of realistic, dynamical compactifications that should have occurred in the early Universe. Some intersecting brane solutions were originally founded by Güven in eleven-dimensional supergravity [5]. A D4-D8 brane system was constructed by Polchinski and Witten using the dual description of the type I string theory on R 9 S with N coinciding D5 branes wrapping the circle [6]. After that, several authors investigated solutions describing intersecting branes, and constructed new static solutions [7, 8]. Nastase analyzed a D4-D8 brane solution as a setup for the holographic dual of QCD [9]. Brandhuber and Oz found a classical solution of intersecting D4-D8 branes [0]. In a certain region of spacetime, the geometry is warped AdS 6 S 4, which describes spontaneous compactification of the massive IIA supergravity in ten dimensions [] to the gauged supergravity [2, 3]. In connection with gauge/gravity 2

3 correspondence, a supergravity background of D3-D7 brane intersection has been constructed which includes a flavor D7 brane[4, 5, 6, 7]. The paper is organized as follows. In Sec.II, we first consider p-brane systems in D dimensions and derive a class of dynamical solutions under a certain metric ansatz. In Sec. III, focusing on intersecting D4-D8 brane systems in the ten-dimensional type IIA supergravity, we extend the metric ansatz used in the previous section to intersecting branes and obtain a class of dynamical solutions. Then further specializing the form of the metric, we consider a cosmological solution. Interestingly, this solution is found to approach a warped static solution as τ 0 and a Kasner-type anisotropic solution as τ, where τ is the cosmic time. We investigate the dynamical D3-D7 brane solution of the ten-dimensional type IIB supergravity in Sec.IV. Finally, we conclude in Sec.V. II. DYNAMICAL p-brane SOLUTIONS In this section, we consider dynamical p-brane systems in D dimensions. First, we write down the Einstein equations under a particular ansatz for the metric, which is a generalization of the metric form of known static p-brane solutions. Then, we solve the Einstein equations and present the solutions explicitly. We consider a gravitational theory with the metric g MN, dilaton φ, and an antisymmetric tensor field of rank (p+2). This corresponds to a p-brane system in string theory. The most general action for the p-brane system in the Einstein frame can be written as [8] S = (R 2κ 2 D 2 dφ dφ 2 ) e cφ F (p+2) F (p+2), () where κ 2 is the D-dimensional gravitational constant, is the Hodge dual operator in the D-dimensional spacetime, and c is a constant given by c 2 = 4 2(p + )(D p 3). (2) D 2 The expectation values of fermionic fields are assumed to be zero. After variations with respect to the metric, the dilaton, and the (p + )-form gauge field, 3

4 we obtain the field equations R MN = 2 Mφ N φ + [ 2 (p + 2)! e cφ A (p + 2)F MA2 A p+2 F 2 A p+2 N p + ] D 2 g MNF(p+2) 2, (3) φ = c 2 (p + 2)! e cφ F(p+2) 2, (4) d ( e cφ F (p+2) ) = 0, (5) where is the D-dimensional Laplace operator. To solve the field equations, we assume the D-dimensional metric in the form ds 2 = h a (x, y)q µν dx µ dx ν + h b (x, y)u ij dy i dy j, (6) where q µν is a (p + )-dimensional metric, which depends only on the (p + )-dimensional coordinates x µ, and u ij is the (D p )-dimensional metric, which depends only on the (D p )-dimensional coordinates y i. The parameters a and b are given by a = D p 3 D 2, b = p + D 2. (7) The metric form (6) is a straightforward generalization of the case of a static p-brane system with a dilaton coupling [8]. Furthermore, we assume that the scalar field φ and the gauge field strength F (p+2) are given by where Ω(X) denotes the volume (p + ) form Here, q is the determinant of the metric q µν. e φ = h c/2, (8) F (p+2) = d(h ) Ω(X), (9) Ω(X) = q dx 0 dx dx p. (0) Let us first consider the Einstein Eqs. (3). Using the assumptions (6), (8) and (9), the Einstein equations are given by R µν (X) h D µ D ν h a 2 h q µν ( X h + h Y h ) = 0, () R ij (Y) b 2 u ( ij X h + h Y h ) = 0, (2) µ i h = 0, (3) 4

5 where D µ is the covariant derivative with respect to the metric q µν, X and Y are the Laplace operators on the space of X and the space Y, and R µν (X) and R ij (Y) are the Ricci tensors of the metrics q µν and u ij, respectively. From Eq. (3), the warp factor h must be in the form h(x, y) = h 0 (x) + h (y). (4) With this form of h, the other components of the Einstein Eqs. () and (2) are rewritten as R µν (X) h D µ D ν h 0 a 2 h q µν ( X h 0 + h Y h ) = 0, (5) R ij (Y) b 2 u ( ) ij X h 0 + h Y h = 0. (6) Let us next consider the gauge field. Under the assumption (9), we find df (p+2) = h (2 i ln h j ln h + h i j h)dy i dy j Ω(X) = 0. (7) Thus, the Bianchi identity is automatically satisfied. Also the equation of motion for the gauge field becomes d [ e cφ F (p+2) ] = d [ i h( Y dy i ) ] = 0, (8) where Y denotes the Hodge dual operator on Y. Hence, the gauge field equation is automatically satisfied under the assumption (9). Let us consider the scalar field equation. Substituting the forms of the scalar field (8), the gauge field (9), and the warp factor (4) into the equation of motion for the scalar field (4), we obtain c 2 h b ( X h 0 + h Y h ) = 0, (9) Thus, unless the parameter c is zero, the warp factor h should satisfy the equations X h 0 = 0, Y h = 0. (20) If F (p+2) 0, the function h is nontrivial. In this case, the Einstein equations reduce to R µν (X) = 0, (2) R ij (Y) = 0, (22) D µ D ν h 0 = 0. (23) 5

6 On the other hand, if F (p+2) = 0, the function h becomes trivial. Namely, the internal space is no longer warped []. As a special example, we consider the case q µν = η µν, u ij = δ ij, (24) where η µν is the (p+)-dimensional Minkowski metric and δ ij is the (D p )-dimensional Euclidean metric. In this case, the solution for h can be obtained explicitly as h(x, y) = A µ x µ + B + l y i y i l M l (25) D p 3, where A µ, B, and M l are constant parameters. In the case of D =, p = 2, the solution describes an M2 brane [9, 20]. Here, we mention an important fact about the nature of the dynamical solutions described in the above. In general, we regard the (p + )-dimensional spacetime to contain our fourdimensional universe, while the remaining space is assumed to be compact and sufficiently small in size. Then one would usually think that an effective (p + )-dimensional description of the theory should be possible at low energies. However, solutions of the above set of equations have the property that they are genuinely D dimensional in the sense that one can never neglect the dependence on Y, say of h. This is clear from an inspection of Eqs. (5), (6). In particular, the second equation involves the Laplacian of h with respect to the space X. Hence, the equations determining the internal space Y cannot be determined independently from the geometry of the space X. The origin of this property is due to the existence of a nontrivial gauge field strength, which forces the function h to be a linear combination of a function of x µ and a function of y i, instead of a product of these two types of functions as conventionally assumed. This fact is in sharp contrast with the case when one is allowed to integrate out the internal space to obtain an effective lower-dimensional theory. Finally, we comment on the exceptional case of c = 0, which happens when (D, p) = (0, 3), (, 5), (, 2). The scalar field becomes constant because of the ansatz (8), and the scalar field Eq. (9) is automatically satisfied. Then, the Einstein equations become R µν (X) = 0, (26) R ij (Y) = b 2 (p + )λu ij(y), (27) D µ D ν h 0 = λq µν (X), (28) 6

7 where λ is a constant. As seen from these equations, the internal space Y is not necessarily Ricci flat, and the function h 0 becomes more complicated. For example, when the metric q µν is Minkowski, h 0 is no longer linear in the coordinates x µ but quadratic in them [2]. Before concluding this section, let us study the special case of (D, p) = (0, 8) as a warmup exercise for the next section. The existence of the D8 brane means the appearance of the 9-form gauge potential, hence the 0-form gauge field strength, which is essentially a cosmological constant. Then the ten-dimensional action in the Einstein frame is given as [] S = ( R 2κ 2 2 dφ dφ ) 2 e5φ/2 m 2, (29) where m is a constant parameter, which is the dual of the 0-form field strength F (0) in the string frame. This action is given by the truncations of Romans massive type IIA supergravity [, 22, 23, 24]. The field equations are expressed as φ = 5 4 e5φ/2 m 2, (30) R MN = 2 Mφ N φ + m2 6 e5φ/2 g MN, (3) where is the ten-dimensional Laplace operator. The ansatz for the metric (6) and the scalar field (8) become The field equations give ds 2 = h /8 (x, y)q µν (X)dx µ dx ν + h 9/8 (x, y)dy 2, (32) e φ = h 5/4. (33) R µν (X) = 0, (34) h(x, y) = h 0 (x) ± m(y y 0 ) (35) where y 0 is a constant parameter, and h 0 (x) has to satisfy the equation D µ D ν h 0 = 0. (36) Now we show a solution for h 0 and q µν (X) to (23), (28) except for X being (p + )- dimensional Minkowski spacetime. Let us consider a simple gravitational plane-wave metric q µν (X)dx µ dx ν = dudv K(u, x)du 2 + δ ij dx i dx j, (37) 7

8 where (i, j) = (2,, p + ). This is a vacuum solution of the Einstein equations if the function K satisfies R uu (X) = 2 i i K = 0. (38) Particular solutions are K = a ij (u)x i x j with a ii = 0, or K 2 = f(u) x p+3 for x 0. First, we consider the c 0 case in which D v h 0 = D i h 0 = 0. In this case, Eq. (23) is 2 u h 0 = 0. (39) Then, the form of h 0 is given by h 0 (u) = c u + c 2, (40) where c and c 2 are constant parameters. The metric of D-dimensional spacetime can be written as ds 2 = (c u + c 2 + h ) a q µν (X)dx µ dx ν + (c u + c 2 + h ) b u ij (Y)dy i dy j, (4) where h satisfies the equation Y h = 0. Next, for the case c = 0 in which D v h 0 = D i h 0 = 0, Eq. (28) becomes The solution of h 0 is 2 u h 0 = λ. (42) h 0 (u) = λ 2 u2 + c u + c 2, (43) where c and c 2 are constant parameters. The solution (43) leads to the metric of D- dimensional spacetime ds 2 = ( ) a ( ) b λ λ 2 u2 + c u + c 2 + h q µν(x)dx µ dx ν + 2 u2 + c u + c 2 + h u ij(y)dy i dy j. (44) Here, we mention that in the limit when the terms with h dominates in the metric the whole D-dimensional metric becomes static. This is the metric of the static p-brane solution [8], which is the so-called warped compactification. On the other hand, in the limit when the terms with h are negligible, the background changes from the above description to ordinary Kaluza-Klein compactification as time evolves. Although this solution cannot describe a realistic cosmology, it is interesting to note that this cosmological solution is an asymptotically static p-brane solution. 8

9 III. DYNAMICAL SOLUTIONS FOR THE D4-D8 BRANE SYSTEM Now we consider dynamical solutions for the D4-D8 brane system, which appears in the ten-dimensional type IIA supergravity. The bosonic action of D4-D8 brane system in the Einstein frame is given by [7, 9, 0, 25] S = 2κ 2 ( R dφ dφ 2 2 4! eφ/2 F (4) F (4) 2 e5φ/2 m 2 The equations of motion for φ and F (4), and the Bianchi identity for F (4) are φ = 4 ). (45) ( 5m 2 e 5φ/2 + ) 4! eφ/2 F(4) 2, (46) d(e φ/2 F (4) ) = 0, (47) df (4) = 0, (48) where is the ten-dimensional Laplace operator. The Einstein equations are ( 4F MABC F ABC N 3 8 g MNF(4) 2 R MN = 2 Mφ N φ + 6 m2 e 5φ/2 g MN + 2 4! eφ/2 In the following, we look for a solution whose spacetime metric has the form ). (49) [ ds 2 = h /2 (z) h 3/8 4 (x, r, z) ds 2 (X 5 ) + h 5/8 4 (x, r, z) ( dr 2 + r 2 ds 2 (Y 3 ) + dz 2)], (50) ds 2 (X 5 ) = q µν dx µ dx ν, (5) ds 2 (Y 3 ) = u ij dy i dy j, (52) where q µν is the five-dimensional metric depending only on the coordinates x µ of X 5, and u ij is the three-dimensional metric depending only on the coordinates y i of Y 3. As for the scalar field and the 4-form field strength, we adopt the following assumptions: where Ω(X 5 ) is given by e φ = h 5/6 h /4 4, (53) F (4) = e φ/2 [ d(h 4 ) Ω(X 5) ], (54) Ω(X 5 ) = q dx 0 dx dx 2 dx 3 dx 4. (55) Let us first consider the Einstein Eqs. (49). Under the assumptions (50), (53) and (54), 9

10 the Einstein equations become R µν (X 5 ) h 4 D µd ν h 4 + q µν h 4 [ 3 6 X 5 h h 4 2 r h 4 24 h z 2 h h 4 2 z h ( z ln h) 2 m2 6 h z ln h z ln h ] 6r r ln h 4 = 0, (56) µ r h 4 = 0, (57) µ z h 4 = 0, (58) X5 h 4 + h 4 [ 2r h 4 + 3r rh 4 + 2z h ] z lnh z h h z 2 h + [ ] ( z ln h) 2 m 2 h 2 = 0, (59) R ij (Y 3 ) 2u ij 5 [ 6 r2 u ij X5 h 4 + h rh r r ln h 4 + h 4 zh z ln h z ln h h 2 zh + 36 ( z ln h) 2 m2 6 h 2 ] = 0, (60) where R µν (X 5 ), R ij (Y 3 ) are the Ricci tensors of the metric q µν and u ij, respectively, D µ is the covariant derivative with respective to the metric q µν, and X5 is the Laplace operator on the space X 5. From Eqs. (57) and (58), the warp factor h 4 can be written as h 4 (x, y, z) = H 0 (x) + H (r, z). (6) Inserting this into Eqs. (56), (59), and (60), we find R µν (X 5 ) h 4 D µd ν H [ ( 4 6 h 4 q µν 3 9 ( z ln h) 2 2 ) 9 h z 2 h m2 h 2 + X5 H 0 + h 4 ( 2rH + 3r rh + 2zH + 3 )] z ln h z H = 0, (62) X5 H 0 + h 4 ( 2r H + 3r rh + 2z H + 3 ) z ln h z H + ( ( z ln h) ) 3 h z 2 h m2 h 2 = 0, (63) R ij (Y 3 ) 2u ij 5 [ 6 r2 u ij X5 H 0 + h 4 ( 2rH + 3r rh + 2zH + 3 ) z ln h z H + ( ( z ln h) )] 3 h z 2 h m2 h 2 = 0. (64) Let us next consider the gauge field equations. The gauge field Eq. (47) is automatically satisfied under the assumption (54) and the form of h 4 given by Eq. (6). Under the 0

11 assumptions (50) and (53), (54), the Bianchi identity (48) gives 2 rh r rh zh z ln h z h 4 = 0, (65) µ r h 4 = 0, (66) µ z h 4 = 0. (67) The last two equations are the same as Eqs. (57) and (58), and they have been already solved to give Eq. (6). Then the first Eq. (65) becomes 2 r H + 3 r rh + 2 z H + 3 z ln h z H = 0. (68) Next we consider the scalar field Eq. (46). Substituting the assumptions for the metric (50), the scalar and gauge fields (53), (54), and the form of h 4 (6) into the scalar field Eq. (46), we find h /2 h 5/8 4 [ X5 H ( z ln h) m2 h h z 2 h ( 2r H + 3r rh + 2z H + 3 )] z ln h z H = 0. (69) +h 4 Together with Eq. (68), the above equation gives X5 H ( ( z ln h) ) 3 h zh 2 m 2 h 2 = 0. (70) Inserting Eqs. (68) and (70) into the Einstein Eqs. (62) - (64), we find for nontrivial H, R µν (X 5 ) = 0, (7) R ij (Y 3 ) = 2u ij, (72) D µ D ν H 0 = 0, X5 H 0 = 0, (73) 4 9 ( zh) 2 m 2 = 0, 2 zh = 0. (74) The last line of the above equations is immediately solved to give h(z) = 3 2 m(z z 0), (75) where z 0 is an integration constant (corresponding to the position of the D8 brane). Below we set z 0 = 0 without loss of generality. Then Eq. (68) reduces to 2 r H + 3 r rh + 2 z H + 3z zh = 0. (76)

12 The solution is H (r, z) = where c and c 2 are constant parameters. c (r 2 + z 2 ) 5/3 + c 2, (77) Let us investigate the geometrical properties of the D4-D8 brane system. As a particular solution to the three-dimensional metric u ij which satisfies Eq. (72), we take the space Y 3 to be a three-dimensional sphere S 3. Then if we make a change of coordinates, z = r sin α, r = r cosα (0 α π/2), the metric reads where ds 2 = h /2 [ h 3/8 4 q µν dx µ dx ν + h 5/8 4 (d r 2 + r 2 dω 2 4 ) ], (78) dω 2 4 = dα 2 + cos 2 αdω 2 3, (79) h 4 (x, r) = H 0 (x) + c r 0/3 + c 2 = H 0 (x) + H ( r), (80) h( r, α) = 3 m r sin α. (8) 2 Here, dω 2 3 and dω 2 4 denote the line elements of the three-dimensional sphere S 3 and the four-dimensional sphere S 4, respectively. Now we further define a new coordinate U by r 2 = U 3. From Eq. (73), we see that H 0 is a linear function of x µ. Hence, keeping the values of these coordinates finite, the metric in the limit U 0 becomes ( ) /2 [ ( )] 3 9dU ds 2 = 2 m sin α c /2 U 2 q µν dx µ dx ν + c /2 2 4U + 2 dω2 4, (82) while the dilaton is given by ( ) 5/6 3 e φ = c /4 2 m sin α. (83) This is a static metric. In particular, in the case q µν is the five-dimensional Minkowski metric η µν, the above ten-dimensional metric becomes a warped AdS 6 S 4 space [0, 3, 26, 27]. Let us consider the case q µν = η µν in more detail. In this case, a solution for the warp factors h 4 and h can be obtained explicitly as h 4 (x, r) = βt + K, (84) K β a x a + γ + H ( r), (85) h( r, α) = 3 m r sin α, 2 (86) 2

13 where x a (a =,, 4) denote the spatial coordinates of X 5, H ( r) is given by (77), and β, β a and γ are constant parameters. Now we introduce a new time coordinate τ by τ τ 0 = (βt) 3/6, βτ 0 = 6 3, (87) where we have assumed β > 0 for simplicity. Then, the ten-dimensional metric (78) is given by ( ) 6/3 3/8 [( ( ) ) 6/3 τ τ ds 2 = h ( /2 + K) dτ 2 + δ abdx a dx b τ 0 ( ( ) ) 6/3 5/8 ( τ τ + + K τ 0 τ 0 τ 0 ) 0/3 ( d r 2 + r 2 dω 2 4 ), (88) where the metric δ ab is the spatial part of the five-dimensional Minkowski metric η µν. If we set K = 0, the scale factor of the four-dimensional space is proportional to τ 6/3, while that for the remaining five-dimensional space is proportional to τ 0/3. Thus, in the limit when the terms with K are negligible, which is realized in the limit τ, we have a Kaluza-Klein type cosmological solution. Again, similar to the case of the p-brane solution discussed in Sec. II, although this solution is by no means realistic, it is interesting to note that it is asymptotically static in the past τ 0. IV. DYNAMICAL D3-D7 BRANE SOLUTION In this section, we consider dynamical solutions for the D3-D7 brane system, which appears in the ten-dimensional type IIB supergravity [28]. A. D7-brane solution First, we discuss a D7-brane solution [29]. The action for the D7-brane system in the Einstein frame can be written as S = 2κ 2 ( R ) 2(Imτ) 2dτ d τ, (89) where κ 2 is the ten-dimensional gravitational constant, is the Hodge dual operator in the ten-dimensional spacetime, and τ = C (0) + ie φ. The expectation values of fermionic fields 3

14 are assumed to be zero. We can write the field equations by using the ten-dimensional action (89), where is the ten-dimensional Laplace operator. R MN = (Im τ) ( Mτ 2 N τ + M τ N τ), (90) τ = i(im τ) gmn M τ N τ, (9) We adopt the following ansatz for the ten-dimensional metric: ds 2 = q µν (X)dx µ dx ν + e Ψ(x,y) δ ij (Y)dy i dy j, (92) where q µν is a eight-dimensional metric which depends only on the eight-dimensional coordinates x µ, and y i denote the two-dimensional coordinates. We first consider the Einstein Eqs. (90). Using the assumption (92), the Einstein equations are given by R µν (X) D µ D ν Ψ 2 µψ ν Ψ 4(Imτ) ( µτ ν τ + µ τ 2 ν τ) = 0, (93) δ ij e Ψ ( X Ψ + q ρσ ρ Ψ σ Ψ) + δ ij Y Ψ + 2(Im τ) ( iτ j τ + i τ 2 j τ) = 0, (94) µ i Ψ + 2(Imτ) ( µτ i τ + µ τ 2 i τ) = 0, (95) where D µ is the covariant derivative with respect to the metric q µν (X), X and Y are the Laplace operators on the space of X and the space of Y, and R µν (X) is the Ricci tensors of the metrics q µν, respectively. Now we introduce the complex coordinate z = y + iy 2 and assume that the scalar field τ depends only on the coordinate z and z [29] Then, from Eq. (95), the warp factor Ψ must be in the form τ = τ(z, z). (96) Ψ(x, z, z) = Ψ 0 (x) + Ψ (z, z). (97) Using the form of Ψ and the assumption (96), the field equations Eqs. (93) and (94) are rewritten as R µν (X) D µ D ν Ψ 0 2 µψ 0 ν Ψ 0 = 0, (98) q ρσ (X) (D ρ D σ Ψ 0 + ρ Ψ 0 σ Ψ 0 ) = 0, (99) Ψ ln(im τ) = 0, (00) 4

15 where, are defined by = z 2 If the function Ψ 0 satisfies the equation, ( y i ), = y 2 z ( 2 y + i ). (0) y 2 D µ D ν Ψ 0 + µ Ψ 0 ν Ψ 0 = 0, (02) Eq. (99) is satisfied and the field Eqs. (98) and (00) become R µν (X) + 2 µψ 0 ν Ψ 0 = R µν (X) 2 D µd ν Ψ 0 = 0, (03) Ψ ln(im τ) = 0. (04) If the eight-dimensional space X is assumed to be an Einstein manifold, Eq. (03) implies that the eight-dimensional metric q µν is expressed as a product of two vectors. Hence, the determinant of the metric q µν becomes zero, which is not permissible. It then follows that R µν (X) = 0 and Ψ 0 is constant, which implies that the function Ψ depends only on the coordinates z, z. That is, the solution is static. Static solutions of the field Eq. (04) were discussed in [4, 6, 7, 29]. The D7-brane solution (92) is different from the p-brane solutions (6) because the scalar field τ does not depend on the eight-dimensional coordinate x µ. To obtain a time-dependent solution, we will add a D3 brane, which we will discuss in the next subsection. B. D3-D7 brane solution We consider a gravitational theory with the metric g MN, scalar field τ, and a 5-form field strength F (5). The action for the D3-D7 brane system in the Einstein frame can be written as S = ( R 2κ 2 2(Imτ) 2dτ d τ ) 4 F (5) F (5), (05) where κ 2 is the ten-dimensional gravitational constant and is the Hodge dual operator in the ten-dimensional spacetime. The expectation values of fermionic fields are assumed to be zero. 5

16 The ten-dimensional action (05) gives following field equations: R MN = 4(Im τ) ( Mτ 2 N τ + M τ N τ) + 96 F MABCDF ABCD N, (06) τ = i(im τ) gmn M τ N τ, (07) df (5) = 0, F (5) = F (5), (08) where is the ten-dimensional Laplace operator, and we used the self-duality condition for the 5-form field strength, which is required by supersymmetry [28], and is the tendimensional Laplace operator. We assume the form of the ten-dimensional metric as ds 2 = g MN dx M dx N = h /2 (x, y)q µν (X)dx µ dx ν + h /2 (x, y)u ij (Y)dy i dy j, (09) where q µν (X) denotes a four-dimensional metric, which depends only on the four-dimensional coordinates x µ, and u ij (Y) is the six-dimensional metric, which depends only on the sixdimensional coordinates y i. The brane configuration is given as follows: D3 D7 Furthermore, we assume that the scalar field τ and the gauge field strength F 5 are given by τ = τ(y), (0) F (5) = ( ± )d(h ) Ω(X), () where Ω(X) denotes the volume 4-form Ω(X) = qdx 0 dx dx 2 dx 3. (2) Here, q is the determinant of the metric q µν (X). Now we assume that the metric u ij (Y) is given by u ij (Y)dy i dy j = s ab (Y)dw a dw b + e Ψ(r) (dr 2 + r 2 dθ 2 ), (3) 6

17 where s ab (Y) is the metric of the four-dimensional space, and Ψ is a function that depends only on the coordinate r. We adopt an assumption for the scalar field τ and the function Ψ as[7, 29] τ = C (0) + ie φ ; C (0) = Aθ, (4) ( ) r e φ(r) = e Ψ(r) = A ln, (5) where A and r c are constant parameters. We note that, in this case, the square of the Ricci tensor for the internal space (3) is given by r c R ij (Y)R ij (Y) = [ ( )] 6 r A ln. (6) 2r 4 r c Thus, the six-dimensional space Y has singularities at r = 0 and r = r c. Let us first consider the Einstein Eqs. (06). Using the assumptions (09), (0), (), (3), the Einstein equations are given by R µν (X) h D µ D ν h + 4 h q µν ( X h + h Y h ) = 0, (7) R ij (Y) 4 u ( ij X h + h Y h ) = µ i h = 0, 4(Im τ) 2 ( iτ j τ + i τ j τ), (8) (9) where D µ is the covariant derivative with respect to the metric q µν, X and Y are the Laplace operators on the space of X and the space Y, respectively, and R µν (X) and R ij (Y) are the Ricci tensors of the metrics q µν and u ij, respectively. From Eq. (9), the warp factor h must be in the form Using (20), Eqs. (7) and (8) are rewritten as h(x, y) = h 0 (x) + h (y). (20) R µν (X) h D µ D ν h h q µν ( X h 0 + h Y h ) = 0, (2) R ij (Y) 4 u ij ( X h 0 + h Y h ) = 4(Im τ) 2 ( iτ j τ + i τ j τ). (22) In order to simplify these equations, we use the gauge and scalar field equations. First we consider the gauge field equation. Under the assumption (), we find df (5) = Y h dy i Y dy i = 0, 7

18 where we have used (20), and Y denotes the Hodge dual operator on Y. Thus, we obtain the equation, Y h = 0. (23) Next we consider the scalar field equation. Substituting the form of the scalar field, (4) and (5), and the metric (09) with (3) into the equation of motion for the scalar field τ, (07), one finds it is automatically satisfied. Then, noting the fact that τ is a function of only the coordinates y i, Eq. (22) implies X h 0 = 0 if the function h is nontrivial. In this case, the Einstein equations reduce to R µν (X) = 0, (24) R ab (Y) = 0, (25) D µ D ν h 0 = 0, (26) where R ab (Y) is the Ricci tensor with respect to the metric s ab (Y). The Einstein equations with respect to R rr, R rθ, R θθ are automatically satisfied under the assumptions (3), (4), (5). If the function h is trivial, that is, if it is a constant, we may set h = 0 without loss of generality. This means we have F (5) = 0 and h = h 0 (x). It then follows from (22) that X h 0 = 0. If we assume q µν = η µν, s ab = δ ab, the solution for h 0 is given by h 0 (x) = c µ x µ + d, (27) in terms of the four-dimensional Minkowski coordinates x µ, where c µ and d are constants. Equation (26) implies that the function h 0 is in the same form as in the case of a single D3-brane solution with λ = 0 as seen from Eq. (28). Thus, we find that the metric for the D3-D7 brane system (09) is similar to that of the D3-brane system. Apart from the restriction that λ = 0, the difference from the D3-brane metric is in the six-dimensional metric u ij, which is affected by the existence of a nontrivial scalar field configuration, which describes a D7 brane. The ten-dimensional metric (09) exists for h > 0 and has curvature singularities at h = 0, r = 0, and r = r c. If the function h is negligible and h 0 (t) t, the scale factor of the four-dimensional universe is τ 2/3, while the scale factor of the six-dimensional internal space is τ 2/3, where τ t 3/4 is the cosmic time in four dimensions. Thus, as in the case of the D4-D8 brane system, the D3-D7 solution also behaves as a Kaluza-Klein 8

19 type cosmological solution in the asymptotic future. On the other hand, the analysis of the solution near t = 0 is not so easy compared to the case of the D4-D8 brane system. Therefore, we postpone it as a future issue. We can construct the D3-D7-brane solution on the basis of the discussion in Sec. II. Now we assume the ten-dimensional metric of the form ds 2 = h /2 3 (x, y)q µν (X)dx µ dx ν + h /2 3 (x, y)γ ab (Z)dz a dz b +h /2 3 (x, y)h 7 (x, y)u ij (Y)dy i dy j, (28) where q µν (X) denotes a four-dimensional metric, which depends only on the four-dimensional coordinates x µ, γ ab (Z) denotes a four-dimensional metric, which depends only on the fourdimensional coordinates z a, and u ij (Y) is the two-dimensional metric, which depends only on the two-dimensional coordinates y i. We also assume that the dilaton φ and the gauge fields are given by where Ω(X) and Ω(Z) are given by F (5) = ( ± )d ( ) h 5 Ω(X), (29) F () = e 2φ F (9) = e 2φ [ d ( ) ] h 7 Ω(X) Ω(Z), (30) e φ = h 7, (3) Ω(X) = qdx 0 dx 3, Ω(Z) = γdz 4 dz 7. (32) The dilaton and gauge fields are assumed to have the same form as the single p-brane solutions in Sec. II. The assumptions on the ten-dimensional metric and fields correspond to the following brane configuration: D3 D7 This is the same as the previous D3-D7-brane configuration (09). We first consider the Einstein Eqs. (06). Substituting the metric (28) into the ten-dimensional Einstein equations, 9

20 we obtain R µν (X) h 3 D µd ν h 3 h 7 D µd ν h 7 2 ( µ ln h 3 ν ln h 7 + µ lnh 7 ν ln h 3 ) + 4 h 3 q [ µν X h 3 + (h 3 h 7 ) ( Y h 3 + h 3 q ρσ ρ h 3 σ h 7 ) ] = 0, (33) R ab (Z) 4 γ [ ab X h 3 + (h 3 h 7 ) ( Y h 3 + h 3 q ρσ ρ h 3 σ h 7 ) ] = 0, (34) R ij (Y) 4 u ij ( h7 X h 3 + h 3 ) Yh 3 2 u ( ij h3 X h 7 + h 7 ) Yh u ijq ρσ ρ h 3 σ h 7 = 0, (35) h 3 µ i h 3 + h 7 µ i h 7 = 0, (36) where D µ is the covariant derivative with respect to the metric q µν, X and Y are the Laplace operators on the space of X and the space Y, respectively, and R µν (X), R ab (Z), and R ij (Y) are the Ricci tensors of the metrics q µν, γ ab, and u ij, respectively. From Eq. (36), we have h 3 (x, y) = H 0 (x) + H (y), h 7 (x, y) = K 0 (x) + K (y). (37) Using (37), Eqs. (33), (34) and (35) are rewritten as R µν (X) h 3 D µd ν H 0 h 7 D µd ν K 0 2 (h 3h 7 ) ( µ H 0 ν K 0 + µ K 0 ν H 0 ) + 4 h 3 q [ µν X H 0 + (h 3 h 7 ) ( Y H + h 3 q ρσ ρ H 0 σ K 0 ) ] = 0, (38) R ab (Z) 4 γ [ ab X H 0 + (h 3 h 7 ) ( Y H + h 3 q ρσ ρ H 0 σ K 0 ) ] = 0, (39) R ij (Y) 4 u ij ( ) h7 X H 0 + h 3 Y H 2 u ( ) ij h3 X K 0 + h 7 Y K 3 4 u ijq ρσ ρ H 0 σ K 0 = 0. (40) We can simplify Eqs. (38) -(40) in terms of the gauge and dilaton equations. Under the assumption (29), we find df (5) = Y H Ω(Z) dy i Y dy i = 0, (4) where we have used (37), and Y denotes the Hodge dual operator on Y. Thus, we obtain the equation, The scalar field Eq. (07) can be decomposed as follows Y H = 0. (42) d(e 2φ F () ) = 0, (43) φ = e 2φ F 2 (). (44) 20

21 Under Eq. (30), the field Eq. (43) becomes the Bianchi identity for F (9). Then, the field equation for F () is automatically satisfied. On the other hand, from the Bianchi identity for F (), we have Then, the Bianchi identity for F () leads to d(e 2φ F (9) ) = Y K dy i Y dy i = 0. (45) Y K = 0. (46) Next we consider the dilaton Eq. (44). Substituting Eqs. (29) - (3), and the metric (28) into the equation of motion for the dilaton (44), we find h /2 3 h 7 (q µν µ H 0 ν K 0 + h 3 X H 0 ) = 0, (47) where we used Eqs. (37), (46). Then, in order to satisfy field Eqs. (38) - (40), (42), (46), (47), we can choose either or R µν (X) = 0, R ab (Z) = 0, R ij (Y) = 0, (48) D µ D ν H 0 = 0, K 0 = constant, (49) R µν (X) = 0, R ab (Z) = 0, R ij (Y) = 0, (50) D µ D ν K 0 = 0, H 0 = constant. (5) We find that the Einstein equations cannot be satisfied if both h 3 and h 7 depend on the coordinate x µ. If we assume µ h 7 = 0, q µν = η µν, γ ab = δ ab, u ij = δ ij, we have h 3 (x, y) = H 0 (x) + H (y); H 0 (x) = c µ x µ + d, H (y) = l M l ln y y l, (52) h 7 (y) = l L l ln y y l, (53) where c µ, d, M l, L l and y l are constants. For µ h 3 = 0, q µν = η µν, γ ab = δ ab, u ij = δ ij, we have h 7 (x, y) = K 0 (x) + K (y); K 0 (x) = c µ x µ + d, K (y) = l M l ln y y l, (54) h 3 (y) = l L l ln y y l, (55) 2

22 where c µ, d, M l, L l, and y l are constants. There are curvature singularities at y = y l as well as at h 3 = 0 or h 7 = 0 in the tendimensional metric (28). In the case of µ h 7 = 0, the function H 0 depends on a linear function of the four-dimensional coordinates x µ. The scale factor of the four-dimensional universe has the same form as the previous D3-D7-brane solution (09). For µ h 3 = 0, the function K 0 is proportional to a linear function of the four-dimensional coordinates x µ. The scale factor a(t) of the two-dimensional internal space Y is given by a(t) t if K = 0 and K 0 (t) t. The D3-D7-brane metric (28) is not the same as (09) because it has the dilaton and gauge field, which depend on the four-dimensional coordinate x µ. In particular, the twodimensional internal space Y depends on time even if µ h 3 = 0. V. CONCLUSION In this paper, we investigated dynamical solutions of higher-dimensional supergravity models. We found a class of time-dependent solutions for intersecting D4-D8- and D3- D7-brane systems. These solutions were obtained by replacing a constant A in the warp factor h = A + h (y) of a supersymmetric solution by a function h 0 (x) of the coordinates x µ [2], where the coordinates y i would describe the internal space and x µ would describe our Universe. In the D4-D8 brane solution, the geometry was found to approach a warped static AdS 6 S 4 in a certain region of the spacetime. In particular, in the case of the D4-D8 system, we found an interesting solution which is warped and static as τ 0 but approaches a Kasner-type solution as τ, where τ is the cosmic time. Although the solution itself is by no means realistic, its interesting behavior suggests a possibility that the Universe was originally in a static state of warped compactification and began to evolve toward a Universe with a Kaluza-Klein compactified internal space. Conventionally one would expect an effective theory description in lower dimensions to be valid at low energies. However, as clearly the case of the cosmological solution mentioned above, the solutions we found have the property that they are genuinely D dimensional in the sense that one can never neglect the dependence on y i, say of h. Thus, our result indicates that we have to be careful when we use a four-dimensional effective theory to 22

23 analyze the moduli stabilization problem and the cosmological problems in the framework of warped compactification of supergravity or M theory. Acknowledgments This work was supported by the CNRS-JSPS Joint Research Program and by JSPS Grantin-Aid for Scientific Research (B), under Contract Nos and (A) , and also by JSPS Grant-in-Aid for Creative Scientific Research, under Contract No. 9GS029. KU is supported by the Kwansei Gakuin University, Grant-in-Aid for Young Scientists (B) of JSPS Research, under Contract No , and he is grateful to Shigeki Sugimoto for valuable discussions. References [] H. Kodama and K. Uzawa, Comments on the four-dimensional effective theory for warped compactification, JHEP 0603 (2006) 053 [arxiv:hep-th/05204]. [2] G. W. Gibbons, H. Lu and C. N. Pope, Brane worlds in collision, Phys. Rev. Lett. 94 (2005) 3602 [arxiv:hep-th/0507]. [3] M. J. Duff, B. E. W. Nilsson and C. N. Pope, Kaluza-Klein supergravity, Phys. Rept. 30 (986). [4] N. Ohta and K. L. Panigrahi, Supersymmetric intersecting branes in time-dependent backgrounds, Phys. Rev. D 74 (2006) [arxiv:hep-th/06005]. [5] R. Güven, Black p-brane solutions of D = supergravity theory, Phys. Lett. B 276 (992) 49. [6] J. Polchinski and E. Witten, Evidence for heterotic - type I string duality, Nucl. Phys. B 460 (996) 525 [arxiv:hep-th/95069]. [7] D. Youm, Localized intersecting BPS branes, arxiv:hep-th/ [8] N. Ohta, Intersection rules for non-extreme p-branes, Phys. Lett. B 403 (997) 28 [arxiv:hep-th/970264]. [9] H. Nastase, On Dp-Dp+4 systems, QCD dual and phenomenology, arxiv:hep-th/

24 [0] A. Brandhuber and Y. Oz, The D4-D8 brane system and five dimensional fixed points, Phys. Lett. B 460 (999) 307 [arxiv:hep-th/990548]. [] L. J. Romans, Massive N=2a supergravity in ten-dimensions, Phys. Lett. B 69 (986) 374. [2] L. J. Romans, The F(4) gauged supergravity in six-dimensions, Nucl. Phys. B 269 (986) 69. [3] M. Cvetic, H. Lu and C. N. Pope, Gauged six-dimensional supergravity from massive type IIA, Phys. Rev. Lett. 83 (999) 5226 [arxiv:hep-th/990622]. [4] O. Aharony, A. Fayyazuddin and J. M. Maldacena, The large N limit of N = 2, field theories from three-branes in F-theory, JHEP 9807 (998) 03 [arxiv:hep-th/980659]. [5] M. Grana and J. Polchinski, Gauge / gravity duals with holomorphic dilaton, Phys. Rev. D 65 (2002) [arxiv:hep-th/00604]. [6] B. A. Burrington, J. T. Liu, L. A. Pando Zayas and D. Vaman, Holographic duals of flavored N = super Yang-Mills: Beyond the probe approximation, JHEP 0502 (2005) 022 [arxiv:hep-th/ ]. [7] I. Kirsch and D. Vaman, The D3/D7 background and flavor dependence of Regge trajectories, Phys. Rev. D 72 (2005) [arxiv:hep-th/050564]. [8] H. Lu, C. N. Pope, E. Sezgin and K. S. Stelle, Stainless super p-branes, Nucl. Phys. B 456 (995) 669 [arxiv:hep-th/ ]. [9] K. S. Stelle, BPS branes in supergravity, arxiv:hep-th/ [20] R. Argurio, Brane physics in M-theory, arxiv:hep-th/ [2] H. Kodama and K. Uzawa, Moduli instability in warped compactifications of the type IIB supergravity, JHEP 0507 (2005) 06 [arxiv:hep-th/050493]. [22] E. Bergshoeff, M. de Roo, M. B. Green, G. Papadopoulos and P. K. Townsend, Duality of Type II 7-branes and 8-branes, Nucl. Phys. B 470 (996) 3 [arxiv:hep-th/96050]. [23] E. Bergshoeff, Y. Lozano and T. Ortin, Massive branes, Nucl. Phys. B 58 (998) 363 [arxiv:hep-th/9725]. [24] Y. Imamura, /4 BPS solutions in massive IIA supergravity, Prog. Theor. Phys. 06 (200) 653 [arxiv:hep-th/005263]. [25] M. Cvetic, S. S. Gubser, H. Lu and C. N. Pope, Symmetric potentials of gauged supergravities in diverse dimensions and Coulomb branch of gauge theories, Phys. Rev. D 62 (2000) [arxiv:hep-th/99092]. 24

25 [26] K. Behrndt, E. Bergshoeff, R. Halbersma and J. P. van der Schaar, On domain-wall/qft dualities in various dimensions, Class. Quant. Grav. 6 (999) 357 [arxiv:hep-th/ ]. [27] C. Nunez, I. Y. Park, M. Schvellinger and T. A. Tran, Supergravity duals of gauge theories from F(4) gauged supergravity in six dimensions, JHEP 004 (200) 025 [arxiv:hep-th/003080]. [28] J. H. Schwarz, Covariant field equations of chiral N=2 D=0 supergravity, Nucl. Phys. B 226 (983) 269. [29] B. R. Greene, A. D. Shapere, C. Vafa and S. T. Yau, Stringy cosmic strings and noncompact Calabi-Yau manifolds, Nucl. Phys. B 337 (990). 25