Next Article in Journal
Sterile Neutrinos with Neutrino Telescopes
Previous Article in Journal
Weyl Curvature Hypothesis in Light of Quantum Backreaction at Cosmological Singularities or Bounces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Cosmological Perturbations via Quantum Corrections in M-Theory

by
Kazuho Hiraga
1 and
Yoshifumi Hyakutake
2,*
1
Meijo University Senior High School, Shintomi-cho 1-3-16, Nakamura-ku, Nagoya 453-0031, Aichi, Japan
2
College of Science, Ibaraki University, Bunkyo 2-1-1, Mito 310-8512, Ibaraki, Japan
*
Author to whom correspondence should be addressed.
Submission received: 6 October 2021 / Revised: 29 October 2021 / Accepted: 4 November 2021 / Published: 7 November 2021

Abstract

:
In the early universe, it is important to take into account the quantum effect of gravity to explain the feature of inflation. In this paper, we consider the M-theory effective action which consists of 11-dimensional supergravity and (Weyl) 4 terms. The equations of motion are solved perturbatively, and the solution describes the inflation-like expansion in 4-dimensional spacetime. Equations of motion for tensor perturbations around this background are derived perturbatively. We also check that the equations of motion are obtained from the effective action up to the second order of the perturbations. Finally, we solve the equations of motion for the tensor perturbations perturbatively and obtain analytic expressions for them.

1. Introduction

Inflationary expansion of the early universe resolves problems of the hot Big Bang scenario, such as the horizon problem or flatness problem [1,2,3,4,5]. It also generates perturbations to the homogeneous background, which become initial conditions for the structure formation of the present universe. Recent observations of cosmological parameters restrict the quantities of these perturbations, and hence models of the inflation [6,7,8]. In order to realize the inflation via the 4-dimensional effective theory of gravity, it is usual to introduce an inflation field or some higher curvature terms1. The inflaton field causes the inflationary expansion while it slowly rolls down the potential [5,17,18,19,20]. The inflation via higher curvature term was first studied by Starobinsky [1], which is surprisingly consistent with the current observations.
Since the energy scale of the inflationary era will be near that of the grand unified theory, it is important to analyze this scenario by using ultraviolet completion of quantum gravity. Actually, there have been many attempts to explain the inflation from supergravity theory, which is a low-energy effective action of superstring theory. It is difficult, however, to obtain de Sitter (dS) vacua in the effective theory obtained by compactification of the supergravity theory, which is stated as a no-go theorem [21,22,23] or dS swampland conjecture [24,25,26]. Especially, the dS swampland conjecture says that low-energy effective theories which realize the inflation by the inflaton field cannot be consistent with quantum theory of gravity at Planck scale.
To evade the no-go theorem, we need to take into account corrections to the supergravity theory. One way is to introduce sources of branes in the superstring theory, and it was proposed in [27] that the de Sitter vacua can be constructed in the superstring theory with orientifold planes and flux compactification. Some recent consistency checks with the swampland conjecture are reported in [28]. Another way is to introduce higher curvature corrections in the superstring theory, and some earlier works in this direction can be found in [29,30,31,32,33].
In this paper, we pursue the possibility of the inflationary scenario in M-theory. The M-theory is defined as a strong coupling limit, or uplift to 11 dimensions, of type IIA superstring theory, and the low-energy limit is approximated by 11-dimensional supergravity. Since the type IIA superstring theory contains one-loop corrections, the uplift of these terms also gives corrections to the 11-dimensional supergravity. As for the metric, it gives products of four Weyl tensors, abbreviated as W 4 , so it is important to understand the effect of these terms in relation to the inflationary scenario in the M-theory. Actually, it is shown in [34,35] that if the spacetime is divided into four dimensions and seven internal spatial directions, we obtain a perturbative solution where the three spatial directions are expanding and the internal ones are shrinking. Scalar perturbations around the inflationary background are discussed in [36]. The purpose of this paper is to analyze tensor perturbations around the inflation-like background. Equations of motion for tensor perturbations around this background are derived perturbatively. In addition, we also check that the equations of motion are obtained from the effective action up to the second order of the perturbations. Finally, we solve the equations of motion for the tensor perturbations perturbatively and obtain analytic expressions for them.
The organization of this paper is as follows. In Section 2, we briefly review the background geometry of [34]. In Section 3, we consider the tensor perturbations around the background and obtain equations of motion perturbatively. The effective action for the tensor perturbations are also derived. In Section 4, we solve the equations of motion for the tensor perturbations perturbatively and obtain analytic solutions. Conclusions and discussion are given in Section 5. The scalar perturbations and their solutions are summarized in Appendix A. Some discussion on the power spectrum of the cosmological perturbations are given in Appendix B and Appendix C.

2. Effective Action and Inflationary Solution in M-Theory

Low-energy effective action of the superstring theory is obtained by analyzing scattering amplitudes [37,38] or conformal invariance of loop corrections on the string world-sheet [39,40]. The low-energy effective action of the M-theory is described by 11-dimensional supergravity, and its leading correction is obtained by uplifting the results of the type IIA superstring theory. The bosonic part of the effective action of the M-theory is given by [41,42]
S 11 = 1 2 κ 11 2 d 11 x e R + Γ Z , Z 24 ( W a b c d W a b c d W e f g h W e f g h 64 W a b c d W a e f g W b c d h W e f g h + 2 W a b c d W a b e f W c d g h W e f g h + 16 W a c b d W a e b f W c g d h W e g f h 16 W a b c d W a e f g W b e f h W c d g h 16 W a b c d W a e f g W b f e h W c d g h ) ,
where a , b , c , = 0 , 1 , 2 , , 10 are local Lorentz indices and W a b c d is a Weyl tensor2. The 11-dimensional gravitational constant 2 κ 11 2 and a coefficient Γ are dimensionful parameters and expressed in terms of the 11-dimensional Planck length p as
2 κ 11 2 = ( 2 π ) 8 p 9 , Γ = π 2 p 6 2 11 3 2 .
Note that the above action can be derived directly in 11 dimensions by imposing local supersymmetry [43,44,45,46,47,48,49]. The Z terms in the action (1) are related to a topological term via local supersymmetry and the numerical values in this action are protected against higher perturbations. Of course, there exist higher derivative terms of O ( Γ n ) for n 2 , but those contributions are unknown so far. Some thoughts on the possible terms of n = 2 can be found in [36].
In this paper, we solve the equations of motion perturbatively up to the linear order of Γ . By varying the effective action (1), we obtain following equations of motion [50]3.
E a b R a b 1 2 η a b R + Γ 1 2 η a b Z + R c d e a Y c d e b 2 D ( c D d ) Y c a b d = 0 .
Here, D a is a covariant derivative for local Lorentz index, and tensors X a b c d and Y a b c d are defined as
X a b c d = 96 ( W a b c d W e f g h W e f g h 4 W a b c e W d f g h W e f g h + 4 W a b d e W c f g h W e f g h 4 W c d a e W b f g h W e f g h + 4 W c d b e W a f g h W e f g h + 2 W a b e f W c d g h W e f g h + 4 W a b e f W c e g h W d f g h + 4 W c d e f W a e g h W b f g h + 8 W a e c g W b f d h W e f g h 8 W b e c g W a f d h W e f g h 8 W a b e g W c f e h W d f g h 8 W c d e g W a f e h W b f g h 4 W e f a g W e f c h W g b h d + 4 W e f a g W e f d h W g b h c + 4 W e f b g W e f c h W g a h d 4 W e f b g W e f d h W g a h c ) ,
Y a b c d = X a b c d 1 9 ( η a c X b d η b c X a d η a d X b c + η b d X a c ) + 1 90 ( η a c η b d η a d η b c ) X ,
where Y c a c b = 0 , X a b = X c a c b and X = X a a .
Let us consider the solution of effective action (1) in the early universe. We assume that the 10-dimensional space directions are divided into a 3-dimensional flat homogeneous space and a 7-dimensional internal space compactified on the 7-dimensional flat torus. Then, the ansatz of the metric is expressed as
d s 2 = d t 2 + a ( t ) 2 d x i 2 + b ( t ) 2 d y m 2 ,
where i = 1 , 2 , 3 and m = 4 , , 10 . a ( t ) and b ( t ) are scale factors for the 3-dimensional space and the 7-dimensional internal one, respectively. By inserting the above ansatz into Equation (4), we obtain differential equations for H ( t ) = a ˙ ( t ) a ( t ) and G ( t ) = b ˙ ( t ) b ( t ) . Here, the dot represents the time derivative. The solution up to linear order of Γ is given by [34]
H ( τ ) = H I τ + c h Γ H I 7 τ 7 + O Γ 2 H I 13 τ 13 , G ( τ ) = 7 + 21 14 H I τ + c g Γ H I 7 τ 7 + O Γ 2 H I 13 τ 13 ,
with
c h = 13824 ( 477087 97732 21 ) 8575 47111 , c g = 41472 ( 532196 110451 21 ) 60025 17996 .
Here, H I is an integral constant and τ is defined by
τ = ( 1 + 21 ) H I t + 2 2 .
Notice that τ is the dimensionless parameter and takes the range of 1 τ . By integrating Equation (8), the scale factors a ( τ ) and b ( τ ) are written as
log a a E = 1 + 21 10 log τ 1 + 21 60 c h Γ H I 6 1 τ 6 + O Γ 2 H I 12 τ 12 , log b b E = 3 21 7 70 log τ 1 + 21 60 c g Γ H I 6 1 τ 6 + O Γ 2 H I 12 τ 12 ,
respectively. Here, a E and b E are integral constants and correspond to scale factors around the end of the inflation or the deflation, respectively. Since the string theory suppresses the divergence in the UV region, we expect that the scale factor a ( τ ) and b ( τ ) become convergent functions in the region 1 < τ . This means that coefficients of the higher-order terms will become the same order. In Figure 1, we show plots of 1 + 21 10 log τ , 1 + 21 60 c h Γ H I 6 1 τ 6 and 1 + 21 60 c h ( Γ H I 6 ) 2 1 τ 12 for Γ H I 6 = 0.014 and c h = c h Γ H I 6 , respectively. From this, we see that higher-order corrections 1 τ 6 n ( 2 n ) are suppressed in the region 1.5 < τ , and the inflationary expansion or deflation is realized by each 1 / τ 6 term in Equation (11).
The motivation for the inflation is to resolve the horizon problem. This requires that the particle horizon d t a ( t ) during the inflationary era is almost equal to that after the radiation-dominated era. The particle horizon during the inflationary era is given by
21 + 1 10 H I 1 2 d τ a ( τ ) = 21 + 1 10 a E H I 1 2 d τ τ 1 + 21 10 e 1 + 21 60 c h Γ H I 6 1 τ 6 .
On the other hand, if we approximate the scale factor as a = a E τ 1 + 21 10 after τ = 2 , the particle horizon during this era is evaluated as
21 + 1 10 H I 2 τ 0 d τ a ( τ ) = 21 + 1 10 a E H I 2 τ 0 d τ τ 1 + 21 10 21 + 1 10 a E H I 9 + 21 6 τ 0 9 21 10 ,
where τ 0 is the value at current time t 0 . We also obtain a ( τ ) H ( τ ) = a E H I τ 9 + 21 10 .
Now we define the e-folding number as N e = log a ( τ 0 ) a ( 2 ) . This means that τ 0 = 2 e 21 1 2 N e . By equating Equation (12) with Equation (13), we obtain
1 2 d τ τ 1 + 21 10 e 1 + 21 60 c h Γ H I 6 1 τ 6 9 + 21 6 2 9 21 10 e 21 3 2 N e .
This gives a relation between Γ H I 6 and N e , and we obtain Γ H I 6 0.014 for N e = 69 , for example.
We also obtain a ( τ 0 ) H ( τ 0 ) = a E H I τ 0 9 + 21 10 e 55 a E H I for N e = 69 .

