Abstract
We derive the power spectrum of primordial quantum fluctuations in an inflationary universe for curvature parameter \({\mathcal {K}}=1\). This is achieved through a Born–Oppenheimer type of approximation scheme from the Wheeler–DeWitt equation of canonical quantum gravity using gauge-invariant variables. Compared to the flat model, the closed model exhibits a deficit of power at large scales.
Similar content being viewed by others
1 Introduction
Observations seem to indicate that our Universe is spatially flat [1]. For this reason, one mostly uses the flat case \({\mathcal {K}}=0\) in Friedmann models for the present and the early Universe. This does, of course, not imply that our Universe is spatially exactly flat; it only implies that potential curvature terms seem irrelevant in the available class of observations. Still, there is currently a discussion about the correct interpretation of the data, and indications were found that speak in favour of a spatially closed Universe; see, for example, [2,3,4]. This is one of the reasons why we undertake here the task of calculating the power spectrum for a spherical (\({\mathcal {K}}=1\))-model. A closed model might explain the observed low amplitude of quadrupole and octopole modes [1], which remains unexplained in the standard \(\varLambda \mathrm{CDM}\) model of cosmology. In addition, an inflationary phase has been invoked to solve the flatness problem; that is, even for general curvature parameter \({\mathcal {K}}\) the dynamics of the inflation drives the universe toward flatness, by which we mean a negligible term \(\varOmega _{\mathcal {K}} =-{\mathcal {K}}/a^2H^2\). From this viewpoint, therefore, considering a universe with curvature (in our case \({\mathcal {K}}=1\)) is in the context of inflation more natural than just assuming exact flatness (\({\mathcal {K}}=0\)).
Another reason for our investigation is to have the formalism ready for future applications in quantum gravity. The closed case was, of course, addressed before,Footnote 1 but it is, to our knowledge, the first time that a full analysis from a fundamental (Schrödinger) picture point of view is performed using gauge-invariant variables.
Studying a closed universe is not restricted to the spherical case. One could also envisage a three-dimensional torus universe or a topologically more involved model. To be definite, we shall discuss here only the case of a three-dimensional sphere.
In our paper, we employ cosmic perturbation theory for an inflationary universe; see, for example, [9, 10], and [11]. Since in such models the perturbations have their origin in primordial quantum fluctuations, we find it natural to employ the Schrödinger picture for their formulation. For the flat case, such a description was used, for example, in [10, 12], and [13, 14]. As for the initial state of these quantum fluctuations, we make the standard assumption that they be in their adiabatic vacuum state, an assumption that may eventually be justified from a fundamental principle such as the (quantum) Weyl curvature hypothesis [15]. The extension to excited states is straightforward [16].
Our paper is organized as follows. In Sect.2, we review the cosmic perturbation theory for a spherical universe. We use gauge-invariant variables, in particular a generalization of the Mukhanov–Sasaki variable known from the flat case. Curvature perturbations are introduced in Sect. 3. In Sect. 4, we discuss the quantization of the modes in the slow-roll approximation using a Born–Oppenheimer type of scheme for the Wheeler–DeWitt equation of canonical quantum gravity. As initial condition we choose the modes to be in their adiabatic ground state. Section 5 is then devoted to the calculation of the power spectrum. We compare the result with the power spectrum for the flat case and show that there is less power for large modes. We end with a brief conclusion and add some appendices displaying details of the perturbation theory for the closed case.
2 Hamiltonian formulation for an inflationary Friedmann universe
The construction of a Hamiltonian formulation for general relativity starts with the foliation of spacetime into three-dimensional spacelike Cauchy hypersurfaces parameterized by a time function t (see e.g. [17]). The line element takes the form
where N is the lapse function, \(N_i\) is the shift vector, and \(h_{ij}\) is the three-metric.
The total action, which is a sum of the Einstein–Hilbert action and the action of a scalar field, will be rewritten using (1). Afterwards, taking variations of the action with respect to the lapse function and shift vector leads to the Hamiltonian and momentum constraints. For the Friedmann–Lemaître–Robertson–Walker (FLRW) metric, see (2) below, the momentum constraints are trivially satisfied.
2.1 Background Hamiltonian
To describe an inflationary universe, we consider the FLRW metric coupled to a scalar field \(\phi \) with a quadratic potential \({\mathcal {V}}(\phi )=\frac{1}{2}m^2\phi ^2\). For a closed spherical universe, the line element reads
where \(d\varOmega _3^2\) denotes the metric of the unit three-sphere. We note that the scale factor a, the Friedmann time t (and thus s) have dimensions of a length, while the remaining variables are dimensionless.
Redefining the scalar field as \(\phi \rightarrow \phi /\sqrt{2} \pi \), the action for the inflationary universe takes the form
where the spatial integration was performed over the three-sphere.
Let us introduce the variable \(m_{\mathrm{P}}:=\sqrt{\frac{3\pi }{2 G}}\), which in the quantum theory will become the (redefined) Planck mass after setting \(\hbar =1\). The background Hamiltonian can then be written in the form
where
We have introduced here the dimensionless quantity \(\alpha \) by \(\alpha =\ln {a/a_0}\), where \(a_0\) is a reference scale that we shall not write out explicitly (one should keep in mind that it occurs together with powers of \(e^{\alpha }\)). The field equations are
Note that in order to write the above expressions in terms of conformal time \(\eta \), which is defined by \(d\eta /d t=a^{-1}\), one simply has to set \(N=a(t)/a_0\). Also, the derivative with respect to \(\eta \) will be denoted by a prime. Conformal time will be used below.
Solutions of the classical background equations for closed models and quadratic scalar potential were discussed, for example, in [19] and [18]. In the inflationary regime, there are no significant differences to the flat case. The main difference lies in the presence of a recollapse in the closed case. This will be different for the perturbations, which are the main subject of our paper, and to which we now turn.
2.2 Perturbation Hamiltonian
Including perturbations to the metric as well as to the scalar field (see details in Appendix A.2), the total Hamiltonian can be given as a sum of the background and perturbation parts [20],
The perturbation part \({H_{|2}^n}\) is composed of scalar, vector, and tensor parts,
where only the scalar part \({^S{H_{|2}^n}}\) is of interest here; therefore, the vector and tensor parts will be ignored. The first-order Hamiltonians
are the linearized Hamiltonian constraint and the scalar and vector parts of the linearized momentum constraints, respectively. Explicit expressions can be found in [20]; the structure of the perturbation scheme is summarized in Sec. II of [13].
2.2.1 Construction of gauge-invariant variables
The Hamiltonian (9) obtained by Halliwell and Hawking in [20] is not gauge-invariant. A gauge-invariant form was obtained by Langlois in [26]. Applying a method developed for isolating physical degrees of freedom for Hamiltonian systems with a set of first-class constraints [28], he obtained gauge-invariant variables and presented the scalar part \({^s{H_{|2}^n}}\) of the perturbation Hamiltonian in gauge-invariant form. This gauge-invariant variable reads
where \(a_n\), \(b_n\), and \(f_n\) are the expansion coefficients defined in Appendix B, following [20]. The gauge-invariant perturbation Hamiltonian assumes the form
where
and
For the large-wavelength limit, i.e. \(n\rightarrow \infty \), the perturbation Hamiltonian (13) reduces to
which corresponds to the result for the flat case [26]. We note the occurrence of momenta \(p_{\alpha }\) in the denominator, which can present problems for the general quantization, but remains unproblematic for the semiclassical approximaton scheme employed below.
Using the Hamilton equations
We obtain the equations of motion for the gauge-invariant variable \(Q_n\),
where
2.2.2 Canonical transformation
We now perform a canonical transformation \((Q_n,P_n)\rightarrow (\tilde{v}_n,\tilde{p}_n)\) to get a more compact form for the perturbation Hamiltonian (13). Moreover, we will use the conformal time \(\eta \) in the following calculations. We use the generating function \(F_3(P_n,\tilde{v}_n,\eta )\), which is a function of the old momenta and the new coordinates.
Using the relations
the new Hamiltonian in terms of \((\tilde{v}_n,\tilde{p}_n)\) is obtained via
We now apply this transformation scheme to our particular case. We relate the new variables \((\tilde{v}_n,\tilde{p}_n)\) and the old variables \((Q_n,P_n)\) by
where a dimensionless Hubble parameter \({\mathcal {H}}\) is defined by \({\mathcal {H}}=a^\prime /a\). Let us call the new variable \(\tilde{v}_n\) a generalized Mukhanov–Sasaki variable. From this, we obtain the generating function
Substituting the time derivative of the generating function into (23), we find the Hamiltonian in terms of the generalized Mukhanov–Sasaki variable \(\tilde{v}_n\) and its conjugate momentum \(\tilde{p}_n\),
where
In the large-wavelength limit we have \(\tilde{v}_n=a Q_n\), and the perturbation Hamiltonian (16) assumes the form (27) with
This corresponds to the well-known result for the flat case [12].
3 Curvature perturbations
Let us introduce now a gauge-invariant variable \(\zeta _{\mathrm{BST}}\)Footnote 2 which can be written in terms of a gauge-invariant metric potential \(\varPhi \) defined below in (34), as follows:Footnote 3
where w is the barotropic index in the equation of state \(p=w\rho \). We emphasize that \(\zeta _{\mathrm{BST}}\) is a conserved quantity during the evolution for super-Hubble modes (\(k\gg {\mathcal {H}}\)). Due to this property, it plays an important role in relating the power spectrum of scalar perturbations at the end of inflation to the temperature anisotropies of the CMB.
In the literature, another parameter \(\zeta \) is usually taken as a conserved quantity; here, however, it does not serve this purpose because it is conserved only for the spatially flat case. The two parameters are related asFootnote 4
and for the super-Hubble modes we have \(\zeta \simeq \zeta _{\mathrm{BST}}\).
Let us express now \(\zeta _{\mathrm{BST}}\) in terms of \(\tilde{v}_n\). This will allow us later to obtain the power spectrum of \(\zeta _{\mathrm{BST}}\) from the spectrum of \(\tilde{v}_n\). First, we expand \(\zeta _{\mathrm{BST}}\) and \(\varPhi \) in scalar harmonics as \(X=\sum _{n,l,m}6^{-1/2}X_n Q^n_{lm}\).Footnote 5 Next, using relations (12), (14) and (5), we write the explicit form of \(\tilde{v}_n\) defined by (24),
Since \(\zeta _{\mathrm{BST}}\) is expressed in terms of the potential \(\varPhi \), we have to relate functions \(a_n\), \(b_n\) and \(f_n\) to it as well. For that purpose, let us recall the line element for a FLRW metric plus scalar perturbations as described by functions A, B, C, E (see e.g. [9]),
where \(\gamma _{ij}\) is the metric on the unit three-sphere.
Combining the above-mentioned functions, one can construct the following two gauge-independent quantities,
which are known as Bardeen potentials. Using the relations given in Appendix A.2, where the perturbations of the metric are expanded in scalar harmonics, the line element of the metric plus scalar perturbations can be written as
Directly comparing (33) and (36) we can relate the functions A, B, C, E with the functions \(a_n\), \(b_n\), \(g_n\), \(k_n\).
For convenience, we will proceed in longitudinal gauge (\(B=E=0\)), for which the line element reads
Given the fact that the two Bardeen potentials (34) and (35) are equal [9, 30], the following relations are obtained,
and
We can then express the function \(f_n\) in terms of \(\varPhi _n\) by (107); see Appendix A.3 for details.
Finally, substituting (108) into (32), we arrive at
Thus, \(\zeta _{\mathrm{BST},n}\) and \(\tilde{v}_n\) are related by
for which the following relation has been used,
This equivalence can be shown easily by simply substituting the barotropic index for the scalar field and using the background Eqs. (6) and (7) to simplify it further. The corresponding relation between \(\zeta \) and the Mukhanov–Sasaki variable for the flat case is given and discussed in [31].
4 Quantization
We intend to calculate the power spectrum for the slow-roll approximation for which the following conditions are satisfied:
The slow-roll parameters \(\epsilon \) and \(\delta \) are defined by
The background Eqs. (6) and (7) when written in terms of slow-roll parameters take the form
The conformal time can be expressed in terms of slow-roll parameters by
where the notation \( {\mathcal {O}}(2)\) is used to represent quadratic terms in \(\varepsilon \) and \(\delta \).
Applying the canonical quantization scheme, that is, taking the Hamiltonian constraint (9) as an operator acting on the wave functional, leads to the Wheeler–DeWitt equation [17].Footnote 6 Making a product ansatz for the full wavefunctional based on the assumption that perturbation modes do not interact with each other, we obtain for each mode the equation
where we have rescaled \(\phi \) to a dimensionless variable,
In the Wheeler–DeWitt equation we have ignored the kinetic term \(\partial ^2/\partial \phi ^2\), which is the quantum analogue of neglecting the classical kinetic term as expressed by (43).
Note that a consistent quantization can be performed by using real variables which, however, is not the case for the variable \(\tilde{v}_n\). Following, for example, [12], we could construct a set of real variables for \(\tilde{v}_n\) and \(\tilde{p}_n\). But since such a redefinition would not affect our calculations, we will not introduce them explicitly and treat instead our variables as real variables.
In terms of the slow-roll parameters, the frequency term \(\omega _n^2(\eta )\) assumes the form
where terms containing \({\mathcal {K}}/{\mathcal {H}}^2\) have been ignored. This approximation is valid as the comoving Hubble horizon \({\mathcal {H}}^{-1}\) decreases strongly during inflation.
In the large-wavelength limit, we recover the result for the flat case, see e.g. [11],
where we have introduced
In the following, we shall apply a Born–Oppenheimer type of approximation scheme to the Wheeler–DeWitt equation. This allows us to recover first the dynamics of the classical background, then the Schrödinger equation for the perturbations propagating on the classical background and, finally, quantum-gravitational corrections to the Schrödinger equation. The discussion of the corrections terms will be relegated to a future paper. Details for the general framework can be found, for example, in [17, 32, 33]. The formalism is flexible enough to be applicable to more general theories such as conformal gravity [34].
We start by making a WKB-like ansatz,
and implement the Born–Oppenheimer approximation scheme by expanding \(S(\alpha , \phi ,\tilde{v}_n)\) in terms of powers of the Planck mass,
We then insert (53) into the Wheeler–DeWitt Eq. (48) and derive equations at consecutive orders of \(m_{\mathrm{P}}\).
At order \(m_{\mathrm{P}}^2\), the Hamilton–Jacobi equation for the classical background is obtained, which takes the form
its solution reads
At the next order, \(m_{\mathrm{P}}^0\), we get an equation for \(S_1\), which can be rewritten as a Schrödinger equation for wave functions \(\psi _n^{(0)}\),
where the perturbation Hamiltonian operator is
we have also introduced the conformal time parameter \(\eta \) according to
where we have fixed the sign of \(S_0\) such that the time direction coincides with the expansion of the universe.
For the wave functions \(\psi _n^{(0)}\) we make the following Gaussian ansatz:
where \(A_n^{(0)}(\eta )\) is fixed by the normalization of the wave function. Substituting this ansatz into the Schrödinger Eq. (57), we obtain
To solve this equation, we use the following substitution:
which leads to a second-order differential equation, the solution of which is given by
Here,
and
with
The functions \(y_n(\eta )\) are normalized according to
We now choose for sub-Hubble modes the adiabatic vacuum state. In this state, the modes behave locally as in the Minkowski vacuum. It is defined by the asymptotic condition
We thus have to set in (63)
At the next order, \(m_{\mathrm{P}}^2\), we obtain correction terms for the Schrödinger Eqs. (57). They will give tiny corrections to the power spectrum, similarly to the corrections for the flat case calculated in [13, 14, 41]. The discussion of these correction terms is beyond the scope of this paper and will be presented elsewhere.
5 Power spectrum
5.1 General expression
To derive the power spectrum, we have to calculate the two-point correlation function of \(\tilde{v}_n\). It can be shown that (see e.g. [12])
where the wave function \(\psi \) is defined by \(\psi =\prod _n\psi _n^{(0)}\). We also have the following relation [22],
leading to the following expression for the power spectrum:
Using (62) and (63), we obtain in the super-Hubble limit \((-n\eta \rightarrow 0)\) for the real part of \(\varOmega _n^{(0)}(\eta )\) the expression
Substituting this into (72) and applying further approximations using the smallness of the slow-roll parameters, we arrive at
where
and \(\gamma _E\simeq 0.5772\) is the Euler–Mascheroni constant.
In the large-wavelength limit, we recover the result for the flat case [14],
where
see also [11], p. 498. Furthermore, we need to calculate the power spectrum for the parameter \(\zeta _{\mathrm{BST}}\). In the super-Hubble limit, the second component in (41) can be ignored. Hence, for the slow-roll regime, the relation (41) reads as follows:
where we have introduced a redefined Planck mass \(M_{\mathrm{P}}:=1/\sqrt{8\pi G}\). With this, the power spectrum of \(\zeta _{\mathrm{BST}}\) takes the form
Let us emphasize here that the power spectrum has no trivial scale (or wavelength) dependence. As we show in the next section, particularly for the large scales where we see the suppression of the spectrum, it does not behave as a power-law.
Here again, considering the large-wavelength limit, we obtain
which is the result for the flat case [14]. (The tensor modes, which are not discussed here, can be obtained by setting \(\gamma =\epsilon \).)
In Fig. 1, the power spectra of curvature perturbations are plotted as a function of the comoving wavelength for the flat and the closed model. One can see that, compared to the flat case, there is a significant suppression of power at large scales for the closed case. One can also recognize from the plot the natural cutoff at small k due to the finite radius of this universe.
Let us recall that the curvature radius of a closed model of the universe is given by \(R_{\mathrm{c}}=\frac{c}{H_0} \frac{1}{\sqrt{|\varOmega _k|}}\) and that the following relation holds: \(n^2={\mathcal {K}}(1+R_{\mathrm{c}}^2 k_{\mathrm{phys}}^2)\), where \(k_{\mathrm{phys}}\) is the physical wavelength [35]. We can make the following rough estimate. Taking the Hubble parameter to be 67.4 km/(s Mpc) and \(\varOmega _k\approx -0.037\) [1], one can estimate to have suppression at a scale of approximately 3.6 Gpc and a cut at around 52 Gpc. An exact calculation can be made only by numerical means.
5.2 Power-law approximation
The power spectrum for a single-field slow-roll model of inflation can be approximated by a power-law spectrum [11], which is in agreement with observations [1],
where \(k_*\) is the pivot scale, \(A_s\equiv {\mathcal {P}}_{\zeta }(k_*)\) is called a scalar power spectrum amplitude, \(n_s\) is the spectral index, and \(\alpha _s\) is the running of the scalar index. This approximation is based on the assumption that there is only a weak scale dependence which can be quantified by the spectral index.
From (79), it is obvious that there is an explicit scale dependence that enters due to the curvature of the universe. We will thus not be able to approximate this power spectrum by a power-law at large scales where the scale dependence is prominent. Indeed, calculating the spectral index for \({\mathcal {K}}=1\) case, we arrive at
We note that in the large-wavelength limit the result for the flat model is obtained [11],
We thus explicitly recognize that for large scales, where the main deviation from the flat model occurs, the power-law approximation is not applicable. The next step in comparing our results with observations would consist in determining the angular power spectrum using numerical tools; see, for example, [36] or the Numerical Cosmology library—NumCosmo [37], in order to fit the theoretical result to the Planck data. This is relegated to future work.
6 Conclusion
The question whether our Universe is open or closed is among the most important open questions in cosmology. Observations indicate that it is spatially flat, but this is not without controversy [2, 39]. There are also convincing conceptual and mathematical arguments that suggest that space cannot be infinitely large [38]. These points have motivated us to have a fresh look at a closed universe and to calculate the power spectrum for scalar modes in a slow-roll model of inflation from a fundamental point of view. This means that we started from a theory of quantum gravity (quantum geometrodynamics) and derived the power spectrum using a Born–Oppenheimer type of scheme for the wave function. We made use of gauge-invariant variables throughout. Our main result is the analytical expression (79) for the power spectrum of the curvature perturbations. It describes a suppression of power at large scales. The angular power spectrum can only be calculated by sophisticated numerical methods, which is beyond the scope of this paper. By employing a closed model, one might be able to explain the observed lack of power for large scales [1].
It must be emphasized that other, unrelated, models can also lead to a suppression of power at large scales. One example is fast-roll inflation for an open (\({\mathcal {K}}=-1\)) model [40]. There, the suppression can be traced directly to a period of fast roll during inflation. The treatment in our paper relies on slow-roll inflationary models, which are the most common ones. A generalization to fast-roll models is beyond the scope of our paper.
In our paper, we have not considered the power spectrum for the tensorial modes. In order to achieve this, one should start with the tensorial part of the perturbation Hamiltonian, bring it into a gauge-invariant form and follow the steps performed here for the scalar perturbations. For the flat case, there is a simple relation between scalar and tensor perturbations, but obtaining an analogous relation for the closed case (which is anticipated to be more complicated compared to the flat case), can be realized only after a significant amount of calculations. For this reason, the calculation of the tensorial power spectrum is beyond the scope of this paper and relegated to future work.
Our formalism is suitable to calculating genuine quantum-gravitational effects. This can be achieved by proceeding with the Born–Oppenheimer approximation to higher orders in the inverse Planck-mass squared. In the flat case, the power spectrum was calculated along these lines in [13, 14, 16, 41]. So far, these terms are too tiny to be observable, but they constitute concrete predictions from a concrete approach to quantum gravity and may become relevant for future applications. The calculations of such terms for closed models is left for future investigation.
Data Availability
Data sharing not applicable—no new data generated.
Notes
Named after Bardeen, Steinhardt, and Turner [29].
See, for example, [11], Eq. (5.156).
The purpose of having \(6^{-1/2}\) in the expansion is to cancel out this extra multiplier from the formulas later on which arises due to the expansion (98).
The formalism of canonical quantization is equivalent to the formalism of path integration; see, for example, Sec. 5.3.1 in [17].
We perform the calculations by setting the units equal to one, and recover them in the final results only.
References
Aghanim, N., et al.: (Planck Collaboration), Astron. Astrophys. 641, A6 (2020). Erratum: ibid. 652, C4 (2021)
Valentino, E.D., Melichiori, A., Silk, J.: Nat. Astron. 4, 196–203 (2020)
Handley, W.: Phys. Rev. D 103, L041301 (2021)
Thavanesan, A., Werth, D., Handley, W.: Phys. Rev. D 103, 023519 (2021)
Starobinsky, A.A.: Contribution to Cosmion 94 (In memory of Sakharov and Zeldovich), arXiv:9603075 [astro-ph]
Asgari, A.A., Abbassi, A.H.: Eur. Phys. J. C 75, 544 (2015)
Bonga, B., Gupt, B., Yokomizo, N.: JCAP 05, 021 (2017)
Ratra, B.: Phys. Rev. D 96, 103534 (2017)
Mukhanov, V.F., Feldman, H.A., Brandenberger, R.H.: Phys. Rep. 215, 203–333 (1992)
Padmanabhan, T.: Structure Formation in the Universe. Cambridge University Press, Cambridge (1993)
Peter, P., Uzan, J.-P.: Primordial Cosmology. Oxford University Press, Oxford (2009)
Martin, J., Vennin, V., Peter, P.: Phys. Rev. D 86, 103524 (2012)
Brizuela, D., Kiefer, C., Krämer, M.: Phys. Rev. D 93, 104035 (2016)
Brizuela, D., Kiefer, C., Krämer, M.: Phys. Rev. D 94, 123527 (2016)
Kiefer, C.: On a Quantum Weyl Tensor Hypothesis, arXiv:2111.02137 [gr-qc]
Brizuela, D., Kiefer, C., Krämer, M., Robles-Pérez, S.: Phys. Rev. D 99, 104007 (2019)
Kiefer, C.: Quantum Gravity, International Series of Monographs on Physics, 3rd edn. Oxford University Press, Oxford (2012)
Hawking, S.W., Wu, Z.C.: Phys. Lett. 151B, 15–20 (1985)
Belinsky, V.A., Grishchuk, L.P., Khalatnikov, I.M., Zeldovich, Y.B.: Phys. Lett. 155B, 232–236 (1985)
Halliwell, J.J., Hawking, S.W.: Phys. Rev. D 31, 1777–1791 (1985)
Lifshitz, E., Khalatnikov, I.: Adv. Phys. 12, 185–249 (1963)
Lehoucq, R., Weeks, J., Uzan, J.-P., Gausmann, E., Luminet, J.-P.: Class. Quant. Grav. 19, 4683–4708 (2002)
Riazuelo, A., Uzan, J.-P., Lehoucq, R., Weeks, J.: Phys. Rev. D 69, 103514 (2004)
Abbott, L.F., Schaefer, R.K.: Astrophys. J. 308, 546–562 (1986)
Gerlach, U.H., Sengupta, U.K.: Phys. Rev. D 18, 1773–1784 (1978)
Langlois, D.: Class. Quantum Grav. 11, 389–407 (1994)
Bardeen, J.M.: Phys. Rev. D 22, 1882–1905 (1980)
Goldberg, J., Newman, E., Rovelli, C.: J. Math. Phys. 32, 2739 (1991)
Bardeen, J.M., Steinhardt, P.J., Turner, M.S.: Phys. Rev. D 28, 679–693 (1983)
Martin, J., Schwarz, D.J.: Phys. Rev. D 57, 3302–3316 (1998)
Garriga, J., Mukhanov, V.F.: Phys. Lett. B 458, 219–225 (1999)
Singh, T.P., Padmanabhan, T.: Ann. Phys. (N.Y.) 196, 296–344 (1989)
Kiefer, C., Padmanabhan, T., Singh, T.P.: Class. Quantum Grav. 8, L185–L192 (1991)
Kiefer, C., Nikolić, B.: Gravity and the Quantum, pp. 127–143. Springer, Cham (2017)
Efstathiou, G.: Mon. Not. R. Astron. Soc. 343, L95–L98 (2003)
Lesgourgues, J., Tram, T.: JCAP 09, 032 (2014)
Vitenti, S.D.P., Penna-Lima, M.: Numerical Cosmology – NumCosmo, Astrophysics Source Code Library (2014). arXiv:1408.013, URL https://github.com/NumCosmo/NumCosmo
Ellis, G.F.R., Meissner, K.A., Nicolai, H.: Nat. Phys. 14, 770–772 (2018)
Vagnozzi, S., Loeb, A., Moresco, M.: Astrophys. J. 908, 84 (2021)
White, J., Zhang, Y., Sasaki, M.: Phys. Rev. D 90, 083517 (2014)
Chataignier, L., Krämer, M.: Phys. Rev. D 103, 066005 (2021)
Acknowledgements
We thank Patrick Peter for helpful discussions and comments.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Invited contribution to a Topical Collection for the GRG journal in memory of Prof. T. Padmanabhan.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article belongs to a Topical Collection: In Memory of Professor T. Padmanabhan.
Appendices
A Harmonics on the three-sphere
We give here a brief introduction to scalar, vector and tensor harmonics on the three-sphere following [20, 23, 24], and [25].
We write the FLRW metric as
where \(\chi \) is the comoving radial distance, the infinitesimal solid angle \(d \varOmega ^2=d \theta ^2+ \sin ^2{\theta } d \phi ^2 \) and
1.1 A.1 Spherical harmonics
Scalar harmonics are solutions of a generalized Helmholtz equation. In a D-dimensional maximally symmetric space the Helmholtz equation is written as
where \(D^2=D^i D_i\), and \(D_i\) is a spatial covariant derivative. The comoving wavenumber k and the eigenmode n are related by \(k^2=n^2-{\mathcal {K}}\), with
The general solution \(Q^{(n)}(\chi , \theta ,\phi )\) can be written as a sum of scalar spherical harmonics \(Q^{n}_{lm}(\chi , \theta ,\phi )\), which can be decomposed into radial and angular parts,
where \(Y_{l m} (\theta , \phi )\) are the spherical harmonics. The radial eigenfunctions \( \varPi ^{n}_{ l}(\chi )\) are solutions of the radial harmonic equation and are given by
with the coefficients
We use the normalization condition
where
1.2 A.2 Vector harmonics
The vector harmonics \((S_i)^n_{l m}(\chi ,\theta , \phi )\) are vector solutions of the generalized Helmholtz equation
where \(n^2=k^2+2{\mathcal {K}}\) and \(S_i^{(n)}\) are transverse, i.e. the following condition is satisfied:
Here again, the general solution can be written as a sum of \((S_i)^n_{l m}(\chi ,\theta ,\phi )\) vector harmonics.
We use the following normalization condition
using a parity transformation, the \((S_i)^n_{l m}\)-harmonics can be decomposed into linearly independent even, \((S_i^e)^n_{l m}\), and odd, \((S_i^o)^n_{l m}\), components (see the detailed explanation in [25]).
The complete orthogonal set is composed of three vector harmonics: \((S_i^e)^n_{l m}\), \((S_i^o)^n_{l m}\), and \((P_i)^n_{l m}\). The last one can be constructed via the scalar harmonics \(Q^n_{l m}\),
which satisfies
The normalization condition is
1.3 A.3 Tensor harmonics
The tensor harmonics \((G_{i j})_{l m}^n(\chi , \theta ,\phi )\) are tensor solutions of the generalized Helmholtz equation
where \(n^2=k^2+3{\mathcal {K}}\).
The tensor harmonics are transverse and traceless; therefore,
They can again be classified as even \((G_{i j}^e)^{n}_{l m}\) and odd \((G^o_{i j})^{n}_{l m}\) linearly independent harmonics.
The normalization condition is
The complete orthogonal set is composed of six tensor harmonics: \(Q_{i j}\), \(P_{i j}\), \(S_{i j}^o\), \(S_{i j}^e\), \(G_{i j}^0\), and \(G_{i j}^e\). The first two, i.e., \(Q_{i j}\) and \(P_{i j}\), are constructed using the scalar harmonics and \(S_{i j}^o\), \(S_{i j}^e\) are constructed via odd \((S_i^o)^n_{l m}\), and even \((S_i^e)^n_{l m}\) transverse vector harmonics (see [20]). Note that for \({\mathcal {K}}=+1\), the mode values \(n=1\) and \(n=2\) should not be included because expanding functions in harmonics on the three-sphere as certain tensor harmonics is impossible for those values [21].
B Perturbations of the metric and the scalar field
Following [20], the perturbations of the line element (1) are considered. For convenience, we use the same notation as in [20]. The perturbation of the three-metric \( \epsilon _{ij}\) when expanded in harmonics reads
The lapse function N, shift vector \(N_i\), and scalar field \(\varPhi _{\mathrm{f}}\) are expanded in terms of harmonics as
The coefficients \(a_{nlm}\), \(b_{nlm}\), \(c^o_{nlm}\), \(c^e_{nlm}\), \(d^o_{nlm}\), \(d^e_{nlm}\) are functions of time. For brevity, as a label we write n instead of labels \(\{n,l,m\}\).
C The gauge-invariant variable in terms of the Bardeen potential
The goal of this section is to express the functions \(f_n\) in terms of the Bardeen potential \(\varPhi \). This is necessary to ultimately obtain an expression for the gauge-invariant variable \(\tilde{v}_n\) in terms of the Bardeen potential. To accomplish this task, we need to use the field equations obtained by the variation of the action with respect to the perturbations. We write the total action of the inflationary FLRW universe as [20]
where \(S_0\) and \(S_n\) are, respectively, the unperturbed (or background) and perturbation actions. The perturbation action can be written as
where \(L_g^n\) is the Lagrangian for the gravitational part and \(L_m^n\) respectively for the matter part; see the explicit expressions of these Lagrangians in Appendix B of [20].
Working in longitudinal gauge and using (38) and (39), the perturbation LagrangiansFootnote 7 are written in terms of the Bardeen potential,
and
Variation of the action \(S_n\) with respect to \(a_n\), \(f_n\), and \(g_n\) leads to two field equations and a constraint, which when written in terms of Bardeen potential are
and the constraint
Using the above set of equations, the function \(f_n\) can be given in terms of Bardeen potential,
Substituting this into (12), and using the background Eqs. (6), (7), (8) to simplify it further, the following expression is obtained for the gauge-invariant variable \(Q_n\):
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kiefer, C., Vardanyan, T. Power spectrum for perturbations in an inflationary model for a closed universe. Gen Relativ Gravit 54, 30 (2022). https://doi.org/10.1007/s10714-022-02918-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-022-02918-3