Scholarly article on topic 'De Sitter space in gauge/gravity duality'

De Sitter space in gauge/gravity duality Academic research paper on "Physical sciences"

CC BY
0
0
Share paper
Academic journal
Nuclear Physics B
OECD Field of science
Keywords
{}

Abstract of research paper on Physical sciences, author of scientific article — Lilia Anguelova, Peter Suranyi, L.C.R. Wijewardhana

Abstract We investigate gauge/gravity duality for gauge theories in de Sitter space. More precisely, we study a five-dimensional consistent truncation of type IIB supergravity, which encompasses a wide variety of gravity duals of strongly coupled gauge theories, including the Maldacena–Nunez solution and its walking deformations. We find several solutions of the 5d theory with dS 4 spacetime and nontrivial profiles for (some of) the scalars along the fifth (radial) direction. In the process, we prove that one of the equations of motion becomes dependent on the others, for nontrivial warp factor. This dependence reduces the number of field equations and, thus, turns out to be crucial for the existence of solutions with ( A ) d S 4 spacetime. Finally, we comment on the implications of our dS 4 solutions for building gravity duals of Glueball Inflation.

Academic research paper on topic "De Sitter space in gauge/gravity duality"

CrossMark

ELSEVIER

Available online at www.sciencedirect.com

ScienceDirect

Nuclear Physics B 899 (2015) 651-676

www.elsevier.com/locate/nuclphysb

De Sitter space in gauge/gravity duality

Lilia Anguelovaa, Peter Suranyib, L.C.R. Wijewardhanab

a Institute for Nuclear Research and Nuclear Energy, BAS, Sofia, Bulgaria b Department of Physics, University of Cincinnati, Cincinnati, OH 45221, USA

Received 6 July 2015; accepted 24 August 2015

Available online 28 August 2015

Editor: Herman Verlinde

Abstract

We investigate gauge/gravity duality for gauge theories in de Sitter space. More precisely, we study a five-dimensional consistent truncation of type IIB supergravity, which encompasses a wide variety of gravity duals of strongly coupled gauge theories, including the Maldacena-Nunez solution and its walking deformations. We find several solutions of the 5d theory with dS4 spacetime and nontrivial profiles for (some of) the scalars along the fifth (radial) direction. In the process, we prove that one of the equations of motion becomes dependent on the others, for nontrivial warp factor. This dependence reduces the number of field equations and, thus, turns out to be crucial for the existence of solutions with (A)dS4 spacetime. Finally, we comment on the implications of our dS4 solutions for building gravity duals of Glueball Inflation. © 2015 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). Funded by SCOAP3.

1. Introduction

Since the astronomical observations of [1] indicated that the expansion of the Universe is accelerating at present, which is consistent with having a (small, but non-vanishing) positive cosmological constant, there has been a huge interest in understanding quantum field theory in de Sitter space [2], as well as in finding dS solutions in string compactifications with stabilized moduli [3]. However, despite recent progress in either topic, these are still rather difficult en-

E-mail addresses: anguelova@inrne.bas.bg (L. Anguelova), peter.suranyi@gmail.com (P. Suranyi), rohana.wijewardhana@gmail.com (L.C.R. Wijewardhana).

http://dx.doi.Org/10.1016/j.nuclphysb.2015.08.020

0550-3213/© 2015 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). Funded by SCOAP3.

deavors. This has motivated a search for alternative approaches in the vein of attempts to develop holographic descriptions of physics in de Sitter space via proposed dS/CFT [4] or dS/dS [5] correspondences.1

The most promising direction, though, for studying nonperturbative effects in gauge theories living in de Sitter space is via extensions of the gauge/gravity duality, that arose from [6-9], with a curved 4d spacetime instead of a flat one. This kind of idea was explored in [10], where a solution of type IIB supergravity with a Wick rotated RR scalar was used.2 The ten-dimensional metric of that solution has a 4d de Sitter part, that can be viewed as the spacetime for a certain gauge theory. The same truncation of type IIB, with Wick rotated RR scalar, was also utilized in [13] to study more involved 4d cosmological backgrounds. However, this solution is rather peculiar, due to its reliance on a Wick rotated 10d field.

Our goal here will be to find solutions with a dS4 spacetime within the framework of the five-dimensional consistent truncation of type IIB, established in [14], that describes the gravity duals of a broad class of confining gauge theories. In particular, this framework encompasses the Maldacena-Nunez [15] and Klebanov-Strassler [16] solutions, which provide gravitational duals to N = 1 SYM, as well as the more recently found solutions [17-19], which give duals to strongly coupled gauge theories with more than one dynamical scale.

We will study the equations of motion of the effective 5d action relevant for the consistent truncation of [14]. We will show that, for a metric ansatz compatible with a 4d cosmological constant (of either sign), there is a reduction in the number of independent equations by one, under a certain condition. This is of crucial importance for the existence of solutions, as otherwise generically the system is overdetermined for the physically desirable metric ansatz. We establish this result for a cosmological constant of either sign, because AdS4 solutions in this context are in principle also of interest, for example, for realizations of the Karch-Randall model of locally localized gravity [20]. We will not investigate AdS4 solutions here, though.

We will find several solutions with dS4 spacetime and with only a subset of the 5d fields having nontrivial profiles along the fifth (radial) direction. These solutions occur within certain approximations, similar to the approximation in which the walking solution of [17] is found. It would be interesting to understand, in the future, whether that similarity has a deeper meaning. Finally, we will discuss the relevance of the present considerations for Cosmological Inflation. Of course, de Sitter space is the leading approximation to the spacetime during Inflation. But, more importantly, being able to address strongly-coupled gauge dynamics during Inflation is of great significance for composite models [21,22], in which the role of the inflaton is played by a quark condensate or a glueball. Our solutions with a dS4 spacetime could provide the starting point for building a gravity dual of Glueball Inflation, since a slowly varying Hubble parameter (as is the case in slow roll Inflation) can be viewed as a small time-dependent deformation around a constant one (the latter corresponding to the pure de Sitter space).

In the next section, we review relevant material about the consistent truncation of [14]. In Section 3, we explain our ansatz for the 5d fields, including the metric, and derive the resulting equations of motion. Furthermore, we show that, under a certain condition, one of those equations becomes dependent on the others and, as a result, is automatically satisfied when they are. We also show that there is an additional consistent truncation in the scalar sector that one can make. In

1 In this "dS/dS" correspondence the relation is between a dSj space and a CFT on a dSd— space.

2 See also [11] for a holographic model of QFTs in de Sitter space, based on a dSj foliation of a (d + 1)-dimensional asymptotically AdS space. This model was further used in [12] to study thermal QFT properties, as well as the Schwinger effect in de Sitter space.

Section 4, we look for solutions of the equations of motion. In Subsection 4.1 we find analytically an explicit and rather simple solution with a positive 4d cosmological constant. In Subsection 4.2 we show numerically that there is an interesting class of solutions with a natural upper bound for the radial variable. In Appendix A we investigate the allowed parameter space for those numerical solutions. Finally, in Sections 5 and 6 we discuss the relevance of our considerations for Glueball Inflation and summarize the results of this paper.

2. Consistent truncation to a 5d theory

We will look for solutions within the consistent truncation of type IIB to a 5d theory, found in [14]. This set-up encompasses a variety of gravity duals of confining strongly-coupled gauge theories including the famous Maldacena-Nunez [15] and Klebanov-Strassler [16] N = 1 solutions, as well as their deformations [17-19] describing gauge theories with multi-scale dynamics.

The bosonic fields of IIB supergravity are the 10d metric gAB(xM), the string dilaton 0(xM), the RR scalar C(xM), the NS 3-form field-strength H3(xM), and the RR 3-form F3(xM) and 5-form F5(xM) fields, where A, B, M = 0, ..., 9. The ansatz for the consistent truncation of interest for us is the following. The metric is:

^20d = e2p-xds2d + ex+g(œ\ + rnl) + ex-g

+ e-6p-x(^3 + V3)2

(¿1 + ami)2 + (¿2 - fl®2)2

¿1 = cos ftdQ + sin ft sin Qdp , m2 = — sin ftdQ + cos ft sin Odp , ¿3 = dft + cos Qdp , The RR 3-form is:

s5d = gudx dx

¿1 = dQ , ¿2 = sin Qdp , ¿3 = cos Qdp

F3 = P [—(¿1 + brn{) A (¿2 — brn>2) A (¿3 + ¿3)

+ (djb) dx1 A (—¿1 A ¿1 + ¿2 A ¿2) + (1 — b2)(w1 A ¿2 A ¿3)

where P = const. The remaining fields are:

0 = 0(x')

F5 = F5 + +F5

H3 = 0

F5 = Q vol5d

Q = const

Finally, the quantities p, x, g, a, b, $ in the above ansatz are all functions of the 5d coordinates x1. In other words, these are six scalars in the 5d external space. Similarly, the 5d metric gjj in (2.1) also depends on xl, i.e. gIJ = gIJ(x1).

Note that the full consistent truncation of [14] allows for H3 = 0 and that is, in fact, needed to obtain the Klebanov-Strassler solution [16]; see [14,23]. However, it is consistent to set the NS three form H3 = 0 and we will do so in the following for simplicity.3 This smaller consistent

3 We will comment more on the consistency of taking H3 = 0 later.

truncation still encompasses the Maldacena-Nunez solution [15] and its deformations [17,18], which describe walking gauge theories.

Substituting (2.1)-(2.5) into the ten-dimensional IIB action and integrating out the compact internal dimensions, parameterized by the angular coordinates 0, y, 0, <p and f, one finds that the five-dimensional fields V'(xI) = {p(xI), x(xI), g(xI), ((x1), a(xI), b(xI) } and gu(x1) are described by the action:

J d5x/

S = d 5xV - det g

- 4 + 2 G'j(V)diVidIVi + V(V)

where the sigma model metric Gij(V) is diagonal and has the components

1 1 e-2g p2ep-2x Gpp = 6 , Gxx = 1 , Ggg = 2 , Gpp = 4 , Gaa = 2 , Gbb = -2- (2.7)

and, finally, the potential V($) has the form

V(Q) = -■

eg + (1 + a2)e

-4p-4x

e2g + (a2 - 1)2e-2g + 2a2

a2 ep-2x+8p

+ — e-2g+8p + P2 e- e2g + e-2g(a2 - 2ab + 1)2 + 2(a - b)2

e8p-4x 2e

+ Q —8— • (2.8)

Let us note that the equations of motion, that follow from the action (2.6), are:

vV + G'jkgU(di&)(dj$k) - V' = 0 ,

-Ru + 2 G'j(diV')(djVj) + 3 gu V = 0 , (2.9)

where V2 = VIV1 and V' = G'jVj with Vj = -V. From (2.7) it is easy to compute that the Christoffel symbols G' jk for the metric G'j are:

Gpb = 1 , G^b = -1 , Gga = -1 , Gaa = e~2g

p 2 e(-2x ~2

with all other components vanishing.

Gpb = -P 2ep-2x , Gib = --(2.10)

3. Metric ansatz and field equations

In the context of the gauge/gravity duality, one can find gravitational duals of some strongly coupled gauge theories living in Minkowski space by solving (2.9) with the metric ansatz

ds2 = e2A(z>n^vdx^dxv + dz2 ; (3.1)

the scalars i1 then describe glueball states in the dual gauge theory. For example, the Maldacena-Nunez solution [15] is obtained for

Q = o , b = a , x = -g - 3p , p = -6p - g - 2ln P (3.2)

and some particular functions a = a(z), g = g(z) and p = p(z); for more details see [14,23].4

Here, instead, we will be interested in solutions of (2.9) with a curved four-dimensional spacetime. More precisely, we will take the 5d metric ansatz to be:

ds2 = e2A{z)givdxIdxv + dz2 , (3.3)

where the 4d metric giv is de Sitter or anti-de Sitter and thus satisfies

R^v = Ag^ with A = const. (3.4)

Clearly, dS4 corresponds to A > 0, whereas AdS4 to A < 0. The dS case is of great interest because of both the Inflationary epoch in the Early Universe and the present day accelerated expansion of the Universe. The AdS case is relevant for the Karch-Randall model of locally localized gravity [20] and the related study of defect CFTs [24]. To be more explicit, let us write the dS4 metric as:

givdxIdxv = -dt2 + e'dx2 (3.5)

and the AdS4 one as:

givdxIdxv = x3 (-dt2 + dx2 + dxf) + dx32 . (3.6)

With these metric ansatze, we will look for solutions of (2.9) for some nontrivial scalar profiles of the form

& = &i(z). (3.7)

It is easy to realize that for both cases, (3.5) and (3.6), the action of the 5d operator V2 = djd1 + Tjjdj has the same form:

V2& = ($!')"+ 4A'(&)' , (3.8)

where we have denoted ' = dz. The reason is that for every value of i = 0, ..., 3 the 5d Christoffel symbol components = A', as well as rzz = 0, for both (3.5) and (3.6). Hence the scalar field equations in (2.9) are

(&)" + 4A'&i)' + gijk(&j)'(&k)' - GijVj = 0 (3.9)

regardless of whether the 4d metric giv in (3.3) is taken to be de Sitter or anti-de Sitter.

To write out explicitly the metric equations in (2.9), let us first compute the components of the Ricci tensor. For the dS case, namely (3.3) with (3.5) substituted, we easily find:

Rtt =-A + e2A (4A'2 + A")

2 A t Rxnxn = e v 3

A - e2A(4A'2 + A" 2)"

n = 1, 2, 3

Rzz = -4 A"- 4 A'2 (3.10)

4 Note that here by definition z is a radial coordinate running in the range (0, to), often denoted in the literature by p or r, not to be confused with a worldvolume radial coordinate running in the range (-to, to) and relevant when studying U-shaped probe brane embeddings. In the ten-dimensional up-lift given by (2.1), z is the usual radial direction moving away from the D-brane sources of the background.

with all other components vanishing. Using (3.10), it is easy to see that the (tt) component of the second equation in (2.9) gives, up to an overall sign, exactly the same as the (xnxn) components. That equation is:

-Ae-2A + 4A'2 + A" + 4 V = 0 . (3.11)

Finally, the (zz) component of (2.9) gives:

4A" + 4A'2 + 2Gij (&)'(&)' + - V = 0 . (3.12)

For the AdS case, i.e. (3.3) with (3.6) substituted, the Ricci tensor components are somewhat different:

_2 fZIx,

Rtt = e 2 3 X3

"V - A X3

Rxnxn = e

-A + e2A( 4 A'2 + A")' A - e2A(4A'2 + A" 2)

, n = 1, 2

Rx3x3 = A - e2A(4A'2 + A"2)

Rzz = -4A"- 4A'2 (3.13)

However, taking into account the difference in the 4d metric, this leads again exactly to equations (3.11) and (3.12).

Summarizing, the system of field equations that we want to study is:

(&)" + 4A'(&)' + gijk(&)'($ky - GijVj = 0

-Ae-2A + 4A'2 + A" + 4 V = 0 4

4A" + 4A'2 + 2Gij(^')'(^J)' + -V = 0 . (3.14)

The difference in (3.14), between having de Sitter and anti-de Sitter metrics in (3.3), is only in the sign of the 4d cosmological constant A. Note that there is one more equation in (3.14) than there are unknown functions (z), A(z). So, at first sight, it is not clear whether this system can have any solutions. However, we will show now that, in fact, one of the equations is not independent of the others. Namely, it is automatically satisfied whenever the rest of the equations of motion are solved.

3.1. Dependent equation of motion

Here we will show that one of the equations of motion in (3.14) is dependent on the remaining ones. The dependent equation turns out to be one of the last two, namely one of the metric field equations.

For convenience, let us introduce the following notation:

E1 : (&)" + 4A'(&)' + Qijk($j)'(&)' - GijVj = 0 E2 : -Ae-2A + 4A'2 + A" + 4 V = 0

E3 : 4A" + 4A'2 + 2G^ (&)'(&)' +- V = 0 . (3.15)

Now let us take combinations of E2 and E3 in such a way that A" and A'2 will appear in separate equations. Namely, consider:

N2 = E3 - E2 : Ae-2A + 3A" + 2Gij(^i)'(^j)' = 0 ,

N3 = 4E2 - E3 : -4Ae-2A + 12A/2 + 4V - 2Gij(&i)'(&jy = 0 . (3.16)

From N2 we have:

A" = -3Ae-2A - 3Gij(&)'(&y . (3.17)

Note that, for A > 0, the above relation implies the condition A" < 0 for there to be a solution, since Gij is diagonal and with positive components ; see (2.7).

Next, let us differentiate the left-hand side of N3 with respect to z:

LdN3 = 8AA'e-2A + 24A'A" + 4Vi(&)' - 2dkGij($k)'(&)'(&)' - 4Gij(&)"($j)'.

(3.18)

Substituting (3.17) into (3.18), we find:

LdN3 = -16A'Gij(^)'(^j)' - 2dkGii($k)'(.&)'(&)' + 4($j)

r \ tt

Vj - GUm

(3.19)

where in the last term we have combined the third and fifth terms in (3.18) for convenience. Now, from E1 we have:

Vj = Gij(&)"+ 4GijA'(&)' + GuGiki(®k)'(&)' . (3.20)

Substituting this into (3.19), we are left with:

LdN3 = -2dkGij (&)'(&)'(&)' + 4GijGiki(^j)'(^k)'(&)' . (3.21)

To rewrite the last term in a convenient form, note that the standard expression for the Christoffel symbols

Giki = 1 Gij (dkGji + diGkj - djGki) , (3.22) immediately implies:

GijGlki = 2 {dkGji + diGkj - djGki) . (3.23) Using this, it is easy to see that the second term in (3.21) becomes:

4G!7Giki(&)'(&)'(&)' = 2dkGij(&y($k)'($jy . (3.24) Hence, we finally find that

LdN3 = 0 (3.25)

identically. Note that to reach this result we relied on the assumption that A = const, otherwise Att would not appear in (3.18). So our derivation of (3.25) is valid only for nontrivial warp factors A(z). Clearly, if A = const the system (3.15) simplifies right away. In fact, since Gij is diagonal, it is obvious that for A = const and A > 0 there is no solution as equations E2 and E3 are incompatible.

The result (3.25) shows that, for nontrivial warp factor A, equations E1, N2 and dN3 (i.e. the derivative of N3) are not independent. We chose, for convenience, to use E1 and N2 inside dN3, in order to obtain that dN3 is identically satisfied. However, we could have equally well solved algebraically for A" from dN3, i.e. (3.18) = 0, and substituted the result in N2. The subsequent manipulations would have been the same. In other words, we can interpret the above dependency between the field equations as the statement that equation N2 is solved automatically, whenever equations E1 and N3 are (clearly, if N3 is satisfied, then so is dN3). Hence N2 can be dropped, leaving us with the system

(&)" + 4A'(&)' + Gi jk($j )'(&)' - GijVj = 0 -4Ae-2A + 12A'2 + 4V - 2Gij(&)'($j)' = 0 . (3.26)

Therefore, there are equal numbers of equations and of unknown functions. This is a rather important statement as the metric ansatz (3.3)-(3.5)/(3.6), which we want for physical reasons, at first sight seemed to have one function less than needed. So it seemed that it might be (near) impossible to find solutions with that ansatz. Now, however, we see that the number of functions is just right.

3.2. Simplification in scalar sector

The system (3.26) is still rather daunting to address in full generality. However, in this subsection we will show that it is consistent to set three of the six scalar fields (z) to zero. The resulting simplification will be of crucial importance for finding analytic solutions in the following.

To understand which scalars one can set to zero in the full coupled system, let us first write down more explicitly all scalar field equations, namely:

VV + Gijk($j)'($k)' - GijVj = 0 . (3.27)

Using (2.10), equations (3.27) acquire the form:

V2p - Vp = 0 , V2x + Gxbb(b')2 - Vx = 0 , V2g + GUa')2 - Vg = 0 , V2* + Gtb(b')2 - V* = 0 , V2a + Gga g'a' - Va = 0 ,

V2b + Gbb *'V + Gbb x'b' - Vb = 0 , (3.28)

where V2 is as in (3.8). Now, from (2.8) one can see that all terms in Va and Vb are proportional to at least one power of a or of b. Thus, if we take a = 0 and b = 0, then both the V2a equation and the V2b equation in (3.28) will be identically satisfied. Similarly, one can find from (2.8) that Vg = 0, when g = 0 and a = 0. Therefore, the V2g equation of motion in (3.28) is identically satisfied when g and a vanish. Summarizing, we can consistently set:

g = 0 , a = 0 , b = 0

(3.29)

and drop the V2g, V2a and V2b equations of motion.5 Then the system (3.28) reduces to:

p" + 4A'p' - Vp = 0 ,

x" + 4A'x' - Vx = 0 ,

*" + 4Ay - V* = 0 . (3.30)

Note also that, upon imposing (3.29), the last field equation in (3.26) becomes:

4Ae-2A - 12A'2 + 12p'2 + 2x'2 + 1 *'2 - 4 V = 0 . (3.31)

Finally, substituting (3.29) into the potential (2.8), we find:

e-4p-4x e8p-2x+* e8p-4x

V =--e2p-2x +-P2 +-Q2 . (3.32)

4 4 8 Q

4. Solutions with dS4 spacetime

In the following, we will adopt (3.29). Thus our goal will be to solve the system (3.30)-(3.31) with the potential as in (3.32). To gain better understanding, we would like to find analytic solutions. For that purpose, it is rather useful to work in an approximation, in which one of the terms in (3.32) dominates over the others.

One limit that immediately comes to mind is taking P ^ 1, since in microscopic realizations of the duality P = N (see, for instance, [17]) with Nc being the number of D5 branes sourc-ing the background. Alternatively, one could take Q > 1, where Q is the F5 flux due to D3 brane sources. However, there is a wider range of possibilities that may contain more interesting examples. To explain that, let us redefine the scalars p, x, * as:

p(z) = p(z) + p0 , x(z) =x(z) + x0 , *(z) = *(z) + *0 , (4.1)

where p0 = const, x0 = const and *0 = const. Then (3.32) becomes:

1 e-4p-4x N2 N8N*P2 e8p-2x+* N8 Q2 e8p-4x

V =----p e2p-2x _i-----1--p--(4 2)

NjN4 4 Nl e + Nl 4 + N4 8 ' (4.2)

where for convenience we have denoted

Np = ep0 , Nx = ex0 , N* = e*0 . (4.3)

Clearly then, we can pick different terms in (4.2) to be dominant by taking suitable limits for different ratios of the constants Np, Nx, N*, P and Q. This is rather similar to the walking solutions of [17]. Namely, there is an integration constant, denoted by c there, such that the walking backgrounds are approximate solutions in the limit Nrc ^ 1.

5 This is a convenient place to comment on taking H3 = 0 in the ansatz of Section 2. That this is consistent seems well known in the literature. However, we have not seen a more detailed discussion, like the one presented here for (3.29). So let us briefly outline why this is the case. If H3 = 0, then according to (3.8) of [14] there are two more independent scalars to consider, h\ and hx in their notation. So now ={p, x, g, *, a, b, h\, /¡2). The components of the sigma

model metric G;;(&) do not depend on hi 2 and there are no nonzero mixed components of the form G with

J ' h\ 2 O1

= hi 2; see (3.13) of [14]. Hence all additional nonvanishing components of the Christoffel symbols are of the form

GO], . Finally, Vh1,2 |hl =0=h- = 0, as can be seen from (3.14) of [14]. So setting h1 2 = 0 satisfies the V2h1 2 field

0J h1 2 12 > >

equations and does not change at all the considerations regarding (3.28).

4.1. Explicit solution

It turns out that a de Sitter solution (i.e. with A > 0), which is our primary interest, can be found analytically in the limit in which the second term in (4.2) is dominant. Clearly, one condition to achieve such a limit is Np 1

— »--(4 4)

Nx NPN2 , (.)

which implies the constraint 13

- « Nl . (4.5) Another condition, from comparing the second and third terms in (4.2), is

Np NP N1/2P 3 1

NT» P N ^ NP «-t^ . (4.6)

Nx Nx p N^P

Finally, comparing the second and fourth terms, we have: Np NP Q 3 Nx

—»—— =>• N3 «; — (4 7)

Nx ^ N2 ^ Np« Q. ( )

To summarize, by assuming

1 3 1 Nx

— « NP « smaller of —^ , , (4.8)

Nx P {N1/2P q J

we ensure that the potential (4.2) simplifies to: N2

V ^-TT e2p-2x . (4.9)

Let us for convenience denote N2 = Np/N^ and drop the tildes from now on. So we write (4.9) as:

V ^-N2e2p-2x . (4.10)

Note that one could take either P = 0 or Q = 0 in (4.2), in which case the {, } bracket in (4.8) simplifies in the obvious manner. Also, since we are considering H3 = 0 identically, we should make the following remark. To have a solution with nonvanishing F5 flux, i.e. with Q = 0, in our set-up, one would need to have vanishing F3 flux (which is guaranteed by taking P = 0), in order to satisfy the 10d equation of motion d+(e~®H3) = -F5 A F3. Such a solution, supported by constant F5 flux, would be similar to the background used in [10]. The solutions we will find below, however, all have Q = 0. So they belong to the same class of solutions as [15] and its later deformations [17,18].

4.1.1. Reducing the scalar sector From (4.10) we find that:

Vp & -2e2p-2xN2 , Vx & 2e2p-2xN2 , & 0 . (4.11)

The vanishing of V^ immediately implies that we can solve the third equation in (3.30) by taking

0 = 0 . (4.12)

In addition, from (4.11) we see that:

Vx = -Vp, (4.13)

which upon using (2.7) gives:

Vx = -6VP. (4.14)

It is clear then that, by taking

x = -6p, (4.15)

we can ensure that the field equation x" + 4A'x' - Vx = 0 becomes exactly the same as p" + 4A'p' - Vp = 0. So, adopting (4.15), we reduce the system to a single scalar p(z) with the potential V = -N 2e14p.

4.1.2. Solving the field equations

Substituting (4.12) and (4.15) into (3.30)-(3.31), we obtain the system:

p"+ 4A'p' + ^euP = 0 4Ae-2A - 12A'2 + 84p'2 + 4N2e14p = 0 . (4.16)

We will leave for the future solving the above system (analytically) in full generality and, instead, will find here a particular solution of a rather simple form. To do that note that there are only two kinds of exponentials, e-2A and e14p, in this system. So it seems logical to expect that it may be possible to find a solution of (4.16), when those two exponentials are equal to each other up to a constant. Hence, let us make the ansatz:

A(z) = -7p(z) + c0 , (4.17)

where c0 = const. Substituting (4.17) into (4.16), we find:

p" - 28p'2 + ^e14P = 0

("A + 4N2) e14p - 504 p'2 = 0 . (4.18)

Let us for convenience introduce the notation 4A 2

a = ^ + 4N2 and p = 504 , (4.19)

so that the second equation in (4.18) can be written as:

a e14p - Pp'2 = 0 . (4.20)

Solving this algebraically for e14p in terms of p'2 and substituting the result in the first equation of (4.18), we find:

p" - yp' 2 = 0 , (4.21)

where we have denoted N2 B

Y = 28 - — B. (4.22)

Now the system we need to solve is (4.20)-(4.21). The question is whether we can choose the integration constants so that both equations are satisfied simultaneously. The general solution of (4.20) is:

.49a(z - Cx)2_

where C1 is an integration constant. For later convenience, let us write this as:

Pi(z) = — ln

(4.23)

Pi(z) = -14

, 49 a , 1n( — )+ 21n (z - Ci)

(4.24)

The general solution of (4.21) is: 1

p2(z) =--ln (yzC2 + YC3) , (4.25)

where C2 and C3 are integration constants. Since the latter are arbitrary, we can rescale them by another constant k and write:

p2(z) = -- [ln(YK) + ln(zC2 + C3) ] . (4.26)

Let us now compare (4.26) to (4.24). Clearly, the two expressions can be made equal if we take:

C2 = 1 , C3 = -Cx ^ C , y = 7 , k = ( b ) . (4.27)

However, unlike Ci,2,3 and k, which until (4.27) were arbitrary, y was already given in (4.22). So we need to satisfy one more condition, namely:

7 = 28 --- , (4.28)

in order to have a solution. Substituting the definitions of a and B from (4.19), the relation (4.28) becomes:

A = e2c0 N2 . (4.29) Clearly, this condition means that A is positive-definite and thus the 4d spacetime is de Sitter.

4.1.3. Summary and discussion

To summarize, we have found the solution:

1 1 / 7N2

p(z) = -- ln (z + C) -— ln'

7 14 V 9

1 17 A V

A(z) = 1n(z + C) + ^lnf—j , (4.30)

where in the constant term of A we have combined the constant coming from p(z) with the contribution of c0 as determined by (4.29). One can easily verify that this solution is indeed

correct by substituting (4.30) into (4.16), or equivalently into (3.15) with g = 0, a = 0, b = 0, 0 = 0, x = -6p and V = -N2e14p.

Recall that in this set-up z is a radial variable with a natural range [0, x). Clearly, by choosing the integration constant C > 0, we can ensure that the solution is regular at the origin z = 0. Obviously, though, the expressions in (4.30) diverge as z tends to x. However, in physical applications it may be sensible to introduce an upper cut-off zc, such that z e [0, zc]. This could be a (dynamical) physical scale above which the model, based on the above solution, is not valid. For example, if we view the dS4 background corresponding to the solution (4.30) as an approximation to the Inflationary epoch in the Early Universe, then a natural choice for zc is the scale of onset of Inflation, or perhaps the Hubble scale. Of course, when studying fluctuations in the above background, perturbative stability will depend on the boundary conditions one imposes at zc. We leave this very interesting issue for a future investigation.

Let us also comment on whether (4.30) is valid in the approximations within which we derived it, as should be the case. Such a question may arise at first sight, because the solution for p(z), and thus also for x(z), depends on N, which could be large. Since the dominance of the second term in (4.2) was obtained by imposing constraints on the coefficients Np,x,0 only, it is natural to ask whether factors of N coming from the exponentials of p(z) and x(z) could spoil this approximation. Fortunately, one can easily verify that this does not happen. Indeed, in the first term in (4.2) we have6: e-4p-4x\x=-6p = e20p — —077 = N21857 ; in the second term: e2p-2x\x=-6p = e14p - -2; in the third one: e8p-2x\x=-6p = e20p — N2m; and, finally, in the fourth term: e8p-4x\x=-6p = e32p — —or. So even among the exponentials alone, for large N, the exponential of the second term dominates when we have (4.30) and (4.15). Hence this is a valid solution.

Finally, let us note that this solution shares important features with the N = 1 supersymmetric walking backgrounds of [17]. The letter are deformations of the Maldacena-Nunez solution [15]. As such, they naturally belong to the class of asymptotically linear dilaton (ALD) backgrounds. Recall that the linear dilaton behavior 0 — z refers actually to a different coordinate system (in string frame) than the conventional one (in Einstein frame), used in [29] to establish the holographic renormalization of ALD backgrounds. For comparison of the two systems, see for example [30]. In the coordinate system of [29], that is relevant for us, the asymptotic behavior of the dilaton is 0 — ci ln z + c2 + ..., where ci,2 = const. Now, for the walking solutions of [17] the dilaton is constant, while it is zero here. Hence, both these walking backgrounds, as well as our de Sitter foliation one, exhibit special cases of ALD behavior with a dilaton solution having c1 = 0. Of course, in addition to the dilaton, we have another nontrivial scalar, which is diverging in a manner consistent with the ALD asymptotics, namely p(z) — ln z. This is the case for all of the backgrounds of [17-19] (see also [31]) too, albeit with different divergent scalars in each case. More broadly, one should keep in mind that, while AdS asymptotics means that the gravity background is dual to a fundamental field theory, divergences (as in the ALD case, or more severe) signify that the gravity dual describes an effective field theory, which needs a UV completion. For a nice discussion on that point, one can see for example [32].

The backgrounds of [17] also belong to the class of solutions found within the consistent truncation of [14], as already mentioned in Section 2. More importantly, in the walking region of [17], the scalars a, b and g vanish (see [28]), just as they do in the new solution here. Also, the string dilaton, 0, is constant in both cases, as mentioned above. And, of course, our solution,

6 As before, we drop the tildes.

when lifted to a full ten-dimensional one, has exactly the same topology of the compact 5d space, namely S1 x S2 x S2, as in [17], due simply to the structure of the metric ansatz (2.1). Therefore, it seems tempting to speculate that the dS4 foliation found here could be obtained by a certain nonsupersymmetric deformation of the N = 1 walking backgrounds of [17]. Understanding this issue would undoubtedly be very important for finding microscopic (D-brane) realizations of our solution. We leave this investigation for the future.

4.2. Solutions for large P

The kind of reduction of the scalar sector to a single independent field, that we found in Subsection 4.1.1, is not unique to the limit in which the second term in (4.2) dominates. In fact, a similar reduction can be obtained for any of the four terms of the potential being the leading one. Despite that, we did not find three more analogues of the solution (4.30). It is instructive to understand why. So, following Section 4.1, we will outline the relevant considerations for the case of another leading term in (4.2).

Let us take the approximation

8p-2x+0

V —--P2 , (4.31)

where as before we have dropped the tildes. Clearly, the simplest, although certainly not the only, way to ensure (4.31) is to take

P > 1 , Q = 0 (4.32)

and Np,x,0 ~ O(1) in (4.2). Note that any overall N factor in (4.31) just rescales the parameter P. So, for our purposes, there is no loss of generality by not including such a factor in the potential here.

As in Section 4.1, from (4.31) we can deduce that setting 1

x = -2 0 (4.33)

makes the equations of motion of x and 0 equivalent. As a result, we are left with the following scalar field equations:

V20 = e8P+20P2 , V2p = 1 e8P+20P2 . (4.34)

Adding and subtracting these two equations, we find

V2 (8p + 20) = y e8p+20P2 and V2 (0 - 3p) = 0 . (4.35)

Obviously, the second equation above can be solved by taking

0 = 3p . (4.36)

Hence, the system (3.30)-(3.31) now becomes:

p"+ 4A'p'- 1 e14pP2 = 0 4Ae-2A - 12A'2 + 21 p'2 - e14pP2 = 0 . (4.37)

At this stage, one could make the ansatz

A(z) = -7p(z) + const, (4.38)

as in (4.17). However then, going through the same steps as in Subsection 4.1.2, one finds that the analogue of the last condition, i.e. equation (4.28), cannot be satisfied. The same problem occurs for the limits, in which any of the remaining two terms in (4.2), i.e. the first or the last, is the dominant one.

To understand what is the key difference that allowed the existence of the solution (4.30), let us compare (4.16) and (4.37). We see that both systems are of the form:

p" + 4A'p' - nmL2eZp = 0 4Ae-2A - 12A'2 + 2 - 3 nL2eZp = 0 , (4.39)

where n, Z, H and m are numerical coefficients and the parameter L denotes N or P. In fact, the coefficient H has to satisfy H = fm due to its origin from the system (3.15). Now, substituting the ansatz A(z) = -§ p(z) + c0 in (4.39) and performing the same steps as in Subsection 4.1.2, we find again the system aeZp - ftp'2 = 0 and p" - yp'2 = 0, but with different coefficients a, p and y ; in particular:

a - ^ - 3 nL2 . (4.40)

Finally, the analogue of (4.29) gives:

(2 - Zm)ne2c0 L2

A = (-'—21-. (4.41)

When the potential is approximated by any of the other terms, except for the second one in (4.2), it turns out that we always have 2 < Zm with n > 0, and also p > 0. This would seem to suggest that there is a solution with A < 0, i.e. AdS4 spacetime. However, (4.41) was derived under the assumption that aeZp - pp2 = 0 has a solution, which for p > 0 is only possible if a > 0. The latter inequality, though, cannot be satisfied for A < 0, since n > 0. The crucial difference for the second term in (4.2), compared to the above considerations, is its overall minus sign. This leads to n < 0, while still 2 < Zm. So now one can have A > 0 from (4.41), while a > 0. This gives precisely the solution (4.30).

Although the system (4.37) does not have a special solution similar to (4.30), we can still extract certain information analytically. This will enable us to find a class of interesting numerical solutions to (4.37). We turn to these considerations next.

4.2.1. Reduction to single equation

Since our main interest is in de Sitter space, we would like to look for solutions with A > 0. So let us for convenience introduce the Hubble parameter:

H2 - ^ , (4.42)

such that the scale factor in (3.5) becomes the standard eHt.

Now, we can rewrite the system (4.37) in a more convenient form by introducing B(z) and q(z) via:

H \ . . . 1, / q(z)\

A(z) = lnf B(zjJ and p(Z) = pj . (4.43)

Then (4.37) becomes:

q" q' 7 q 4 B'

q 2 q' q 3 3 q' q 2B 3q'2 12B'2

+ q2 - 12 B2 . (4.44)

7 q2 B2

y, from the fir in the second equation. This allows us to solve for B:

Clearly, from the first equation above we can solve algebraically for B and substitute the result

b = (7q4 +3q'2 -3qq")2 + q2 - Vf (445)

B = 2V^V 12q2q'2 +q 7q2 . (4.45)

Now, substituting (4.45) into the first equation of (4.44), we obtain a third order factorized differential equation for q of the form F1 x F2 = 0, where

q' 2 7

Fx : q"= q— + 3 q3, q3

... 49 q6 17 2 . 9 q'3 7 q3 q" q' q" 5 q"2 F2 : q"' = + — q2 q'-^ - Aqr + + Tr . (4.46)

36 q' 2 28 q2 2 q' 2 q 4 q'

So we have reduced solving the coupled system of differential equations (4.37) to solving either of the ODEs F1 and F2.

Actually, F1 can be solved easily, giving:

q(z) = J--1--(4.47)

q( ) V7sin[(z + C2)C1] ' '

with C1,2 being integration constants. Now, substituting (4.47) into (4.45), we find:

B = . (4.48)

Hence, from (4.43) it follows that the warp factor A is constant. However, recall from Section 3.1 that there is no solution for A > 0 and A = const. Indeed, one can verify that the third equation (i.e. N2 in (3.16), which for A = const is independent of the other two) is not satisfied for the putative solution given by (4.47) and (4.48). Therefore, solving the system (4.37) reduces to solving the single equation F2 in (4.46).

4.2.2. Investigating the solutions

Since the differential equation F2 does not depend explicitly on z and is an odd function of q and its derivatives, we can reduce its order by one via introducing the new independent variable y = q(z) and the new function R(y) = q'(z)2. Then F2 becomes7:

2 49 y6 9 R R' 7 y3R' 5 R'2

R = 17 y2 + —y---7 +---y-+-. (4.49)

18 R 14 y2 2 y 2 R 8 R

One can further simplify this equation by making the ansatz

R = j y4[1 + Tdn y) , (4.50)

7 To verify this result, keep in mind that dz = q' and that R' = .

q '(z) = ±- q 2VT+T , (4.52)

where T is an yet undetermined function. Substituting (4.50) into (4.49), we find the following equation for T(w):

5 36 9 2 15 , 3

(1 + T)T" =- T'2--T--T2--T' -- TT' . (4.51)

8 49 14 7 2

Note that this equation is invariant under a translation w ^ w - w0 with w0 being a constant. Since, according to (4.50), one has w = log(q), the w translation is equivalent to a q rescaling of the form q ^ q / q0 with q0 = ew°. In fact, it is useful to rewrite (4.50) as: 7

where we have used that y = q and R = q'2. Now it is easy to realize that a rescaling q ^ q / q0 leaves (4.52) invariant, if it is accompanied by the transformation z ^ zq0. In other words, equations (4.51) and (4.52) are invariant under the simultaneous rescalings:

q ^ q / q0 — q and z ^ zq0 —z . (4.53)

Hence, one can generate new solutions q(z) by performing these rescalings on a known solution q(z). This will play an important role below.

Let us now focus on investigating equation (4.51). Unfortunately, it cannot be solved exactly by analytical means. Nevertheless, we will be able to find numerical solutions. As a first step in doing that, we need the series expansion of T around some point, which we choose for convenience to be w = 0. To simplify the considerations, we will look for solutions, such that the function T(w) has a zero somewhere.8 This assumption implies that the Taylor expansion in our case has the form T(w) = t1 w + t2w2 + ... with i1,2 = const. Indeed, the generic expansion would be T(w) = t0 + t1w + ..., where t1 = 0 due to the assumption of the presence of a zero of T(w). Therefore, recalling that a translation of w is a symmetry of equation (4.51), we can use the shift w ^ w - to set to zero the constant term. Once we find a solution with t0 = 0, the more general solution, containing an additional integration constant w0, can be obtained by performing the shift w ^ w - w0. So, substituting an expansion of the form T(w) = t1w + ... in (4.51), we find that the Taylor series of T around w = 0 is given by: 5 , 1

T(w) = t1 w

1 + — (711 - 24)w + — (35112 - 75611 + 864)w2 + ... + 112( 1 ) + 1344( 1 1 + ) +

(4.54)

Using (4.54) to set the initial conditions, we can solve (4.51) numerically for any choice of the constant t1. However, we show in Appendix A that the expression for B(z), following from (4.54), is real only for t1 > 0 or t1 < - 46. Taking t1 = 0.1, we plot in Fig. 1 the function T(w) obtained from the numerical integration. Other choices of positive t1 give very similar results. As evident from the figure, T(w) increases until reaching the maximum value Tmax — 0.038 at w & 1 and then decreases to zero as w ^x.

Having a numerical solution for T(w), we can now find numerically q(z) by integrating (4.52). Indeed, recalling that w = log(q), we find from (4.52)9:

3 f e-w

z = - , dw , (4.55)

7 J V1 + T(w) 0

8 Note that there are plenty of functions that do not have any zeros, like for example cosh(w).

9 For convenience, here we take the plus sign in (4.52). It is easy to transform the results to the case with the minus sign. We will comment more on that at the end of this section.

0.1 0.2 0.3 0.4

Fig. 2. The function q(z) for integration constant t\ = 0.1.

where we have fixed the integration constant by taking w = 0 at z = 0. Note that requiring z > 0 implies that w > 0, or equivalently q > 1, in (4.55). Substituting the numerical results for T(w = logq) into (4.55), we can compute z as a function of q. The result, plotted as the inverse function q(z), is shown in Fig. 2. The function q(z) diverges at zmax — 0.4231. This upper bound on z can be understood in the following way. In the limit T ^ 0, the value of the integral for w ^^ tends to 3 / 7 = 0.4285. Since T is small, but nonzero, we have that zmax = 0.4231 < 3 / 7. At first sight, the allowed range of z seems very short. However, recall that the solution can be rescaled by the simultaneous transformations (4.53). So, by taking q0 > 1, one can make zmax, and thus the range of z, arbitrarily large. Note also, that another way of varying the range of z is by changing the value of the constant i1, as can be seen from (4.55).

Having found q(z) numerically, we can compute numerically B(z) as well by using (4.45). The function B(z) is plotted in Fig. 3. It is finite at z = 0 and diverges at zmax. From (4.43), we then conclude that the functions p(z) and A(z) are also regular at z = 0 and have logarithmic singularities at zmax.

Let us also comment on the behavior of the solution for q(z), when the negative sign in (4.52) is taken. Let us write the result of the integration in this case as:

3 f e-w 3 f e-w

z =— I , — dw =— I , — dw , (4.56)

7 J VI + T(w) 7 J VI + T(w)

where again the integration constant is chosen so that q(0) = 1. Since now the positivity of z implies negative w, we have that q(z) = ew < 1. Choosing t1 = 0.1 as before, we find, in an extension of our numerical computation to negative w, that in the limit w ^ wmin = -1.757 the function T(w) ^-1. Hence, for w ^ wmin the integral in (4.56) diverges, thus allowing us to identify this limit with z ^ro. Clearly then, the function q(z) takes the finite value q = ewmin ^ 0.17 as z ^ro. Also, obviously, we have q = 1 at z = 0. So, as z runs over the whole real axis, q(z) takes values in a finite range, namely: ewmin < q < 1. Therefore, from (4.43) we can see that the scalar field p(z) does not have a singularity in this case.

Finally, let us note that a discussion, similar to the one at the end of Section 4.1.3, applies here as well. More precisely, the numerical solutions found above have vanishing g, a and b scalars as before. Also, their lifts to 10d have exactly the same compact 5d topology as before for, obviously, the same reasons. However, now the string dilaton 0 is not a constant. Indeed, recall from (4.36) that 0 = 3p. Therefore, the second numerical solution, the one corresponding to the minus sign in (4.52), has finite 0 for any z, in accord with the discussion below (4.56). It would be interesting to explore whether this solution can be obtained from a nonsupersymmetric deformation of the walking backgrounds of [17], or more generally [18,19]. On the other hand, the numerical solution, corresponding to the plus sign in (4.52), has a logarithmically divergent dilaton at the upper limit of the radial direction, as is clear from the discussion following (4.55). Thus it seems unlikely that this solution could be related to deformations of walking backgrounds like [17-19], which all have finite dilaton asymptotics. However, it is conceivable that it could have a connection to a more general (non-walking) solution of the full N = 1 system of [33,31]. We hope to come back to those interesting issues in the future.

5. Toward glueball inflation

Here we studied the equations of motion of the 5d action (2.6)-(2.8), which is a consistent truncation of 10d type IIB, with the metric ansatz (3.3)-(3.4) and with only z-dependent profiles for the scalars. We found solutions of the form

ds2 = e2A(z) (-dt2 + e2Htdx2) + dz2 , (5.1)

where the Hubble parameter H = J A and A > 0. In the context of the gauge/gravity duality, this gives a dual description of certain strongly coupled gauge theories in a 4d de Sitter spacetime, thus providing a powerful tool for studying the latter. This topic was already addressed in [10], although the set of nontrivial ten-dimensional fields in their case is not compatible with the consistent truncation of [14], that we have used here.

Studying field theory in dS4 background is of great interest both because of Cosmological Inflation and also because the present day Universe has a small, but non-vanishing, positive cosmological constant. However, there are cosmological models with even more involved time dependence of the 4d spacetimes; see [13], for instance, for interesting examples of holographic duals of such models.10 In fact, even for Inflation one would want a time-dependent Hubble parameter, albeit a very slowly varying one [25]. So, although (5.1) can be viewed as a leading approximation in the context of Inflation, ultimately we would like to have a solution of the more general form

ds52 = e2AZ

-dt2 + s(t)2dx2

+ dz2 (5.2)

with the scale factor s(t) satisfying s > 0, where we have denoted ' — d. In this notation, the standard definition of the Hubble parameter is

H — - (5.3)

and the definition of slow variation (the "slow roll" regime) is

e — -H2 « 1 . (5.4)

To find solutions of (2.9) of this kind, one needs to modify the ansatz for the scalar fields in the following way:

& = &(t,z). (5.5)

Then the field equations become much more complicated. Working with (3.29) provides some simplification. Nevertheless, it is quite a nontrivial task to find analytic solutions. So we leave the detailed investigation of this question for the future.

It is worth, though, to expand here upon why such solutions would be of great value for Inflationary Cosmology. Recall that, when gravitational backgrounds solving (2.9) (or, more precisely, the 10d type IIB action, which all solutions of this 5d system lift to) are viewed as dual descriptions of strongly coupled gauge theories, the scalars represent the glueball bound states. So the fact, that time-dependence in (some of the) drives the cosmological expansion of

10 Note that the remark we made above, regarding the relation of [10] to the consistent truncation of [14], applies to [13] as well, as they use the same field space truncation as [10].

the 4d spacetime, means that the role of the 4d inflaton field is played here by a composite scalar, more precisely a glueball, in a strongly coupled gauge sector. Thus, this would be a gravitational dual of glueball inflation. In that regard, recall that knowing the Hubble parameter as a function of time, i.e. the function H(t), is the only 4d spacetime dynamics one needs, in order to extract predictions for the key inflationary observables ns (scalar spectral index) and r (tensor to scalar ratio), as the scalar and tensor power spectra are entirely determined by algebraic expressions in terms of H(t) and H(t); see [25].

Models, in which the inflaton is composite instead of a fundamental scalar, have already been proposed within purely field-theoretic inflationary model building [21,22].11 The main motivation is that in such models the so-called ^-problem does not occur. This problem refers to the following. If the inflaton is a fundamental scalar, then as usual quantum corrections drive its mass to the cut-off of the effective field theory describing it. This, in particular, implies that n, one of the "slow roll" parameters that need to be ^ 1 during Inflation, is driven to O(1).12 As a result, the inflationary expansion ends prematurely [25]. On the other hand, if the inflaton is a composite scalar in a strongly coupled gauge theory, then its mass is dynamically fixed. In addition, a huge advantage of having a gravitational dual of such composite inflation models is that the inflaton mass becomes a calculable quantity, just like the full glueball mass spectrum is. Finally, it is also worth noting that glueball inflation models are expected to be able to produce large enough levels of primordial gravitational waves [27], so that they could be tested within the next years. For all these reasons it is, clearly, of great interest to find gravity duals of glueball inflation. We hope to come back to this issue in the near future.

6. Discussion

We investigated a five-dimensional consistent truncation of type IIB supergravity, relevant for gauge/gravity duality. Our goal was to find solutions with the metric ansatz

ds¡ = e2A(z)g^vdx^dxv + dz2 , (6.1)

where the 4d metric g^v is dS or AdS, and the scalars are of the form = (z). At first sight, this ansatz does not have enough unknown functions to allow for solutions to exist generically. Namely, there is one more field equation than unknown functions. However, we showed that, for a nontrivial warp factor A(z), one of those equations becomes dependent on the others and, thus, is automatically satisfied when they are. This is true regardless of the sign of the 4d cosmological constant A. We also saw that, for A = const, there are no solutions with A > 0.

Further, we showed that three of the six scalar fields = {p, x, g, 0, a, b}, in the 5d theory under consideration, can be consistently set to zero; see (3.29). That simplification allowed us to find analytically an explicit solution with A > 0, for which:

x = -6p , 0 = 0 , g = 0 , a = 0 , b = 0 (6.2)

and p(z) and A(z) are given by (4.30). This solution was obtained in an approximation, similar to the limit in which the walking solutions of [17] are found. It would be rather interesting to understand whether there is a conceptual reason for that. Also, the existence of this solution

11 In addition, a holographic model of composite inflation due to a quark condensate was proposed in [26], based on embedding flavor probe branes in AdS5 x S5. The strongly coupled gauge theory in that case is N = 4 SYM with a small number of quark hypermultiplets.

12 The ^-parameter is proportional to the inflaton mass.

depended crucially on the presence of an overall minus sign in front of the leading term in the ^ve-dimensional potential. In other words, it was very important that the 5d potential was negative definite, in the appropriate limit. It is definitely worth trying to understand the physical significance of this.

Still working within the truncation (3.29), we were able to find numerically two other classes of solutions with A > 0, for which: 3

x = -- p , 0 = 3p , g = 0 , a = 0 , b = 0 . (6.3)

These solutions are obtained, basically, in the limit P > 1, Q = 0. Furthermore, the coupled system of differential equations for p(z) and A(z) reduces in this case to a single algebraic relation. We were able to find a couple of one-parameter families of numerical solutions to this equation. Interestingly, it turns out that one of these classes of solutions has a finite upper bound, zmax , on the range of z.

The analytical solution in (6.2) and both classes of numerical solutions in (6.3) are regular at the origin z = 0, for appropriate choice of integration constants. However, only one of the two numerical classes of solutions, the one corresponding to , is finite for z —^ x. The other class, as well as the analytical solution, has divergences at the upper bound of z (for the numerical class this is at zmax, whereas for the analytical solution it is at z — x). In physical applications, though, there could be a natural upper cutoff for the radial variable. This could be a dynamically generated scale, above which the effective description provided by this model is not valid anymore, as in [28]. Or, in view of the cosmological applications, it could be the Hubble scale, that is the natural effective field theory cutoff [25]. So our solutions could be useful laboratories for studying strongly-coupled gauge theories in de Sitter space, regardless of whether they have large z divergences or not. Of course, that will also depend on whether or not there are perturbative instabilities. Investigating the latter issue is rather involved and we leave it for the future. Another interesting question, worth addressing, is what microscopic (D-brane) realizations could lead to our solutions.

Finally, the explicit analytical solution in (6.2) could provide a useful starting point for finding a gravitational dual of Glueball Inflation. Indeed, since in slow roll Inflation the Hubble parameter has to vary with time rather slowly, the inflating solution can be viewed as a small time-dependent perturbation of pure dS space (which has constant Hubble parameter). Hence, studying small time-dependent perturbations around (6.2), together with (4.30), could enable one to find an explicit solution with an inflating 4d spacetime. We intend to explore this problem in the near future.

Acknowledgements

We would like to thank C. Nunez, M. Piai, G. Tasinato and I. Zavala for discussions on gravitational duals of strongly coupled gauge theories and on cosmological inflation. L.A. is grateful to the Simons Workshop in Mathematics and Physics, Stony Brook 2014, for hospitality during the completion of this work. L.A. has received partial support from COST Action MP-1210 and Bulgarian National Science Fund grant DFNI T02/6 during the work on this project.

Appendix A. Parameter range for large P solutions

In Section 4.2.2 we found numerical solutions to equation (4.51), which have the form (4.54) in a neighborhood of w = 0. Using these, one can find numerically the functions of interest,

namely q(z) and B(z). However, it turns out that not every value of the integration constant t\, that parametrizes this family of solutions, leads to real B(z). Recall that, to give a physical solution via (4.43), the function B(z) has to be real and positive. We will show now that only ti e ^—ro, -U (0, (x) leads to physical solutions for small T.

By inverting (4.54), we can obtain the expansion of q in powers of T. Substituting this expression into (4.45), we find the following expansion for B2:

B2 =-t1 (16 + 7t1) +--1---1---

144 1 ( T 1)T V 9ti 576

7 2 49t1

—176, 0

Recall that the constant t1 = 0, as discussed above (4.54). So (A.1) is well-defined. Furthermore, for T ^ 0, the first term determines the sign of B2. Hence, we see that for small T we have B2 > 0 (and thus real nonzero B) for t1 < — 16 or t1 > 0, while B2 < 0 for t1 e ( —16, 0^. Also,

one can see that B = 0 for t1 = — 16, as the coefficient of each term in the B2(T) expansion is zero. Note that an identically vanishing B is not a physical solution, since it gives an infinite warp factor A for any z; see (4.43). Hence, we conclude that the parameter range t1 e is not allowed for physical solutions following from (4.54).

As an illustration of the above, let us briefly discuss the special case corresponding to t1 = — 16. Interestingly, one can find this solution by solving

, 8 4 i--

T' = —2 T — ^ ± ^ V4 + 11 T + 7 T2 . (A.2)

It is easy to verify that any T, satisfying (A.2), automatically satisfies (4.51) as well, although the reverse is not true. The solution with t1 = —16 is obtained for the minus sign in (A.2), whereas the plus sign gives a solution with diverging q for small T. Indeed, imposing the constraint T(0) = 0, one can easily verify that the Taylor expansion coefficients, for the solution of the minus-sign equation in (A.2), coincide with those in (4.54) with t1 = —1-.

We will show now that B = 0 for any solution of (A.2). By integrating (A.2), we find:

(8 + 11 T ± 4^4 + 11 T + 7 T2)

x (11 + 14 T ± 2 V7V4 + 11 T + 7 T2)

where q0 = ew0. This gives us q as a function of T. To compute B from (4.45), we also need q'(z) and q"(z) as functions of T. From (4.52), we have that q' is given by:

q '(z) = ±3 q(T)2VT+T .

Then, taking the derivative of (A.4) with respect to z and substituting (A.4) in the result, we obtain:

q" (z) = ±q '(z)q(T)

6V/I+T

4 (1 + T) + q

49 3 = — q(T)3 18 q( )

4(1 + T) + ( q '(T)]

where q(T) / q'(T) can be calculated by differentiating (A.3) with respect to T.

Substituting into (4.45) the expressions for q, q' and q" from (A.3), (A.4) and (A.5) respectively, we obtain B = 0 regardless of the choice of sign in (A.3). Clearly then, these solutions are physically unacceptable, as they lead to infinite warp factor A for any z, according to (4.43).

References

[1] A.G. Riess, et al., Supernova Search Team Collaboration, Observational evidence from supernovae for an accelerating universe and a cosmological constant, Astron. J. 116 (1998) 1009, arXiv:astro-ph/9805201;

S. Perlmutter, et al., Supernova Cosmology Project Collaboration, Measurements of omega and lambda from 42 high-redshift supernovae, Astrophys. J. 517 (1999) 565, arXiv:astro-ph/9812133.

[2] A very non-exhaustive list of references is the following: E. Witten, Quantum gravity in de Sitter space, in: Conference Proceedings for "International School of Subnuclear Physics", 39th Course: "New Fields and Strings in Subnuclear Physics", Erice, Italy, September 2001, arXiv:hep-th/0106109;

U. Danielsson, On the consistency of de Sitter vacua, J. High Energy Phys. 0212 (2002) 025, arXiv:hep-th/0210058; T. Banks, W. Fischler, S. Paban, Recurrent nightmares?: measurement theory in de Sitter space, J. High Energy Phys. 0212 (2002) 062, arXiv:hep-th/0210160;

M. Einhorn, F. Larsen, Interacting quantum field theory in de Sitter vacua, Phys. Rev. D 67 (2003) 024001, arXiv:hep-th/0209159;

M. Einhorn, F. Larsen, Squeezed states in the de Sitter vacuum, Phys. Rev. D 68 (2003) 064002, arXiv:hep-th/ 0305056;

U. Danielsson, M. Olsson, On thermalization in de Sitter space, J. High Energy Phys. 0403 (2004) 036, arXiv:hep-th/ 0309163;

S. Rouhani, M. Takook, Abelian gauge theory in de Sitter space, Mod. Phys. Lett. A 20 (2005) 2387, arXiv:gr-qc/ 0502019;

Y. Korai, T. Tanaka, QFT in the flat chart of de Sitter space, Phys. Rev. D 87 (2013) 024013, arXiv:1210.6544 [gr-qc];

M. Fukuma, Y. Sakatani, S. Sugishita, Propagators in de Sitter space, Phys. Rev. D 88 (2013) 024041, arXiv: 1301.7352 [hep-th];

M. Takook, Quantum field theory in de Sitter universe: ambient space formalism, arXiv:1403.1204 [gr-qc].

[3] A very partial list of references is the following: S. Kachru, R. Kallosh, A. Linde, S. Triverdi, De Sitter vacua in string theory, Phys. Rev. D 68 (2003) 046005, arXiv:hep-th/0301240;

A. Saltman, E. Silverstein, The scaling of the no scale potential and de Sitter model building, J. High Energy Phys. 0411 (2004) 066, arXiv:hep-th/0402135;

A. Achucarro, B. de Carlos, J. Casas, L. Doplicher, De Sitter vacua from uplifting D-terms in effective supergravities from realistic strings, J. High Energy Phys. 0606 (2006) 014, arXiv:hep-th/0601190;

A. Westphal, De Sitter string vacua from Kahler uplifting, J. High Energy Phys. 0703 (2007) 102, arXiv:hep-th/ 0611332;

L. Covi, M. Gomez-Reino, C. Gross, J. Louis, G.A. Palma, C.A. Scrucca, De Sitter vacua in no-scale supergravities and Calabi-Yau string models, J. High Energy Phys. 0806 (2008) 057, arXiv:0804.1073 [hep-th]; L. Covi, M. Gomez-Reino, C. Gross, G.A. Palma, C.A. Scrucca, Constructing de Sitter vacua in no-scale string models without uplifting, J. High Energy Phys. 0903 (2009) 146, arXiv:0812.3864 [hep-th];

M. Cicoli, A. Maharana, F. Quevedo, C.P. Burgess, De Sitter string vacua from dilaton-dependent non-perturbative effects, J. High Energy Phys. 1206 (2012) 011, arXiv:1203.1750 [hep-th];

U. Danielsson, G. Dibitetto, On the distribution of stable de Sitter vacua, J. High Energy Phys. 1303 (2013) 018, arXiv:1212.4984 [hep-th];

J. Blaback, U. Danielsson, G. Dibitetto, Fully stable dS vacua from generalised fluxes, J. High Energy Phys. 1308

(2013) 054, arXiv:1301.7073 [hep-th];

A. Buchel, D. Galante, Cascading gauge theory on dS>4 and string theory landscape, Nucl. Phys. B 883 (2014) 107, arXiv:1310.1372 [hep-th];

J. Blaback, D. Roest, I. Zavala, De Sitter vacua from non-perturbative flux compactifications, Phys. Rev. D 90

(2014) 024065, arXiv:1312.5328 [hep-th];

U. Danielsson, G. Dibitetto, An alternative to anti-branes and O-planes?, J. High Energy Phys. 1405 (2014) 013, arXiv:1312.5331 [hep-th];

R. Kallosh, A. Linde, B. Vercnocke, T. Wrase, Analytic classes of metastable de Sitter vacua, J. High Energy Phys. 1410 (2014) 011, arXiv:1406.4866 [hep-th].

[4] A. Strominger, The dS/CFT correspondence, J. High Energy Phys. 0110 (2001) 034, arXiv:hep-th/0106113.

[5] M. Alishahiha, A. Karch, E. Silverstein, D. Tong, The dS/dS correspondence, AIP Conf. Proc. 743 (2005) 393, arXiv:hep-th/0407125;

M. Alishahiha, A. Karch, E. Silverstein, Hologravity, J. High Energy Phys. 0506 (2005) 028, arXiv:hep-th/0504056.

[6] J. Maldacena, The large N limit of superconformal field theories and supergravity, Adv. Theor. Math. Phys. 2 (1998) 231, arXiv:hep-th/9711200.

[7] S.S. Gubser, I.R. Klebanov, A.M. Polyakov, Gauge theory correlators from noncritical string theory, Phys. Lett. B 428 (1998) 105, arXiv:hep-th/9802109.

[8] E. Witten, Anti-de Sitter space and holography, Adv. Theor. Math. Phys. 2 (1998) 253, arXiv:hep-th/9802150.

[9] N. Itzhaki, J. Maldacena, J. Sonnenschein, S. Yankielowicz, Supergravity and the large N limit of theories with sixteen supercharges, Phys. Rev. D 58 (1998) 046004, arXiv:hep-th/9802042.

[10] K. Ghoroku, M. Ishihara, A. Nakamura, Gauge theory in de Sitter space-time from a holographic model, Phys. Rev. D 74 (2006) 124020, arXiv:hep-th/0609152.

[11] W. Fischler, S. Kundu, J. Pedraza, Entanglement and out-of-equilibrium dynamics in holographic models of de Sitter QFTs, J. High Energy Phys. 1407 (2014) 021, arXiv:1311.5519 [hep-th].

[12] W. Fischler, P. Nguyen, J. Pedraza, W. Tangarife, Fluctuation and dissipation in de Sitter space, J. High Energy Phys. 1408 (2014) 028, arXiv:1404.0347 [hep-th];

W. Fischler, P. Nguyen, J. Pedraza, W. Tangarife, Holographic Schwinger effect in de Sitter space, arXiv:1411.1787 [hep-th].

[13] J. Erdmenger, K. Ghoroku, R. Meyer, Holographic (de)confinement transitions in cosmological backgrounds, Phys. Rev. D 84 (2011) 026004, arXiv:1105.1776 [hep-th].

[14] M. Berg, M. Haack, W. Muck, Bulk dynamics in confining gauge theories, Nucl. Phys. B 736 (2006) 82, arXiv: hep-th/0507285.

[15] J. Maldacena, C. Nunez, Towards the large N limit of pure N = 1 super Yang-Mills, Phys. Rev. Lett. 86 (2001) 588, arXiv:hep-th/0008001.

[16] I. Klebanov, M. Strassler, Supergravity and a confining gauge theory: duality cascades and xSB-resolution of naked singularities, J. High Energy Phys. 0008 (2000) 052, arXiv:hep-th/0007191.

[17] C. Nunez, I. Papadimitriou, M. Piai, Walking dynamics from string duals, Int. J. Mod. Phys. A 25 (2010) 2837, arXiv:0812.3655 [hep-th].

[18] D. Elander, C. Nunez, M. Piai, A light scalar from walking solutions in gauge-string duality, Phys. Lett. B 686 (2010) 64, arXiv:0908.2808 [hep-th].

[19] D. Elander, J. Gaillard, C. Nunez, Maurizio Piai, Towards multi-scale dynamics on the baryonic branch of Klebanov-Strassler, J. High Energy Phys. 1107 (2011) 056, arXiv:1104.3963 [hep-th].

[20] A. Karch, L. Randall, Locally localized gravity, J. High Energy Phys. 0105 (2001) 008, arXiv:hep-th/0011156.

[21] P. Channuie, J. Joergensen, F. Sannino, Minimal composite inflation, J. Cosmol. Astropart. Phys. 1105 (2001) 007, arXiv:1102.2898 [hep-ph].

[22] F. Bezrukov, P. Channuie, J. Joergensen, F. Sannino, Composite inflation setup and glueball inflation, Phys. Rev. D 86 (2012) 063513, arXiv:1112.4054 [hep-ph].

[23] G. Papadopoulos, A. Tseytlin, Complex geometry of conifolds and 5-brane wrapped on 2-sphere, Class. Quantum Gravity 18 (2001) 1333, arXiv:hep-th/0012034.

[24] A. Karch, L. Randall, Open and closed string interpretation of SUSY CFTs on branes with boundaries, J. High Energy Phys. 0106 (2001) 063, arXiv:hep-th/0105132;

O. DeWolfe, D. Freedman, H. Ooguri, Holography and defect conformal field theories, Phys. Rev. D 66 (2002) 025009, arXiv:hep-th/0111135.

[25] D. Baumann, TASI lectures on inflation, in: Conference Proceedings for "Physics of the Large and the Small", Theoretical Advanced Study Institute in Elementary Particle Physics, Boulder, Colorado, June 2009, arXiv:0907. 5424 [hep-th].

[26] N. Evans, J. French, K. Kim, Holography of a composite inflaton, J. High Energy Phys. 1011 (2010) 145, arXiv: 1009.5678 [hep-th].

[27] P. Channuie, K. Karwan, Large tensor-to-scalar ratio from composite inflation, Phys. Rev. D 90 (2014) 047303, arXiv:1404.5879 [astro-ph.CO].

[28] L. Anguelova, P. Suranyi, L.C.R. Wijewardhana, Glueball spectrum in a gauge theory with two dynamical scales, J. High Energy Phys. 1305 (2013) 003, arXiv:1212.1176 [hep-th].

[29] R. Mann, R. McNees, Boundary terms unbound! Holographic renormalization of asymptotically linear dilaton gravity, Class. Quantum Gravity 27 (2010) 065015, arXiv:0905.3848 [hep-th].

[30] D. Marolf, A. Virmani, Holographic renormalization of gravity in little string theory duals, J. High Energy Phys. 0706 (2007) 042, arXiv:hep-th/0703251.

[31] C. Hoyos, C. Nunez, I. Papadimitriou, Comments on the string dual to N = 1 SQCD, Phys. Rev. D 78 (2008) 086005, arXiv:0807.3039 [hep-th].

[32] E. Conde, J. Gaillard, C. Nunez, M. Piai, A. Ramallo, A tale of two cascades: Higgsing and Seiberg-duality cascades from type IIB string theory, J. High Energy Phys. 1202 (2012) 145, arXiv:1112.3350 [hep-th].

[33] R. Casero, C. Nunez, A. Paredes, Towards the string dual of N = 1 SQCD-like theories, Phys. Rev. D 73 (2006) 086005, arXiv:hep-th/0602027.