3. Tensor Perturbations in M-Theory

3.1. Equations of Motion for the Tensor Perturbations

In this section, we investigate the tensor perturbations around the background geometry (7) up to the linear order of Γ . Since the action (1) contains complicated W 4 terms, we employ a Mathematica code to obtain the results here, even though these expressions are analytic. We deal with equations of motion for perturbations order by order, in the spirit of [51]. We also consult the calculations of cosmological perturbations in the modified gravity [52,53].
The tensor perturbations around the background metric are chosen as follows:
d s 2 = d t 2 + a 2 ( δ i j + h i j ) d x i d x j + b 2 d y m 2 .
In addition, h i j can be divided into two polarization modes, h + and h × . In the vielbein formalism, it is expressed as
e a μ = 1 0 0 0 0 0 0 a ( 1 + 1 2 h + ) 0 0 0 0 0 a h × a ( 1 1 2 h + ) 0 0 0 0 0 0 a 0 0 0 0 0 0 b 0 0 0 0 0 0 0 b ,
up to the linear order of the perturbation. Linearized equations of motion for the metric perturbations are obtained by varying Equation (4). The result is given as follows:
δ E a b = δ R a b 1 2 η a b δ R + Γ { 1 2 η a b δ R c d e f Y c d e f + δ R c d e a Y c d e b + R c d e a δ Y c d e b 2 δ e μ c D μ D d Y c ( a b ) d 2 δ ω c c e D d Y e ( a b ) d + 2 δ ω c e ( a D d Y c e b ) d + 2 δ ω c e ( a D d Y c b ) e d 2 D c D d δ Y c ( a b ) d 2 D c ( δ e ν d D ν Y c ( a b ) d + δ ω d c e Y e ( a b ) d δ ω d e ( a Y c e b ) d δ ω d e ( a Y c b ) e d + δ ω d d e Y c ( a b ) e ) } = 0 .
In this paper, we will solve the above equations of motion in the momentum space for the tensor perturbations. h α ( α = + , × ) are expanded as
h α ( t , x , y ) = d 3 k l h α ( t , k , l ) e i k i x i + i l m y m + h α ( t , k , l ) * e i k i x i i l m y m ,
where k i is a momentum in the 3 spatial directions, and l m is a discretized momentum on the internal 7-dimensional torus. The internal momentum appears in the equations of motion with a factor of l 2 b 2 , so these terms decouple from the equations of motion as b becomes quite small during the inflation [36]. Hence, we neglect the contributions of internal momentum in this paper.
By inserting the expression (16) into the equations of motion (17), we obtain following differential equation for h α :
0 = h ¨ α + ( 3 H + 7 G ) h ˙ α + k 2 a 2 h α + Γ A 0 h α + A 1 h ˙ α + A 2 h ¨ α + A 3 h α + A 4 h α ,
where A i ( i = 0 , 1 , 2 , 3 , 4 ) are functions of H and G. The explicit forms of A i are derived by employing Mathematica codes, which are reported in [54], and the results are written as
A 0 = 3584 k 2 10125 a 2 ( 164 G 6 156051 G 5 H + 552087 G 4 H 2 + 126177 G 4 H ˙ 169557 G ˙ G 4 634247 G 3 H 3 + 42420 G 3 H ¨ + 383772 G ˙ G 3 H 227652 G 3 H H ˙ 45450 G 3 G ¨ + 237309 G 2 H 4 3501 G ˙ G 2 H 2 145749 G 2 H 2 H ˙ + 131070 G 2 H G ¨ 118800 G 2 H H ¨ + 3030 G 2 H 21708 G 2 H ˙ 2 + 39906 G ˙ G 2 H ˙ 3030 G 2 G 15018 G ˙ 2 G 2 954 G H 5 + 29592 G ˙ H 4 10710 H 3 G ¨ 240306 G ˙ G H 3 + 243966 G H 3 H ˙ 74910 G H 2 G ¨ + 59460 G H 2 H ¨ 6210 H 2 G 30111 G ˙ 2 H 2 12588 G ˙ H 2 H ˙ 24720 G H ˙ G ¨ 27900 G ˙ G H ¨ + 21540 G H ˙ H ¨ + 26160 G ˙ H G ¨ 32520 H H ˙ G ¨ 29340 G ˙ H H ¨ 6360 G ¨ H ¨ + 9240 G H G 9240 G H H 3180 H ˙ G 3180 G ˙ H + 185049 G ˙ 2 G H + 115749 G H H ˙ 2 307158 G ˙ G H H ˙ 10737 G ˙ H ˙ 2 6753 G ˙ 2 H ˙ + 31080 G ˙ G G ¨ + 3180 G ¨ 2 + 3180 G ˙ G + 8081 G ˙ 3 + 1692 H 6 + 3258 H 4 H ˙ + 16920 H 3 H ¨ + 6210 H 2 H + 45879 H 2 H ˙ 2 + 3180 H ¨ 2 + 35700 H H ˙ H ¨ + 3180 H ˙ H + 9409 H ˙ 3 ) 14336 k 4 675 a 4 ( 92 G 4 322 G 3 H + 401 G 2 H 2 46 G 2 H ˙ + 46 G ˙ G 2 204 G H 3 + 72 G ˙ H 2 118 G ˙ G H + 118 G H H ˙ + 26 G ˙ H ˙ 13 G ˙ 2 + 33 H 4 72 H 2 H ˙ 13 H ˙ 2 ) ,
A 1 = 3584 3375 ( 56 G 7 + 82155 H G 6 286878 H 2 G 5 + 88465 G ˙ G 5 63454 H ˙ G 5 + 243124 H 3 G 4 83314 H G ˙ G 4 + 26141 G ¨ G 4 + 3967 H H ˙ G 4 24251 H ¨ G 4 + 33174 H 4 G 3 + 119992 G ˙ 2 G 3 + 80084 H ˙ 2 G 3 369471 H 2 G ˙ G 3 52736 H G ¨ G 3 + 369900 H 2 H ˙ G 3 199896 G ˙ H ˙ G 3 + 45356 H H ¨ G 3 + 1930 G G 3 1930 H G 3 61587 H 5 G 2 213335 H G ˙ 2 G 2 37713 H H ˙ 2 G 2 + 303948 H 3 G ˙ G 2 25977 H 2 G ¨ G 2 + 39778 G ˙ G ¨ G 2 180903 H 3 H ˙ G 2 + 241268 H G ˙ H ˙ G 2 37578 G ¨ H ˙ G 2 + 32157 H 2 H ¨ G 2 38678 G ˙ H ¨ G 2 + 36478 H ˙ H ¨ G 2 4690 H G G 2 + 4690 H H G 2 7776 H 6 G + 19057 G ˙ 3 G 25346 H ˙ 3 G 124134 H 2 G ˙ 2 G + 2020 G ¨ 2 G 192414 H 2 H ˙ 2 G + 75909 G ˙ H ˙ 2 G + 2020 H ¨ 2 G + 55728 H 4 G ˙ G + 43998 H 3 G ¨ G 86454 H G ˙ G ¨ G 110772 H 4 H ˙ G 69620 G ˙ 2 H ˙ G + 335568 H 2 G ˙ H ˙ G + 69734 H G ¨ H ˙ G 41778 H 3 H ¨ G + 78094 H G ˙ H ¨ G 4040 G ¨ H ¨ G 61374 H H ˙ H ¨ G + 510 H 2 G G + 2020 G ˙ G G 2020 H ˙ G G 510 H 2 H G 2020 G ˙ H G + 2020 H ˙ H G 2268 H 7 24056 H G ˙ 3 25095 H H ˙ 3 + 17277 H 3 G ˙ 2 5100 H G ¨ 2 50157 H 3 H ˙ 2 + 19974 H G ˙ H ˙ 2 + 7841 G ¨ H ˙ 2 5100 H H ¨ 2 + 4644 H 5 G ˙ + 8574 H 4 G ¨ + 1681 G ˙ 2 G ¨ 21084 H 2 G ˙ G ¨ 18738 H 5 H ˙ + 29177 H G ˙ 2 H ˙ + 23460 H 3 G ˙ H ˙ + 35604 H 2 G ¨ H ˙ 9522 G ˙ G ¨ H ˙ 11484 H 4 H ¨ 3221 G ˙ 2 H ¨ 9381 H ˙ 2 H ¨ + 28344 H 2 G ˙ H ¨ + 10200 H G ¨ H ¨ 42864 H 2 H ˙ H ¨ + 12602 G ˙ H ˙ H ¨ + 2250 H 3 G 5100 H G ˙ G + 5100 H H ˙ G 2250 H 3 H + 5100 H G ˙ H 5100 H H ˙ H ) + 7168 k 2 675 a 2 ( 259 G 5 + 863 G 4 H 3235 G 3 H 2 1744 G 3 H ˙ + 2010 G ˙ G 3 + 2713 G 2 H 3 266 G 2 H ¨ 1746 G ˙ G 2 H + 1142 G 2 H H ˙ + 266 G 2 G ¨ 468 G H 4 + 528 G ˙ H 3 + 72 H 2 G ¨ 792 G ˙ G H 2 + 1202 G H 2 H ˙ 338 G H G ¨ + 338 G H H ¨ 194 H ˙ G ¨ 194 G ˙ H ¨ + 1017 G H ˙ 2 2228 G ˙ G H ˙ 241 G ˙ 2 H + 288 G ˙ H H ˙ + 194 G ˙ G ¨ + 1211 G ˙ 2 G 132 H 5 600 H 3 H ˙ 72 H 2 H ¨ + 194 H ˙ H ¨ 47 H H ˙ 2 ) ,
A 2 = 3584 3375 ( 1952 G 6 + 27187 G 5 H + 30271 G 4 H 2 23579 G 4 H ˙ + 34969 G ˙ G 4 112291 G 3 H 3 10190 G 3 H ¨ + 163296 G ˙ G 3 H 138316 G 3 H H ˙ + 11110 G 3 G ¨ + 21957 G 2 H 4 50623 G ˙ G 2 H 2 11037 G 2 H 2 H ˙ + 29850 G 2 H G ¨ 29530 G 2 H H ¨ 920 G 2 H + 44556 G 2 H ˙ 2 139692 G ˙ G 2 H ˙ + 920 G 2 G + 98216 G ˙ 2 G 2 + 24228 G H 5 19524 G ˙ H 4 15690 H 3 G ¨ 128118 G ˙ G H 3 + 130938 G H 3 H ˙ 25270 G H 2 G ¨ + 21870 G H 2 H ¨ 2160 H 2 G + 7367 G ˙ 2 H 2 68874 G ˙ H 2 H ˙ 40460 G H ˙ G ¨ 43540 G ˙ G H ¨ + 37380 G H ˙ H ¨ + 27300 G ˙ H G ¨ 33460 H H ˙ G ¨ 30380 G ˙ H H ¨ 6160 G ¨ H ¨ + 1240 G H G 1240 G H H 3080 H ˙ G 3080 G ˙ H + 130037 G ˙ 2 G H + 126477 G H H ˙ 2 262674 G ˙ G H H ˙ 8001 G ˙ H ˙ 2 15099 G ˙ 2 H ˙ + 46620 G ˙ G G ¨ + 3080 G ¨ 2 + 3080 G ˙ G + 12733 G ˙ 3 + 6696 H 6 + 41994 H 4 H ˙ + 17850 H 3 H ¨ + 2160 H 2 H + 64587 H 2 H ˙ 2 + 3080 H ¨ 2 + 36540 H H ˙ H ¨ + 3080 H ˙ H + 10367 H ˙ 3 ) + 7168 k 2 675 a 2 ( 37 G 4 + 118 G 3 H 479 G 2 H 2 266 G 2 H ˙ + 266 G ˙ G 2 + 456 G H 3 + 72 G ˙ H 2 338 G ˙ G H + 338 G H H ˙ 194 G ˙ H ˙ + 97 G ˙ 2 132 H 4 72 H 2 H ˙ + 97 H ˙ 2 ) ,
A 3 = 28672 675 ( 14 G 5 + 272 G 4 H 229 G 3 H 2 284 G 3 H ˙ + 330 G ˙ G 3 315 G 2 H 3 46 G 2 H ¨ + 686 G ˙ G 2 H 670 G 2 H H ˙ + 46 G 2 G ¨ + 159 G H 4 348 G ˙ H 3 108 H 2 G ¨ 668 G ˙ G H 2 + 498 G H 2 H ˙ + 62 G H G ¨ 62 G H H ¨ 154 H ˙ G ¨ 154 G ˙ H ¨ + 477 G H ˙ 2 1108 G ˙ G H ˙ + 293 G ˙ 2 H 740 G ˙ H H ˙ + 154 G ˙ G ¨ + 631 G ˙ 2 G + 99 H 5 + 456 H 3 H ˙ + 108 H 2 H ¨ + 154 H ˙ H ¨ + 447 H H ˙ 2 ) ,
and
A 4 = 14336 675 ( 2 G 4 + 38 G 3 H 49 G 2 H 2 46 G 2 H ˙ + 46 G ˙ G 2 24 G H 3 108 G ˙ H 2 + 62 G ˙ G H 62 G H H ˙ 154 G ˙ H ˙ + 77 G ˙ 2 + 33 H 4 + 108 H 2 H ˙ + 77 H ˙ 2 ) .
Since we solve the equations of motion up to the linear order of Γ , we expand H, G and h α as
H = H 0 + Γ H 1 , G = G 0 + Γ G 1 , h α = h 0 + Γ h 1 .
Notice that H 0 = H I τ and G 0 = 7 + 21 14 H I τ are the leading parts of the background (8), and satisfy G 0 = 7 + 21 14 H 0 and H ˙ 0 = 1 21 2 H 0 2 . We substitute these into Equation (19) and expand it up to the linear order of Γ . Finally, with the aid of Mathematica code [54], we obtain the explicit forms of the equations of motion. The equation of motion for h 0 is written as
0 = h ¨ 0 + ( 7 G 0 + 3 H 0 ) h ˙ 0 + k 2 a 2 h 0 = h ¨ 0 + 1 2 21 1 H 0 h ˙ 0 + k 2 a 2 h 0 .
In addition, the equation of motion for h 1 is given by
0 = h ¨ 1 + 1 2 21 1 H 0 h ˙ 1 + k 2 a 0 2 h 1 + 512 ( 16940714 21 85692179 ) 8575 H 0 7 h ˙ 0 + 256 ( 613929 21 2861099 ) 245 H 0 6 h ¨ 0 + 6144 ( 121 21 521 ) 7 H 0 5 h 0 + 2048 ( 20 21 101 ) 7 H 0 4 h 0 + k 2 a 0 2 { 2 a ¯ 1 768 ( 64897 21 270367 ) 245 H 0 6 h 0 + 1024 ( 26 21 383 ) 7 H 0 5 h ˙ 0 + 512 ( 25 21 43 ) 7 H 0 4 h ¨ 0 } k 4 a 0 4 2048 ( 7 21 16 ) 7 H 0 4 h 0 .
Here, a ¯ 1 = 1 + 21 60 c h H 0 6 , which comes from k 2 a 2 h 0 . Note that a 0 = a E τ 1 + 21 10 is the leading part of the scale factor a. We will solve Equation (26) first and then substitute the solution of h 0 into Equation (27). The solutions will be derived in Section 4.

