1: %\documentstyle[preprint,eqsecnum,aps]{revtex}
2: \documentstyle[prd,eqsecnum,aps]{revtex}
3:
4: \begin{document}
5:
6: \draft
7: \title{Are Kaluza-Klein modes enhanced by parametric resonance?}
8: \author{Shinji Tsujikawa \thanks{electronic
9: address:shinji@gravity.phys.waseda.ac.jp}}
10: \address{ Department of Physics, Waseda University,
11: 3-4-1 Ohkubo, Shinjuku, Tokyo 169-8555, Japan\\[.3em]}
12: \date{\today}
13: \maketitle
14: \begin{abstract}
15: We study parametric amplification of Kaluza-Klein (KK) modes
16: in a higher $D$-dimensional generalized
17: Kaluza-Klein theory, which was originally
18: considered by Mukohyama in the narrow resonance case.
19: It was suggested that KK modes can be enhanced by an
20: oscillation of a scale of compactification by the
21: $d$-dimensional sphere $S^d~(d=D-4)$
22: and by the direct product
23: $S^{d_1}\times S^{d_2}~(d_1+d_2=D-4)$.
24: We extend this past work to the more general case where
25: initial values of the scale of compactification and
26: the quantum number of the angular momentum
27: $l$ of KK modes are not small.
28: We perform analytic approaches based on the Mathieu equation
29: as well as numerical calculations, and find that
30: the expansion of the universe rapidly makes the KK field
31: deviate from instability bands.
32: As a result, KK modes are not enhanced sufficiently
33: in an expanding universe in these two classes of models.
34: \end{abstract}
35:
36: \pacs{04.50.+h, 98.80.Cq}
37:
38: \baselineskip = 24pt
39:
40: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
41: %
42: % %
43: \section{Introduction} %
44: % %
45: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
46: Recently, much interest has been focused on higher-dimensional
47: theories. The original idea goes back to Kaluza and Klein\cite{KK}, who
48: considered that the unification of the interactions in Nature
49: may be realized in the gravitational theory in five dimensions.
50: At present, there are many higher dimensional theories which are
51: the generalizations of the Kaluza-Klein theory,
52: for example, $D=10$ superstring
53: theory\cite{GSW}, and $D=11$ M-theory\cite{M}.
54: Very recently, the universe of brane models\cite{brane} has
55: received much attention as a solution to the
56: hierarchy problem between the weak and Planck scale.
57: In order to hide extra dimensions, we generally assume that
58: they are within a very small compact internal space.
59: Since the typical scale of the internal space is the Planck
60: length $l_{\rm pl}\sim 10^{-33}$cm, which is much smaller
61: than the size of the external space, we can reduce
62: higher-dimensional theories to the familiar four-dimensional
63: gravitational theories.
64:
65: There are various ways for Kaluza-Klein reductions to four dimensions.
66: As was pointed out in Ref.~\cite{mukoh}, it is possible to
67: judge whether such reductions are appropriate
68: from a cosmological point of view.
69: For example, in the model where the geometry is described by
70: a direct product of the four-dimensional Minkowski spacetime
71: $M^4$ and 1-sphere $S^1$ considered by Kolb
72: and Slansky\cite{KS}, particles of Kaluza-Klein (KK)
73: modes which are so called {\it pyrgon} are produced.
74: Since the energy density of this
75: massive particle decreases as $\rho_{KK} \sim a^{-3}$,
76: this density will dominate over the energy density of the universe
77: in the radiation dominant era if pyrgons
78: are overproduced in the early stage of the universe and
79: do not decay by entropy productions.
80: Mukohyama\cite{mukoh} extended this model, and considered
81: the compactifications both by a $d$-dimensional
82: sphere $S^d$ with $d=D-4$ and by a direct product
83: $S^{d_1}\times S^{d_2}$ with $d_1+d_2=D-4$.
84: In these classes of models, since the reduced effective potential
85: in the four-dimensional theory lacks a global
86: minimum, we need to introduce the Casimir effect as
87: a one-loop quantum correction to give a stable ground state.
88: Then a scalar field $\sigma$ which corresponds to
89: the scale of the compactification oscillates around
90: the minimum of its potential, and is finally trapped
91: at the ground state $\sigma=0$\cite{stability}.
92: Since KK modes acquire masses which are
93: expressed by the oscillating $\sigma$ field, we can expect the
94: amplification of KK modes by parametric resonance.
95: This picture is similar to the scenario of preheating
96: after inflation where scalar fields coupled to an inflaton
97: field are resonantly enhanced in the oscillating stage of
98: inflaton\cite{TB,KLS}.
99: In the case of a chaotic inflation model with a quadratic potential,
100: particles are most efficiently produced
101: in the broad resonance regimes where the amplitude of inflaton
102: $\phi$ is initially large and the coupling between
103: $\phi$ and a coupled scalar field $\chi$ is strong\cite{KLS}.
104: Since the expansion of the universe gradually
105: reduces the amplitude of inflaton, this makes
106: the $\chi$ field jump over many instability and stability bands.
107: The $\chi$ field can grow quasiexponentially, overcoming the
108: diluting effect by the cosmic expansion.
109: Finally the field reaches so called narrow
110: resonance regimes, after which particle creation terminates.
111: In the case that the $\chi$ field is initially located
112: in narrow resonance regimes, it is known that particle creation
113: is inefficient because the field soon deviates from instability
114: bands by the cosmic expansion.
115: As for the excitation of KK modes
116: in the models of compactifications by $S^d$ and
117: $S^{d_1} \times S^{d_2}$, since the
118: $\sigma$ field behaves as a massive scalar field
119: around the minimum of its potential,
120: we can apply analytic approaches based on the Mathieu
121: equation\cite{mathieu} which have been much investigated
122: in the context of preheating at the linear stage
123: of the system\cite{KLS,structure}.
124: However, since the investigation in Ref.~\cite{mukoh}
125: about the enhancement of KK modes is limited
126: in narrow resonance regimes in which parametric
127: resonance is weak,
128: we will extend this work in the more general
129: range of parameters.
130: It is of interest whether catastrophic particle production
131: will occur or not in the case where the value of $\sigma$
132: is initially large and the quantum number of the
133: angular momentum $l$ of KK modes is not small.
134: If KK modes are strongly enhanced by parametric
135: resonance, this would result in some important cosmological
136: implications. They will become good candidates for dark matter
137: in the case that these excited particles are suitably
138: diluted by entropy productions.
139:
140: This paper is organized as follows.
141: In the next section, we perform compactifications by a
142: $d$-dimensional sphere $S^d$ and by a direct product
143: $S^{d_1} \times S^{d_2}$. The Casimir energy is
144: introduced to stabilize the scale of the internal space.
145: In Sec.~III, we study the background evolution of the scale
146: factor and the $\sigma$ field, and examine the structure of
147: resonance for KK modes.
148: We will investigate whether the enhancement of
149: KK modes efficiently occurs or not
150: both by analytic approaches and numerical integrations.
151: We present our conclusion and discussion in the final section.
152:
153: %%%%%%%%%%%%%%%%%%
154: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
155: \section{The model}
156: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
157: %%%%%%%%%%%%%%%%%%
158:
159: We consider a model in $D=d+4$ dimensions
160: with a cosmological constant $\bar{\Lambda}$ and
161: a single scalar field $\bar{\phi}$,
162: %%%%%%%%%%%%%
163: \begin{eqnarray}
164: S=\int d^D x \sqrt{-\bar{g}} \left[ \frac{1}
165: {2\bar{\kappa}^2} \bar{R}-2\bar{\Lambda}
166: -\frac12 \bar{g}^{MN}\partial_M \bar{\phi}
167: \partial_N \bar{\phi} \right],
168: \label{B1}
169: \end{eqnarray}
170: %%%%%%%%%%%%%
171: where $\bar{g}_{MN}$ and $\bar{\kappa}^{2}/8\pi \equiv \bar{G}$
172: are the $D$-dimensional metric and
173: gravitational constant, respectively.
174: $\bar{R}$ is a scalar curvature with respect to $\bar{g}_{MN}$.
175: The third term of the action $(\ref{B1})$ denotes a Klein-Gordon
176: action in $D$ dimensions.
177:
178: We first compactify extra dimensions to a $d$-dimensional
179: sphere $S^d$. Then the metric $\bar{g}_{MN}$ can be expressed as
180: %%%%%%%%%%%%%
181: \begin{eqnarray}
182: ds^2_D=\bar{g}_{MN}dx^M dx^N
183: =\hat{g}_{\mu\nu}dx^{\mu}dx^{\nu}
184: +b^2 ds^2_d,
185: \label{B2}
186: \end{eqnarray}
187: %%%%%%%%%%%%%
188: where $\hat{g}_{\mu\nu}$ is a four-dimensional metric,
189: $b$ is a scale of the $d$-dimensional sphere
190: whose present value is $b_0$, and
191: $ds^2_d$ is a line element of the $d$-unit sphere.
192: We expand the scalar field $\bar{\phi}$ on the sphere as
193: %%%%%%%%%%%%%
194: \begin{eqnarray}
195: \bar{\phi}=b_0^{-d/2} \sum_{l,m}
196: \phi_{lm} Y_{lm}^{(d)},
197: \label{B3}
198: \end{eqnarray}
199: %%%%%%%%%%%%%
200: where $Y_{lm}^{(d)}$ is the spherical harmonics on the
201: $d$-sphere with positive integer $l$ and
202: a set of $d-1$ numbers $m$.
203: Then we obtain the reduced action in four dimensions,
204: %%%%%%%%%%%%%
205: \begin{eqnarray}
206: S=\int d^4 x \sqrt{-\hat{g}} \left(\frac{b}{b_0}\right)^d
207: \Biggl[\frac{1}{2\kappa^2} \Biggl\{
208: \hat{R} &+&
209: d(d-1) \frac{\partial_{\mu}b \partial_{\nu}b}{b^2}
210: \hat{g}^{\mu\nu}
211: +\frac{d(d-1)}{b^2} \Biggr\}
212: -2V_d^0 \bar{\Lambda} \nonumber \\
213: &-& \sum_{l,m} \left\{\frac12 \hat{g}^{\mu\nu}
214: \partial_{\mu} \phi_{lm} \partial_{\nu} \phi_{lm}
215: +\frac{l(l+d-1)}{2b^2}\phi_{lm}^2 \right\} \Biggr],
216: \label{B4}
217: \end{eqnarray}
218: %%%%%%%%%%%%%
219: where $\kappa^{2}/8\pi=\bar{\kappa}^{2}/(8\pi V_d^0)$
220: is Newton's gravitational constant with $V_d^0$
221: the present volume of the internal space.
222: $\hat{R}$ is a scalar curvature related
223: with $\hat{g}_{\mu\nu}$.
224: Since this does not take the ordinary form of the Einstein-Hilbert
225: action because of a time dependent factor $(b/b_0)^d$,
226: we perform a conformal transformation as follows
227: %%%%%%%%%%%%%
228: \begin{eqnarray}
229: \hat{g}_{\mu\nu}=\exp\left(-d\frac{\sigma}{\sigma_0}
230: \right) g_{\mu\nu},
231: \label{B5}
232: \end{eqnarray}
233: %%%%%%%%%%%%%
234: where $\sigma$ is the so-called dilaton field
235: which is defined by
236: %%%%%%%%%%%%%
237: \begin{eqnarray}
238: \sigma &=& \sigma_0 {\rm ln} \left( \frac{b}{b_0} \right), \\
239: \sigma_0 &=& \left[ \frac{d(d+2)}{2\kappa^2} \right]^{1/2}.
240: \label{B7}
241: \end{eqnarray}
242: %%%%%%%%%%%%%
243: Then the four-dimensional action in the Einstein frame
244: can be described as
245: %%%%%%%%%%%%%
246: \begin{eqnarray}
247: S=\int d^4 x \sqrt{-g} \left[ \frac{1}{2\kappa^2}R
248: -\frac12 g^{\mu\nu} \partial_{\mu} \sigma
249: \partial_{\nu} \sigma -U_1(\sigma)
250: -\frac12 \sum_{l,m} ( g^{\mu\nu} \partial_{\mu}
251: \phi_{lm} \partial_{\nu} \phi_{lm} +
252: M_l^2(\sigma)\phi_{lm}^2)\right],
253: \label{B8}
254: \end{eqnarray}
255: %%%%%%%%%%%%%
256: where $R$ is a scalar curvature with respect to
257: $g_{\mu\nu}$.
258: $U_1(\sigma)$ is a potential of the $\sigma$ field
259: which we will give a specific form below, and the mass
260: $M_l(\sigma)$ of the $\phi_{lm}$ field is expressed as
261: %%%%%%%%%%%%%
262: \begin{eqnarray}
263: M_l^2(\sigma)=\frac{l(l+d-1)}{b_0^2}
264: e^{-(d+2)\sigma/\sigma_0}.
265: \label{B9}
266: \end{eqnarray}
267: %%%%%%%%%%%%%
268:
269: As was mentioned in Ref.~\cite{mukoh}, the potential
270: $U_1(\sigma)$ does not have a local minimum
271: if we do not introduce
272: the Casimir effect as a one-loop quantum correction.
273: Taking into account this effect, $U_1(\sigma)$ can be
274: written in the form
275: %%%%%%%%%%%%%
276: \begin{eqnarray}
277: U_1(\sigma)=\alpha \left[ \frac{2}{d+2}
278: e^{-2(d+2)\sigma/\sigma_0}+e^{-d\sigma/\sigma_0}
279: -\frac{d+4}{d+2} e^{-(d+2)\sigma/\sigma_0} \right],
280: \label{B10}
281: \end{eqnarray}
282: %%%%%%%%%%%%%
283: with
284: %%%%%%%%%%%%%
285: \begin{eqnarray}
286: \alpha=\frac{(d-1)\sigma_0^2}{(d+4)b_0^2}.
287: \label{B11}
288: \end{eqnarray}
289: %%%%%%%%%%%%%
290: The first, second, and third terms in $(\ref{B10})$
291: appear due to the Casimir energy, the cosmological
292: constant, and the curvature of the internal space, respectively.
293: The potential $U_1(\sigma)$
294: acquires a local minimum at $\sigma=0$ for the case of $d \ge 2$
295: because of the presence of the first term in $(\ref{B10})$.
296: We depict $U_1(\sigma)$ in Fig.~1 for the case of $d=2$.
297: It has a local maximum at $\sigma_* (>0)$, which depends on
298: the extra dimension $d$. $\sigma_*/\sigma_0$ decreases
299: with the increase of $d$. For example,
300: $\sigma_*/\sigma_0=0.50$ for $d=2$,
301: and $\sigma_*/\sigma_0=0.22$ for $d=6$.
302: Since $\sigma_0$ becomes larger with the increase of $d$
303: [See Eq.~$(\ref{B7})$], $\sigma_*$ itself does not necessarily
304: decrease with the increase of $d$.
305: For example, $\sigma_*=0.20m_{\rm pl}$ for $d=2$,
306: and $\sigma_*=0.21m_{\rm pl}$ for $d=6$.
307: In order to result in the final state $\sigma=0$ which
308: corresponds to the present value $b=b_0$, initial values
309: of $\sigma$ are required
310: to be $0<\sigma_i<\sigma_*$ (we assume $\sigma_i>0$),
311: where the subscript $i$ denotes the initial value.
312: Then $\sigma$ evolves toward the minimum of its
313: potential, and begins to oscillate around $\sigma=0$.
314: In this oscillating stage, we are concerned with whether
315: KK modes are effectively enhanced or not
316: by parametric resonance.
317:
318: In the case that the compactification is done on
319: a direct product $S^{d_1}\times S^{d_2}$ of the
320: $d_1$-dimensional sphere $S^{d_1}$ and
321: $d_2$-dimensional sphere $S^{d_2}$ with
322: $d_1+d_2=D-4$, the final four-dimensional action
323: and the potential $U_1(\sigma)$ take different forms
324: from the $S^d$ case.
325: The procedure is the same as in the $S^d$ case.
326: First, we consider the $D$-dimensional metric
327: %%%%%%%%%%%%%
328: \begin{eqnarray}
329: ds^2_D=\bar{g}_{MN}dx^M dx^N=
330: \hat{g}_{\mu\nu}dx^{\mu}dx^{\nu}
331: +b_1^2 ds^2_{d_1}+b_2^2 ds^2_{d_2},
332: \label{B12}
333: \end{eqnarray}
334: %%%%%%%%%%%%%
335: where $b_1$ and $b_2$ are scales of the sphere $S^{d_1}$
336: and $S^{d_2}$,
337: $ds^2_{d_1}$ and $ds^2_{d_2}$ are line elements of
338: the $d_1$-unit sphere and $d_2$-unit sphere, respectively.
339:
340: Expanding the $\bar{\phi}$ field in the $D$-dimensional
341: action $(\ref{B1})$ as
342: %%%%%%%%%%%%%
343: \begin{eqnarray}
344: \bar{\phi}=b_{10}^{-d_1/2} b_{20}^{-d_2/2}
345: \sum_{l_1,l_2,m_1,m_2}
346: \phi_{l_1 l_2 m_1 m_2} Y_{l_1 m_1}^{(d_1)}
347: Y_{l_2 m_2}^{(d_2)},
348: \label{B13}
349: \end{eqnarray}
350: %%%%%%%%%%%%%
351: where $b_{10}$ and $b_{20}$ are present values of $b_1$ and
352: $b_2$, $Y_{l_1 m_1}^{(d_1)}$ and $Y_{l_2 m_2}^{(d_2)}$
353: are the spherical harmonics on the $d_1$-sphere and $d_2$-sphere,
354: respectively, we obtain the four-dimensional action similar to
355: the action (2.4) in the $S^d$ case
356: (see Ref.~\cite{mukoh} for details).
357: Next, we perform a conformal transformation
358: %%%%%%%%%%%%%
359: \begin{eqnarray}
360: \hat{g}_{\mu\nu}=\exp\left[-\left(\frac{d_1\sigma_1}
361: {\sigma_{10}}+\frac{d_2\sigma_2}{\sigma_{20}} \right)
362: \right] g_{\mu\nu},
363: \label{B14}
364: \end{eqnarray}
365: %%%%%%%%%%%%%
366: where $\sigma_i (i=1,2)$ and $\sigma_{i0}$
367: are defined by
368: %%%%%%%%%%%%%
369: \begin{eqnarray}
370: \sigma_i &=& \sigma_{i0} {\rm ln} \left( \frac{b_i}{b_{i0}} \right), \\
371: \sigma_{i0}&=& \left[ \frac{d_i(d_i+2)}{2\kappa^2} \right]^{1/2}.
372: \label{B16}
373: \end{eqnarray}
374: %%%%%%%%%%%%%
375: Taking into account the Casimir effect as in the $S^d$ case
376: and imposing the condition
377: %%%%%%%%%%%%%
378: \begin{eqnarray}
379: \frac{\sigma_1}{\sigma_{10}}=\frac{\sigma_2}{\sigma_{20}}
380: \equiv \frac{\sigma}{\sigma_0},
381: \label{B17}
382: \end{eqnarray}
383: %%%%%%%%%%%%%
384: with
385: %%%%%%%%%%%%%
386: \begin{eqnarray}
387: \sigma_0=\sqrt{\frac{(d_1+d_2)(d_1+d_2+2)}{2\kappa^2}},
388: \label{B18}
389: \end{eqnarray}
390: %%%%%%%%%%%%%
391: the final expression of the four-dimensional action yields
392: %%%%%%%%%%%%%
393: \begin{eqnarray}
394: S=\int d^4 x &\sqrt{-g}& \Biggl[ \frac{1}{2\kappa^2}R
395: - \frac12 g^{\mu\nu} \partial_{\mu} \sigma
396: \partial_{\nu} \sigma -U_1(\sigma) \nonumber \\
397: &-&
398: \frac12 \sum_{l_1,l_2,m_1,m_2} ( g^{\mu\nu} \partial_{\mu}
399: \phi_{l_1l_2m_1m_2} \partial_{\nu}
400: \phi_{l_1l_2m_1m_2} +
401: M_{l_1l_2}^2(\sigma)\phi_{l_1l_2m_1m_2}^2) \Biggr],
402: \label{B19}
403: \end{eqnarray}
404: %%%%%%%%%%%%%
405: where the potential of the $\sigma$ field is
406: %%%%%%%%%%%%%
407: \begin{eqnarray}
408: U_1(\sigma)=\alpha \left[ \frac{2}{d_1+d_2+2}
409: e^{-2(d_1+d_2+2)\sigma/\sigma_0}+
410: e^{-(d_1+d_2)\sigma/\sigma_0}
411: -\frac{d_1+d_2+4}{d_1+d_2+2}
412: e^{-(d_1+d_2+2)\sigma/\sigma_0} \right],
413: \label{B20}
414: \end{eqnarray}
415: %%%%%%%%%%%%%
416: with
417: %%%%%%%%%%%%%
418: \begin{eqnarray}
419: \alpha =\frac{d_1+d_2+2}{2(d_1+d_2+4)\kappa^2}
420: \left[ \frac{d_1(d_1-1)}{b_{10}^2}+
421: \frac{d_2(d_2-1)}{b_{20}^2} \right].
422: \label{B21}
423: \end{eqnarray}
424: %%%%%%%%%%%%%
425: The mass of $M_{l_1 l_2}(\sigma)$ of the
426: $\phi_{l_1l_2m_1m_2}$ field is given by
427: %%%%%%%%%%%%%
428: \begin{eqnarray}
429: M_{l_1 l_2}^2(\sigma)=\left[
430: \frac{l_1(l_1+d_1-1)}{b_{10}^2}+
431: \frac{l_2(l_2+d_2-1)}{b_{20}^2}\right]
432: e^{-(d_1+d_2+2)\sigma/\sigma_0}.
433: \label{B22}
434: \end{eqnarray}
435: %%%%%%%%%%%%%
436: The terms in the square bracket of Eq.~$(\ref{B20})$ correspond to
437: changing $d$ in that of Eq.~$(\ref{B10})$ to $d_1+d_2$.
438: Hence the shape of the potential $U_1(\sigma)$
439: in the $S^{d_1} \times S^{d_2}$ case is the same as
440: in the $S^d$ case.
441: $U_1(\sigma)$ has a local minimum at $\sigma=0$
442: when either of $d_1$ and $d_2$ is greater than 1.
443: In the next section, the dynamics of $\sigma$ and $\phi_{lm}$ fields
444: are studied in two classes of models
445: of $(\ref{B8})$ and $(\ref{B19})$.
446:
447: %%%%%%%%%%%%%%%%%%
448: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
449: \section{The dynamics of the system}
450: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
451: %%%%%%%%%%%%%%%%%%
452:
453: In this section, we investigate the excitation of KK modes
454: due to the oscillating scalar field $\sigma$ by parametric
455: resonance.
456: We assume that the four-dimensional spacetime
457: and the $\sigma$ field are
458: spatially homogeneous, and adopt the flat
459: Friedmann-Robertson-Walker metric as
460: the background spacetime
461: %%%%%%%%%%%%%%%
462: \begin{eqnarray}
463: ds_4^2=g_{\mu\nu}dx^{\mu}dx^{\nu}=
464: -dt^2 + a^2(t) d {\bf x^2},
465: \label{C1}
466: \end{eqnarray}
467: %%%%%%%%%%%%%%%
468: where $t$ is the cosmic time and $a(t)$ is the scale factor.
469: The background equations for $a$ and $\sigma$ can be
470: expressed by the action $(\ref{B8})$ or $(\ref{B19})$ as
471: %%%%%%%%%%%%%%%
472: \begin{eqnarray}
473: \left(\frac{\dot{a}}{a}\right)^2
474: = \frac{\kappa^2}{3}
475: \left[\frac12 \dot{\sigma}^2+U_1(\sigma) \right],
476: \label{C2}
477: \end{eqnarray}
478: %%%%%%%%%%%%%%%
479: %%%%%%%%%%%%%%%
480: \begin{eqnarray}
481: \ddot{\sigma}+3\frac{\dot{a}}{a}
482: \dot{\sigma}+U_1'(\sigma)=0,
483: \label{C3}
484: \end{eqnarray}
485: %%%%%%%%%%%%%%%
486: where we have neglected the contributions from
487: KK modes. However, in the case that
488: KK modes are enhanced significantly,
489: this affects the evolution of background equations.
490: We briefly comment on this back reaction issue
491: at the end of this section.
492:
493: As we have already mentioned, the initial value of $\sigma$ is
494: required to be smaller than $\sigma_*$ in order not to lead to
495: an expansion of the internal space.
496: Let us consider the case where $\sigma$ is initially located close
497: to $\sigma_*$ with $\sigma_i<\sigma_*$.
498: In this case, defining a dimensionless parameter
499: %%%%%%%%%%%%%%%
500: \begin{eqnarray}
501: \epsilon =
502: \cases{ (d+2)\frac{\sigma}{\sigma_0}
503: & ($S^d$~case), \cr
504: (d_1+d_2+2) \frac{\sigma}{\sigma_0}&
505: ($S^{d1} \times S^{d2}$~case), \cr
506: }
507: \label{C40}
508: \end{eqnarray}
509: %%%%%%%%%%%%%%%
510: it usually exceeds of the order of unity at the beginning
511: with $d \ge 2$ or $d_1+d_2 \ge 2$.
512: For example, in the $S^d$ case, $\epsilon(t_i)=2.0$ when
513: $d=2$, and $\epsilon(t_i)=1.8$ when $d=6$.
514: This is the situation which was not considered in
515: Ref.~\cite{mukoh}.
516: After a short stage of rolling down,
517: the $\sigma$ field begins to oscillate around the minimum of
518: its potential at $\sigma=0$.
519: After that, the $\sigma$ field
520: behaves as a massive scalar field whose mass is given by
521: %%%%%%%%%%%%%%%
522: \begin{eqnarray}
523: m_{\sigma} \equiv \sqrt{U_1''(0)}=
524: \cases{
525: \frac{\sqrt{2(d-1)}}{b_0} & ($S^d$~case), \cr
526: \sqrt{\frac{2}{d_1+d_2}
527: \left[\frac{d_1(d_1-1)}{b_{10}^2}+
528: \frac{d_2(d_2-1)}{b_{20}^2} \right] } &
529: ($S^{d1} \times S^{d2}$~case). \cr
530: }
531: \label{C4}
532: \end{eqnarray}
533: %%%%%%%%%%%%%%%
534: The evolution of this field is the same as a
535: massive inflaton field $\phi$ with a chaotic potential
536: $V(\phi)=m_{\phi}^2\phi^2/2$
537: in the reheating phase.
538: Making use of the time-averaged relation
539: %%%%%%%%%%%%%%%
540: \begin{eqnarray}
541: \frac12 \langle \dot{\sigma}^2 \rangle
542: =\langle U_1(\sigma) \rangle,
543: \label{C5}
544: \end{eqnarray}
545: %%%%%%%%%%%%%%%
546: we easily find from Eqs.~$(\ref{C2})$ and $(\ref{C3})$
547: that the evolution of $a$ and $\sigma$
548: can be approximately written as
549: %%%%%%%%%%%%%%%
550: \begin{eqnarray}
551: a = \left(\frac{t}{t_{\rm co}}\right)^{2/3},
552: \label{C6}
553: \end{eqnarray}
554: %%%%%%%%%%%%%%%
555: %%%%%%%%%%%%%%%
556: \begin{eqnarray}
557: \sigma(t)/\sigma_0=\tilde{\sigma}(t) \cos m_{\sigma} t,
558: \label{C7}
559: \end{eqnarray}
560: %%%%%%%%%%%%%%%
561: where $t_{\rm co}$ denotes the time when the coherent
562: oscillation of $\sigma$ starts, and
563: $\tilde{\sigma}(t)$ is the dimensionless amplitude
564: of the $\sigma$ field which decreases as
565: $\tilde{\sigma}(t) \sim 1/t$ by the cosmic expansion.
566: Eq.~$(\ref{C6})$ shows that the universe evolves as
567: matter dominant when the $\sigma$ field oscillates coherently.
568: Hence the energy density of $\sigma$ decreases as
569: $\rho_{\sigma} \sim 1/t^3$.
570:
571: Let us study the excitation of KK modes
572: during the oscillating stage of the $\sigma$ field.
573: For each compactification of the $S^d$ and $S^{d_1} \times
574: S^{d_2}$ cases,
575: we expand $\phi_{lm}$ ($S^d$ case)
576: and $\phi_{l_1 l_2 m_1 m_2}$ ($S^{d_1}\times
577: S^{d_2}$ case) fields by the Fourier component as
578: %%%%%%%%%%%%%%%
579: \begin{eqnarray}
580: \phi_{lm}=\frac{1}{(2\pi)^{3/2}} \int \left(a_k
581: \phi_{lm}^{\bf k}(t) e^{-i {\bf k} \cdot {\bf x}}
582: +a_k^{\dagger} \phi_{lm}^{\bf k *}(t)
583: e^{i {\bf k} \cdot {\bf x}} \right) d^3{\bf k},
584: \label{C8}
585: \end{eqnarray}
586: %%%%%%%%%%%%%%%
587: %%%%%%%%%%%%%%%
588: \begin{eqnarray}
589: \phi_{l_1l_2m_1m_2}=\frac{1}{(2\pi)^{3/2}}
590: \int \left(a_k \phi_{l_1l_2m_1m_2}^{\bf k}(t)
591: e^{-i {\bf k} \cdot {\bf x}}
592: +a_k^{\dagger} \phi_{l_1l_2m_1m_2}^{\bf k *}(t)
593: e^{i {\bf k} \cdot {\bf x}} \right) d^3{\bf k},
594: \label{C50}
595: \end{eqnarray}
596: %%%%%%%%%%%%%%%
597: where $a_k$ and $a_k^{\dagger}$ are the annihilation and
598: creation operators, respectively.
599: Then we find that the temporary parts
600: $\phi_{lm}^{\bf k}(t)$ and
601: $\phi_{l_1 l_2 m_1 m_2}^{\bf k}(t)$ obey
602: the following equations of motion:
603: %%%%%%%%%%%%%%%
604: \begin{eqnarray}
605: \ddot{\phi}_{lm}^{\bf k}+
606: 3\frac{\dot{a}}{a} \dot{\phi}_{lm}
607: ^{\bf k}+\left[ \frac{k^2}{a^2}+\frac{l(l+d-1)}{b_0^2}
608: e^{-(d+2)\sigma/\sigma_0}
609: \right]
610: \phi_{lm}^{\bf k}=0~~~~~~(S^d~{\rm case}),
611: \label{C9}
612: \end{eqnarray}
613: %%%%%%%%%%%%%%%
614: %%%%%%%%%%%%%%%
615: \begin{eqnarray}
616: & &\ddot{\phi}_{l_1l_2m_1m_2}^{\bf k} +
617: 3\frac{\dot{a}}{a} \dot{\phi}_{l_1l_2m_1m_2}
618: ^{\bf k}+ \nonumber \\
619: & & \left[ \frac{k^2}{a^2}+
620: \left\{\frac{l_1(l_1+d_1-1)}{b_{10}^2}+
621: \frac{l_2(l_2+d_2-1)}{b_{20}^2} \right\}
622: e^{-(d_1+d_2+2)\sigma/\sigma_0}
623: \right] \phi_{l_1l_2m_1m_2}^{\bf k}=0
624: ~~~~~~(S^{d_1} \times
625: S^{d_2}~{\rm case}). \nonumber \\
626: \label{C51}
627: \end{eqnarray}
628: %%%%%%%%%%%%%%%
629: Hereafter, we express both fields $\phi_{lm}^{\bf k}$
630: and $\phi_{l_1 l_2 m_1 m_2}^{\bf k}$ as $\phi_k$ except
631: the case that distinctions of both fields are required.
632: Defining a new scalar field $\varphi_k
633: =a^{3/2} \phi_k$, Eqs.~$(\ref{C9})$ and (3.12)
634: are written as
635: %%%%%%%%%%%%%%%
636: \begin{eqnarray}
637: \ddot{\varphi}_k+
638: \omega_k^2 \varphi_k=0,
639: \label{C10}
640: \end{eqnarray}
641: %%%%%%%%%%%%%%%
642: where for the $S^d$ case,
643: %%%%%%%%%%%%%%%
644: \begin{eqnarray}
645: \omega_k^2 \equiv \frac{k^2}{a^2}
646: +\frac{l(l+d-1)}{b_0^2}
647: e^{-(d+2)\sigma/\sigma_0}
648: -\frac34 \left(\frac{2\ddot{a}}{a}
649: +\frac{\dot{a}^2}{a^2} \right),
650: \label{C11}
651: \end{eqnarray}
652: %%%%%%%%%%%%%%%
653: and for the $S^{d_1}\times S^{d_2}$ case,
654: %%%%%%%%%%%%%%%
655: \begin{eqnarray}
656: \omega_k^2 \equiv \frac{k^2}{a^2}+
657: \left\{\frac{l_1(l_1+d_1-1)}{b_{10}^2}+
658: \frac{l_2(l_2+d_2-1)}{b_{20}^2} \right\}
659: e^{-(d_1+d_2+2)\sigma/\sigma_0}
660: -\frac34 \left(\frac{2\ddot{a}}{a}
661: +\frac{\dot{a}^2}{a^2} \right).
662: \label{C52}
663: \end{eqnarray}
664: %%%%%%%%%%%%%%%
665: As for the initial conditions of the $\varphi_k$
666: field, we choose the
667: state that corresponds to the conformal vacuum as
668: %%%%%%%%%%%%%%%
669: \begin{eqnarray}
670: \varphi_k(t_i)=\frac{1}{\sqrt{2\omega_k (t_i)}},~~~
671: \dot{\varphi}_k(t_i)=-i \omega_k(t_i) \varphi_k(t_i).
672: \label{B35}
673: \end{eqnarray}
674: %%%%%%%%%%%%%%%
675: The second terms in
676: Eqs.~$(\ref{C11})$ and $(\ref{C52})$
677: are resonance terms which would lead
678: to the amplification of KK modes.
679: When $\epsilon$ defined by Eq.~(3.4) is greater than of the order of unity,
680: resonance terms are suppressed and do not play relevant roles for
681: the enhancement of the $\varphi_k$ field.
682: However, $\epsilon$ decreases under
683: unity and $\sigma$ begins to oscillate coherently,
684: we can expect the parametric resonance phenomenon.
685: In this case, Eq.~$(\ref{C10})$ is reduced to the Mathieu
686: equation,
687: %%%%%%%%%%%%%%%
688: \begin{eqnarray}
689: \frac{d^2}{dz^2} \varphi_k +\left(A_k -2q \cos 2z \right)
690: \varphi_k=0,
691: \label{C12}
692: \end{eqnarray}
693: %%%%%%%%%%%%%%%
694: where for the $S^d$ case,
695: %%%%%%%%%%%%%%%
696: \begin{eqnarray}
697: A_k=\frac{2l(l+d-1)}{d-1}+
698: 4\frac{(k/m_{\sigma})^2}{a^2},
699: \label{C13}
700: \end{eqnarray}
701: %%%%%%%%%%%%%%%
702: \begin{eqnarray}
703: q=\frac{l(l+d-1)}{d-1} (d+2)\tilde{\sigma}(t),
704: \label{C14}
705: \end{eqnarray}
706: %%%%%%%%%%%%%%%
707: and for the $S^{d_1}\times S^{d_2}$ case,
708: %%%%%%%%%%%%%%%
709: \begin{eqnarray}
710: A_k=\frac{2(d_1+d_2) \{l_1(l_1+d_1-1)
711: +l_2(l_2+d_2-1)(b_{10}/b_{20})^2 \}}
712: {d_1(d_1-1)+d_2(d_2-1)(b_{10}/b_{20})^2}
713: +4\frac{(k/m_{\sigma})^2}{a^2},
714: \label{C15}
715: \end{eqnarray}
716: %%%%%%%%%%%%%%%
717: \begin{eqnarray}
718: q=\frac{(d_1+d_2) \{l_1(l_1+d_1-1)
719: +l_2(l_2+d_2-1)(b_{10}/b_{20})^2 \}}
720: {d_1(d_1-1)+d_2(d_2-1)(b_{10}/b_{20})^2}
721: (d_1+d_2+2) \tilde{\sigma}(t).
722: \label{C16}
723: \end{eqnarray}
724: %%%%%%%%%%%%%%%
725: $z$ is defined as $z=mt$.
726: We have neglected the contribution of the third term in
727: Eq.~$(\ref{C11})$ and $(\ref{C52})$
728: since this term is not important in the
729: oscillating stage of the $\sigma$ field\cite{KLS}.
730:
731: We can analyze the excitation of KK modes
732: by making use of the stability and instability
733: chart of the Mathieu equation\cite{mathieu}.
734: Parametric resonance occurs when KK modes
735: stay in the instability regions sketched in Fig.~2.
736: These regions are typically described by
737: narrow resonance regimes of
738: $q~\mbox{\raisebox{-1.ex}{$\stackrel
739: {\textstyle<}{\textstyle \sim}$}}~1$ and
740: broad resonance regimes of $q \gg 1$.
741: As is found in Fig.~2, the instability bands are broader
742: for larger values of $q$ as long as
743: $A_k$ is not so large.
744: Generally, particle creation in narrow resonance regimes
745: is not so efficient as in the case of
746: broad resonance regimes\cite{KLS}.
747: Since the past work about the excitation of KK
748: modes\cite{mukoh} is limited in narrow resonance
749: regimes $q~\mbox{\raisebox{-1.ex}{$\stackrel
750: {\textstyle<}{\textstyle \sim}$}}~1$,
751: we extend this work in the more
752: general case with $q \gg 1$.
753: However, note that the results obtained in the context of
754: preheating with a quadratic potential\cite{KLS} are not
755: directly applied to the present case, because the relation of
756: $A_k$ and $q$ is different.
757:
758: First, let us first examine the $S^d$ case.
759: As is found in Eq.~$(\ref{C13})$, $A_k$ approaches
760: the constant value
761: %%%%%%%%%%%%%%%
762: \begin{eqnarray}
763: B \equiv \frac{2l(l+d-1)}{(d-1)},
764: \label{C35}
765: \end{eqnarray}
766: %%%%%%%%%%%%%%%
767: with the passage of time for fixed values of $d$ and $l$.
768: Since $B$ is greater than unity for the positive integer
769: $d$ and $l$ with $d \ge 2$,
770: parametric resonance does not occur
771: in the first resonance band around $A_k=1$
772: as was pointed out in Ref.~\cite{mukoh}.
773: For example, when $d=2$ and $l=1$, $B=4$.
774: The initial value of $q$ ($=q_{\rm co}$) at which the analysis
775: based on the Mathieu equation becomes valid
776: depends on the value of
777: $\sigma$ when the $\sigma$ field begins to oscillate
778: coherently. Numerical calculations show that
779: this corresponds to $\epsilon (t_{\rm co}) \approx 0.4$,
780: after which the evolution of the $\sigma$ field
781: can be described as Eq.~$(\ref{C7})$.
782: This means that the $(d+2) \tilde{\sigma}(t)$ term in
783: Eq.~$(\ref{C14})$ and the $(d_1+d_2+2) \tilde{\sigma}(t)$
784: term in Eq.~$(\ref{C16})$ are restricted to be smaller than
785: unity. In order to realize the situation $q \gg 1$, we need to
786: choose larger values of $l$, or $l_1$ and $l_2$.
787:
788: Let us investigate two cases of
789: $q_{\rm co}~\mbox{\raisebox{-1.ex}{$\stackrel
790: {\textstyle<}{\textstyle \sim}$}}~1$
791: and $q_ {\rm co} \gg 1$.
792: First, we consider the case of
793: $q_{\rm co}~\mbox{\raisebox{-1.ex}{$\stackrel
794: {\textstyle<}{\textstyle \sim}$}}~1$
795: with the extra dimension
796: $d=2$. When $l=1$, since
797: $A_k=4+4(k/m_{\sigma}a)^2$ and
798: $q_{\rm co}=8\tilde{\sigma}(t_{\rm co})\approx 0.8$ by
799: Eqs.~$(\ref{C13})$ and $(\ref{C14})$,
800: the $\varphi_k$ field is initially located in the second
801: instability band around $A_k=4$ for low momentum modes.
802: However, the value of
803: $q$ becomes smaller with the decrease of the amplitude
804: $\tilde{\sigma}(t)$ as $\tilde{\sigma}(t) \sim1/t$
805: by the cosmic expansion.
806: In Fig.~3, we depict the evolution of the $\sigma$ field
807: in this case. We choose $\sigma(t_i)/\sigma_0=0.4$ as
808: the initial value of the $\sigma$ field.
809: After the first stage of rolling down,
810: $\sigma$ begins to oscillate with the initial amplitude
811: $\tilde{\sigma}(t_{\rm co}) \approx 0.1$.
812: The coherent oscillation starts by the same amplitude
813: as long as the initial value of $\sigma$ is located in the region of
814: $0.1~\mbox{\raisebox{-1.ex}{$\stackrel
815: {\textstyle<}{\textstyle \sim}$}}
816: ~\sigma(t_i)/\sigma_0~\mbox{\raisebox{-1.ex}{$\stackrel
817: {\textstyle<}{\textstyle \sim}$}}~\sigma_*/\sigma_0
818: \approx 0.5$.
819: After several oscillations, the amplitude drops down
820: $\tilde{\sigma}(t)~\mbox{\raisebox{-1.ex}{$\stackrel
821: {\textstyle<}{\textstyle \sim}$}}~0.02$, which
822: corresponds to
823: $q~\mbox{\raisebox{-1.ex}{$\stackrel
824: {\textstyle<}{\textstyle \sim}$}}~0.1$.
825: Although the $\varphi_k$ field
826: stays in the instability band
827: since $A_k$ approaches $A_k \to 4$, the growth rate
828: $\mu_k$ of the $\varphi_k$ field becomes
829: smaller with the decrease of $q$.
830: In the $j$-th resonance band with $A_k=j^2$,
831: $q \ll 2j^{3/2}$, and $j \ge 2$,
832: $\mu_k$ is expressed as\cite{mathieu}
833: %%%%%%%%%%%%%%%
834: \begin{eqnarray}
835: \mu_k=\frac{\sin2\delta}{2j [2^{j-1}(j-1)]^2}q^j,
836: \label{C17}
837: \end{eqnarray}
838: %%%%%%%%%%%%%%%
839: where $\delta$ changes in the interval $[0,\pi/2]$.
840: In the second instability band with $q\le q_{\rm co} \approx 0.8$,
841: $\mu_k \propto q^2$.
842: The growth rate $\mu_k$ is initially of the order 0.01,
843: and after that $\mu_k$ rapidly decreases.
844: The growth rate of KK modes
845: $\phi_k=a^{-3/2}\varphi_k$ is approximately expressed as
846: %%%%%%%%%%%%%%%
847: \begin{eqnarray}
848: \frac{d\phi_k}{dz} \approx a^{-3/2}
849: \left(\mu_k -\frac32 \frac{H}{m}\right) \varphi_k,
850: \label{C18}
851: \end{eqnarray}
852: %%%%%%%%%%%%%%%
853: where we have used the relation $\varphi_k \sim e^{\mu_k z}$.
854: Since the Hubble expansion rate at $t=t_{\rm co}$ is
855: $H/m \approx 0.28$, which exceeds the growth rate of $\varphi_k$,
856: $\phi_k$ decreases at the beginning.
857: Moreover, since $\mu_k$ and $H$ decrease as
858: $\mu_k \propto q^2 \propto 1/t^2$ and $H \propto 1/t$,
859: the increase of $\phi_k$ can not be expected
860: in the second instability band of the
861: narrow resonance regime
862: $q~\mbox{\raisebox{-1.ex}{$\stackrel
863: {\textstyle<}{\textstyle \sim}$}}~1$.
864: We have numerically confirmed that $\phi_k$
865: does not increase in the case of $d=2$ and $l=1$
866: (see Fig.~4).
867: If there is a set of $d$ and $l$ which satisfies
868: $B=j^2$ with positive integer $j \ge 3$, the
869: narrow instability bands exist around the regions
870: of $A_k=j^2$.
871: However, parametric resonance is much more
872: inefficient than in the second resonance case,
873: since the growth rate $\mu_k$ decreases
874: with the increase of $j$ for
875: $q~\mbox{\raisebox{-1.ex}{$\stackrel
876: {\textstyle<}{\textstyle \sim}$}}~1$
877: as is found by Eq.~$(\ref{C17})$.
878: Even if $d$ and $l$ are changed,
879: the first resonance does not occur
880: because $B$ defined in Eq.~$(\ref{C35})$
881: is always greater than unity.
882: In the narrow resonance of
883: $q~\mbox{\raisebox{-1.ex}{$\stackrel
884: {\textstyle<}{\textstyle \sim}$}}~1$
885: with the $S^d$ compactification,
886: we can conclude that KK modes are not enhanced sufficiently
887: in any values of the extra dimension $d$ and the
888: positive integer $l$.
889:
890: Consider the case of $q \gg 1$
891: with the $S^d$ compactification.
892: As we have already mentioned, larger values of $l$ are required
893: to lead to the condition $q \gg 1$.
894: In order to judge whether parametric
895: resonance is efficient or not,
896: we should know the relation between $A_k$ and $q$.
897: In the $S^d$ case, we obtain the following relation
898: from Eqs.~$(\ref{C13})$ and $(\ref{C14})$,
899: %%%%%%%%%%%%%%%
900: \begin{eqnarray}
901: A_k=\frac{2}{(d+2)\tilde{\sigma}(t)} q+
902: 4\frac{(k/m_{\sigma})^2}{a^2}.
903: \label{C19}
904: \end{eqnarray}
905: %%%%%%%%%%%%%%%
906: The efficiency of resonance strongly depends on
907: the value of $(d+2)\tilde{\sigma}(t)$ in Eq.~$(\ref{C19})$.
908: We have numerically confirmed that this value is approximately
909: $(d+2)\tilde{\sigma}(t_{\rm co}) \approx 0.4$
910: when the $\sigma$ field begins to oscillate coherently
911: for any values of $d$.
912: This corresponds the relation of
913: $A_k \approx
914: 5q_{\rm co}+4(k/m_{\sigma}a)^2$
915: at the beginning of the oscillating stage.
916: Although there are many instability bands in the
917: regions of $q \gg 1$ which are generally called
918: broad resonance bands, these bands become rare
919: in the regions of $A_k~\mbox{\raisebox{-1.ex}{$\stackrel
920: {\textstyle>}{\textstyle\sim}$}}~5q$ (see Fig.~2).
921: Moreover, the tangent of the line
922: $A_k=2q/\{(d+2)\tilde{\sigma}(t)\}$ gets
923: larger with the passage of time because of the
924: decrease of the amplitude $\tilde{\sigma}(t)$
925: as $\tilde{\sigma}(t) \sim 1/t$,
926: which means that parametric resonance becomes inefficient.
927: Even in the case that the $\varphi_k$ field is initially in
928: an instability band, the expansion of the universe makes
929: the field deviate from the instability band.
930: In the model of a massive inflaton with a coupled scalar
931: field $\chi$ in preheating after inflation,
932: the $\chi$ field moves on the path of
933: $A_k=2q+k^2/(m_{\phi}^2a^2)$ with the decrease of
934: $q$ as $q \sim 1/t^2$.
935: In this case, there are many instability bands as well as
936: stability bands in the regions
937: of $A_k \ge 2q$, the $\chi$ field {\it stochastically} increases
938: when passing through instability bands.
939: Since the tangent of the $A_k$-$q$ path does not change,
940: $\chi$ particles can be efficiently produced overcoming the
941: diluting effect by the cosmic expansion\cite{KLS}.
942: In the present model, the excitation of KK modes
943: is very weak because the regions of
944: $A_k \ge 2q/\{(d+2)\tilde{\sigma}(t)\}$
945: are mostly occupied by stability bands.
946: Although the $\varphi_k$ field passes
947: through instability bands,
948: these are very few in the regions of
949: $A_k \ge 2q/\{(d+2)\tilde{\sigma}(t)\}$, and parametric
950: resonance is not efficient.
951: Even the low momentum modes close to the line
952: $A_k=2q/\{(d+2)\tilde{\sigma}(t)\}$ are not
953: enhanced sufficiently.
954: As time passes, both $A_k$ and $q$ decrease
955: by the cosmic expansion, and
956: finally approaches $A_k=B=2l(l+d-1)/(d-1)$ and $q=0$.
957: In Fig.~5, we show the evolution of the KK mode
958: $\phi_k$ with $d=2$, $l=100$, and $k=0$.
959: In this case, $q_{\rm co} \approx 8000$. We find that
960: the KK mode does not grow as in the case of
961: $q~\mbox{\raisebox{-1.ex}{$\stackrel
962: {\textstyle<}{\textstyle \sim}$}}~1$.
963: Namely, the growth rate $\mu_k$ of the $\varphi_k$ field
964: does not surpass the Hubble expansion rate
965: even in the case of $q \gg 1$.
966: As we have already mentioned,
967: the initial relation of $A_k$ and $q$
968: hardly depends on the values of $\sigma(t_{\rm co})$ and
969: $d$, which means that parametric resonance is also
970: inefficient even if we choose larger values of
971: $\sigma(t_i)$ and $d$.
972:
973: Next, let us consider the compactification by $S^{d_1}
974: \times S^{d_2}$. In this case, since the value
975: %%%%%%%%%%%%%%%
976: \begin{eqnarray}
977: B \equiv
978: \frac{2(d_1+d_2) \{l_1(l_1+d_1-1)
979: +l_2(l_2+d_2-1)(b_{10}/b_{20})^2 \}}
980: {d_1(d_1-1)+d_2(d_2-1)(b_{10}/b_{20})^2}
981: \label{C36}
982: \end{eqnarray}
983: %%%%%%%%%%%%%%%
984: is greater than unity for positive integers
985: $l_1, l_2$ and $d_1, d_2$ with $d_1 \ge d_2$
986: and $d_1+d_2=D-4$, the first
987: resonance does not occur as in the
988: case of $S^d$\cite{comment}.
989: When $B$ is written by a positive integer $j (\ge 2)$
990: as $B=j^2$ and the value of $q_{\rm co}$ is
991: smaller than unity,
992: the $\varphi_k$ field is located in an instability band
993: at the initial stage. However, since $q$ decreases as
994: $q \sim 1/t$ by
995: the cosmic expansion and the growth rate of KK
996: modes is very small for $j \ge 2$, the excitation of
997: KK modes is inefficient in narrow
998: resonance regimes $q~\mbox{\raisebox{-1.ex}{$\stackrel
999: {\textstyle<}{\textstyle \sim}$}}~1$.
1000: In the case of $q \gg 1$, since the relation of $A_k$ and
1001: $q$ is written by Eqs.~$(\ref{C15})$ and $(\ref{C16})$
1002: as
1003: %%%%%%%%%%%%%%%
1004: \begin{eqnarray}
1005: A_k=\frac{2}{(d_1+d_2+2)\tilde{\sigma}(t)} q+
1006: 4\frac{(k/m_{\sigma})^2}{a^2},
1007: \label{C20}
1008: \end{eqnarray}
1009: %%%%%%%%%%%%%%%
1010: the discussions in the $S^d$ case can be applied by changing
1011: $d_1+d_2$ to $d$.
1012: We have numerically confirmed that the $\sigma$ field
1013: begins to oscillate coherently at
1014: $(d_1+d_2+2) \tilde{\sigma}(t_{\rm co})\approx 0.4$
1015: for any values of $\tilde{\sigma}(t_i)$, and $d_1$, $d_2$.
1016: Moreover, since $\tilde{\sigma}(t)$ decreases as
1017: $\tilde{\sigma}(t) \sim 1/t$, parametric resonance is also
1018: ineffective as in the $S^d$ case.
1019:
1020: We conclude that catastrophic particle creation does
1021: not occur in two classes of models by $S^d$ and
1022: $S^{d_1} \times S^{d_2}$ compactifications
1023: in any values of parameters.
1024: As a result, the back reaction effect by KK modes is
1025: not important in these models.
1026:
1027:
1028: %%%%%%%%%%%%%%%%%%
1029: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1030: \section{Concluding remarks and discussions}
1031: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1032: %%%%%%%%%%%%%%%%%%
1033: In this paper, we have studied the excitement of
1034: Kaluza-Klein (KK) modes in a higher $D$-dimensional
1035: generalized Kaluza-Klein theory.
1036: We have considered two classes of models where
1037: the extra dimensions are compactified on the
1038: sphere $S^d$ with $d=D-4$ and
1039: the direct product $S^{d_1}\times S^{d_2}$
1040: with $d_1+d_2=D-4$.
1041: Such compactifications give rise to a term which
1042: originates from the curvature of the internal space
1043: in the potential $U_1(\sigma)$ of a dilaton
1044: field $\sigma$. Since this potential does not have
1045: a local minimum to stabilize the scale of the internal
1046: space, we introduce the Casimir effect due to a
1047: one-loop quantum correction. Then the $\sigma$ field
1048: oscillates as a massive scalar field
1049: around the local minimum at
1050: $\sigma=0$, which corresponds to the present value
1051: of the scale of compactifications.
1052:
1053: Since the KK field acquires a mass
1054: which can be expressed by the $\sigma$
1055: field by compactifications on $S^d$ and
1056: $S^{d_1} \times S^{d_2}$,
1057: we can expect that KK modes will be
1058: enhanced by parametric resonance.
1059: The past work on this issue\cite{mukoh} is restricted in the
1060: case of narrow resonance regimes where the resonance
1061: parameter $q$ is smaller than unity.
1062: However, in the similar situation of preheating after
1063: inflation with a quadratic potential, it is well known that
1064: resonance with $q \gg 1$ is much more efficient than
1065: in the case of $q~\mbox{\raisebox{-1.ex}{$\stackrel
1066: {\textstyle<}{\textstyle \sim}$}}~1$. Hence we extend
1067: past work on the excitation of KK modes
1068: to the case of $q \gg 1$ by making use of the stability
1069: and instability chart of the Mathieu equation.
1070:
1071: In the case of $q~\mbox{\raisebox{-1.ex}{$\stackrel
1072: {\textstyle<}{\textstyle \sim}$}}~1$,
1073: the first resonance does not occur for
1074: both compactifications by $S^d$ and $S^{d_1}\times S^{d_2}$.
1075: Although there are some situations where the KK
1076: field is located in the second, third, $\cdots$
1077: instability bands at the beginning of the coherent
1078: oscillation of the $\sigma$ field,
1079: parametric resonance soon becomes ineffective with the
1080: decrease of $q$ due to the expansion of the universe.
1081: In this case, since the creation rate of KK modes can not surpass
1082: the Hubble expansion rate, the
1083: enhancement of KK modes is inefficient.
1084:
1085: Even in the case of $q \gg 1$, we have found that
1086: the growth of KK modes does not take place
1087: both by analytic approaches and numerical integrations.
1088: The $\sigma$ field begins
1089: to oscillate coherently when the amplitude of the $\sigma$ field
1090: drops down to $\epsilon \approx 0.4$,
1091: where $\epsilon$ is defined by $(\ref{C40})$.
1092: Since the relation of resonance parameters $A_k$ and
1093: $q$ are expressed as $A_k=2q/\{(d+2)\tilde
1094: {\sigma}(t)\}+4(k/m_{\sigma}a)^2$
1095: for the $S^d$ case, and
1096: $A_k=2q/\{(d_1+d_2+2)\tilde
1097: {\sigma}(t)\}+4(k/m_{\sigma}a)^2$
1098: for the $S^{d_1} \times S^{d_2}$ case,
1099: the KK field exists
1100: in the region of
1101: $A_k~\mbox{\raisebox{-1.ex}{$\stackrel
1102: {\textstyle>}{\textstyle\sim}$}}~5q$ where
1103: instability bands are few at the beginning.
1104: The amplitude of $\sigma$ decreases with the
1105: passage of time, and the KK field evolves in the
1106: regions where instability bands are further few.
1107: As a result, KK modes are not relevantly enhanced
1108: even for the case of $q \gg 1$.
1109: We have numerically confirmed this fact,
1110: and found that the excitation of KK modes is
1111: inefficient in any parameters in two classes of models
1112: of compactifications.
1113:
1114: Since we find that KK modes are not
1115: overproduced by parametric resonance by
1116: compactifications of $S^d$ and
1117: $S^{d_1}\times S^{d_2}$, this kind of
1118: compactification may not be ruled out from a
1119: cosmological point of view, because the energy density
1120: of KK modes will not overclose the universe
1121: in the radiation dominant era.
1122: However, at the stage of preheating after inflation,
1123: scalar fields coupled to an inflaton field can be strongly
1124: enhanced by parametric resonance\cite{KLS}.
1125: If the KK field is coupled to inflaton, the
1126: enhancement of KK modes would also occur
1127: in the preheating stage.
1128: Recently, Mazumdar and Mendes\cite{MM}
1129: considered the excitement of the dilaton field $\sigma$
1130: as well as the Brans-Dicke field during the preheating phase
1131: in generalized Einstein theories.
1132: Since they compactified the extra dimensions on torus
1133: which does not have the curvature of the internal space,
1134: the potential of dilaton $U_1(\sigma)$
1135: does not appear in their model.
1136: Taking into account the growth of metric perturbations
1137: during preheating\cite{MET}, it was found that the dilaton field $\sigma$
1138: can be effectively enhanced even when dilaton does not
1139: couple to inflaton. Although they did not consider
1140: the enhancement of KK modes,
1141: there will be a possibility that KK modes are
1142: strongly enhanced in the preheating phase even in the case
1143: where the KK field does not directly couple to
1144: inflaton by the growth of metric perturbations.
1145: In this model, back reaction effects would play
1146: an important role for the termination of resonance.
1147: Although it is technically difficult to deal with
1148: back reaction issues including
1149: second order metric perturbations in a consistent way,
1150: it is of interest how KK modes are enhanced
1151: in the preheating phase.
1152: These issues are under consideration.
1153:
1154: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1155: \section*{ACKOWLEDGEMENTS}
1156: The author would like to thank Kei-ichi Maeda,
1157: Takashi Torii, Kunihito Uzawa, and Hiroki Yajima
1158: for useful discussions.
1159: This work was supported partially by a Grant-in-Aid for Scientific
1160: Research Fund of the Ministry of Education, Science and Culture
1161: (No. 09410217), and by the Waseda University
1162: Grant for Special Research Projects.
1163: Recently, Uzawa, Morisawa, and Mukohyama\cite{UMM} considered the
1164: excitement of Kaluza Klein modes including metric perturbations
1165: in the narrow resonance case, and found that quanta of these modes
1166: are not enhanced sufficiently. This result is consistent with our results
1167: obtained in this paper.
1168:
1169: \newpage
1170: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1171: \begin{thebibliography}{99}
1172: \bibitem{KK}
1173: Th. Kaluza, Sitzungsber. Preuss. Akad. Wiss. Berlin,
1174: Math. Phys. K1, 966 (1921);
1175: O. Klein, Z. Phys. 37, 895 (1926).
1176: \bibitem{GSW}
1177: M. B. Green, J. H. Schwartz, and E. Witten,
1178: {\it Superstring theory}~(Cambridge University Press,
1179: Cambridge, England, 1987).
1180: \bibitem{M}
1181: E. Witten, Nucl. Phys. {\bf B443} (1995); P. Horava and
1182: E. Witten, Nucl. Phys. {\bf B460} (1996).
1183: \bibitem{brane}
1184: L. Randall and R. Sundrum, Phys. Rev. Lett. {\bf 83},
1185: 3370 (1999); L. Randall and R. Sundrum, hep-th/9906064.
1186: \bibitem{mukoh}
1187: S. Mukohyama, Phys. Rev. D {\bf 57}, 6191 (1998).
1188: \bibitem{KS}
1189: E. W. Kolb and R. Slansky, Phys. Lett. {\bf 135B}, 378 (1984).
1190: \bibitem{stability}
1191: The stability of internal dimensions are discussed by
1192: several authors. For example, see
1193: K. Maeda, Phys. Lett. {\bf 186B}, 33 (1987);
1194: L. Amendola, E. W. Kolb, M. Litterio, and
1195: F. Occhionero, Phys. Rev. D {\bf 42}, 1944 (1990).
1196: \bibitem{TB}
1197: J. Traschen and R. H. Brandenberger, Phys. Rev. D {\bf 42}, 2491
1198: (1990); Y. Shatanov, J. Trashen, and R. H. Brandenberger, Phys.
1199: Rev. D {\bf 51}, 5438 (1995).
1200: \bibitem{KLS}
1201: L. Kofman, A. Linde, and A. A. Starobinsky, Phys. Rev. Lett.
1202: {\bf 73}, 3195 (1994);
1203: L. Kofman, A. Linde, and A. A. Starobinsky,
1204: Phys. Rev. D {\bf 73}, 3258 (1997).
1205: \bibitem{mathieu}
1206: N. W. Mac Lachlan, {\it Theory and Applications of Mathieu
1207: Functions} (Dover, New York, 1961).
1208: \bibitem{structure}
1209: S. Tsujikawa, K. Maeda, and T. Torii,
1210: Phys. Rev. D {\bf 60}, 063515 (1999);
1211: S. Tsujikawa, K. Maeda, and T. Torii,
1212: Phys. Rev. D {\bf 60}, 123505 (1999).
1213: \bibitem{comment}
1214: Although the case of $B \le 1$ is considered in
1215: Ref.~\cite{mukoh}, we can easily verify that
1216: this does not hold for positive integers
1217: $l_1, l_2$ and $d_1, d_2$.
1218: \bibitem{MM}
1219: A. Mazumdar and L. E. Mendes, Phys. Rev. D {\bf 60},
1220: 103513 (1999).
1221: \bibitem{MET}
1222: A. Taruya and Y. Nambu,
1223: Phys. Lett. B {\bf 428}, 37 (1997);
1224: B. A. Bassett, D. I. Kaiser, and R. Maartens,
1225: Phys. Lett. {\bf B455}, 84 (1999);
1226: B. A. Bassett, F. Tamburini, D. I. Kaiser, and R. Maartens,
1227: hep-ph/9901319, to appear in Nucl. Phys. B;
1228: F. Finelli and R. Brandenberger, Phys. Rev. Lett. {\bf 82} 1362 (1999);
1229: M. Parry and R. Easther, Phys. Rev. D {\bf 59} 061301 (1999).
1230: \bibitem{UMM}
1231: K. Uzawa, Y. Morisawa, and S. Mukohyama, gr-qc/9912108.
1232: \end{thebibliography}
1233:
1234: \newpage
1235: %%%%%%%%%%%%%%%%%%%%
1236: % figures
1237: %%%%%%%%%%%%%%%%%%%%
1238: \begin{flushleft}
1239: { Figure Captions}
1240: \end{flushleft}
1241: \noindent
1242: %%%%%%%%
1243: \parbox[t]{2cm}{FIG. 1:\\~}\ \
1244: \parbox[t]{12cm}
1245: {The potential $U_1(\sigma)$ which is obtained by
1246: introducing the Casimir effect in the $S^d$ compactification
1247: with $d=2$. The potential has a minimum at $\sigma=0$
1248: and a local maximum at $\sigma_*/\sigma_0=0.50$.
1249: If we choose larger values of $d$, $\sigma_*/\sigma_0$
1250: becomes smaller.
1251: The shape of this potential
1252: in the case of the $S^{d_1} \times S^{d_2}$ compactification
1253: is the same as in the case of the $S^d$ compactification.
1254: }\\[1em]
1255: \noindent
1256: %%%%%%%%
1257: \parbox[t]{2cm}{FIG. 2:\\~}\ \
1258: \parbox[t]{12cm}
1259: {The schematic diagram of the Mathieu chart.
1260: The lined regions denote the instability bands.
1261: There exists narrow instability bands around $A_k=j^2$
1262: and $q<1$ with positive integer $j$.
1263: Although there are many instability bands
1264: in the regions of $q \gg 1$,
1265: they are few for $A_k \ge 5q$.
1266: }\\[1em]
1267: \noindent
1268: %%%%%%%%
1269: %%%%%%%%
1270: \parbox[t]{2cm}{FIG. 3:\\~}\ \
1271: \parbox[t]{12cm}
1272: {The evolution of $\sigma$ as a function of $t$
1273: in the case of the $S^d$ compactification with $d=2$, $l=1$
1274: and $k=0$.
1275: We choose the initial value of $\sigma$ as
1276: $\sigma/\sigma_0=0.4$. After the first stage of rolling down,
1277: the $\sigma$ field begins to oscillate coherently as Eq.~(3.8).
1278: The dimensionless amplitude $\tilde{\sigma}(t)$
1279: in Eq.~(3.8) decreases as $\tilde{\sigma}(t) \sim
1280: 1/t$ with the initial value of
1281: $\tilde{\sigma}(t_{\rm co}) \approx 0.1$.
1282: }\\[1em]
1283: \noindent
1284: %%%%%%%%
1285: %%%%%%%%
1286: \parbox[t]{2cm}{FIG. 4:\\~}\ \
1287: \parbox[t]{12cm}
1288: {The evolution of the real part of the Kaluza-Klein
1289: mode $\phi_k$ as a function of $t$ in the case of the
1290: $S^d$ compactification with $d=2$, $l=1$, and $k=0$.
1291: Although the $\phi_k$ field is initially in the second
1292: instability band with $q~\mbox{\raisebox{-1.ex}{$\stackrel
1293: {\textstyle<}{\textstyle \sim}$}}~1$, the expansion of the
1294: universe makes parametric resonance ineffective.
1295: As a result, the growth of $\phi_k$ can not be expected.
1296: }\\[1em]
1297: \noindent
1298: %%%%%%%%
1299: %%%%%%%%
1300: \parbox[t]{2cm}{FIG. 5:\\~}\ \
1301: \parbox[t]{12cm}
1302: {The evolution of the real part of the Kaluza-Klein
1303: mode $\phi_k$ as a function of $t$ in the case of the
1304: $S^d$ compactification with $d=2$, $l=100$, and $k=0$.
1305: Although the initial value of $q$ is large as $q \gg 1$,
1306: the $\phi_k$ field moves in the regions of
1307: $A_k \ge 2q/\{(d+2)\tilde{\sigma}(t)\}$ where instability
1308: bands are few. Hence parametric resonance is inefficient.
1309: }\\[1em]
1310: \noindent
1311: %%%%%%%%
1312:
1313: \end{document}
1314:
1315: %-----------------------------------------------------
1316:
1317: %%%%%%%%%%%%%%%%%%%%%%%%
1318: %%%%%%%% uu-files %%%%%%%%%%%
1319: %%%%%%%%%%%%%%%%%%%%%%%%
1320:
1321: