Attribution Non-Commercial (BY-NC)

3 visualizações

Emilio Elizalde et al- Casimir effect in de Sitter and Anti-de Sitter braneworlds

Attribution Non-Commercial (BY-NC)

- Steven Weinberg - Foundations of Unified Electro-Weak Theory
- RMO Books
- 9781741254747_ESS-Mathematics-Year-8
- Field Theory Roman PDF
- Lecture_1
- lesson 6
- QFBOOKAPP
- Artigo. Kant and Newtonian Science, Ronald Calinger_1979
- tmpB52E
- Cbse Class 7 Maths Syllabus 2012-13
- Kant and Newtonian Science
- 05_C3_June_2006
- Our Rainbow World
- Drawing Geomrt Fig
- 4H Practice
- Boltzmann Statistics of Quantum Friction
- Mandl IntroductionToQuantumFieldTheory
- mm lesson plan
- 2011-P4-Math-SA1-Rosyth
- Black Hole Entropy in M Theory - Juan Maldacena, Andrew Strominger

Você está na página 1de 36

September 2002

hep-th/0209242

Casimir eect in de Sitter and Anti-de Sitter

braneworlds

Emilio Elizalde

1

, Shinichi Nojiri

2

,

Sergei D. Odintsov

3

and Sachiko Ogushi

4

Department of Mathematics, Massachusetts Institute of Technology

77 Massachusetts Avenue, Cambridge, MA 02139-4307

Department of Applied Physics, National Defence Academy

Hashirimizu Yokosuka 239, JAPAN

Lab. for Fundamental Study

Tomsk Pedagogical University, 634041 Tomsk, RUSSIA

Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto

606-8502, JAPAN

ABSTRACT

We discuss the bulk Casimir eect (eective potential) for a conformal or

massive scalar when the bulk represents ve-dimensional AdS or dS space

with two or one four-dimensional dS brane, which may correspond to our

universe. Using zeta-regularization, the interesting conclusion is reached,

that for both bulks in the one-brane limit the eective potential correspond-

ing to the massive or to the conformal scalar is zero. The radion potential in

the presence of quantum corrections is found. It is demonstrated that both

the dS and the AdS braneworlds may be stabilized by using the Casimir

force only. A brief study indicates that bulk quantum eects are relevant

for brane cosmology, because they do deform the de Sitter brane. They may

also provide a natural mechanism yielding a decrease of the four-dimensional

cosmological constant on the physical brane of the two-brane conguration.

PACS: 98.80.Hw, 04.50.+h, 11.10.Kk, 11.10.Wx

1