3.2. Effective Action for the Tensor Perturbations

In this subsection, we show an effective action for the tensor perturbations up to the second order of h α . This is important to fix the normalization of the tensor perturbations as well as to perform a consistency check of the equations of motion.
The effective action for h × is obtained by substituting the perturbation (16) into the action (1). The results are derived by using the Mathematica code [54], and the effective action for h × is obtained as
S pt ( 2 ) = 1 2 κ 11 2 d 11 x a 3 b 7 1 2 h ˙ × 2 k 2 2 a 2 h × 2 + Γ B 0 h × 2 + B 1 h ˙ × 2 + B 2 h ¨ × 2 .
In addition, explicit forms of B i ( i = 0 , 1 , 2 ) are given by
B 0 = 1792 k 2 10125 a 2 ( 164 G 6 156051 G 5 H + 552087 G 4 H 2 + 126177 G 4 H ˙ 169557 G ˙ G 4 634247 G 3 H 3 + 42420 G 3 H ¨ + 383772 G ˙ G 3 H 227652 G 3 H H ˙ 45450 G 3 G ¨ + 237309 G 2 H 4 3501 G ˙ G 2 H 2 145749 G 2 H 2 H ˙ + 131070 G 2 H G ¨ 118800 G 2 H H ¨ + 3030 G 2 H 21708 G 2 H ˙ 2 + 39906 G ˙ G 2 H ˙ 3030 G 2 G 15018 G ˙ 2 G 2 954 G H 5 + 29592 G ˙ H 4 10710 H 3 G ¨ 240306 G ˙ G H 3 + 243966 G H 3 H ˙ 74910 G H 2 G ¨ + 59460 G H 2 H ¨ 6210 H 2 G 30111 G ˙ 2 H 2 12588 G ˙ H 2 H ˙ 24720 G H ˙ G ¨ 27900 G ˙ G H ¨ + 21540 G H ˙ H ¨ + 26160 G ˙ H G ¨ 32520 H H ˙ G ¨ 29340 G ˙ H H ¨ 6360 G ¨ H ¨ + 9240 G H G 9240 G H H 3180 H ˙ G 3180 G ˙ H + 185049 G ˙ 2 G H + 115749 G H H ˙ 2 307158 G ˙ G H H ˙ 10737 G ˙ H ˙ 2 6753 G ˙ 2 H ˙ + 31080 G ˙ G G ¨ + 3180 G ¨ 2 + 3180 G ˙ G + 8081 G ˙ 3 + 1692 H 6 + 3258 H 4 H ˙ + 16920 H 3 H ¨ + 6210 H 2 H + 45879 H 2 H ˙ 2 + 3180 H ¨ 2 + 35700 H H ˙ H ¨ + 3180 H ˙ H + 9409 H ˙ 3 ) + 7168 k 4 675 a 4 ( 92 G 4 322 G 3 H + 401 G 2 H 2 46 G 2 H ˙ + 46 G ˙ G 2 204 G H 3 + 72 G ˙ H 2 118 G ˙ G H + 118 G H H ˙ + 26 G ˙ H ˙ 13 G ˙ 2 + 33 H 4 72 H 2 H ˙ 13 H ˙ 2 ) ,
B 1 = 1792 3375 ( 8 G 6 + 11733 G 5 H 46011 G 4 H 2 10741 G 4 H ˙ + 12631 G ˙ G 4 + 54451 G 3 H 3 1930 G 3 H ¨ 25696 G ˙ G 3 H + 18316 G 3 H H ˙ + 1930 G 3 G ¨ 18597 G 2 H 4 15477 G ˙ G 2 H 2 + 21657 G 2 H 2 H ˙ 4690 G 2 H G ¨ + 4690 G 2 H H ¨ + 8824 G 2 H ˙ 2 18748 G ˙ G 2 H ˙ + 9924 G ˙ 2 G 2 828 G H 5 + 1824 G ˙ H 4 + 2250 H 3 G ¨ + 26718 G ˙ G H 3 24498 G H 3 H ˙ + 510 G H 2 G ¨ 510 G H 2 H ¨ 3147 G ˙ 2 H 2 + 13554 G ˙ H 2 H ˙ 2020 G H ˙ G ¨ 2020 G ˙ G H ¨ + 2020 G H ˙ H ¨ 5100 G ˙ H G ¨ + 5100 H H ˙ G ¨ + 5100 G ˙ H H ¨ 23717 G ˙ 2 G H 15357 G H H ˙ 2 + 39074 G ˙ G H H ˙ + 2741 G ˙ H ˙ 2 1201 G ˙ 2 H ˙ + 2020 G ˙ G G ¨ 113 G ˙ 3 756 H 6 4734 H 4 H ˙ 2250 H 3 H ¨ 10407 H 2 H ˙ 2 5100 H H ˙ H ¨ 1427 H ˙ 3 ) + 3584 k 2 675 a 2 ( 37 G 4 + 118 G 3 H 479 G 2 H 2 266 G 2 H ˙ + 266 G ˙ G 2 + 456 G H 3 + 72 G ˙ H 2 338 G ˙ G H + 338 G H H ˙ 194 G ˙ H ˙ + 97 G ˙ 2 132 H 4 72 H 2 H ˙ + 97 H ˙ 2 ) ,
and
B 2 = 7168 675 ( 2 G 4 + 38 G 3 H 49 G 2 H 2 46 G 2 H ˙ + 46 G ˙ G 2 24 G H 3 108 G ˙ H 2 + 62 G ˙ G H 62 G H H ˙ 154 G ˙ H ˙ + 77 G ˙ 2 + 33 H 4 + 108 H 2 H ˙ + 77 H ˙ 2 ) .
While not shown explicitly, it is also possible to write down the effective action for h + , which is slightly different from the above expression. We remark, however, that the effective action for h + is the same as that of h × after substituting the background metric.
By substituting Equation (25) into the action (28), we obtain the effective action for the tensor perturbation up to the second order of h 0 and h 1 . The result is
S pt ( 2 ) = 1 2 κ 11 2 d 11 x a 0 3 b 0 7 [ 1 2 h ˙ 0 2 k 2 2 a 0 2 h 0 2 + Γ { k 4 a 0 4 1024 ( 7 21 16 ) 7 H 0 4 h 0 2 + k 2 a 0 2 1 2 a ¯ 1 7 2 b ¯ 1 + 384 ( 64897 21 270367 ) 245 H 0 6 h 0 2 + 256 ( 25 21 43 ) 7 H 0 4 h ˙ 0 2 h 0 h 1 + 3 2 a ¯ 1 + 7 2 b ¯ 1 + 128 ( 74649 21 289019 ) 245 H 0 6 h ˙ 0 2 1024 ( 20 21 101 ) 7 H 0 4 h ¨ 0 2 + h ˙ 0 h ˙ 1 } ] .
Here, a ¯ 1 = 1 + 21 60 c h H 0 6 and b ¯ 1 = 1 + 21 60 c g H 0 6 .
It is easy to see that the equation of motion (26) is obtained from the variation of h 1 ,
δ h 1 S pt ( 2 ) = 1 2 κ 11 2 d 11 x a 0 3 b 0 7 Γ h 0 ¨ + 21 1 2 H 0 h 0 ˙ + k 2 a 0 2 h 0 δ h 1 .
Here, we used the relation of the background G 0 = 7 + 21 14 H 0 . Note also the relations of H ˙ 0 = 1 21 2 H 0 2 , a ¯ ˙ 1 = c h H 0 7 and b ¯ ˙ 1 = c g H 0 7 . By using these relations, it is possible to evaluate the variation of the effective action with respect to h 0 as
δ h 0 S pt ( 2 ) = 1 2 κ 11 2 d 11 x a 0 3 b 0 7 [ h ¨ 0 + 21 1 2 H 0 h ˙ 0 + k 2 a 0 2 h 0 + Γ { k 4 a 0 4 2048 ( 7 21 16 ) 7 H 0 4 h 0 + k 2 a 0 2 a ¯ 1 + 7 b ¯ 1 768 ( 64897 21 270367 ) 245 H 0 6 h 0 + 512 ( 25 21 43 ) 7 H 0 4 h ¨ 0 1 + 3 21 2 H 0 5 h ˙ 0 + ( 21 1 2 H 0 3 a ¯ 1 + 7 b ¯ 1 + 256 ( 74649 21 289019 ) 245 H 0 6 + 3 c h + 7 c g + 256 ( 74649 21 289019 ) 3 ( 1 21 ) 245 H 0 7 ) h ˙ 0 + 3 a ¯ 1 + 7 b ¯ 1 + 256 ( 74649 21 289019 ) 245 H 0 6 + 2048 ( 20 21 101 ) 6 ( 11 21 ) 7 H 0 6 h ¨ 0 + 2048 ( 20 21 101 ) 7 3 ( 1 21 ) H 0 5 h 0 + H 0 4 h 0 + h ¨ 1 + 21 1 2 H 0 h ˙ 1 + k 2 a 0 2 h 1 } ] δ h 0 = 1 2 κ 11 2 d 11 x a 0 3 b 0 7 [ h ¨ 0 + 21 1 2 H 0 h ˙ 0 + k 2 a 0 2 h 0 + Γ { k 4 a 0 4 2048 ( 7 21 16 ) 7 H 0 4 h 0 + k 2 a 0 2 2 a ¯ 1 768 ( 64897 21 270367 ) 245 H 0 6 h 0 + 1024 ( 26 21 383 ) 7 H 0 5 h ˙ 0 + 512 ( 25 21 43 ) 7 H 0 4 h ¨ 0 + 512 ( 16940714 21 85692179 ) 8575 H 0 7 h ˙ 0 + 256 ( 613929 21 2861099 ) 245 H 0 6 h ¨ 0 + 6144 ( 121 21 521 ) 7 H 0 5 h 0 + 2048 ( 20 21 101 ) 7 H 0 4 h 0 + h ¨ 1 + 21 1 2 H 0 h ˙ 1 + k 2 a 0 2 h 1 + h ¨ 0 + 21 1 2 H 0 h ˙ 0 + k 2 a 0 2 h 0 ( 3 a ¯ 1 + 7 b ¯ 1 ) } ] δ h 0 .
From this, we see that the equation of motion (27) is correctly derived if we use Equation (26). Although we rely on the Mathmatica codes for the calculations, this gives a non-trivial check between Equations (26) and (27) and the effective action (32).

