Reference: International Centre For Theoretical Physics
Reference: International Centre For Theoretical Physics
REFERENCE
INTERNATIONAL CENTRE FOR
THEORETICAL PHYSICS
SPONTANEOUS COMPACTIFICATION
M.H. Sarmadi
INTERNATIONAL
ATOMIC ENERGY
AGENCY
UNITED NATIONS
EDUCATIONAL,
SCIENTIFIC
AND CULTURAL
ORGANIZATION
1984 MIRAMARE-TRtESTE
ic/614/3
I. Introduction
The Kaluaa-Klein idea [1,2] of enlarging U-dimensio-nal space-time to
International Atonic Energy Agency explain internal symmetries is an attractive means of unifying gravity with other
and known forces. In this approach the ground state is taken to be the product of
United H: . Ions Educational Scientific and Cultural Organization U-dir.ensional space-time and soir.e compact homogenous space whose isometry is the
gauge symmetry of non-gravitational interactions. It is being realized that the
INTERNATIONAL CENTRE FOP. THEORETICAL PHYSICS proper approach to supergravity is hy means of spontaneous coir.pactification from
higher dimensions in which these higher dimensions are not just a technical tool
of reduction for obtaining the desired model in lower dimension but are rather
believed to have physical significance. In most of the models which incorporate
these (i.e. supergravity and Kaluza-Klein compactification) one is faced with
SPONTANEOUS COMVACTIF I CV-TIOE TK QUANTUM FAUiZA-KLEIN THEORIES the difficulty of predicting a very large cosraologicalconstant for ^-dimensional
space-time. For instance the N = l, eleven dimensional supergravity admits solutions
of the form Ads x = where Ads (anti de-sitter) and the compact internal space
M.H. Earmadi have sises of the same order (see [3] for references). It is conceivable that
International Centre for Theoretical Physics, Trieste, Italy, quantum effects may have a bearing on this problem, i.e. including these may
enable It-dimensional Minkowski space to be a ground state of such models.
Recently, it was shown by Candelas and Weinberg [I*] that the quantum
fluctuations in a matter coupled gravity theory consisting of a suitable mixture
ABSTRACT
of scalars and spinors in h+N dimensions make spontaneous compactification to the
We study one loop effective action for pure gravity in higner odd product of ^-dimensional Minkowski space and the N-dimensional sphere possible for
dimensional spaces with a cosmological constant. We develop a method for N =5,9,13 and If- Their neglect of graviton loops was justified by taking the
computing the effective action for backgrounds -which are a product of lt-dimen3iona2 number of matter fields to he large. The inclusion of these loops becomes neces-
space-time and an odd-dimensional sphere S . For N=l in harmonic gauge the y&ry in supergravity where the number of matter fields is constrained by super -
potential has an unstable stationary point at which the one loop corrected symmetry.In fact, as we will see below, the contribution of graviton loops are
Newton constant has a wrong sign. Yor N > 1 in harmonic gauge there is an relatively large. Therefore, we think it is necessary to ask if it is possible to
imaginary contribution to the .effective potential fror- the Fa&leev-Popov ghost. get spontaneous compactification to Minkowski x S in a theory of gravity in U+R
The results for spheres up to N=17 are presented. dimensions without any matter fields. Our approach is to see if this space (i.e.
Minkowski x S ) minimizes the one loop effective action (however see [5] for a
different approach). In addition we require the one loop Newton constant to fee
positive for the minimum to be acceptable. Intuitively, it may be puzzling how a
MIRAMARE - TRIESTE small fluctuation of order Planck constant could have the enormous effect of curling up
January I98I1 N of the dimensions to such a small distance as the Planck length. As we will
see below the ^-dimensional cosmological constant should be adjusted. It is
proportional to the square of the Planck mass. All the dimensional parameters are
given in terms of the only scale in the action which is the Planck length.
We shall restrict our study to the case of S = odd dimensions. For this
case because the total dimension D = k + N is odd there are no logarithmic Ultra-
violet divergences at one loop. Therefore by using dimensional regularization one
In the next section we work out the relevant operators and their eigen-
values. In Sees, III and IV we give the expressions for the effective potential
and the one lot corrected Nevton constant-Section V contains the results and
discussion. (h)
We start with the Einstein-Hilbert action in D = k+H dimensions including where f^ (g,h) = 0 is a background gauge fixing condition and "FT* i s t'rle
a cosmological constant A : Faddeev-Popov matrix obtained by considering the transformation of the h under
an infinitestimal coordinate transformation -
S = - \fz f (1)
(5)
(2) (6)
which includes the one loop term T7 may have such a solution.
For T^f we use the standard gauge invariant effective action [?]. One first
From (It) it, follows that P e f f satisfies the following functional equation:
splits the metric into :
(3) -J
where h
h is the fluctuation about a background metric 3KB . This "background
metric need not be a solution to the classical equations of motion. One then
defines the generating functional W [ j , g] ty:
Starting from this expression one can write a perturbative expansion for f [7].
Be Witt's gauge invariant effective action is obtained by setting g = g in
r_ff.[g,i]. At one loop it is given by ;
*) Our notation is the following : capital letters are used for D-dimensional space-
time indices, Greek indices for ^-dimensional space-time and the mid Latin alphabets exp
for S . The Riemann curvature is given by E =JBf,p „ -i^^y „+• - • - and the
Ricei tensor by R.^= R.rI, • For the covariant derivatives,jfj =(B |t i7.J.
(3)
-3- -k-
(si**!
( £>*+ 7*
7*+ ^ ) 7. j do)
and
A K
*9 is the Faddeev-Popov ghost field and a is the radius of S . Functional
integration over h. and *£ gives "p* as the sum
We emphasize that this expansion is valid even when " S
(for details see Bef.[7]). 83Aa
(9) where C = 1 except for ghosts when C - -1 and C are the operators
appearing in (10). The mixing between h, + and hytf is a problem. Actually
for the calculation of the potential we can set 3^= "L, - It is only for
where ^ is the background covariant derivative. This choice of gauge is obtaining the induced gravitational term that we need L^ V ^ *?jii>
particularly convenient because as we will see the mixing terms are minimal. But to simplify this ve choose ft;>y = -fr K+d^v which will leave us with
In this gauge the quadratic part, which is needed to calculate (8) is given by: h and + mixing only. This is handled by writing :
$„ -
D«f
rur -'"-" f"*- », i f'
liere the imaginary partn are the price we pay for having operators linear in D
rather th.in quadratic. But because the two factors are complex conjugates of
each other, their totnl contribution to the potential is real.
If the functional integral is performed in Euclidean space then the negative
sign in one of the two factors in (12) is dealt with by using Hawkins's prescription ii) Transverse vectors carry the representation (l,0,0,..v0) of S0(N) and
[8] of rotating the integration colour for the corresponding field from real to the representation (Al,O,...,0) of S0(H + l ) ;
f
*)
imaginary
To find ^determinant of the relevant operators in (10) we need the eigen-
values of the Laplacian acting on scalars, vectors and symmetric^second rank -> 3 , (16)
tensors on S H . For this we use the method of Kef.9. Writing 5 * softf)
the eigenvalues £ of -V* are given by the quadratic Casimir invariants C,,
of the representation as :
with the multiplicity
(17)
(13)
(15)
re*)
•) This will introduce the factor (i) -^ where ^ (0), which is the regularized
dimension of the operator, is given by the s = 0 value of the generalized zeta S0(2k
For spheres of even dimensions S2 k the representation
function : 2
(m 1T r.2,...,r.k ) of S0(2k) is contained in the representation ( i ^ ^ , . . . ^ )
of S0(2k + 1) if and only if ^ > m^^l m£. . . > ^ > | m J . The eigenvalues
and multiplicities are the same as above.
-fl-
V
(20)
125)
where g., is the metric for S H . The minimum of the effective potential
jAff fi L _t
Z(ir.)
will give the radius of S . Here GQ is the tree level Hewton constant
(26)
N-11
for the potential. Here k ^p-,i=0,l,2 refers to scalars, transverse vectors
and transverse symmetric traceless 2nd rank tensors on S' , and the !( which
G. = (22) can "be read from (10) are given in Table 1. First we work out the contribution
o f s s " scalar. (The contribution of vectors and tensors can be worked out similarly.)
The sum over I for this case starts from zero. However T)L which can be written
As we will see shortly, V (
(a,A) has the form: in the form:
(S3)
where we have defined ^he dimension!ess quantity x =\af. The effective <V.jr (27)
dimensional cosmological constant is given by the value of the effective potential
at its minimum. Thus for the four dimensional space to be flat, A should be vanishes when i ranges from -k to -1 . ^hus we can start the sum from -k
chosen such that the effective potential vanishes at its minimum; which then can be replaced by a sum ranging from -» to +*> . Therefore we can
write
A
A.
ItsG.
(28)
The minima of the potential are found from, the condition ^ ^ = o Oheld fixed) (0)
where the coefficients d are defiend by ;
which in terms of F {x) reads: 3B, k ji
-10-
-9-
C (29)
In (28), ±n order to combine all the ft dependent terms in one factor, we have 2" T1
done a binomial expansion of (& ) in powers of (iT + tfQ) and (-&). Using the
integral
Thus the potential is reduced to a finite sum of the functions Sj. When E e
and also for large values of vit is suitable to use the series representation which
converges very rapidly. In other cases it is more appropriate to use the
integral representation:
(30)
(31)
$* (*)
J t- zx
(35)
(36)
(32) It may seem that the above steps do not go through because Di does not vanish
K for £ = _i_ Hovever there is also the missing terin£=O for the (X,0,0,. . .,0)
for the contribution of a 5 scalar to F (x). Here ._ (z) is a Bessel function
2+m part of the vector; this cancels exactly with the % «-l term of (/,l,0,,.,0)
which is given in terms of elementary functions; 2
such that ve can replace both of the sums by sums ranging from -*> to +•» .
For the traceless tensor <f> , whose irreducible representation of SO{N+1) are
(i,0,0s...,0) , (i,l,0,...,0) and {£,2,0,...,0) the multiplicity of the i =2
/ *
(33) piece of it can be written as:
Hov the infinite sum over 1 can be recognized to be the Poly-Logarithmic function
-12-
-11-
t f
" - 3 • • :
*-\$,u*.
The higher powers of R are neglected on the ground that their contributions
are down by inverse higher powers of Planck mass. As we stated earlier, in
order to simplify the mixing problem we choose a background H^y =j- B, gL # .
p
To calculate P for different fields in (10) we use the veil known result
(37) [10] that fora scalar with the action
Again the sums over / can range from _» ^o +•»• a f t e r recognizing the following
D'-Q.) f (1*0)
cancellations . I = 0 of i = 2 with i=l of i = 1, i = -1 of i = 2 with i? = 1
of i = 0 and i = -1 of = 1 with 1= \ of 1 = 0.
To summarize, we have found the following expression fOr the one loop P is given by
<*y
3t iC J J
(»«
IV. OHE LOOP NEWTON COUSTMT
As we will see 'below, the tree level Newton constant has the wrong where a computation similar to the above gives
sign for some of the minima. But the relevant quantity is the sum of this and
the one loop induced Newton constant which of course should be positive. This
(it3a)
requires the calculation of the induced four dimensional gravitational R term
whose coefficient will give the one loop correction to G Q . For this we need the
is given by: Is • ii
(It 3c)
H- R, 1.39)
-13-
Inserting the expansions ( M a - c ) in Eq.^59) and using Table 2 for the coefficients
/ ° ^ ' we see that (39) and (1*2) are identical. This can be considered as a check
But (39) and (1*2) should be Identical. In fact it is not difficult to see this.
We first find the following expansions for small s : of Table 2.
Finally, after a trivial integration over s in Eq.(39)we obtain the
effective action:
where
(i*i*b)
.«•>
r
V
Mow we can read off the one loop Newton constant from (1*7): (1*8)
and
(it lie)
These expansions are found simply by first writing (50)
and then using the identity in (31) from which it follows that: RESULTS AW DISCUSSION
V.
As we mentioned earlier the contribution of graviton loops are relatively
large. In Table 3 we have given the contribution of different components of /)
and "[ and their total contributions to F_(x) at x = 0. The x = 0 behaviour
is particularly important because the sign of J^tO) determines vhether the
effective potential goes to +•= or -=» as a-+0. For comparison, in this Table
we have given also the corresponding quantity for a scalar in higher dimensions
-15-
-16-
coupled to gravity by the action:
x = -.10668 for which F (x ) = .000378. In Fig.l we have plotted the effective
0 1 2
potential V _.(x) in units of ( ,-?-? ~~\ • As this figure shows the extreiaum is
ef f lbltu
a maximum and therefore it is unstable. Because \<(o and F 1 ( x Q ) ^ 0 from Eq.(2l)
we see that the tree level Newton constant G should be positive. However the
computation of ft gives p, = - .65 which means the one loop corrected Newton constant
is negative and therefore there is antigravity at the extremum x .
Of course for the scalar, F^ is independent of x. Note that for gravitons the
••i;?n of F K (o) is given by (-l)k. This can be understood from the behaviour of Fcr U>1 the - component of Faddeev- Popov ghost has M ^ 0 independent of
1 fcr large /. It is easy to show from (360 that x. This gives a constant imaginary contribution to F (x):
z * kl (53)
There are also tachyonic modes in some of the components of (^ itself. They
occur when x ) 5 for H = 3 and when x^(U-l)(H-2) + h for N> 3. These modes
Even for small k because of the presence of the exponential damping factor give an x-dependent imaginary contribution to F (x). \ic do not know yet if they
in (32) this asymptotic behaviour is still good for determining the sign. indicate instability of the background or they are gauge artifact. However we
have looked at the effective potential in light cone gauge[12] vhich is free
To find the extreraa of the effective potential ve have looked for the
from Faddcov-Popov ghost and therefore it does not have the constant imaginary
zeros of the function on the left-hand side of (25) vhich ve denote by U(x):
contribution let (53). What we find is that the potential is real for some range
of x. Therefore it might be the case that the imaginary contribution from the
Faddeev-Popov ghost is not an indication of instability. For this reason we look
for the exterma in the real part of the potential but in the range of x where
(51)
there are no negative modes in the components of yl, . The results for K = 3
to 17 are summarized in Table h. We have plotted the real part of the effective
For the case N = 1 the potential has an imaginary part when x > 0 . This is
potential in figures 2 to 9- There are minima for N = 5, 7, 9, 13, and 17.
because of the existence of tachyonic reodes. The mass of each mode is given by:
However because the value of the function F (x) at the minima is negative, for
this to be consistent we should have G / o . The result of the calculation of fa
given in Table 4 gives G = -j- 2 (o for all the cases ; for all the minima we have
anti-gravity which is not desirable.
-17- -18-
the solution Ad?xn . In this model there is no cosmologies! constant but there
NOTE ADDKD
p w
a totally an',- ••'mmetric gauge field Ap,cj) hii-h can h-ive u r.oij zert background
value After conr!i>ting this work we received a preprint by A. Chodos and
i:.:-:yers [lit] who discuss the s a w problem. Their net hod ?s different from oui •
= m rhey have performed the computation for ;••; = i w htrh agrees with ours.
I thank Professor Chodos for pointing out i sign error in an earlier draft
of this paper.
This parameter m plays a role similar to the cosralogical constant in the model
we have been discussing . The classical, solution does not fix m and therefore the
curvature of the space-time and the internal space are not determined. If the
effective action admits a solution with flat It-dimensional space time then the
parameter m and therefore the gauge coupling constant can be determined -
Considering our negative result it will be interesting to see if the presence of
*) ACKNOWLEDGMENTS
the gravitino and the gauge field in this model gives an acceptable solution
*) This has teen discussed in Ref.[l3] but no explicit calculation has yet
performed.
-20-
-19-
REFERENCES
-21-
-22-
TABLE 2
h •
h, + * h1 n
\
u
(p) 2T l . l , /sk-1 7 10
"5" 3"2 "V 2k+3 T 3
" 6
1
~ 6
TABLE 3
F for
The values of fl (°) different components of hA _ and nA , for their total and for
Total
u scalars
H h plus ,j. n p (real part)
0511 ,
3 -9.5325X10" 1 7.8l49OxlO"3 -6.0549x10 -1.217l*xlO~2 -1.1261J 7.568x1O^5
2.2809xl0~ 2 5.15505x10 14.283X1O"11
5 2.914906x10 1.77705x10 It. 83122
-25-
-26-
-.36 -.32 .28 -.24 -.20 -.16 -.12 -.08 -.04 0
8Q00
VBtttX) N-3
a0( P|00 OBO 160 240 320 400 4B0 560 640 7.20
-saoo
-16000
-240.00
32000
40000
-48000
Flg.1
Rg.2
14Q00 VJX) N-7
\4,f(X) N-5
13000
10000
moo
60JOO
90.00
2Q00
70.00
2S|00/26XX) 27.00 28J0O 29.00 30.00 31.00 3 2 0 0 3 3 0 0 34:00
25
2000
5000
-6000
30.00
10000
1000
1(100 1080 lifiO 1240 1320 1400 14.80 1560 1640 17.20 -140.00
-10.00
Fig. 4
Fig. 3
8O00
64O00 6400 6800 7200 76.00 80D0 8400 8800 92J0O 9600 1O0J00
N-9
480.00
320.00
160.00
000
4C00 46B0 4760 4840 49.20 50.00 50.80
160.00
32000
48Q00
Flg.6
Ro.5
N=15
(X) N-13 aoo
16|7OO16aO017100 173JOO 175JD0 177.00 17&00 18100 18a0018500
aoo
Fig.8
480.00
40000
. v
32000
o 24000
160.00
8000
\ /
1 .1 ^ - 1 '—^^1 1 • ' r - I 1 1
Flg.9