On leave from: IEEC/CSIC, Edici Nexus, Gran Capit` a 2-4, 08034 Barcelona, Spain;

email: elizalde@math.mit.edu elizalde@ieec.fcr.es

2

email: snojiri@yukawa.kyoto-u.ac.jp, nojiri@nda.ac.jp

3

email: odintsov@mail.tomsknet.ru

4

JSPS fellow, email: ogushi@yukawa.kyoto-u.ac.jp

Contents

1 Introduction 2

2 The Casimir eect for a de Sitter brane

in a ve-dimensional Anti-de Sitter background 4

2.1 Eective potential for the brane . . . . . . . . . . . . . . . . 4

2.2 The one-brane limit (L ) . . . . . . . . . . . . . . . . . . 6

2.3 Small distance expansion . . . . . . . . . . . . . . . . . . . . 8

2.4 The dynamics of the brane . . . . . . . . . . . . . . . . . . . 10

2.5 Dynamics of two branes at small distance . . . . . . . . . . . . 13

2.6 Stabilization of the radion potential . . . . . . . . . . . . . . . 15

3 Casimir eect for the de Sitter brane

in a ve-dimensional de Sitter background 19

3.1 Eective potential for the brane . . . . . . . . . . . . . . . . . 19

3.2 The dynamics of the brane . . . . . . . . . . . . . . . . . . . . 20

4 Eective potential for a massive scalar eld in the AdS and

dS bulks 23

4.1 Small mass limit (with L not large) . . . . . . . . . . . . . . . 25

4.2 Large mass limit (with L not small) . . . . . . . . . . . . . . . 26

4.3 Braneworld stabilization by the Casimir force . . . . . . . . . 27

5 Eective potential for a massive scalar without scalar-gravitational

coupling 28

6 Discussion and conclusions 30

A Appendix 31

1

1 Introduction

If our world is really multi-dimensional, as M-(string) theory predicts, then

one of most economical possibilities for its realization is the braneworld

paradigm. Indeed, in the case when string theory is taken in its exact vacuum

state, with the ve-dimensional (asymptotically) Anti-de Sitter (AdS) sector,

in a full ten-dimensional space, the corresponding eective ve-dimensional

theory represents some (gauged) supergravity. Adding the four-dimensional

surface terms predicted by the AdS/CFT correspondence to such ve-dimensional

AdS (super)gravity, one arrives at the dynamical four-dimensional boundary

(brane) of this ve-dimensional manifold. Depending on the structure of the

surface terms, the choice of (bulk and brane) matter, the assumptions about

the general structure of the brane and bulk manifold, elds content, etc., our

four-dimensional universe can be realized in a particular way as such a brane.

Brane universe can be consistent with observational data even when the ra-

dius of the extra dimension is quite signicant. Moreover, the braneworld

point of view of our universe may bring about a number of interesting mech-

anisms to resolve such well-known problems as the cosmological constant and

the hierarchy problems.

As the braneworld corresponds to a ve-dimensional (usually AdS) man-

ifold with a four-dimensional dynamical boundary, it is clear that, when the

ve-dimensional QFT is considered, the non-trivial vacuum energy (Casimir

eect, see e.g. [1] for a recent review) should appear. Moreover, when the

brane QFT is considered, the non-trivial brane vacuum energy also appears.

The bulk Casimir eect should conceivably play a quite remarkable role in

the construction of the consistent braneworlds. Indeed, it gives contribution

to both the brane and the bulk cosmological constants. Hence, it is expected

that it may help in the resolution of the cosmological constant problem.

For consistency, the ve-dimensional braneworld should be stabilized (ra-

dion stabilization) [2]. Then, the idea is that the bulk vacuum energy

(Casimir contribution) may be used explicitly for realizing the radion sta-

bilization in a number of models [3][14] (mainly with at branes). An in-

teresting connection between the bulk Casimir eect and supersymmetry

breaking in braneworld [15] or moving branes [16] also exists. On the other

hand, the brane Casimir eect may be used for a braneworld realization [17]

of the anomaly-driven (also called Starobinsky) ination [18].

The works mentioned above discuss mainly the Casimir eect in the sit-

2

uation when the brane is at space. But also the situation in which the

brane is more realistic, say a de Sitter (dS) universe, has been discussed in

Refs. [4, 13]. It has been shown there that, in an AdS bulk, the Casimir en-

ergy for the bulk conformal scalar eld in a one-brane conguration is zero.

However, in situations where the bulk is dierent, a non zero contribution

of the Casimir energy is not excluded and even a possibility may exist of

gravity trapping on the brane itself.

In the present work we study the bulk Casimir eect for a conformal or

massive scalar when the bulk is a ve-dimensional AdS or a dS space and

the brane is a four-dimensional dS space. We show that zeta-regularization

techniques at its full power [19] can be used in order to calculate the bulk

eective potential in such braneworlds, in a quite general setting. One inter-

esting result we got is that, for both bulks (AdS and dS) under discussion

with one brane, the bulk eective potential is zero for a conformal as well as

for a massive scalar. Applications of our results to the stabilization of the

radion and to the brane dynamics are presented as well.

The paper is organized as follows. The next section is devoted to the

discussion of a general eective potential (Casimir eect) for bulk conformal

scalar on AdS when the brane is a de Sitter space. The small distance

behavior is investigated and the one-brane limit of the potential, which turns

out to be zero, is worked out. As an application, we discuss the role of the

leading term of the eective potential to the brane dynamics. It is shown here

that the Casimir force only deforms the shape of the 4-dimensional sphere

S

4

. The radion potential (in two limits), with account of the Casimir term, is

found and the stabilization of the braneworld is discussed. Using an explicit

short distance expansion for the eective potential, it is demonstrated that

the brane may indeed be stabilized using the Casimir force only.

In Sect. 3 similar questions are investigated for a conformal scalar when

the brane is S

4

, and bulk is a ve-dimensional dS space. It is interesting that

the eective potential turns out to be the same as in the case of the previous

section (AdS). Also, the one-brane limit of eective potential is again zero.

From the study of brane dynamics it turns out that the role of the Casimir

force is again that of inducing some deformation of the S

4

brane (especially

close to the poles).

In Sect. 4 the eective potential for a massive scalar (also with scalar-

gravitational coupling) is presented, for both a dS and an AdS bulk, when

the brane is S

4

. The small and large mass limits are found. The one-brane

3

limit of the potential is again zero, even in the massive case, but the main

non-zero correction to this limit is obtained explicitly. Brane stabilization

due to the Casimir force for a massive scalar is discussed when the bulk is

ve-dimensional dS.

In Sect. 5 the potential for a massive scalar without a scalar-gravitational

coupling is briey studied for dS and AdS braneworlds. It is shown that it is

again zero in the one-brane limit. Finally, a short summary and an outlook

are presented in Sect. 6.

2 The Casimir eect for a de Sitter brane

in a ve-dimensional Anti-de Sitter back-

ground

2.1 Eective potential for the brane

In this section, we review the calculation of the eective potential for a

de Sitter (dS) brane in a ve-dimensional anti-de Sitter (AdS) background,

following Refs. [3, 4, 13]. First, we start with the action for a conformally

invariant massless scalar with scalar-gravitational coupling,

o =

1

2

_

d

5

x

g

_

g

+

5

R

(5)

2

_

, (2.1)

where

5

= 3/16, R

(5)

being the ve-dimensional scalar curvature. This

action is conformally invariant under the conformal transformations:

5

g

= e

(x

)

g

= e

(x

, (2.2)

where

3

4

= .

Let us recall the expression for the Euclidean metric of the ve-dimensional

AdS bulk:

ds

2

= g

dx

dx

=

l

2

sinh

2

z

_

dz

2

+ d

2

4

_

, (2.3)

d

2

4

= d

2

+ sin

2

d

2

3

, (2.4)

5

Note that there is a relation between and , namely

D2

4

= , and

D

depends

on the dimensions as

D2

4(D1)

, for the general D-dimensional bulk.

4

where l is the AdS radius which is related to the cosmological constant of the

AdS bulk, and d

3

is the metric on the 3-sphere. Two dS branes, which are

four-dimensional spheres, are placed in the AdS background. If we put one

brane at z

1

, which is xed, and the other brane at z

2

, the distance between

the branes is given by L = [z

1

z

2

[. When z

2

tends to , namely L = ,

the two-brane conguration becomes a one brane conguration.

We can see that the action, Eq. (2.1), is conformally invariant under the

conformal transformations for the metric Eq. (2.3) and the scalar eld, which

are given by

g

= sinh

2

z l

2

g

, = sinh

3/2

z l

3/2

. (2.5)

The action is changed by the conformal transformation, Eqs. (2.5), as follows.

o =

1

2

_

d

5

x

_

g

_

g

+

5

R

(5)

2

_

. (2.6)

Then, the action is conformally invariant, which leads to the following La-

grangian for a conformally invariant massless scalar with a scalar-gravitational

coupling,

L =

_

2

z

+

(4)

+

5

R

(4)

_

. (2.7)

where R

(4)

= 12. Since we are interested in the Casimir eect for the bulk

scalar in the AdS background, we shall use this Lagrangian hereafter.

The one-loop eective potential can be written as [4, 13]

V =

1

2LVol(M

4

)

log det(L

5

/

2

) , (2.8)

where

L

5

=

2

z

(4)

5

R

(4)

= L

1

+ L

4

. (2.9)

To calculate the eective potential in Eq. (2.8), we use -function regulariza-

tion [19], as was done in Refs. [3, 4, 13]. Being precise, the very rst step in

this procedure consists in the introduction of a mass parameter in order to

work with dimensionless eigenvalues, thus we should write at every instance

L

5

/

2

, etc. However, as is often done for the sake of the simplicity of the

5

notation, we will just keep in mind the presence of this factor, to recover

it explicitly only in the nal formulas.

First, we assume that the eigenvalues of L

1

and L

4

are of the form

2

n

,

2

values, log det L

5

can be rewritten as follows:

log det L

5

= Tr log L

5

= Tr log(L

1

+ L

4

) =

n,

log(

2

n

+

2

) (2.10)

Since the -function for an arbitrary operator A is dened by

(s[A)

m

(

2

m

)

s

=

m

e

s log

2

m

, (2.11)

it turns out that Tr log L

5

can be rewritten as

Tr log L

5

=

s

(s[L

5

)[

s=0

. (2.12)

Furthermore, the -function is related to the -function and heat kernel

K

t

(A):

(s[A) =

1

(s)

_

0

dt t

s1

K

t

(A), K

t

(A) =

m

e

2

m

t

. (2.13)

L

1

is a one-dimensional Laplace operator, and the boundary conditions result

in that the brane separation L can be taken as the width of a one-dimensional

potential well. As a consequence, the eigenvalues of L

1

are be given by

2

n

=

_

n

L

_

2

, (2.14)

for nite L.

2.2 The one-brane limit (L )

The above formula leads to the heat kernel K

t

(L

1

)

K

t

(L

1

)

n

e

t(

n

L

)

2

_

0

dye

t(

y

L

)

2

=

L

2

t

, (2.15)

where the large-L limit has been taken, namely, the continuous limit of n.

The heat kernel for L

5

is written in terms of K

t

(L

1

) and K

t

(L

4

), as

K

t

(L

5

) = K

t

(L

1

)K

t

(L

4

) . (2.16)

6

By using Eqs. (2.13), (2.15), and (2.16), we obtain (s[L

5

):

(s[L

5

) =

1

(s)

_

0

dtt

s1

K

t

(L

1

)K

t

(L

4

) ,

L

2

_

s

1

2

_

(s)

1

_

s

1

2

_

_

0

dtt

(s

1

2

)1

K

t

(L

4

) +O

_

1

L

_

=

L

2

_

s

1

2

_

(s)

_

s

1

2

[L

4

_

+O

_

1

L

_

. (2.17)

Combined with Eq. (2.12), we obtain the eective potential in the large L

limit:

V =

1

2LVol(M

4

)

_

(0[L

5

/

2

) + ln

2

(0[L

5

/

2

)

_

=

1

2LVol(M

4

)

1

2

[L

4

/

2

_

+O

_

1

L

_

. (2.18)

Note that the

2

factor has to be taken into account for obtaining the deriva-

tive and, as discussed before, it is in fact everywhere present in each La-

grangian and its eigenvalues (although it is usually not written down in order

to simplify the notation). For the spherical brane S

4

whose radius is 1, the

four-dimensional zeta function (s[L

4

) is given by

(s[L

4

) = g(s)1

2s

, (2.19)

where

g(s) =

1

6

l=0

(l + 1)(l + 2)(2l + 3)

_

l

2

+ 3l +

9

4

_

s

. (2.20)

This formula can be rewritten in terms of the values of the Hurwitz zeta-

function

H

(s, a) at negative integer argument

H

(m, a) =

B

m+1

(a)

m+ 1

(2.21)

where B

m

(a) is a Bernoulli polynomial. Thus, (s[L

4

) is given by

(s[L

4

) =

1

2s

3

_

H

_

2s 3,

3

2

_

1

4

H

_

2s 1,

3

2

__

, (2.22)

7

which leads to

1

2

[L

4

_

=

1

31

_

H

_

4,

3

2

_

1

4

H

_

2,

3

2

__

= 0 . (2.23)

As a result, the eective potential Eq. (2.18) becomes zero (as rst has been

observed in [4] and has been conrmed in [13]) as L . This situation

corresponds to the case of a one-brane conguration.

2.3 Small distance expansion

Using the power of the zeta regularization formulas [19, 20], a much more

precise (albeit involved) calculation can be carried out which respects at

every step the complete structure of the ve-dimensional zeta function. That

is, the full zeta function is preserved till the end, and the nal expression

is given in terms of an expansion on the brane distance L over the brane

compactication radius 1, valid for L/1 1, which complements the one

for large brane distance obtained above. A detailed calculation follows.

As to the specic zeta formulas employed, adhering to the classication

that has been given in [20], the case at hand is indeed to be found there (even

if at rst sight it would not seem so). It corresponds to a two-dimensional

quadratic plus linear form with truncated spectrum. In fact, this is clear

from the structure of the spectrum yielding the zeta function

(s[L

5

) =

2s

n,l=0

(

2

n

+

2

l

)

s

, (2.24)

where is a dimensional regularization scale that renders the argument of

the zeta function dimensionless. In the case of the four-dimensional spherical

brane of radius 1 considered above, this reduces to

(s[L

5

) =

2s

6

n,l=0

(l + 1)(l + 2)(2l + 3)

_

_

n

L

_

2

+1

2

_

l

2

+ 3l +

9

4

_

_

s

. (2.25)

This zeta function looks awkward, at rst sight. But after some reshuing

it can be brought to exhibit the standard structure mentioned. Specically,

(s[L

5

) =

1

2s

6

2s

n,l=0

2

_

l +

3

2

_

_

_

_

_

l +

3

2

_

2

+

2

n

2

1

2

L

2

_

1s

8

2

n

2

L

2

+

1

4

__

_

l +

3

2

_

2

+

2

n

2

1

2

L

2

_

s

_

_

1

2s

6

2s

[Z

1

(s) + Z

2

(s)] , (2.26)

where both Z

1

(s) and Z

2

(s) are obtained by taking derivatives (see [21] for a

discussion of this issue, nontrivial when asymptotic expansions are involved),

with respect to x at x = 3/2, of a zeta function of the class just mentioned,

e.g.

l=0

_

(l + x)

2

+ q

_

s

, q

2

n

2

1

2

L

2

. (2.27)

In Refs. [20], explicit formulas for the analytical continuation of this class of

zeta functions are given. To be brief (and forgetting for the moment about

the n-sum, for simplicity), we just have to recall the celebrated asymptotic

expansion

n=0

_

(n + c)

2

+ q

_

_

1

2

c

_

q

s

+

q

s

(s)

n=1

(1)

n

(n + s)

n!

q

n

H

(2n, c)

+

(s 1/2)

2(s)

q

1/2s

(2.28)

+

2

s

(s)

q

1/4s/2

n=1

n

s1/2

cos(2nc)K

s1/2

(2n

q) .

After some calculations, we get for Z

1

(s) and Z

2

(s)

Z

1

(s) =

1

2 s

_

2

1

2

L

2

_

2s

(2s 4)

1

(s 1)

n=1

(1)

n

(n + s 2)

n!

2

1

2

L

2

_

2ns

(2s + 2n 4)

H

(2n, 3/2), (2.29)

Z

2

(s) =

1

1 s

_

2

1

2

L

2

_

1s

_

2

1

2

L

2

(2s 4) +

1

4

(2s 2)

_

9

+

1

(s)

n=1

(1)

n

(n + s 1)

n!

_

2

1

2

L

2

_

1ns

(2.30)

2

1

2

L

2

(2s + 2n 4) +

1

4

(2s + 2n 2)

_

H

(2n, 3/2).

Finally, for the derivative of the ve-dimensional zeta function at s = 0,

we obtain

(0[L

5

) =

(4)

6

4

1

4

L

4

+

(2)

12

2

1

2

L

2

+

1

24

_

H

(4, 3/2)

1

2

H

(2, 3/2)

_

ln

2

1

2

L

2

+

(0)

6

_

H

(4, 3/2)

1

2

H

(2, 3/2)

_

+

1

24

H

(4, 3/2)

+

1

36

_

1

8

H

(4, 3/2)

1

3

H

(6, 3/2)

_

L

2

1

2

+O

_

L

4

4

1

4

_

0.129652

1

4

L

4

0.025039

1

2

L

2

0.002951 ln

1

2

L

2

0.017956 0.000315

L

2

1

2

+ (2.31)

2.4 The dynamics of the brane

We now consider the dynamics of the dS brane, which is taken to be the

four-dimensional sphere S

4

, as in Ref. [4]. The bulk part is given by ve-

dimensional Euclidean Anti-de Sitter space, Eq. (2.3), which can be rewritten

as

ds

2

AdS

5

= dy

2

+ l

2

sinh

2

y

l

d

2

4

. (2.32)

One also assumes that the boundary (brane) lies at y = y

0

and the bulk

space is obtained by gluing two regions, given by 0 y < y

0

(see [17] for

more details.)

We start with the action S which is the sum of the Einstein-Hilbert action

S

EH

, the Gibbons-Hawking surface term S

GH

[22], and the surface counter-

term S

1

, e.g.

S = S

EH

+ S

GH

+ 2S

1

(2.33)

10

S

EH

=

1

16G

_

d

5

x

g

(5)

_

R

(5)

+

12

l

2

_

(2.34)

S

GH

=

1

8G

_

d

4

x

g

(4)

(2.35)

S

1

=

3

8Gl

_

d

4

x

g

(4)

. (2.36)

Hereafter the quantities in the ve-dimensional bulk spacetime are specied

by the subindices

(5)

and those in the boundary four-dimensional spacetime

are by

(4)

. The factor 2 in front of S

1

in (2.33) is coming from the fact that

we have two bulk regions, which are connected with each other by the brane.

In (2.35), n

If we change the coordinate in the metric of S

4

, Eq. (2.4), to by

sin =

1

cosh

, (2.37)

we obtain

d

2

4

=

1

cosh

2

_

d

2

+ d

2

3

_

. (2.38)

For later convenience, one can rewrite the metric of the ve-dimensional

space, Eqs. (2.32), (2.38), as follows:

ds

2

= dy

2

+ e

2A(y,)

g

dx

dx

, g

dx

dx

l

2

_

d

2

+ d

2

3

_

. (2.39)

From Eq. (2.39), the actions (2.34), (2.35), (2.36), have the following forms:

S

EH

=

l

4

V

3

16G

_

dyd

__

8

2

y

A20(

y

A)

2

_

e

4A

+

_

6

2

A 6(

A)

2

+ 6

_

e

2A

l

2

+

12

l

2

e

4A

_

(2.40)

S

GH

=

4l

4

V

3

8G

_

de

4A

y

A (2.41)

S

1

=

3l

3

V

3

8G

_

de

4A

. (2.42)

Here V

3

=

_

d

3

is the volume (or area) of the unit three-dimensional sphere.

As it follows from the discussion in the previous subsections, there is a

gravitational Casimir contribution coming from bulk quantum elds. As one

11

sees in the simple example of a bulk scalar, S

Csmr

(leading term) has typically

the following form

S

Csmr

=

cV

3

1

5

_

dyde

A

. (2.43)

Here c is some coecient, whose value and sign depend on the type of bulk

eld (scalar, spinor, vector, graviton, ...) and on parameters of the bulk

theory (mass, scalar-gravitational coupling constant, etc). In a previous sub-

section we have found this coecient for a conformal scalar. For the following

discussion it is more convenient to consider this coecient to be some pa-

rameter of the theory. Doing so, the results are quite common and may be

applied to an arbitrary quantum bulk theory. We also assume that there are

no background bulk elds in the theory (except for the bulk gravitational

eld).

Adding the quantum bulk contribution to the action S in (2.33), one can

regard

S

total

= S + S

Csmr

(2.44)

as the total action. In (2.43), 1 is the radius of S

4

.

In the bulk, one obtains the following equation of motion from S

EH

+S

Csmr

by variation over A:

0 =

_

24

2

y

A48(

y

A)

2

+

48

l

2

_

e

4A

+

1

l

2

_

12

2

A12(

A)

2

+ 12

_

e

2A

+

16Gc

1

5

l

4

e

A

. (2.45)

Let us discuss the solution in the situation when the scale factor depends on

both coordinates: y and . In Ref. [4], the solution of (2.45) given by an

expansion with respect to e

y

l

was found by assuming that

y

l

is large:

e

A

=

sinh

y

l

cosh

32Gcl

3

151

5

cosh

4

e

4y

l

+O

_

e

5y

l

_

(2.46)

for the perturbation from the solution where the brane is S

4

. On the brane

at the boundary, one gets the following equation:

0 =

_

y

A

1

l

_

e

4A

. (2.47)

12

Substituting the solutions (2.46) into (2.47), we nd that

0

_

_

1

1

1 +

1

2

l

2

+

2Gl

2

c

31

10

cosh

5

1

l

_

_

. (2.48)

Eq. (2.48) tells us that the Casimir force deforms the shape of S

4

, since 1

depends on . The eect becomes larger for large . In the case of a S

4

brane,

the eect becomes large if the distance from the equator becomes large, since

is related to the angle coordinate by (2.37). In particular, at the north

and south poles ( = 0, ), cosh diverges and then 1 should vanish. Of

course, the perturbation would be invalid when cosh is large. Thus, we

have demonstrated that bulk quantum eects do support the creation of a

de Sitter brane-world Universe.

We now consider the case when the bulk quantum eects are the leading

ones. From Eq. (2.48), one obtains

1

8

4Glc

3

cosh

5

. (2.49)

Here we only consider the leading term with respect to c, which corresponds

to the large 1 approximation. Thus, we have demonstrated that bulk quan-

tum eects do not violate (in some cases they even support) the creation of

a de Sitter brane living in a ve-dimensional AdS background.

2.5 Dynamics of two branes at small distance

In this subsection, we consider the dynamics of two dS branes when the

distance between them is small. Before including the Casimir eect, we

consider the following actions.

S = S

EH

+

a=

(S

GH

+ 2S

1

) (2.50)

S

EH

=

1

16G

_

d

5

x

g

(5)

_

R

(5)

+

12

l

2

_

(2.51)

S

GH

=

1

8G

_

d

4

x

g

(4)

(2.52)

S

1

=

3

8Gl

_

d

4

x

g

(4)

. (2.53)

13

Here the index a = distinguishes the two branes and we assume that the

radius 1

+

(1

is AdS again and, on the branes, we obtain the following equations:

1

1

1 +

1

2

l

2

=

1

l

. (2.54)

The left-hand side in (2.54) is a monotonically decreasing function with re-

spect to 1. Since the left-hand side becomes + when 1 0 and

1

l

when

1 +, there is a solution when

l > l

+

> l

. (2.55)

We now include the Casimir eect. First, we consider the backreaction to

the bulk geometry. As we assume the distance between the branes is small,

the radius of the branes are almost constant. The distance L in (2.31) is given

by [z

+

z

to

e

5A

L

5

. Then the eective action would be

S

Csmr

=

cV

3

L

5

_

dyde

A

. (2.56)

Therefore, as in the previous section, the bulk geometry would be deformed

as

e

A

=

sinh

y

l

cosh

32G cl

3

15L

5

cosh

4

e

4y

l

+O

_

e

5y

l

_

. (2.57)

In this case, the equation of the brane corresponding to (2.48), has the fol-

lowing form

0

_

_

1

1

1 +

1

2

l

2

2Gl

2

c

3L

10

cosh

5

1

l

_

_

. (2.58)

Eq. (2.58) tells us that the Casimir force deforms the shape of S

4

and the

eect becomes larger for large , again, as in the previous section. We

should note, however, the signs of the contribution from the Casimir eect

are dierent for the larger and smaller branes. Then if the radius of the

larger brane becomes large (small), that in the smaller one it becomes small

(large). It is interesting that if larger brane is physical universe, this may

serve as dynamical mechanism of decreasing of the cosmological constant.

14

2.6 Stabilization of the radion potential

In this subsection, we consider the stabilization of the radion potential fol-

lowing Ref. [2]. As rst setup, we prepare the suitable metric and action for

the discussion of the stabilization of the radion potential.

ds

2

= e

2krc||

dx

dx

r

2

c

d

2

(2.59)

Here is the coordinate on ve-dimensions and x

the four-dimensional surfaces of constant , and with (x, )

and (x, ) identied. The coordinate z in the metric (2.3) corresponds to

e

krc

/k in Eq. (2.59), and the distance between two branes L corresponds to

(e

krc

e

krc

)/k.

We assume that a potential can arise classically from the presence of a

bulk scalar with interaction terms that are localized at the two 3-branes. The

action of the model with scalar eld is given by

S

b

=

1

2

_

dx

4

_

G

_

G

AB

B

m

2

2

_

, (2.60)

where G

AB

with A, B = , as in Eq. (2.59). The interaction terms on the

hidden and visible branes (at = 0 and = respectively) are also given

by

S

h

=

_

d

4

x

g

h

h

(

2

v

2

h

)

2

, (2.61)

S

v

=

_

d

4

x

g

v

v

(

2

v

2

v

)

2

, (2.62)

where g

h

and g

v

are the determinants of the induced metric on the hidden

and visible branes respectively.

The general solution for which only depends on the coordinate is

taken from the equation of motion of the action with respect to , to have

the following form:

() = e

2

[Ae

+ Be

] , (2.63)

where = kr

c

[[ and =

_

4 + m

2

/k

2

. Substituting this solution (2.63)

into the action and integrating over yields an eective four-dimensional

potential for r

c

which has the form [2]

V

(r

c

) = k( + 2)A

2

(e

2krc

1) + k( 2)B

2

(1 e

2krc

)

+

v

e

4krc

(()

2

v

2

v

)

2

+

h

((0)

2

v

2

h

)

2

(2.64)

15

The unknown coecients A and B are determined by imposing appropriate

boundary conditions on the 3-branes. Recalling Ref. [2], the coecients A

and B are given by

A = v

v

e

(2+)krc

v

h

e

2krc

, (2.65)

B = v

h

(1 + e

2krc

) v

v

e

(2+)krc

, (2.66)

for large kr

c

limit. Here we take (0) = v

h

and () = v

v

.

For the large kr

c

limit, which corresponds to the large L limit, since

L = (e

krc

e

krc

)/k, we assume that the eective potential includes the

term induced by the Casimir eect as

L

discussed in subsection 2.2, where

is some constant. Thus, we shall add this term to the potential (2.64)

hereafter.

6

Then the eective potential in the large kr

c

limit becomes

V

(r

c

) = kv

2

h

+ 4ke

4krc

_

v

v

v

h

e

krc

_

2

_

1 +

4

_

kv

h

e

(4+)krc

(2v

v

v

h

e

krc

) +

k

(e

krc

e

krc

)

. (2.67)

We suppose that m/k 1 so that = 2 + with m

2

/4k

2

a small

quantity.

With the purpose of obtaining the minimum of the potential, we dier-

entiate it with respect to r

c

:

d

dr

c

V

(r

c

) = 16k

2

e

4krc

_

v

v

v

h

e

krc

_

2

_

1 +

4

_

+8v

h

k

2

e

4krc

_

v

v

v

h

e

krc

_

_

1 +

4

_

+k

2

v

h

(4 + )e

(4+)krc

(2v

v

v

h

e

krc

)

+k

2

2

v

2

h

e

(4+)krc

e

krc

k

2

(e

krc

+ e

krc

)

(e

krc

e

krc

)

2

.(2.68)

The minimum of the potential is reached for

r

c

= r

0

+ r

c

,

r

0

=

_

4

_

k

m

2

ln

_

v

h

v

v

_

. (2.69)

6

Note that a Casimir term may be induced by other bulk elds.

16

Substituting Eq. (2.69) into

d

drc

V

(r

c

) = 0 in Eq. (2.68), we get r

c

as

r

c

=

(e

kr

0

+ e

kr

0

)e

(4+)kr

0

16kv

h

v

v

(e

kr

0

e

kr

0

)

2

+

1

4k

(e

5kr

0

+ e

3kr

0

)

16kv

h

v

v

(e

kr

0

e

kr

0

)

2

, (2.70)

where terms of order

2

are neglected. The role of Casimir eect is in only

to shift slightly the minimum.

In the small kr

c

limit, which corresponds to the small L limit as well, the

coecients A and B in the radion potential (2.64) are changed as follows

A =

1

2kr

c

v

v

(1 + kr

c

( 2)) v

h

(2.71)

B =

1

2kr

c

v

v

(1 + kr

c

( 2)) + v

h

(1 + 2kr

c

) . (2.72)

In this limit, we suppose that m/k 1, so that m/k. The eective

potential might include the term induced by the Casimir eect as

L

5

discussed

in subsection 2.3, where is some constant. Then, the radion potential in

the small kr

c

limit is

V

(r

c

) = 2mr

c

k

_

m

k

+ 2

_

A

2

+ 2mr

c

k

_

m

k

2

_

B

2

+

L

5

1

r

c

(v

v

v

h

)

2

+

(2r

c

)

5

, (2.73)

being here L 2r

c

. To obtain the minimum of the potential, we dierenti-

ate Eq. (2.73) with respect to r

c

:

d

dr

c

V

(r

c

) =

1

r

2

c

(v

v

v

h

)

2

5

(2)

5

r

6

c

. (2.74)

Then, if 0, the minimum of the potential is reached at

r

c

=

1

2(v

v

v

h

)

1/2

_

5

2

_

1/4

. (2.75)

Therefore, the role of the Casimir eect in brane stabilization is seen to be

essential. Let us give some numbers. If v

v

, v

h

(10

19

GeV)

3

2

and

17

(10

19

GeV)

1

, we have that r

c

(10

19

GeV)

1

and kr

c

could be of O(1).

Thus, it is not so unnatural for the hierarchy problem.

For the short r

c

case, we may not include the scalar eld in (2.60)

but instead we may include the next-to-leading order of the eective poten-

tial (2.31), induced by the Casimir eect, although the next-to-leading term

should be neglected for the at brane corresponding to 1 +:

V

C

(r

c

) =

1

(2r

c

)

5

+

2

(2r

c

)

3

. (2.76)

From (2.31), we see that

1

> 0 and

2

< 0. As a consequence, in the above

potential, there is a minimum at

r

c

=

1

2

5

1

3

2

0.4675l . (2.77)

The result in (2.31) is not for at brane but for de Sitter brane and only

including the contribution from massless scalar. We also put a length pa-

rameter l in (2.77). Then the numerical value in (2.77) would be changed but

hopefully the main structure would not be changed. We conclude, therefore,

that with the only consideration of the Casimir eect, the brane might get

stabilized, which is a nice result.

7

As we will see later in (4.10), when one considers the massive scalar with

small mass, there appears the correction to the eective potential. Moti-

vated with such result, one considers the following correction to the eective

potential, which corresponds to the leading term in (4.10) when L is small:

V

C

(r

c

) =

3

m

2

2r

c

. (2.78)

Here m expresses the mass of the scalar eld. The result in (4.10) suggests

that

3

is negative. By assuming that the correction term (2.78) is dominant

compared with the third (logarithmic) term in (2.31), the minimum in (2.77)

is shifted as

r

c

=

1

2

5

1

3

2

_

1 +

5

1

3

m

2

18

2

2

+O

_

m

4

_

_

. (2.79)

Then the contribution from small mass has a tendency to make the distance

between the two branes smaller.

7

Note however that thermal eects [5] may signicantly change the above discussion.

18

3 Casimir eect for the de Sitter brane

in a ve-dimensional de Sitter background

3.1 Eective potential for the brane

Next, we use the Euclideanised form of the ve-dimensional de Sitter (dS)

metric for a four-dimensional dS brane as follows:

ds

2

= l

2

_

d

2

+ sin

2

d

2

4

_

, (3.1)

=

l

2

cosh

2

z

_

dz

2

+ d

2

4

_

,

where l is the dS radius, which is related to the cosmological constant of the

dS bulk.

We place two dS branes which are four-dimensional spheres, as in the

AdS bulk case in a dS background as the one depicted in Fig. 1. Since the

parameter in Eq. (3.1) takes values between 0 and , the parameter z takes

values between and . As in the AdS bulk case, the distance between

the branes can be dened as L = [z

1

z

2

[. When z

2

is placed at , namely

L = , the two-brane conguration becomes a one-brane conguration, as

seen in Fig. 1.

L

S

5

S

4

L

S

4

S

4

Figure 1: The two dS branes are placed in the dS

5

background. The two-

brane conguration becomes a one-brane conguration as L .

The Casimir eect for the bulk scalar in dS background can be calculated

by using the same method as in AdS bulk.

19

Namely, the Lagrangian for a conformally invariant massless scalar with

scalar-gravitational coupling, is obtained by conformal transformation of the

action, Eq. (2.1), for the metric and the scalar eld given by

g

= cosh

2

z l

2

g

, = cosh

3/2

z l

3/2

. (3.2)

Then the Lagrangian is of the same form of Eq. (2.7).

The one-loop eective potential is calculated by means of -function reg-

ularization techniques. Then, the calculated result for the eective potential

in the large L limit is of the same form of Eq. (2.18). Since the eective

potential in Eq. (2.18) becomes zero at L , the eective potential of the

one-brane conguration becomes zero. Note that this means that the eec-

tive potential for B

5

, which is the right part in Fig. 1, is zero. Concerning

the small distance expansion, for a potential corresponding to a conformally

invariant scalar we have an expression as Eq. (2.31). No essential dierence

is encountered in this case.

3.2 The dynamics of the brane

The dynamics of dS brane in a ve-dimensional Euclidean de Sitter bulk can

be considered in a similar way as for the AdS bulk. The brane is de Sitter,

and is taken to be a four-dimensional sphere S

4

, as in the previous section.

The ve-dimensional Euclidean de Sitter space Eq. (3.1) can be rewritten as

ds

2

dS

5

= dy

2

+ sin

2

y

l

d

2

4

. (3.3)

Here, we adopt Eq. (2.38) for the metric of S

4

. We assume that the brane

lies at y = y

0

and that the bulk is obtained by gluing two regions given by

0 y < y

0

.

The total action S is the sum of the Einstein-Hilbert action S

EH

, the

Gibbons-Hawking surface term S

GH

, and the surface counter term S

1

: like

in the AdS bulk case:

S = S

EH

+ S

GH

+ 2S

1

. (3.4)

The Einstein-Hilbert action S

EH

is

S

EH

=

1

16G

_

d

5

x

g

(5)

_

R

(5)

12

l

2

_

(3.5)

20

The Gibbons-Hawking surface term S

GH

and the surface counter term S

1

are

of the same forms as in Eqs. (2.35), (2.36).

For later convenience, we rewrite the metric of the ve-dimensional dS

space, Eqs. (3.3), (2.38), as follows:

ds

2

= dy

2

+ e

2A(y,)

g

dx

dx

, g

dx

dx

l

2

_

d

2

+ d

2

3

_

(3.6)

By using Eq. (3.6), the action Eq. (3.5) becomes

S

EH

=

l

4

V

3

16G

_

dyd

__

8

2

y

A20(

y

A)

2

_

e

4A

+

_

6

2

A6(

A)

2

+ 6

_

e

2A

l

2

12

l

2

e

4A

_

. (3.7)

which is similar to the AdS bulk case, Eq. (2.40), except for the last term.

i.e. the cosmological constant. The Gibbons-Hawking surface term, S

GH

, and

the surface counter term, S

1

, Eqs. (2.35), (2.36), have also the same form of

Eqs. (2.41), (2.42). We also consider the gravitational Casimir contribution

due to bulk quantum elds. So we add the action of the Casimir eect, S

Csmr

,

(2.43) to the total action S (3.4).

In the bulk, we obtain the following equation of motion from S

EH

+S

Csmr

by variation over A:

0 =

_

24

2

y

A48(

y

A)

2

48

l

2

_

e

4A

+

1

l

2

_

12

2

A12(

A)

2

+ 12

_

e

2A

+

16Gc

1

5

l

4

e

A

. (3.8)

For the AdS bulk case, the solution of (3.8) can be found as an expansion

with respect to e

y

l

, assuming that

y

l

is large. But for the dS bulk case, we

cannot adopt the same method, since the function sin

y

l

cannot be regarded

as an expansion with respect to e

y

l

. Thus, we assume the solution to have

the following form

e

A

=

sin

y

l

cosh

+ A . (3.9)

Substituting Eq. (3.9) into Eq. (3.8), we obtain

0 =

1

l

2

_

6 sin

y

l

cosh

+

cosh

sin

y

l

2

cosh sin

y

l

_

A

21

4

l

cos

y

l

cosh

y

(A)

2 sin

y

l

cosh

2

y

(A)

cosh

l

2

sin

y

l

(A)

4Gc

31

5

l

4

_

cosh

sin

y

l

_

3

. (3.10)

We now investigate the behavior of Eq. (3.10) at the north and south poles

( = 0, ), that is, as cosh diverges. In this case, Eq. (3.10) is approximated

as

0

e

2l

2

sin

y

l

A

e

2l

2

sin

y

l

(A)

4Gc

31

5

l

4

_

e

2 sin

y

l

_

3

, (3.11)

and then

A

2

(A)

Gc

31

5

l

2

e

2

sin

2 y

l

. (3.12)

Here, we have used the approximation cosh

e

2

. From Eq. (3.12), we

assume

A =

e

2

sin

2 y

l

, (3.13)

where is the constant which is obtained by substituting Eq. (3.13) into

Eq. (3.12), thus

=

Gc

91

5

l

2

. (3.14)

The region of the equator = /2, namely, cosh 1 +

1

2

2

, Eq. (3.10),

is approximated as

0

_

1

l

2

_

6 sin

y

l

+

2

sin

y

l

_

A

+

4

l

cos

y

l

y

(A) + 2 sin

y

l

2

y

(A)

__

1

1

2

2

_

. (3.15)

On the brane at the boundary, we get the same equation Eq. (2.47):

0 =

_

y

A

1

l

_

e

4A

. (3.16)

22

Finally, by substituting the solutions (3.9) into (3.16), we nd

0 =

1

l cosh

_

cos

y

l

sin

y

l

_

+

y

(A) . (3.17)

In the region at the north and south poles, cosh e

||

/2, if we assume

y =

4

l + y, from Eq. (3.17), y is obtained by

y =

2Gc

91

5

l

e

3||

. (3.18)

Thus, the deformation of the brane becomes large at the north and south

pole.

4 Eective potential for a massive scalar eld

in the AdS and dS bulks

Until now we have dealt with a massless scalar. In this section we will

consider a massive scalar eld in AdS and dS backgrounds. Let us start with

the action for a massive scalar with scalar-gravitational coupling,

o =

1

2

_

d

5

x

g

_

g

m

2

2

+

5

R

(5)

2

_

, (4.1)

For the AdS background with the metric Eq. (2.3), under the conformal

transformations (2.5), the action changes as

o =

1

2

_

d

5

x

g

_

g

m

2

l

2

sinh

2

z

2

+

5

R

(5)

2

_

, (4.2)

which yields the Lagrangian for the massive scalar eld with scalar-gravitational

coupling in an AdS background as

L =

_

2

z

+

(4)

m

2

l

2

sinh

2

z +

5

R

(4)

_

. (4.3)

In the above Lagrangian, there appears a singularity at z = 0. The point

z = 0 corresponds to , where the warp factor blows up to innity. Then

by putting a brane as the boundary of the bulk, say putting a brane at

z = z

0

< 0 (or z

0

> 0) and considering the region z < z

0

(or z > z

0

as bulk

23

space, the singularity does not appear. And as we can see in Appendix A, if

we include the singular point z = 0, a half of the solutions are excluded but

there remain other half of solutions. From this Lagrangian, we can calculate

the one-loop eective potential like in the case of a massless scalar eld. The

form of the eective potential from the massive scalar eld is given by

V =

1

2LVol(M

4

)

log det(L

5

/

2

) ,

L

5

2

z

+ m

2

l

2

sinh

2

z

(4)

5

R

(4)

= L

1

+ L

4

, (4.4)

where the mass term is included in L

1

. The eigenvalue of L

1

is dierent from

that in Eq. (2.14), for nite L, since L

1

in Eq. (4.4) is the one-dimensional

Schr odinger operator with the potential term m

2

l

2

sinh

2

z. But this poten-

tial term, which is positive valued and has no bound state, becomes zero

in the limit z

2

, that is, when the distance between branes L becomes

. In this case, the eigenvalue of L

1

reduces to the same form of Eq. (2.14)

and thus the eective potential becomes zero at the limit of a one-brane

conguration.

For the case of a dS background, Eq. (3.1), the conformal transformations,

Eqs. (3.2) change the action (4.1) as follows:

o =

1

2

_

d

5

x

g

_

g

m

2

cosh

2

z

2

+

5

R

(5)

2

_

. (4.5)

Then, the Lagrangian for a massive scalar eld in the dS background is given

by

L =

_

2

z

+

(4)

m

2

cosh

2

z +

5

R

(4)

_

. (4.6)

Similarly, the eective potential for the massive scalar eld in the dS bulk

can be calculated as in Eqs. (2.8), (4.4), by using the operators:

L

5

2

z

+ m

2

cosh

2

z

(4)

5

R

(4)

= L

1

+ L

4

, (4.7)

where the mass term is included in L

1

. The potential term of L

1

, m

2

cosh

2

z,

has always a positive value and no bound state like in the AdS case. It

becomes zero in the limit z

2

as well. Therefore, the eective potential

for the massive scalar eld in a dS background also becomes zero in the limit

of a one-brane conguration.

24

4.1 Small mass limit (with L not large)

Continuing with the massive scalar eld, and for a de Sitter brane in an AdS

bulk, in the case of the two brane conguration we just need to supplement

the calculation carried out in Appendix A, which can be done exactly, with

the boundary conditions imposed on the two branes. We thus obtain a

modication of a perfectly solvable model which appears in several textbooks

(namely, an hyperbolic variant of the celebrated Poschl-Teller potential),

albeit with reverse sign and supplemented with the innite well created by

the branes (as in the massless case). Since we shall deal with the low and

high mass approximations, the WKB method turns out to be well suited to

carry out the analysis.

Setting the branes at z = L/2 (for the sake of symmetry) we get the

following results. In the small mass limit, we obtain a modication of the

eigenvalues of the L

1

Lagrangian, in the form

2

n

2

n

2

2

L

2

+ m

2

l

2

tanh(L/2)

L/2

. (4.8)

Carrying this into the zeta function, after a further approximation one gets

that the elementary zeta functions in the formulas are modied in the way,

e.g.

(2s) (2s) s(2s + 2) +

s(1 + s)

2

(2s + 4)

2

+O(m

6

),

m

2

l

2

2

L

2

2

tanh(L/2)

L/2

. (4.9)

Thus, in the case here considered, when m is small and L is not very large, for

the derivative of the zeta function at z = 0 we obtain the following additional

terms (l

2

2

= 1):

(0[L

5

)

a + a

2

2

48

2

144

_

a

2

2

+ [2

(4, 3/2)

(2, 3/2)]

_

4

4370

[2

(4, 3/2)

(2, 3/2)]

2

+O(m

6

), (4.10)

a

2

1

2

L

2

,

m

2

l

2

2

tanh(L/2l)

L/2l

.

25

These terms have just to be added to the derivative of the zeta function at

z = 0, Eq. (2.31), corresponding to the de Sitter brane in AdS bulk, in order

to obtain the corresponding eective potential. In a full-edged analysis of

the dierent contributions to the eective potential, one has to take into

account the relative importance of the dierent dimensionless ratios involved

here. The working hypothesis has been that m

2

was small. In fact, we see

from the nal result that m

2

most naturally goes with l

2

, which also serves

as a unit for L and, indirectly, for 1. The ordering in Eq. (4.10) assumes

that a 1, < 1, but a lot more information can be extracted from this

small-mass expansion.

The calculation in the same case of a massive scalar eld but for a de

Sitter brane in a dS bulk (two and one brane congurations) proceeds in a

quite similar fashion. Only, an additional coordinate change is required at

the beguining, to deal with the problem of the singularity of the potential

of the Schr odinger equation at z = 0 in the initial coordinates, as carefully

explained in the Appendix.

4.2 Large mass limit (with L not small)

In this case the calculation turns out to be more involved. The eigenvalues

get modied as follows:

2

n

2

n

2

l

2

L

2

+

2 arctan(sinh L/2l)

sinh(L/2l)

m

2

l

2

+

nml

2

Lsinh(L/2l)

+ (4.11)

However, we will be interested in the dominant contribution only. Thus, in

the approximation which is opposite to the previous one, namely when m

2

is large and L is not very small, we get a simple modication of the relevant

zeta function, of the form

(s[L

5

) =

L

2l

(s 1/2)

(s)

_

s

1

2

L

4

+ 2m

2

arctan(sinh(L/2l))

sinh(L/2l)

_

+ (4.12)

And this leads to the following result, for the derivative of the zeta function

at z = 0, which is valid for suciently large scalar mass and L:

(0[L

5

) =

4m

2

l

3

31

arctan(sinh L/2l)

sinh(L/2l)

+ (4.13)

26

Again, this is the additional contribution to the derivative of the full zeta

function at z = 0, the same Eq. (2.23) but corresponding to the de Sitter case.

However, as this derivative was equal to zero in the massless case, the above

expression yields now the whole value of the derivative and, correspondingly,

of the eective potential. Note in fact that this reduces to zero, exponentially

fast, in the one-brane limit (L ), in perfect accordance with Eq. (2.23).

Also in this case we are allowed to play with the relative values of the dierent

dimensionless fractions appearing in our expression.

4.3 Braneworld stabilization by the Casimir force

In [12], the brane stabilization via study of radion potential in the Lorentzian

deSitter bulk space was discussed in direct analogy with AdS case. The

branes are spacelike and the distance between two branes is time-like and we

denote the distance by T. As in (2.76-2.79), we now consider the contribution

from the Casimir eect to the stabilization. For simplicity, we do not include

the massive scalar eld as in (2.60) but we take the next-to-leading order of

the eective potential (2.31), induced by the Casimir eect, and we assume:

V

C

(T) =

dS

1

T

5

+

dS

2

T

3

. (4.14)

If

dS

1

> 0 and

dS

2

< 0 as in (2.31), there is a minimum at

T =

5

dS

1

3

dS

2

. (4.15)

Then even for the branes in the deSitter bulk, only by the Casimir eect, the

brane might get stabilized.

As in (4.10), when we consider the Casimir eect from the massive scalar

with small mass, we may consider the following correction to the eective

potential:

V

C

(T) =

3

m

2

T

. (4.16)

Here m expresses the mass of the scalar eld. Then the minimum in (4.15)

is shifted as

r

c

=

5

dS

1

3

dS

2

_

1 +

5

dS

1

dS

3

m

2

18

dS

2

2

+O

_

m

4

_

_

. (4.17)

27

Then again the contribution from small mass has a tendency to make the dis-

tance between the two branes smaller. Thus, the possibility of dS braneworld

stabilization occurs in the same way as with AdS bulk.

5 Eective potential for a massive scalar with-

out scalar-gravitational coupling

In this section we will consider a more simple case, which does not include a

scalar-gravitational coupling term,

5

R

(5)

2

. The action is simply

o =

1

2

_

d

5

x

g

_

g

m

2

2

_

. (5.1)

This action is not conformally invariant under the conformal transformations

(2.2), which change it as

o =

1

2

_

d

5

x

_

g

_

e

3

g

_

e

3

2

_

e

3

2

_

m

2

e

2

2

_

=

1

2

_

d

5

x

_

g

_

g

9

4

g

2

+ 3

m

2

e

2

2

_

. (5.2)

where we take = 2 and =

3

2

for simplicity. The third term in Eq. (5.2)

can be rewritten as

=

1

2

D

1

2

(5)

(5.3)

and using partial integration, we obtain

o =

1

2

_

d

5

x

_

g

_

g

_

9

4

g

+

3

2

(5)

2

m

2

e

2

2

_

.

(5.4)

If we now introduce the AdS background, which has the metric Eq. (2.3),

under the conformal transformations (2.5), namely e

2

= l

2

sinh

2

z, the

action changes as

o =

1

2

_

d

5

x

g

_

g

_

9

4

+

15

4

sinh

2

z

_

2

m

2

l

2

sinh

2

z

2

_

.

(5.5)

28

This action leads the Lagrangian for the massive scalar eld without scalar-

gravitational coupling in an AdS background as

L =

_

2

z

+

(4)

_

9

4

+

15

4

sinh

2

z

_

m

2

l

2

sinh

2

z

_

. (5.6)

Note that the third term in Eq. (5.6),

_

9

4

+

15

4

sinh

2

z

_

, (5.7)

corresponds to

5

_

R

(4)

R

(5)

e

2

_

, (5.8)

coming from Eqs. (2.1), (2.7), where e

2

= l

2

sinh

2

z, because if we put

5

= 3/16, R

(4)

= 12, R

(5)

=

20

l

2

, which are the scalar curvatures of S

4

and AdS

5

, respectively, into Eq. (5.8), then Eq. (5.8) coincides with Eq. (5.7)

exactly.

The one-loop eective potential can be written as

V =

1

2LVol(M

4

)

log det(L

5

/

2

) ,

L

5

=

2

z

(4)

+

_

9

4

+

15

4

sinh

2

z

_

+ m

2

l

2

sinh

2

z = L

1

+ L

4

,

L

1

=

2

z

+

15

4

sinh

2

z + m

2

l

2

sinh

2

z, L

4

=

9

4

(4)

. (5.9)

Then, the eigenvalue of L

1

agrees with Eq. (2.14) in the limit when the

distance between the two brane becomes innity, L , because the po-

tential terms of (5.9),

15

4

sinh

2

z + m

2

l

2

sinh

2

z, become zero in this limit.

Therefore, the eective potential for the massive scalar eld without scalar-

gravitational coupling in an AdS background becomes zero in the limit of the

one-brane conguration.

Similarly, the Lagrangian for the massive scalar eld without scalar-

gravitational coupling in a dS background can be seen to be

L =

_

2

z

+

(4)

_

9

4

3

4

cosh

2

z

_

m

2

l

2

cosh

2

z

_

. (5.10)

In the limit L , the eigenvalue of L

1

and the heat kernel K

t

(L

1

) have

the same form of Eqs. (2.14), (2.15) as in the AdS case. Thus, the eective

potential becomes zero too, in the limit when the distance between the two

branes becomes innite.

29

6 Discussion and conclusions

To summarize, in this paper we have shown how one can bring the calculation

of the eective potential for a massive or conformal bulk scalar, in an AdS or

dS braneworld with a dS brane, down to well-known cases corresponding to

zeta-function expansions [19]. In this way, a complete and detailed analysis

of the dierent situations can be given, and corrections to the limiting cases

are obtainable at any order. As our four-dimensional universe is (or will

be) in a dS phase, our results have, potentially, very interesting applications

to primordial cosmology. What is also important, our method and results

here open the door to corresponding calculations for other quantum elds

as spinors, vectors, graviton, gravitino, etc. As we see it, this will only

need some more involved calculations, but no new conceptual problems are

expected, at least at the level of the one-loop efective potential. In the case

of several spin elds, the bulk Casimir eect may also be found in this way, at

least in principle, for supersymmetric theories, including supergravity too. It

is quite possible then, that a ve-dimensional AdS gauged supergravity can be

constructed, with AdS being the vacuum state but still having a dynamically

realized de Sitter brane, which represents our observable universe.

Another issue where bulk quantum eects may play a dominant role in-

volves moving, curved branes. The corresponding bulk eective potential

might sometimes be a measure of supersymmetry breaking, and thus be of

primordial cosmological importance in the study of the very early brane uni-

verse.

Finally, the bulk eective potential in realistic SUSY theories gives a non-

trivial contribution to the eective cosmological constant, in ve as well as

in four dimensions. Hence, it is conceivable to use it in a relaxation of the

cosmological constant problem.

Acknowledgements

EE is indebted with the Mathematics Department, MIT, and specially with

Dan Freedman for warm hospitality. Very interesting discussions with Bob

Jae and collaborators at CTF, MIT, on the Casimir eect are acknowl-

edged. SDO thanks A. Starobinsky and S. Zerbini for helpful discussions

on related questions and the IEEC, where this work was initiated, for warm

30

hospitality. The research by EE is supported in part by DGI/SGPI (Spain),

project BFM2000-0810, and by CIRIT (Generalitat de Catalunya), contract

1999SGR-00257. The research by SN is supported in part by the Ministry

of Education, Science, Sports and Culture of Japan under the grant number

13135208. The research by SO is supported in part by the Japanese Society

for the Promotion of Science under the Postdoctoral Research Programme.

A Appendix

We consider the following Schrodinger equation

_

d

2

dz

2

+

m

2

l

2

sinh

2

z

_

= . (A.1)

This equation is the z-dependent part of the Klein-Gordon equation in AdS

5

and

= sinh

3

2

z corresponds to the original scalar eld in the action. The

limit z = corresponds to the innity in AdS

5

at which the warp factor

vanishes, and z = 0 corresponds to the innity where the warp factor grows

up to innity. In (A.1) there appears a singularity at z = 0. As the point

z = 0 corresponding to , by putting a brane as the boundary of the bulk,

say putting a brane at z = z

0

< 0 (or z

0

> 0), and considering the region

z < z

0

(or z > z

0

) as bulk space, the singularity does not appear.

With the redenitions

= sinh

1

2

z , x = cosh z , (A.2)

Eq. (A.1) can be rewritten as

0 =

_

x

2

1

_

d

2

dx

2

+ 2x

d

dx

_

1

4

+

m

2

l

2

+

1

4

x

2

1

_

, (A.3)

whose solutions are given by the associated Legendre functions P

(x), which

are dened in terms of the Gauss hypergeometric function:

P

(z) =

1

(1 )

_

x + 1

x 1

_

2

F

_

, + 1, 1 ;

1 x

2

_

. (A.4)

The parameters and are here given by

2

= l

2

m

2

+

1

4

, ( + 1) =

1

4

or =

1

4

2

. (A.5)

31

When x is large, P

(x) behaves as

P

(x)

1

_

_

_

+

1

2

_

(2x)

( + 1)

+

_

+

1

2

_

( ) (2x)

+1

_

_

. (A.6)

Since x

1

2

, then in order that is regular there, we have the constraint

that

4 0 or 0 , (A.7)

which is identical with what we have in the massless case. When we include

the point z = 0, which corresponds to x = 1, when

x 1 z 0,

Eq. (A.4) becomes singular for positive as (x1)

2

z

. As z

1

2

z

1

2

= z

1

2

(1

1+4l

2

m

2

)

, the positive branch of should be excluded and we

must have =

_

l

2

m

2

+

1

4

.

If we do not include the brane, the spectrum for the massive case is not

changed. In order to investigate the eect of the mass, we put a brane at

x = x

0

1 (or z = z

0

). On the brane, we impose the Neumann boundary

condition for :

d

dz

= 0 ,

_

d

dx

= 0

_

. (A.8)

For simplicity, we consider the model where the bulk space includes the point

x = 1 (z = 0); hence =

_

l

2

m

2

+

1

4

. We write and in (A.5) as

=

1

2

, =

1

2

+ i . (A.9)

Then we have =

2

. By using (A.6), we nd, for large x,

(x)

(i)

(i + k)

(2x)

i

+

(i)

(i + k)

(2x)

i

. (A.10)

Then the boundary condition (A.8) yields

(i)

(i + k)

(2x

0

)

i

(i)

(i + k)

(2x

0

)

i

. (A.11)

If we assume and k to be small, the Gamma function can be approximated

by (i)

1

i

and (i+k)

1

i+k

. Then, Eq. (A.11) can be rewritten

32

as

ln

_

1 + i

k

1 i

k

_

= i ln (2x

0

) + 2in (n = 0, 1, 2, ) . (A.12)

For large x

0

, the solution for n = 0 is given by

ln (2x

0

)

, (A.13)

for non-vanishing k (m ,= 0), which gives the following lower bound for :

=

2

_

ln (2x

0

)

_

2

2

z

2

0

. (A.14)

We now consider the equation for the dS case:

_

d

2

dz

2

+

m

2

l

2

cosh

2

z

_

= . (A.15)

This equation is the z-dependent part of the Klein-Gordon equation in S

5

or Euclidean de Sitter space, and

= cosh

3

2

z corresponds to the original

scalar eld in the action. The limit of z = corresponds to the south and

north poles in S

5

. With the following redenitions,

= cosh

1

2

z , x = cosh z , (A.16)

Eq. (A.15) can be rewritten as

0 =

_

x

2

+ 1

_

d

2

dx

2

+ 2x

d

dx

_

1

4

+

m

2

l

2

+

1

4

x

2

+ 1

_

. (A.17)

If we replace x by x = iy, the above equation (A.17) turns into

0 =

_

y

2

1

_

d

2

dy

2

+ 2x

d

dx

_

1

4

m

2

l

2

+

1

4

y

2

1

_

. (A.18)

Finally, if we choose, as in (A.5),

2

=

_

l

2

m

2

+

1

4

_

, ( + 1) =

1

4

or =

1

4

2

, (A.19)

the solution of Eq. (A.18) or (A.17) is given by the associated Legendre

functions P

Anyhow, in order that

be regular there, we must impose again the same

constraint (A.7).

33

References

[1] K. Milton, The Casimir eect: Physical Manifestations of Zero-Point

Energy, World Sci., Singapore, 2001.

[2] W.D. Goldberger and M.B. Wise, Phys.Rev.Lett.83(1999) 4922-4925,

hep-ph/9907447.

[3] J. Garriga, O. Pujolas and T. Tanaka, Nucl.Phys. B605(2001)192-214,

hep-th/0004109; hep-th/0111277.

[4] S. Nojiri, S.D. Odintsov and S. Zerbini, Class. Quant. Grav.17 (2000)

4855-4866, hep-th/0006115.

[5] I. Brevik, K.A. Milton, S. Nojiri and S.D. Odintsov, Nucl.Phys.B599

(2001) 305-318, hep-th/0010205.

[6] B. Grinstein, D.R. Nolte and W. Skiba,Phys.Rev.D63 (2001)105016,

hep-th/0012202.

[7] R. Hofmann, P. Kanti, M. Pospelov, Phys.Rev.D63 (2001)124020, hep-

ph/0012213.

[8] S. Nojiri, S.D. Odintsov and S. Ogushi, Phys.Lett.B506 (2001)200-206,

hep-th/0102082.

[9] I.Z. Rothstein, Phys.Rev.D64 (2001)084024, hep-th/0106022.

[10] A. Flachi, I.G. Moss and D.J. Toms, Phys.Rev.D64(2001)105029, hep-

th/0106076.

[11] H. Kudoh and T. Tanaka, Phys.Rev. D65 (2002) 104034, hep-

th/0112013.

[12] S. Nojiri, S.D. Odintsov and A. Sugamoto, Mod.Phys.Lett.A17 (2002)

1269-1276, hep-th/0204065.

[13] W. Naylor and M. Sasaki, hep-th/0205277.

[14] A.A. Saharian and M.R. Setare, hep-th/0207138.

34

[15] T. Gherghetta and A. Pomarol, Nucl.Phys.B602 (2001) 3-22, hep-

ph/0012378.

[16] A.L. Maroto, hep-th/0207207.

[17] S.W. Hawking, T. Hertog and H.S. Reall, Phys.Rev. D62 (2000)

043501, hep-th/0003052; S. Nojiri and S.D. Odintsov, Phys.Lett. B484

(2000)119, hep-th/0004097.

[18] A. Starobinsky, Phys.Lett. B91 (1980) 99.

[19] E. Elizalde, S.D. Odintsov, A. Romeo, A.A. Bytsenko, and S. Zerbini,

Zeta Regularization Techniques with Applications (World Scientic, Sin-

gapore, 1994); E. Elizalde, Ten Physical Applications of Spectral Zeta

Functions (Springer-Verlag, Berlin, 1995); A.A. Bytsenko, G. Cognola,

L. Vanzo and S. Zerbini, Phys. Reports 266 (1996) 1.

[20] E. Elizalde, Commun. Math. Phys. 198 (1998) 83; J. Phys. A34 (2001)

3025.

[21] E. Elizalde, Math. Computation 47 (1986) 175; J. Phys. A18 (1985)

1637; J. Math. Phys. 34 (1993) 3222.

[22] G. Gibbons and S. Hawking, Phys.Rev. D15 (1977) 2752.

35

- Steven Weinberg - Foundations of Unified Electro-Weak TheoryEnviado porParag Mahajani
- RMO BooksEnviado porunbeatableamrut
- 9781741254747_ESS-Mathematics-Year-8Enviado porTO Chau
- Field Theory Roman PDFEnviado porEducated
- Lecture_1Enviado porNimra Azhar
- lesson 6Enviado porapi-448328084
- QFBOOKAPPEnviado porAngel Eduardo
- Artigo. Kant and Newtonian Science, Ronald Calinger_1979Enviado porednilsonmatias
- tmpB52EEnviado porFrontiers
- Cbse Class 7 Maths Syllabus 2012-13Enviado porSunaina Rawat
- Kant and Newtonian ScienceEnviado porASFDP
- 05_C3_June_2006Enviado porduylinh65
- Our Rainbow WorldEnviado porvoldemarsj
- Drawing Geomrt FigEnviado porSohel Bangi
- 4H PracticeEnviado porPramudith Liyanage
- Boltzmann Statistics of Quantum FrictionEnviado porkherberrus
- Mandl IntroductionToQuantumFieldTheoryEnviado porMkt Schrbr
- mm lesson planEnviado porapi-283243191
- 2011-P4-Math-SA1-RosythEnviado porjapoy
- Black Hole Entropy in M Theory - Juan Maldacena, Andrew StromingerEnviado porDucphu Vu
- Crossfire_ProjectileMotion.docEnviado porAsa Ka
- 2014_NEURELEnviado porGoran Samardzic
- math9 homeworkchecklistEnviado porapi-377535804
- 94BEnviado porElmer
- notes of visual elements n principles of composition.pdfEnviado porsyafrilamirmuhammad
- Introduction to Functional Renormalization GroupEnviado porKonstantinos Ladovrechis
- Cambridge Mathematics Part IIEnviado poranuraggupta74@gmail.com
- Geometric DesignEnviado porSal Francisco
- ^ May 2002 Solution ( Mathematics, Surveying, and Transportation Engineering)Enviado porCinderellatheart
- SMTP_4_HWEnviado porRoy Vesey

- Oriol Pujolas- Effective potential in Brane-World scenariosEnviado porTurmav12345
- Emilio Elizalde et al- Casimir effect in rugby-ball type flux compactificationsEnviado porTurmav12345
- Ruth Durrer et al- Graviton production in brane worlds by the dynamical Casimir effectEnviado porTurmav12345
- Ruth Durrer and Marcus Ruser- The dynamical Casimir effect in braneworldsEnviado porTurmav12345
- Yasuaki Hikida et al- ABJM with flavors and FQHEEnviado porTurmav12345
- Mitsutoshi Fujita et al- Fractional quantum Hall effect via holography: Chern-Simons, edge states and hierarchyEnviado porTurmav12345
- Liuba Mazzanti- Topics in Noncommutative Integrable Theories and Holographic Brane-World CosmologyEnviado porTurmav12345
- Theodore N. Tomaras- Brane-world evolution with brane-bulk energy exchangeEnviado porTurmav12345
- Syksy Rasanen- On ekpyrotic brane collisionsEnviado porTurmav12345
- M.R. Setare- Casimir Effect for Moving Branes in Static dS4+1 BulkEnviado porTurmav12345
- Antonio L. Maroto- Casimir effect between moving branesEnviado porTurmav12345
- Marcus Ruser- Dynamical Casimir Effect: From Photon Creation in Dynamical Cavities to Graviton Production in BraneworldsEnviado porTurmav12345
- Shin'ichi Nojiri et al- Bulk versus boundary (gravitational Casimir) effects in quantum creation of inflationary brane-world UniverseEnviado porTurmav12345
- Heaya Ann Summy- SO(10) Supersymmetric Grand Unified Theories: From Cosmology to CollidersEnviado porTurmav12345
- I. Antoniadis- Aspects of string phenomenologyEnviado porTurmav12345
- Tathagata Basak- A complex hyperbolic reflection group and the bimonsterEnviado porTurmav12345
- John H. Schwarz- Recent developments in superstring theoryEnviado porTurmav12345
- John Ellis, N.E. Mavromatos and D.V. Nanopoulos- M Theory from World-Sheet Defects in Liouville StringEnviado porTurmav12345
- Amjad Ashoorioon et al- M-flation: inflation from matrix valued scalar fieldsEnviado porTurmav12345
- Neil Barnaby- Cosmological InstabilitiesEnviado porTurmav12345
- Filippo Passerini- On Holographic Non-Local Operators and Multiple M2-Branes TheoriesEnviado porTurmav12345
- Marcus Sebastian Bremer- Vacua and p-branes in Maximal SupergravitiesEnviado porTurmav12345
- Ronnie Jansson- The Membrane Vacuum StateEnviado porTurmav12345
- A. Chamblin, R. Emparan and G. W. Gibbons- Superconducting p-branes and extremal black holesEnviado porTurmav12345
- Igor Bandos et al- Superbrane Actions and Geometrical ApproachEnviado porTurmav12345
- I.A. Bandos and A.A. Zheltukhin- Generalization of Newman-Penrose dyads in connection with the action integral for supermembranes in an 11-dimensional spaceEnviado porTurmav12345
- D.V. Uvarov and A.A. Zheltukhin- Hamiltonian structure and noncommutativity in p-brane models with exotic supersymmetryEnviado porTurmav12345
- Jan Pieter van der Schaar- P-branes and the field theory limitEnviado porTurmav12345
- H. Lu, C.N. Pope and K.-W. Xu- Black p-Branes and their Vertical Dimensional ReductionEnviado porTurmav12345

- Some common Fixed Point Theorems for compatible - contractions in G-metric SpacesEnviado porAnonymous 7VPPkWS8O
- Algebra Test No. 2Enviado porAMIN BUHARI ABDUL KHADER
- lec6Enviado porKofi Appiah-Danquah
- 9. Algorithmic Composition and Nonlinear Dynamics of Networks I - Jonathan Owen Clark, Brunel UnEnviado porsaudade96
- Trig Identities 1Enviado porrotsacreijav77777
- Conjugate Gradient Algorithms and Finite Element MethodsEnviado pormobin1978
- Simplicial Presheaves by J.F. JardineEnviado porRobert Klinzmann
- C1setsEnviado porromz
- Complex Analysis (Solutions) - SteinEnviado porJordi Vila
- Chapter 1 - Applied Analysis Homework SolutionsEnviado porJoe
- 4_Characterization of Communication Signals and Systems_MODIFIED_17_20Enviado porGafeer Fable
- DE01_solEnviado porvamsiprasannakoduru
- 269467102-Hrbacek-K-Jech-T-Introduction-to-Set-Theory-1999.pdfEnviado porYago Pereira
- Fraction for MuleEnviado porAryan Verma
- Arkeryd, L. Arch. Rational Mech. Anal. 45, 1 (1972). on the Boltzmann Equation - Part I - ExistenceEnviado porjahernandes
- The Functional Variable Method to Some Complex Nonlinear Evolution EquationsEnviado porSEP-Publisher
- 9th Math NCERTEnviado porArjun Satheesh
- Order of Operations PEMDAS 2Enviado porREYN
- sheet_3_CIV_441Enviado porapi-3707273
- Real Analysis NotesEnviado porjc224
- Probability Theory.pdfEnviado porSaurav
- Math Calculator Advantages and DisadvantagesEnviado porfactsaboutjupiter
- Linear AlgebraEnviado pormatty_yomo
- Chapter 1Enviado poralula1
- 172850_Tutorial ODE 1718 Trims 2Enviado porVictor Loong
- Revision Notes Applications of DifferentiationEnviado porpoo7865
- 9.7 Game Special ProductsEnviado porevangeline llanita
- 8 - Number SystemEnviado porSarah Mae Lavarias
- Me n Mine (Mathematics)Enviado porSandipta Deb
- DCinv_V6_rev2_cleanEnviado poryasirarafat91

## Muito mais do que documentos

Descubra tudo o que o Scribd tem a oferecer, incluindo livros e audiolivros de grandes editoras.

Cancele quando quiser.