4. Solution for the Tensor Perturbations

Let us analytically solve Equations (26) and (27) in this section. In order to solve these equations, we introduce a new time coordinate η instead of t, which is defined by d t = 1 + 21 10 H I d τ = a 0 d η . This means that η behaves like a conformal time after the inflationary expansion. Now, η is expressed in terms of τ as
η = 1 + 21 10 H I d τ a 0 = 3 + 21 6 a E H I τ 9 21 10 ,
and a 0 and a Hubble parameter H 0 with respect to η are given by
a 0 = a E 21 3 2 a E H I η 3 + 21 6 , H 0 = a 0 a 0 = 3 + 21 6 1 η .
Here, the prime represent d d η . Then, by defining h 0 = a 0 3 21 4 u 0 and multiplying a 0 2 to Equation (26), we obtain
0 = h 0 + 21 3 2 H 0 h 0 + k 2 h 0 = a 0 3 21 4 u 0 + k 2 + 1 4 η 2 u 0 .
In addition, the above differential equation for u 0 can be solved as
u 0 = c 1 k η J 0 ( k η ) + c 2 k η Y 0 ( k η ) .
Here, J 0 and Y 0 are Bessel functions of the first and second kind, respectively. c 1 and c 2 are integral constants which have the dimension of mass and depend on k. In order to fix the ratio of c 2 c 1 , we demand that u 0 behaves like e i k η as η goes to infinity. This means that the tensor perturbation is approximated by the free field as η goes to infinity. Since x J 0 ( x ) 2 π cos ( x π 4 ) and x Y 0 ( x ) 2 π sin ( x π 4 ) as x , we choose c 2 c 1 = i and u 0 is given by
u 0 = c 1 k η H 0 ( 2 ) ( k η ) .
H 0 ( 2 ) ( x ) is the Hankel function of the second kind. c 1 is proportional to 1 2 k and the coefficient is determined by the normalization of the action (32). From this, h 0 is expressed as
h 0 = c 1 a 0 3 21 4 k η H 0 ( 2 ) ( k η ) = c ¯ 1 H 0 ( 2 ) ( k η ) , c ¯ 1 c 1 a E 3 21 4 21 + 3 6 k a E H I 1 2 .
If we take k η , h 0 approaches to c ¯ 1 2 π k η e i π 4 e i k η .
Next, we investigate the equation of motion (27) for h 1 . By multiplying a 0 2 to Equation (27) and using η , we obtain
0 = h 1 + 1 2 21 3 H 0 h 1 + k 2 h 1 + 1 a 0 6 [ 256 ( 4950813 21 33216993 ) 8575 H 0 7 h 0 768 ( 484793 93483 21 ) 245 H 0 6 h 0 + 6144 ( 81 21 319 ) 7 H 0 5 h 0 512 ( 404 80 21 ) 7 H 0 4 h 0 + k 2 { 768 ( 64897 21 270367 ) 245 H 0 6 2 a 0 6 a ¯ 1 h 0 + 1536 ( 9 21 241 ) 7 H 0 5 h 0 512 ( 43 25 21 ) 7 H 0 4 h 0 } k 4 2048 ( 7 21 16 ) 7 H 0 4 h 0 ] .
In order to solve the above equation, we redefine h 1 as h 1 = a 0 3 21 4 u 1 . Then, a differential equation for u 1 is expressed as
0 = u 1 + k 2 3 ( 21 5 ) 8 H 0 2 u 1 + 1 a 0 6 [ 576 ( 279929593 21 1282921273 ) 8575 H 0 8 u 0 + 4608 ( 11177551 21 51407611 ) 8575 H 0 7 u 0 768 ( 1625723 338133 21 ) 245 H 0 6 u 0 + 8192 ( 101 21 420 ) 7 H 0 5 u 0 512 ( 404 80 21 ) 7 H 0 4 u 0 + k 2 { 768 ( 55797 21 234982 ) 245 H 0 6 2 a 0 6 a ¯ 1 u 0 + 1024 ( 43 21 525 ) 7 H 0 5 u 0 512 ( 43 25 21 ) 7 H 0 4 u 0 } k 4 2048 ( 7 21 16 ) 7 H 0 4 u 0 ] = u 1 + k 2 + 1 4 η 2 u 1 + 2 8 3 · 5 2 7 3 21 + 3 6 3 + 21 k η a E 6 η 8 ( a E H I η ) 3 + 21 [ 73500 ( 47 21 + 217 ) k 3 η 3 + 6 ( 1032913 21 + 4661457 ) k η c 1 J 1 ( k η ) + c 2 Y 1 ( k η ) + 44100 ( 8 21 + 37 ) k 4 η 4 + ( 6318421 21 + 29265657 ) k 2 η 2 c 1 J 0 ( k η ) + c 2 Y 0 ( k η ) ] .
In the second line, we substituted Equations (36) and (38). A particular solution for the above equation is given by
u 1 = 576 ( 999 218 21 ) 60025 H I 6 k η 21 3 2 a E H I η 9 + 21 c 1 u 11 + π c 2 u 12 .
Here, the explicit forms of u 11 and u 12 are given by
u 11 = 7 π k η J 0 ( k η ) { 14700 ( 146 21 + 669 ) k 3 η 3 G 3 , 5 2 , 2 k η , 1 2 | 5 4 , 2 21 + 17 4 , 1 4 3 4 , 3 4 , 1 4 , 3 4 , 2 21 + 13 4 + 24500 ( 857 21 + 3927 ) k 2 η 2 G 3 , 5 2 , 2 k η , 1 2 | 5 4 , 2 21 + 19 4 , 3 4 5 4 , 5 4 , 1 4 , 1 4 , 2 21 + 15 4 + ( 38465701 21 + 176254865 ) k η G 3 , 5 2 , 2 k η , 1 2 | 5 4 , 2 21 + 21 4 , 1 4 3 4 , 3 4 , 1 4 , 3 4 , 2 21 + 17 4 + 6 ( 6206377 21 + 28445153 ) G 3 , 5 2 , 2 k η , 1 2 | 5 4 , 2 21 + 23 4 , 3 4 5 4 , 5 4 , 1 4 , 1 4 , 2 21 + 19 4 } + π ( k η ) 2 Y 0 ( k η ) { 51450 ( 61 21 + 279 ) k 2 η 2 2 F 3 1 2 , 21 2 5 2 ; 1 , 1 , 21 2 3 2 ; k 2 η 2 + 85750 179 21 + 819 k 2 η 2 2 F 3 3 2 , 21 2 5 2 ; 2 , 2 , 21 2 3 2 ; k 2 η 2 + ( 46502521 21 + 213002167 ) 2 F 3 1 2 , 21 2 7 2 ; 1 , 1 , 21 2 5 2 ; k 2 η 2 + 3 ( 7499743 21 + 34391077 ) 2 F 3 3 2 , 21 2 7 2 ; 2 , 2 , 21 2 5 2 ; k 2 η 2 } ,
and
u 12 = k η J 0 ( k η ) { 51450 61 21 + 279 π ( k η ) 7 2 2 F 3 1 2 , 21 2 5 2 ; 1 , 1 , 21 2 3 2 ; k 2 η 2 85750 179 21 + 819 π ( k η ) 7 2 2 F 3 3 2 , 21 2 5 2 ; 2 , 2 , 21 2 3 2 ; k 2 η 2 46502521 21 + 213002167 π ( k η ) 3 2 2 F 3 1 2 , 21 2 7 2 ; 1 , 1 , 21 2 5 2 ; k 2 η 2 3 7499743 21 + 34391077 π ( k η ) 3 2 2 F 3 3 2 , 21 2 7 2 ; 2 , 2 , 21 2 5 2 ; k 2 η 2 205800 ( 146 21 + 669 ) k 3 η 3 G 3 , 5 3 , 1 k η , 1 2 | 2 21 + 15 4 , 3 4 , 3 4 1 4 , 1 4 , 1 4 , 3 4 , 2 21 + 11 4 + 343000 857 21 + 3927 k 2 η 2 G 3 , 5 3 , 1 k η , 1 2 | 2 21 + 17 4 , 1 4 , 1 4 1 4 , 1 4 , 3 4 , 1 4 , 2 21 + 13 4 + 14 38465701 21 + 176254865 k η G 3 , 5 3 , 1 k η , 1 2 | 2 21 + 19 4 , 3 4 , 3 4 1 4 , 1 4 , 1 4 , 3 4 , 2 21 + 15 4 + 84 6206377 21 + 28445153 G 3 , 5 3 , 1 k η , 1 2 | 2 21 + 21 4 , 1 4 , 1 4 1 4 , 1 4 , 3 4 , 1 4 , 2 21 + 17 4 } + 7 k η Y 0 ( k η ) { 14700 ( 146 21 + 669 ) k 3 η 3 G 3 , 5 2 , 2 k η , 1 2 | 5 4 , 2 21 + 17 4 , 1 4 3 4 , 3 4 , 1 4 , 3 4 , 2 21 + 13 4 24500 857 21 + 3927 k 2 η 2 G 3 , 5 2 , 2 k η , 1 2 | 3 4 , 2 21 + 19 4 , 1 4 1 4 , 5 4 , 1 4 , 1 4 , 2 21 + 15 4 38465701 21 + 176254865 k η G 3 , 5 2 , 2 k η , 1 2 | 5 4 , 2 21 + 21 4 , 1 4 3 4 , 3 4 , 1 4 , 3 4 , 2 21 + 17 4 6 6206377 21 + 28445153 G 3 , 5 2 , 2 k η , 1 2 | 3 4 , 2 21 + 23 4 , 1 4 1 4 , 5 4 , 1 4 , 1 4 , 2 21 + 19 4 } .
Here, the function G p , q m , n z , r | a 1 , , a n , a n + 1 , , a p b 1 , , b m , b m + 1 , , b q is the generalized Meijer G-function, and the function p F q a 1 , , a p ; b 1 , , b q ; z is the generalized hypergeometric function. The ratio of c 2 c 1 should be fixed by c 2 c 1 = i as explained before. Thus, we have solved Equation (41) as
h 1 = 576 ( 999 218 21 ) 60025 c 1 a 0 3 21 4 H I 6 k η 21 3 2 a E H I η 9 + 21 u 11 i π u 12 = 576 ( 999 218 21 ) 60025 c ¯ 1 H I 6 τ 6 u 11 i π u 12 .
Here, we used τ 6 = ( 21 3 2 a E H I η ) 9 + 21 .
In conclusion, we derived analytic form of the tensor perturbations which are given by Equations (40) and (46). If we know the effective action of the M-theory beyond the linear order of Γ , we could derive the solution up to the same order by using the method developed in this paper. Some discussions on the power spectrum of the perturbations are given in Appendix B.

5. Conclusions and Discussion

In this paper, we examined the inflationary solution via higher derivative corrections in the M-theory and examined tensor perturbations around such a background. As a result, we have obtained the solutions of tensor perturbations analytically up to the linear order of Γ . Although our calculations are limited up to the linear order of Γ , our method developed in this paper is applied to higher-order effective action once its form is revealed.
The effective action of the M-theory contains (Weyl) 4 terms. If we assume that the 10-dimensional space is divided into a 3-dimensional homogeneous space and a 7-dimensional internal one, it is possible to solve the equations of motion perturbatively with respect to Γ and obtain a inflationary solution due to the presence of (Weyl) 4 terms. The tensor perturbations are analyzed around this inflationary background. These are expanded up to the linear order of Γ such as h α = h 0 + Γ h 1 , and the equation of motion for h 0 is written by Equation (26) and that for h 1 is given by Equation (27). On the other hand, the effective action for the tensor perturbation for the cross mode is evaluated up to the linear order of Γ . In addition, the effective action with respect to h 0 and h 1 is given by Equation (32). We could derive the same equations of motion from this action, and this gives a self-consistency check of our calculations, which are mainly done by using Mathematica codes. Although we omitted the calculations, the effective action for the plus mode is the same as that of the cross mode once we insert the background metric.
The equations of motion for h α are solved perturbatively. The solution of h 0 is given by the linear combinations of Bessel functions. Then, we put the solution of h 0 into the equation of motion for h 1 . The analytic form of h 1 is given by Equation (46). In this way, we developed a method to calculate tensor perturbations by using Mathematica codes. If we know the effective action of the M-theory beyond the linear order of Γ , we could derive the solution up to the same order by using the method developed in this paper [55].
Since we know the analytic solution, at least perturbatively, it is straightforward to evaluate the power spectrum of the tensor perturbations. However, the vacuum of our inflationary solution is highly interacting, it is different from usual Bunch–Davies vacuum. So, in order to evaluate the power spectrum, we need to put an assumption on the amplitude of the power spectrum. Some discussions on the evaluation of the power spectrum are given in Appendix B.
As a future work, it is interesting to apply the method developed here to more a complicated internal geometry, such as the G 2 manifold [56]. It is also interesting to apply the analyses of this paper to the heterotic superstring theory with nontrivial internal space, which contains R 2 corrections [57], and reveal several problems in string cosmology [58]. Unification of the inflationary expansion and late time acceleration in modified gravity, such as f ( R ) gravity or mimetic gravity, is an interesting direction to be explored [59,60,61,62].

Author Contributions

Conceptualization, Y.H.; methodology, K.H. and Y.H; software, K.H. and Y.H.; validation, K.H. and Y.H.; formal analysis, K.H. and Y.H.; investigation, K.H. and Y.H.; resources, K.H. and Y.H.; data curation, K.H. and Y.H.; writing—original draft preparation, Y.H.; writing—review and editing, K.H. and Y.H.; visualization, K.H. and Y.H.; supervision, Y.H.; project administration, Y.H.; funding acquisition, Y.H. All authors have read and agreed to the published version of the manuscript.

Funding

This work was partially supported by Japan Society for the Promotion of Science, Grant-in-Aid for Scientific Research (C) Grant Number JP17K05405.

Acknowledgments

The authors would like to thank Takanori Fujiwara and Makoto Sakaguchi. This work was partially supported by Japan Society for the Promotion of Science, Grant-in-Aid for Scientific Research (C) Grant Number JP17K05405.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. The Scalar Perturbations

In this appendix, we briefly summarize the results of scalar perturbations obtained in [36]. The metric for the scalar perturbations is written as
d s 2 = ( 1 + 2 α ) d t 2 2 a i β d t d x i + a 2 ( δ i j + 2 i j γ + 2 ψ δ i j ) d x i d x j + b 2 d y m 2 .
By inserting the above into Equation (17), we obtain four independent equations with respect to α , χ a ( β + a γ ˙ ) and P H 1 ψ . By using two equations out of four, it is possible to solve α and χ up to the linear order of Γ , and one equation becomes redundant. Then, we obtain a differential equation for P = P 0 + Γ P 1 up to the linear order of Γ .
0 = P ¨ 0 21 1 2 H 0 P ˙ 0 + k 2 a 0 2 21 11 2 H 0 2 P 0 + Γ [ P ¨ 1 21 1 2 H 0 P ˙ 1 + k 2 a 0 2 21 11 2 H 0 2 P 1 1536 ( 49692383 21 70593438 ) 8575 H 0 8 P 0 + 768 ( 36412229 21 124991079 ) 1715 H 0 7 P ˙ 0 + 768 ( 5604373 21 36068337 ) 1715 H 0 6 P ¨ 0 + 12288 ( 6383 21 17688 ) 245 H 0 5 P 0 + 3072 ( 2261 21 23271 ) 1225 H 0 4 P 0 + k 2 a 0 2 { 768 ( 3567079 21 29260239 ) 8575 H 0 6 2 a ¯ 1 P 0 + 3072 ( 85331 21 265416 ) 1225 H 0 5 P ˙ 0 + 1536 ( 9479 21 66369 ) 1225 H 0 4 P ¨ 0 } + k 4 a 0 4 6144 ( 1633 21 9288 ) 1225 H 0 4 P 0 ] .
As in the case of the tensor perturbations, in order to solve Equation (A2), we use the variable η which is defined in Equation (35). By multiplying a 0 2 to Equation (A2), we obtain
0 = P 0 21 + 1 2 H 0 P 0 + k 2 21 11 2 H 0 2 P 0 + Γ [ P 1 21 + 1 2 H 0 P 1 + k 2 21 11 2 H 0 2 P 1 + 1 a 0 6 { 1536 ( 49692383 21 70593438 ) 8575 H 0 8 P 0 + 1536 ( 15053494 21 40585737 ) 1715 H 0 7 P 0 + 6912 ( 1812421 21 16802761 ) 8575 H 0 6 P 0 + 6144 ( 57047 21 107067 ) 1225 H 0 5 P 0 + 3072 ( 2261 21 23271 ) 1225 H 0 4 P 0 + k 2 { 768 ( 3567079 21 29260239 ) 8575 H 0 6 2 a 0 6 a ¯ 1 P 0 + 1536 ( 161183 21 464463 ) 1225 H 0 5 P 0 + 1536 ( 9479 21 66369 ) 1225 H 0 4 P 0 } + k 4 6144 ( 1633 21 9288 ) 1225 H 0 4 P 0 } ] .
Let us solve the above equation perturbatively. First, by setting P 0 = a 0 21 + 1 4 U 0 , a part of O ( Γ 0 ) becomes
0 = P 0 21 + 1 2 H 0 P 0 + k 2 21 11 2 H 0 2 P 0 = a 0 21 + 1 4 U 0 + k 2 + 1 4 η 2 U 0 .
This is the same as Equation (37). Then, U 0 , P 0 and ψ 0 = H 0 P 0 are solved as follows:
U 0 = c 1 k η H 0 ( 2 ) ( k η ) , P 0 = c 1 a 0 21 + 1 4 k η H 0 ( 2 ) ( k η ) , ψ 0 = c ˜ 1 H 0 ( 2 ) ( k η ) , c ˜ 1 = c 1 a E 21 + 1 4 H I 21 + 3 6 k a E H I 1 2 .
In the above, we set c 2 c 1 = i as in the tensor perturbations. c 1 is proportional to 1 2 k and the coefficient is determined by the normalization of the action in [36]. In the limit of k η , ψ 0 ( η , k ) approaches to c ˜ 1 2 π k η e i π 4 e i k η .
Next, let us solve a part of the differential Equation (A3) which linearly depends on Γ . By setting P 1 = a 0 21 + 1 4 U 1 and using the solution (A5), the equation which linearly depends on Γ becomes
0 = U 1 + k 2 + 1 4 η 2 U 1 + 2 8 3 · 5 2 7 3 21 + 3 6 3 + 21 k η a E 6 η 8 ( a E H I η ) 3 + 21 [ 420 ( 127267 + 27753 21 ) k 3 η 3 78 ( 27149229 + 5923661 21 ) k η c 1 J 1 ( k η ) + c 2 Y 1 ( k η ) + ( 44100 ( 37 + 8 21 ) k 4 η 4 + ( 602616417 + 131422261 21 ) k 2 η 2 , + 36 ( 49428849 + 10780291 21 ) ) c 1 J 0 ( k η ) + c 2 Y 0 ( k η ) ] .
A particular solution of the above is obtained by using Mathematica code [36]. The solutions of U 1 , P 1 and ψ 1 = H 1 P 0 + H 0 P 1 = H 0 ( c h H 0 6 P 0 + P 1 ) are expressed as follows.
U 1 = 288 ( 20727 4523 21 ) 300125 H I 6 k η 21 3 2 a E H I η 9 + 21 c 1 U 11 c 2 ( 41 + 9 21 ) π 10 U 12 , P 1 = 288 ( 20727 4523 21 ) 300125 c 1 a 0 21 + 1 4 H I 6 k η 21 3 2 a E H I η 9 + 21 U 11 + i ( 41 + 9 21 ) π 10 U 12 , ψ 1 = c ˜ 1 H I 6 τ 6 c h H 0 ( 2 ) ( k η ) 288 ( 20727 4523 21 ) 300125 U 11 + i ( 41 + 9 21 ) π 10 U 12 .
The explicit expressions of U 11 and U 12 can be found in [36]. Here, the ratio of integration constants is fixed as c 2 c 1 = i . We also used τ 6 = ( 21 3 2 a E H I η ) 9 + 21 and H 1 = c h H 0 6 from Equation (8). Note that as τ approaches to the infinity, ψ 1 decreases faster than ψ 0 .

Appendix B. Numerical Analyses for Scalar and Tensor Perturbations

In this appendix, we examine spectral indices of the scalar and tensor perturbations. First of all, we change the definition of τ by rescaling. Without loss of generality, it is possible to rescale τ like
τ ( c h Γ H I 6 ) 1 6 τ .
In addition, after this prescription, we shift the integral constants as
H I ( c h Γ H I 6 ) 1 6 H I , a E ( c h Γ H I 6 ) 1 + 21 60 a E , b E ( c h Γ H I 6 ) 3 21 7 420 b E .
Then, η , a 0 , b 0 , H 0 and G 0 are invariant, and H ( τ ) , G ( τ ) , a ( τ ) and b ( τ ) behave as
H H I = 1 τ + 1 τ 7 + O 1 τ 13 , G H I = 7 + 21 14 1 τ + c g c h 1 τ 7 + O 1 τ 13 , log a a E = 1 + 21 10 log τ 1 + 21 60 1 τ 6 + O 1 τ 12 , log b b E = 3 21 7 70 log τ 1 + 21 60 c g c h 1 τ 6 + O 1 τ 12 .
Note that the range of τ becomes ( c h Γ H I 6 ) 1 6 τ . Thus, the parameter Γ H I 6 disappears from the background and is absorbed into the lower bound of τ , which is determined by requiring that the e-folding number N e is within the range of 60 < N e < 70 . Below we use Equation (A10) as the background and the range of τ is given by τ I < τ . The explicit value of τ I is irrelevant in this paper but should be determined by the e-folding number4. From Equation (35), η is also bounded as
3 + 21 6 τ I 9 21 10 a E H I η η ¯ .
Here, we introduced the dimensionless parameter η ¯ , and τ = 1.0 corresponds to η ¯ = 3 + 21 6 1.3 . Below, we assume that the expansions in Equation (A10) are convergent around τ 0 ( η ¯ 0 ) and coefficients of higher-order terms in Equation (A10) are small and negligible around τ 0.50 ( η ¯ 0.93 ) 5. A plot of the comoving Hubble radius a E H I a H as a function of η ¯ is shown in Figure A1. From this figure, we see that the inflation ends around τ 0.7 ( η ¯ 1.1 ) .
Figure A1. Plot of the comoving Hubble radius a E H I a H as a function of η ¯ .
Figure A1. Plot of the comoving Hubble radius a E H I a H as a function of η ¯ .
Universe 07 00425 g0a1
First, let us evaluate the power spectrum of the tensor perturbation. In Section 4, we normalized the tensor perturbation around the vacuum in the future infinity, η . In addition, the quantization of the tensor perturbation becomes
u ( η , x ) = d 3 k ( 2 π ) 3 u ( η , k ) a k e i k i x i + u ( η , k ) * a k e i k i x i , u ( η , k ) = u 0 + Γ u 1 .
u 0 is given by Equation (39) and u 1 is written by Equation (43). However, the power spectrum should be evaluated by using the vacuum in the past infinity, so we need the Fourier component, which we denote u ( η , k ) , solved in the past infinity. Although the quantization of the tensor perturbation around the vacuum in the past infinity is difficult due to the complicated interaction, u ( η , k ) and u ( η , k ) are related by the Bogoliubov transformation as
u ( η , k ) = α ( k ) u ( η , k ) + β ( k ) u ( η , k ) * ,
with some unknown functions of α ( k ) and β ( k ) . Then, an ingredient of the power spectrum is evaluated as
| u ( η , k ) | 2 = ( | α | 2 + | β | 2 ) | u ( η , k ) | 2 1 + 2 | α | | β | | α | 2 + | β | 2 cos ( θ α θ β + 2 θ u ) ,
where θ α , θ β and θ u are arguments of α , β and u , respectively. The second term in the big parentheses is less than 1. In the above expression, the η dependence appears through u ( η , k ) and θ u . So, if θ u is almost time independent, the ingredient of the power spectrum is approximated as
| u ( η , k ) | 2 C ( k ) | u ( η , k ) | 2 ,
with some unknown function C ( k ) . We show a plot of θ u ( η , k ) for small k and justify the above approximation in Appendix C.
From the above argument and using Equations (40) and (46), the power spectrum of the tensor perturbations is approximated as
P t ( η ¯ , k ¯ ) = k ¯ 3 | h | 2 C ( k ) | c ¯ 1 | 2 k ¯ 3 | H 0 ( 2 ) ( k ¯ η ¯ ) 576 ( 999 218 21 ) 60025 c h τ 6 u 11 i π u 12 | 2 ,
where h = a 0 3 21 4 u and k ¯ k a E H I = e 50 k k * is a dimensionless momentum6. Since C ( k ) cannot be determined, we normalize the power spectrum as P t ( η ¯ , k ¯ ) P t ( 0.9 , k ¯ ) . Plots of these functions with k ¯ = e 60 , e 50 and e 40 are shown in Figure A2. Naively, the horizon exit occurs at k = a H , but the corrections should modify this relation. Thus, we define the spectral index n t by evaluating the power spectrum at η ¯ = 3.0 , where the scale factor behaves like a radiation-dominated era. A function of log P t ( 3.0 , k ¯ ) P t ( 0.9 , k ¯ ) is plotted in Figure A3. If we fit the curve, we obtain
log P t ( 3.0 , k ¯ ) P t ( 0.9 , k ¯ ) = 5.0 0.00083 log k k * 0.000017 log k k * 2 3.4 × 10 7 log k k * 3 .
From this expression, we see that the tensor spectral index becomes n t = 0.00083 and its runnings are quite small. Thus, if the power spectrum is independent of k at the beginning of the inflation, it is almost scale-independent after the inflation. Note that if we evaluate n t at η ¯ = 2.0 , it becomes closer to zero.
Figure A2. Plots of log P t ( η ¯ , k ¯ ) P t ( 0.9 , k ¯ ) with k ¯ = e 60 (blue), e 50 (yellow) and e 40 (green).
Figure A2. Plots of log P t ( η ¯ , k ¯ ) P t ( 0.9 , k ¯ ) with k ¯ = e 60 (blue), e 50 (yellow) and e 40 (green).
Universe 07 00425 g0a2
Figure A3. Plots of log P t ( 3.0 , k ¯ ) P t ( 0.9 , k ¯ ) as a function of log k k * .
Figure A3. Plots of log P t ( 3.0 , k ¯ ) P t ( 0.9 , k ¯ ) as a function of log k k * .
Universe 07 00425 g0a3
Next, by applying the similar argument for Equation (A15), it is possible to relate the scalar perturbation U defined in the past infinity to U = U 0 + Γ U 1 in the future infinity. U 0 and U 1 are given by Equations (A5) and (A7), respectively.
| U ( η , k ) | 2 C ˜ ( k ) | U ( η , k ) | 2 .
Then, by using Equations (A5) and (A7), the power spectrum of the scalar perturbations is expressed as
P s ( η ¯ , k ¯ ) = k ¯ 3 | ψ | 2 C ˜ ( k ) | c ˜ 1 | 2 k ¯ 3 | 1 + 1 τ 6 H 0 ( 2 ) ( k η ) 288 ( 20727 4523 21 ) 300125 c h τ 6 U 11 i ( 41 9 21 ) π 10 U 12 | 2 ,
where ψ = H a 0 21 + 1 4 U . Since the dimensional parameter C ˜ ( k ) cannot be determined, we normalize the power spectrum as P s ( η ¯ , k ¯ ) P s ( 0.9 , k ¯ ) . Plots of these functions with k ¯ = e 60 , e 50 and e 40 are shown in Figure A4. In addition, a function of log P s ( 3.0 , k ¯ ) P s ( 0.9 , k ¯ ) is plotted in Figure A5. If we fit the data, we obtain
log P s ( 3.0 , k ¯ ) P s ( 0.9 , k ¯ ) = 13.4 0.00080 log k k * 0.000016 log k k * 2 3.3 × 10 7 log k k * 3 .
From this expression, we see that the spectral index becomes n s = 0.99920 and its runnings are quite small. Again, if the power spectrum is independent of k at the beginning of the inflation, it is almost scale-independent after the inflation. Note that if we evaluate n s at η ¯ = 2.0 , it becomes closer to one.
Figure A4. Plots of log P s ( η ¯ , k ¯ ) P s ( 0.9 , k ¯ ) with k ¯ = e 60 (blue), e 50 (yellow) and e 40 (green).
Figure A4. Plots of log P s ( η ¯ , k ¯ ) P s ( 0.9 , k ¯ ) with k ¯ = e 60 (blue), e 50 (yellow) and e 40 (green).
Universe 07 00425 g0a4
Figure A5. Plots of log P s ( 3.0 , k ¯ ) P s ( 0.9 , k ¯ ) as a function of log k k * .
Figure A5. Plots of log P s ( 3.0 , k ¯ ) P s ( 0.9 , k ¯ ) as a function of log k k * .
Universe 07 00425 g0a5
The tensor-to-scalar ratio r is obtained by the power spectra of scalar and tensor perturbations. If we define r at k ¯ = e 50 ( k = k * ), we obtain
r = P t ( 3.0 , e 50 ) P s ( 3.0 , e 50 ) = P t ( 3.0 , e 50 ) P t ( 0.9 , e 50 ) P s ( 0.9 , e 50 ) P s ( 3.0 , e 50 ) P t ( 0.9 , e 50 ) P s ( 0.9 , e 50 ) = e 8.4 P t ( 0.9 , e 50 ) P s ( 0.9 , e 50 ) .
Here, we used log P t ( 3.0 , e 50 ) P t ( 0.9 , e 50 ) = 5.0 and log P s ( 3.0 , e 50 ) P s ( 0.9 , e 50 ) = 13.4 . Since r < 0.06 , we need that the power spectrum of the tensor perturbation is much smaller than that of the scalar perturbation at the beginning of the inflation [8]. The mechanism of this process is not clear so far, and the knowledge of the behaviors of perturbations around η ¯ 0 should be quite important. In this section, we assumed that power spectra P t ( 0.9 , k ¯ ) and P s ( 0.9 , k ¯ ) are scale-invariant, but it will be interesting if we can restrict these values from the observation.

Appendix C. Plots of θu and θU

θ u is the argument of u = u 0 + Γ u 1 . u 0 and u 1 are given by Equations (39) and (43), respectively. We also prescribe the rescaling of (A8) and (A9). Then, the plots of θ u ( η ¯ , k ¯ ) θ u ( 0.9 , k ¯ ) with k ¯ = e 60 , e 50 and e 40 are shown in Figure A6. From these plots, we see that θ u is almost time-independent for e 60 < k ¯ < e 40 .
Figure A6. Plots of θ u ( η ¯ , k ¯ ) θ u ( 0.9 , k ¯ ) [rad] with k ¯ = e 60 (blue), e 50 (yellow) and e 40 (green).
Figure A6. Plots of θ u ( η ¯ , k ¯ ) θ u ( 0.9 , k ¯ ) [rad] with k ¯ = e 60 (blue), e 50 (yellow) and e 40 (green).
Universe 07 00425 g0a6
θ U is the argument of U = U 0 + Γ U 1 . U 0 and U 1 are given by Equations (A5) and (A7), respectively. We also prescribe the rescaling of (A8) and (A9). Then, the plots of θ U ( η ¯ , k ¯ ) θ U ( 0.9 , k ¯ ) with k ¯ = e 60 , e 50 and e 40 are shown in Figure A7. From these plots, we see that, except around η ¯ = 1.5 , θ U is almost time-independent for e 60 < k ¯ < e 40 .
Figure A7. Plots of θ U ( η ¯ , k ¯ ) θ U ( 0.9 , k ¯ ) [rad] with k ¯ = e 60 (blue), e 50 (yellow) and e 40 (green).
Figure A7. Plots of θ U ( η ¯ , k ¯ ) θ U ( 0.9 , k ¯ ) [rad] with k ¯ = e 60 (blue), e 50 (yellow) and e 40 (green).
Universe 07 00425 g0a7

Notes

1
There are many works and reviews in this area. For example, see [9,10,11,12,13,14,15,16].
2
It is possible to make the Riemann tensor to a Weyl tensor by using field redefinition ambiguity. A more general case is discussed in [35].
3
The action contains linear term on 3-form field A which is proportional to
e ϵ 11 f 1 f 11 A f 1 f 2 f 3 ( R a b f 4 f 5 R a b f 6 f 7 R c d f 8 f 9 R c d f 10 f 11 4 R a b f 4 f 5 R b c f 6 f 7 R c d f 8 f 9 R d a f 10 f 11 ) .
This gives a potential source term for the 3-form field. However, if we choose the ansatz (7), nonzero components of the Riemann tensor are written by R a b a b (without contraction) and the above source term becomes zero.
4
For example, N e = 69 corresponds to τ I 0.34 ( η ¯ 0.78 ) [36]. Higher derivative terms which are not considered in this paper will also affect the explicit value of τ I .
5
Some thoughts on this point are given in the appendix in [36].
6
A sum of physical degrees of freedom α = + , × are included in c ¯ 1 . As discussed in the Section 2, we choose a ( τ 0 ) H ( τ 0 ) a E H I = e 55 and define a pivot scale as k * e 5 a ( τ 0 ) H ( τ 0 ) = e 50 a E H I .

References

  1. Starobinsky, A.A. A New Type of Isotropic Cosmological Models Without Singularity. Phys. Lett. 1980, 91B, 99. [Google Scholar] [CrossRef]
  2. Guth, A.H. The Inflationary Universe: A Possible Solution to the Horizon and Flatness Problems. Phys. Rev. D 1981, 23, 347. [Google Scholar] [CrossRef] [Green Version]
  3. Kazanas, D. Dynamics of the Universe and Spontaneous Symmetry Breaking. Astrophys. J. 1980, 241, L59. [Google Scholar] [CrossRef]
  4. Sato, K. First Order Phase Transition of a Vacuum and Expansion of the Universe. Mon. Not. Roy. Astron. Soc. 1981, 195, 467. [Google Scholar] [CrossRef]
  5. Linde, A.D. Chaotic Inflation. Phys. Lett. 1983, 129B, 177. [Google Scholar] [CrossRef]
  6. Ade, P.A.; Aghanim, N.; Ahmed, Z.; Aikin, R.W.; Alexander, K.D.; Arnaud, M.; Aumont, J.; Baccigalupi, C.B.; Ay, A.J.; Barkats, D.; et al. Joint Analysis of BICEP2/Keck Array and Planck Data. Phys. Rev. Lett. 2015, 114, 101301. [Google Scholar] [CrossRef] [Green Version]
  7. Ade, P.A.R.; Ahmed, Z.; Aikin, R.W.; Alexander, K.D.; Barkats, D.; Benton, S.J.; Bischoff, C.A.; Bock, J.J.; Bowens-Rubin, R.; Brevik, J.A.; et al. Improved Constraints on Cosmology and Foregrounds from BICEP2 and Keck Array Cosmic Microwave Background Data with Inclusion of 95 GHz Band. Phys. Rev. Lett. 2016, 116, 031302. [Google Scholar] [CrossRef] [PubMed]
  8. Akrami, Y.; Arroja, F.; Ashdown, M.; Aumont, J.; Baccigalupi, C.; Ballardini, M.; Banday, A.J.; Barreiro, R.B.; Bartolo, N.; Basak, S.; et al. Planck 2018 results. X. Constraints on inflation. Astron. Astrophys. 2020, 641, A10. [Google Scholar]
  9. Kolb, E.W.; Turner, M.S. The Early Universe. Front. Phys. 1990, 69, 1. [Google Scholar]
  10. Liddle, A.R.; Lyth, D.H. Cosmological Inflation and Large Scale Structure; Cambridge University Press: Cambridge, UK, 2000. [Google Scholar]
  11. Dodelson, S. Modern Cosmology; Academic Press: Amsterdam, The Netherlands, 2003. [Google Scholar]
  12. Weinberg, S. Cosmology; Oxford University Press: Oxford, UK, 2008. [Google Scholar]
  13. Linde, A. Inflationary Cosmology after Planck 2013. arXiv 2013, arXiv:1402.0526. [Google Scholar]
  14. Baumann, D.; McAllister, L. Inflation and String Theory; Cambridge University Press: Cambridge, UK, 2015. [Google Scholar]
  15. Felice, A.D.; Tsujikawa, S. f(R) theories. Living Rev. Rel. 2010, 13, 3. [Google Scholar]
  16. Nojiri, S.; Odintsov, S.D.; Oikonomou, V.K. Modified Gravity Theories on a Nutshell: Inflation, Bounce and Late-time Evolution. Phys. Rept. 2017, 692, 1. [Google Scholar] [CrossRef] [Green Version]
  17. Freese, K.; Frieman, J.A.; Olinto, A.V. Natural inflation with pseudo - Nambu-Goldstone bosons. Phys. Rev. Lett. 1990, 65, 3233. [Google Scholar] [CrossRef] [PubMed]
  18. Linde, A.D. Hybrid inflation. Phys. Rev. D 1994, 49, 748. [Google Scholar] [CrossRef] [PubMed]
  19. Boubekeur, L.; Lyth, D.H. Hilltop inflation. J. Cosmol. Astropart. Phys. 2005, 0507, 010. [Google Scholar] [CrossRef] [Green Version]
  20. Bezrukov, F.L.; Shaposhnikov, M. The Standard Model Higgs boson as the inflaton. Phys. Lett. B 2008, 659, 703. [Google Scholar] [CrossRef] [Green Version]
  21. Gibbons, G.W. Aspects Of Supergravity Theories. In Supersymmetry, Supergravity, and Related Topics; World Scientific Publishing: Singapore, 1985. [Google Scholar]
  22. Maldacena, J.M.; Nunez, C. Supergravity description of field theories on curved manifolds and a no go theorem. Int. J. Mod. Phys. A 2001, 16, 822. [Google Scholar] [CrossRef]
  23. Gibbons, G.W. Thoughts on tachyon cosmology. Class. Quant. Grav. 2003, 20, S321. [Google Scholar] [CrossRef]
  24. Obied, G.; Ooguri, H.; Spodyneiko, L.; Vafa, C. De Sitter Space and the Swampland. arXiv 2018, arXiv:1806.08362. [Google Scholar]
  25. Garg, S.K.; Krishnan, C. Bounds on Slow Roll and the de Sitter Swampland. J. High Energy Phys. 2019, 11, 075. [Google Scholar] [CrossRef] [Green Version]
  26. Ooguri, H.; Palti, E.; Shiu, G.; Vafa, C. Distance and de Sitter Conjectures on the Swampland. Phys. Lett. B 2019, 788, 180–184. [Google Scholar] [CrossRef]
  27. Kachru, S.; Kallosh, R.; Linde, A.D.; Trivedi, S.P. De Sitter vacua in string theory. Phys. Rev. D 2003, 68, 046005. [Google Scholar] [CrossRef] [Green Version]
  28. Blumenhagen, R.; Brinkmann, M.; Klaewer, D.; Makridou, A.; Schlechter, L. KKLT and the Swampland Conjectures. arXiv 2020, arXiv:2004.09285. [Google Scholar]
  29. Ishihara, H. Cosmological Solutions of the Extended Einstein Gravity With the Gauss-Bonnet Term. Phys. Lett. B 1986, 179, 217. [Google Scholar] [CrossRef]
  30. Ohta, N. Accelerating cosmologies and inflation from M/superstring theories. Int. J. Mod. Phys. A 2005, 20, 1. [Google Scholar] [CrossRef] [Green Version]
  31. Maeda, K.I.; Ohta, N. Inflation from M-theory with fourth-order corrections and large extra dimensions. Phys. Lett. B 2004, 597, 400. [Google Scholar] [CrossRef] [Green Version]
  32. Maeda, K.i.; Ohta, N. Inflation from superstring /M theory compactification with higher order corrections. I. Phys. Rev. D 2005, 71, 063520. [Google Scholar] [CrossRef] [Green Version]
  33. Akune, K.; Maeda, K.i.; Ohta, N. Inflation from superstring/M-theory compactification with higher order corrections. II. Case of quartic Weyl terms. Phys. Rev. D 2006, 73, 103506. [Google Scholar] [CrossRef] [Green Version]
  34. Hiraga, K.; Hyakutake, Y. Inflationary Cosmology via Quantum Corrections in M-theory. Prog. Theor. Exp. Phys. 2018, 2018, 113B03. [Google Scholar] [CrossRef]
  35. Hiraga, K.; Hyakutake, Y. Review of inflationary cosmology via quantum corrections in M-theory. Int. J. Mod. Phys. A 2019, 34, 1930016. [Google Scholar] [CrossRef]
  36. Hiraga, K.; Hyakutake, Y. Scalar Cosmological Perturbations in M-theory with Higher Derivative Corrections. Prog. Theor. Exp. Phys. 2020, 2020, 113B03. [Google Scholar] [CrossRef]
  37. Gross, D.J.; Witten, E. Superstring Modifications of Einstein’s Equations. Nucl. Phys. B 1986, 277, 1. [Google Scholar] [CrossRef]
  38. Gross, D.J.; Sloan, J.H. The Quartic Effective Action for the Heterotic String. Nucl. Phys. B 1987, 291, 41. [Google Scholar] [CrossRef]
  39. Grisaru, M.T.; Ven, A.E.M.v.; Zanon, D. Four Loop beta Function for the N=1 and N=2 Supersymmetric Nonlinear Sigma Model in Two-Dimensions. Phys. Lett. B 1986, 173, 423. [Google Scholar] [CrossRef]
  40. Grisaru, M.T.; Zanon, D. σ Model Superstring Corrections to the Einstein-hilbert Action. Phys. Lett. B 1986, 177, 347. [Google Scholar] [CrossRef]
  41. Tseytlin, A.A. R4 terms in 11 dimensions and conformal anomaly of (2,0) theory. Nucl. Phys. B 2000, 584, 233. [Google Scholar] [CrossRef] [Green Version]
  42. Becker, K.; Becker, M. Supersymmetry breaking, M theory and fluxes. J. High Energy Phys. 2001, 0107, 038. [Google Scholar] [CrossRef] [Green Version]
  43. De Roo, M.; Suelmann, H.; Wiedemann, A. Supersymmetric R**4 actions in ten-dimensions. Phys. Lett. B 1992, 280, 39. [Google Scholar] [CrossRef] [Green Version]
  44. De Roo, M.; Suelmann, H.; Wiedemann, A. The Supersymmetric effective action of the heterotic string in ten-dimensions. Nucl. Phys. B 1993, 405, 326. [Google Scholar] [CrossRef] [Green Version]
  45. Suelmann, H. Supersymmetry and String Effective Actions. Ph.D. Thesis, Groningen University, Groningen, The Netherlands, 1994. [Google Scholar]
  46. Peeters, K.; Vanhove, P.; Westerberg, A. Supersymmetric higher derivative actions in ten-dimensions and eleven-dimensions, the associated superalgebras and their formulation in superspace. Class. Quant. Grav. 2001, 18, 843. [Google Scholar] [CrossRef] [Green Version]
  47. Hyakutake, Y.; Ogushi, S. R4 corrections to eleven dimensional supergravity via supersymmetry. Phys. Rev. D 2006, 74, 025022. [Google Scholar] [CrossRef] [Green Version]
  48. Hyakutake, Y.; Ogushi, S. Higher derivative corrections to eleven dimensional supergravity via local supersymmetry. J. High Energy Phys. 2006, 0602, 068. [Google Scholar] [CrossRef] [Green Version]
  49. Hyakutake, Y. Toward the Determination of R3F2 Terms in M-theory. Prog. Theor. Phys. 2007, 118, 109. [Google Scholar] [CrossRef] [Green Version]
  50. Hyakutake, Y. Quantum near-horizon geometry of a black 0-brane. Prog. Theor. Exp. Phys. 2014, 2014, 033B04. [Google Scholar] [CrossRef] [Green Version]
  51. Weinberg, S. Effective Field Theory for Inflation. Phys. Rev. D 2008, 77, 123541. [Google Scholar] [CrossRef] [Green Version]
  52. Hwang, J.C.; Noh, H. Cosmological perturbations in generalized gravity theories. Phys. Rev. D 1996, 54, 1460. [Google Scholar] [CrossRef]
  53. Felice, A.D.; Suyama, T. Vacuum structure for scalar cosmological perturbations in Modified Gravity Models. J. Cosmol. Astropart. Phys. 2009, 0906, 034. [Google Scholar] [CrossRef]
  54. Mathematica Codes Are Located. Available online: http://yoshi.sci.ibaraki.ac.jp/arXiv20210316.html (accessed on 7 November 2021).
  55. Hohm, O.; Zwiebach, B. Duality invariant cosmology to all orders in α’. Phys. Rev. D 2019, 100, 126011. [Google Scholar] [CrossRef] [Green Version]
  56. Brandhuber, A.; Gomis, J.; Gubser, S.S.; Gukov, S. Gauge theory at large N and new G(2) holonomy metrics. Nucl. Phys. B 2001, 611, 179. [Google Scholar] [CrossRef] [Green Version]
  57. Brandle, M.; Lukas, A.; Ovrut, B.A. Heterotic M theory cosmology in four-dimensions and five-dimensions. Phys. Rev. D 2001, 63, 026003. [Google Scholar] [CrossRef] [Green Version]
  58. Antoniadis, I.; Cotsakis, S. Infinity in string cosmology: A review through open problems. Int. J. Mod. Phys. D 2016, 26, 1730009. [Google Scholar] [CrossRef] [Green Version]
  59. Nojiri, S.; Odintsov, S.D. Where new gravitational physics comes from: M-Theory? Phys. Lett. B 2003, 576, 5. [Google Scholar] [CrossRef] [Green Version]
  60. Carroll, S.M.; Duvvuri, V.; Trodden, M.; Turner, M.S. Is cosmic speed—up due to new gravitational physics? Phys. Rev. D 2004, 70, 043528. [Google Scholar] [CrossRef] [Green Version]
  61. Myrzakulov, R.; Sebastiani, L.; Vagnozzi, S. Inflation in f(R,ϕ) -theories and mimetic gravity scenario. Eur. Phys. J. C 2015, 75, 444. [Google Scholar] [CrossRef] [Green Version]
  62. Sebastiani, L.; Vagnozzi, S.; Myrzakulov, R. Mimetic gravity: A review of recent developments and applications to cosmology and astrophysics. Adv. High Energy Phys. 2017, 2017, 3156915. [Google Scholar] [CrossRef]
Figure 1. Plots of 1 + 21 10 log τ (blue), 1 + 21 60 c h Γ H I 6 1 τ 6 (orange) and 1 + 21 60 c h ( Γ H I 6 ) 2 1 τ 12 (green). Parameters are chosen as Γ H I 6 = 0.014 and c h = c h Γ H I 6 .
Figure 1. Plots of 1 + 21 10 log τ (blue), 1 + 21 60 c h Γ H I 6 1 τ 6 (orange) and 1 + 21 60 c h ( Γ H I 6 ) 2 1 τ 12 (green). Parameters are chosen as Γ H I 6 = 0.014 and c h = c h Γ H I 6 .
Universe 07 00425 g001
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Hiraga, K.; Hyakutake, Y. Cosmological Perturbations via Quantum Corrections in M-Theory. Universe 2021, 7, 425. https://0-doi-org.brum.beds.ac.uk/10.3390/universe7110425

AMA Style

Hiraga K, Hyakutake Y. Cosmological Perturbations via Quantum Corrections in M-Theory. Universe. 2021; 7(11):425. https://0-doi-org.brum.beds.ac.uk/10.3390/universe7110425

Chicago/Turabian Style

Hiraga, Kazuho, and Yoshifumi Hyakutake. 2021. "Cosmological Perturbations via Quantum Corrections in M-Theory" Universe 7, no. 11: 425. https://0-doi-org.brum.beds.ac.uk/10.3390/universe7110425

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop