Abstract
We consider the five-dimensional Einstein–Gauss–Bonnet gravity, which can be obtained by means of an appropriate choice of coefficients in the five-dimensional Lanczos–Lovelock gravity theory. The Einstein–Gauss–Bonnet field equations for the Friedmann–Lemaître–Robertson–Walker metric are found as well as some of their solutions. The hyperbolicity of the corresponding equations of motion is discussed. A four-dimensional gravity action is obtained from the Gauss–Bonnet gravity using the Randall–Sundrum compactification procedure and then it is studied the implications of the compactification procedure in the cosmological solutions. The same procedure is used to obtain gravity in four dimensions from the five-dimensional AdS–Chern–Simons gravity to then study some cosmological solutions. Some aspects of the construction of the four-dimensional action gravity, as well as a brief review of Lovelock gravity in 5D are considered in an Appendix.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The 5-dimensional action for Lanczos–Lovelock gravity theory [1,2,3,4], is a polynomial of degree 2 in curvature, which can be written in terms of the Riemann curvature \(R^{ab}\) and the vielbein \(e^{a}\) as
where (i) \(\alpha ,\beta \) are arbitrary constants, (ii) \(e^{a}=e_{\mu }^{a}\,{\mathrm {d}}x^{\mu },\) \(\omega ^{ab}=\omega _{\mu }^{\ ab}\,{\mathrm {d}}x^{\mu }\) are the fünfbein fields and spin connection, respectively, (iii) \(R^{ab}={\mathrm {d}}\omega ^{ab}+\omega _{\ c}^{a}\omega ^{cb}\) is the 2-form curvature and \(\kappa _{5}=12\pi ^{2}G_{5}\), where \(G_{5}\) is the 5-dimensional Newton constant.
Comparing the action (1), when \(\alpha =0\), with the Einstein–Hilbert–Cartan action with cosmological constant in 5D
we can see that the action (1) matches action (2) only if \( \beta =-\Lambda _{5D}/15.\) With this choice of constant \(\beta \), the action (1) takes the form of Einstein–Gauss–Bonnet (EGB) action with cosmological constant
In presence of matter, the action is given by
where \(S_{M}^{(5D)}=S_{M}^{(5D)}(e^{a},\omega ^{ab})\) is the matter action whose variation leads to
where \(\delta L_{M}^{(5D)}/\delta e^{a}\) and \(\delta L_{M}^{(5D)}/\delta \omega ^{ab}\) are related to the anholonomic forms (in an orthonormal frame) of the energy–momentum tensor \(T_{ab}\) and the spin tensor \(S_{ab}^{c}\) respectively. This means that the variation of the action (4) leads to the following field equations
where \(T^{a}={\mathrm {D}}e^{a}={\mathrm {d}}e^{a}+\omega _{\ b}^{a}e^{b}\) is the 2-form torsion. When the spin tensor is zero, one solution is the zero torsion (\(T^{a}={\mathrm {D}}e^{a}=0\)).
Summarizing, we have considered the 5-dimensional Lanczos–Lovelock gravity, which for an appropriate choice of coefficients leads to the EGB gravity action. This work is organized as follows: In Sect. 2 we find the EGB gravitational field equations for the Friedmann–Lemaître–Robertson–Walker (FLRW) metric. A discussion about the hyperbolicity of the metric ends this section. Section 3 is devoted to find a 4-dimensional gravity action from the Gauss–Bonnet gravity using the Randall–Sundrum compactification procedure and then we study the implications in the cosmological solutions of the compactification procedure. In Sect. 4 we use the same procedure to obtain gravity in 4D from the 5-dimensional AdS–Chern–Simons gravity and then we study some of its cosmological implications. Finally Concluding Remarks are presented in Sect. 5. An Appendix is included, where is considered a brief gravity review of Lovelock gravity in 5D, as well as some aspects of the construction of the 4-dimensional action gravity.
2 Cosmology in Einstein–Gauss–Bonnet gravity without cosmological constant
Consider the action (4) without cosmological constant, which means that the lagrangian is given by
with
being \(\alpha =\left| \alpha \right| sgn\left( \alpha \right) \) a constant and \(L_{M}^{(5D)}\) represents a matter lagrangian. Later we show two cosmological scenarios associated with \(sgn\left( \alpha \right) \).
The variation of the action \(S^{(5D)}\) with respect to the vielbein \(e^{a}\) and the spin connection \(\omega ^{ab}\) leads to the equations
If the matter under consideration has no spin, then
Since
where \(T_{\mu \nu }\) is the energy–momentum tensor, we have that Eq. (10) takes the form
2.1 Field equations and cosmology
We consider a flat FLRW metric
where a(t) is the cosmic scale factor and \(i,j=1,2,3,4\). After some calculations, the 2-form curvature turns out to be
where \(p,q=1,2,3,4,\) \(H={\dot{a}}/a\) is the Hubble parameter, \({\dot{H}}=dH/dt= \ddot{a}/a-H^{2}\) and \(q=-\left( 1+{\dot{H}}/H^{2}\right) \) is the deceleration parameter. From here, it is direct to see that when \(q<0\) we have \(\ddot{a}>0\) and if \(q>0\) then \(\ddot{a}<0.\)
We further consider an energy–momentum tensor corresponding to a perfect fluid
After replacing (16) and (18) in (14) we obtain the Friedmann constraint and the conservation equation, respectively,
where we have introduced the redshift parameter defined as \(1+z=a_{0}/a\) and \(a_{0}=a\left( t_{0}\right) \). Choosing \(\kappa _{5}=1\) unities and using the barotropic equation of state \(p=\omega \rho \), we write the Eqs. (19) and (20) in the form
such that
The last case shows an upper bound for \(\rho \), that is, \(\rho \left( z_{s}\right) =3/\left| \alpha \right| \) and so
being
Replacing (26) into (24), we write
so that we have a solution for \(H_{\pm }\left( z\right) \) if \(z\le z_{s}\). According to (26) and (27) and considering \(\omega =0\) (cold dark matter), we have
If \(-1<z_{s}<0\), we have \(\rho \left( z\rightarrow z_{s}\right) \rightarrow 3/\left| \alpha \right| \Longrightarrow H_{\pm }\left( z\rightarrow z_{s}\right) \rightarrow \sqrt{1/\left| \alpha \right| }\), i.e., a future de Sitter evolution, unlike in 4D-\(\Lambda CDM\) where a de Sitter evolution is reached when \(z\rightarrow -1\).
If \(z_{s}>0\), we have an unrealistic situation given that \(\rho \left( z\rightarrow z_{s}\right) \rightarrow 3/\left| \alpha \right| \Longrightarrow H_{\pm }\left( z\rightarrow z_{s}\right) \rightarrow \sqrt{ 1/\left| \alpha \right| }\), that is, a past de Sitter evolution.
If \(z_{s}=0\), we write
so that, \(H_{\pm }^{2}\left( 0\right) =\rho \left( 0\right) /3\) and \( H_{+}^{2}\left( z\rightarrow -1\right) \rightarrow 2\rho \left( 0\right) /3\). Recalling that in the present discussion, see (9), there is not cosmological constant (thinking in a de Sitter evolution).
In the absence of \(\rho \), from (24) we obtain a self-accelerating solution given by
Substituting (22) into (23), it is straightforward to show that
typical behavior of cosmic components not associated with dark energy.
We end this section by highlighting what is shown in (24), that is, an upper bound for the present energy density \(\rho \left( z_{s}\right) =3/\left| \alpha \right| \longleftrightarrow H_{\pm }\left( z_{s}\right) =\sqrt{1/\left| \alpha \right| }\). For comparison, in 4D, the \(\Lambda CDM\) model tell us that \(\rho \left( z\rightarrow -1\right) \rightarrow 0\Longrightarrow H\left( z\rightarrow -1\right) \rightarrow \sqrt{\Lambda /3}\). We also highlight what is shown in (30), a self-accelerating solution.
The deceleration parameter can be written as
that after using (21)–(22), it is straightforward to obtain
where we have defined
and \(f\left( z\right) <1\). The Friedmann constraint tells us that, regardless of \(sgn\left( \alpha \right) \), the following inequality must be satisfied
so that
Considering \(\omega \ge 0\) (fluids that by themselves generate deceleration, \(q=1+2\omega >0\)), it is evident that \(2\left( 1+\omega \right) >1\), so that the inequality given in (36) is satisfied.
In good accounts, it is perfectly possible to satisfy \(q\left( z\right) <0\) (36) so that we have consistency with the so-called Lorentzian metric condition. In fact, according to Ref. [5], (see also [6,7,8,9,10,11]), “a necessary condition for hyperbolic EOM is that effective metric be Lorentzian” and that the conditions for said metric to be Lorentzian is that
where now \(\lambda _{2}=\alpha /4l_{p}^{3}\) (see Appendix), as can be seen from equations (3.11) and (3.12) of the aforementioned Ref. [5]. In this same reference it is established that if this equality is not fulfilled, then the aforementioned metric will not be Lorentzian. This means that if \(\lambda _{2}>0\) and \(4\lambda _{2}qH^{2}>1\), we have a non-Lorentzian metric. However, if \(q<0\) the metric is Lorentzian.
3 Gravity in 4D from Einstein–Gauss–Bonnet gravity
The existence of new dimensions may have non trivial effects in our understanding of the cosmology of the early Universe, among many other issues. By convention, it has always been assumed that such extra dimensions should be compactified to manifolds of small radii with sizes of the order of the Planck length.
It was only in the last years of the twentieth century when people started to ask the question of how large could these extra dimensions be without getting into conflict with observations. In this context, of particular interest are the Randall and Sundrum models [12, 13] for warped backgrounds, with compact or even infinite extra dimensions. Randall and Sundrum proposed that the metric of the spacetime is given by
i.e. a 4-dimensional metric multiplied by a “warp factor” which is a rapidly changing function of an additional dimension, k is a scale of the order of Planck scale, \(x^{\mu }\) are coordinates for the familiar 4-dimensions, while \(0\le \phi \le \pi \) is the coordinate for an extra dimension, which is a finite interval whose size is set by \(r_{c}\), known as “compactification radius”. Randall and Sundrum showed that this metric is a solution to Einstein’s equations.
3.1 4-dimensional gravity from the Einstein–Gauss–Bonnet gravity
From Eq. (3) we can see that the Lagrangian contains the Gauss–Bonnet term, the Einstein–Hilbert term and a cosmological term. Following the procedure given in the Appendix, we find that the 5-dimensional action gravity compactified to 4-dimensions is given by
where
and
Since \(f(\phi )\) is arbitrary and continuously differentiable function, and since we are working with a cylindrical variety, we find that (40), (41) lead to
and
were we have choose \(f(\phi )=\ln \left( \sin \phi \right) \).
Note that in the action (39) there is a quadratic term in the curvature given by \(A{\tilde{\varepsilon }}_{mnpq}{\tilde{R}}^{mn}{\tilde{R}}^{pq}\), which represents the 4-dimensional Gauss–Bonnet term. This term is a topological one, so that it does not contribute to the dynamics and it can be eliminated. This means that compactification avoids the problems cited in Ref. [14] (see also [15,16,17,18]). Equation \(\left( 1\right) \) of this reference agrees with the Lagrangian (39), except for the cosmological term, when \(\lambda _{1}=\alpha \), \(\lambda _{2}/\lambda _{1}=-4\) and \(\lambda _{3}/\lambda _{1}=1.\)
Taking into account that the action (39) should lead to the four-dimensional Einstein–Hilbert–Cartan action, namely
where \(\kappa _{4}=8\pi G,\) it is direct to see that this occurs when
On the other hand we know that if \(G_{D}\) is Newton’s constant in D-dimensions and if G is the usual Newton’s constant, then
where \(l_{C}\) is the length of the extra compact dimension [19]. In our particular case, \(D=5\) and then \(l_{C}=2\pi r_{c}\). This means that \( G_{5}=2\pi r_{c}G\). So that (47) takes the form
Now, from (43), (45) and (48), it is direct to see that
and then
Introducing (48) into (39) we obtain the action (46) where now \(\Lambda _{4D}\) is given by (50).
In tensor language the two terms in (39) can be written as
where \({\tilde{g}}\) is the determinant of the 4-dimensional metric tensor \( {\tilde{g}}_{\mu \nu }\) and \({\tilde{R}}\) is the Ricci scalar. Thus, the action (39) is now written as
whose field equations are
and \(\Lambda _{4D}=\Lambda _{4D}\left( r_{c},\Lambda _{5D}\right) \).
According to (40), we can say little or nothing about the presence of \(r_{c}\). The only thing we can “speculate” is to say that \(\Lambda _{4D}\) originates from the compactification radius and the 5-dimensional cosmological constant , and nothing else.
4 Cosmology in AdS Chern–Simons gravity compactified to 4-dimensions
Consider again the EGB action (3). Choosing \(\alpha =l^{2}\) and \( \Lambda =-3/l^{2}\) in (3), we see that the EGB action takes the form
where it is straightforward to see that this particular choice for \(\alpha \) and \(\Lambda \) in the EGB action leads to the 5-dimensional Chern–Simons gravity action for the AdS algebra, with l interpreted as the radius of the universe.
4.1 4-dimensional gravity from the AdS Chern–Simons gravity
From Eq. (54) we can see that the Lagrangian contains the Gauss–Bonnet term \(L_{GB}\), the Einstein–Hilbert term \(L_{EH}\) and a cosmological term \(L_{\Lambda }\). Replacing (72), (73) and (74) in (54) we find
where
and
It is direct to see that the action (55) lead to the Einstein–Hilbert–Cartan action when
From (56), (57) and (58) we have
and then
The introduction of (58) into the action (55) leads to the action (46) where now \(\Lambda _{4D}\) is given by (60).
Introducing (51) in (55) we obtain
whose field equations are
In order to have a feeling on \(r_{c}\), from (60) we obtain \( r_{c}\approx \Lambda _{4D}^{-1/2}\). Using \(\Lambda _{4D}\sim 10^{-52}[m^{-2}]\sim 3*10^{-122}[l_{Planck}^{-2}]\) we have \(r_{c}\sim 10^{61}[l_{Planck}]\approx 10^{26}[m]\), we recalling that \(a_{0}\approx 10^{26}[m]\) (current causal size of the universe).
According to (58), we obtain \(r_{c}/l\approx 0.34\), i.e., \(l\approx \) \(3r_{c}\). So, interpreting l as the size of the universe appears to be reasonable.
5 Concluding remarks
We have considered the 5-dimensional Lanczos–Lovelock gravity, which for an appropriate choice of coefficients gives the EGB gravity action. It is found the EGB gravitational field equations for the FLRW metric together with some cosmological solutions. And if the deceleration parameter is negative, the so-called Lorentzian metric condition is satisfied (see [5]).
The main purpose of this article was to make the 5-dimensional EGB gravity theory, as well as the 5-dimensional AdS–Chern–Simons, consistent with the idea of a 4-dimensional spacetime, through the replacement of a Randall–Sundrum type metric in the Lagrangian (3), and then to get an interpretation of the 4-dimensional effective cosmological constant.
We have evaluated a 5-dimensional Randall–Sundrum type metric in the Lagrangians (3) and (54), and then we derive an action for a 4-dimensional spacetime embedded in the 5-dimensional spacetime. We have obtained the actions in tensorial language and then we find the corresponding Friedmann equations for homogeneous and isotropic cosmology.
The quadratic term in the curvature of the action (39) given by \(A {\tilde{\varepsilon }}_{mnpq}{\tilde{R}}^{mn}{\tilde{R}}^{pq}\) represents the 4-dimensional Gauss–Bonnet term. This term is a topological one, so that it does not contribute to the dynamics. This means that compactification avoids the problems cited in Ref. [14]. Equation (1) of this last reference agrees with the Lagrangian (39), except for the cosmological term, when \(\lambda _{1}=\alpha \), \(\lambda _{2}/\lambda _{1}=-4 \) and \(\lambda _{3}/\lambda _{1}=1.\)
Finally, it is important to note that the equations of motion corresponding both the action (9) and the action (39) are second order, so they do not experience instabilities (see details in Ref. [14]).
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This article is theoretical in nature. Obviously, future observational information will be key to discriminate between the different theoretical models.]
References
D. Lovelock, J. Math. Phys. 12, 3 (1971)
B. Zumino, Phys. Rep. 137, 1 (1986)
R. Troncoso, J. Zanelli, Class. Quantum Gravity 17, 4451 (2000)
J. Crisóstomo, R. Troncoso, J. Zanelli, Phys. Rev. D 62, 084013 (2000)
R. Brustein, Y. Sherf, Causality violations in Lovelock theories. Phys. Rev. D 97, 084019 (2018)
Y. Aharonov, A. Komar, L. Susskind, Superluminal behavior, causality, and instability. Phys. Rev. 182, 1400 (1969)
C. Armendariz-Picon, E.A. Lim, Haloes of k-essence. J. Cosmol. Astropart. Phys. 08, 007 (2005)
A. Adams, N. Arkani-Hamed, S. Dubovsky, A. Nicolis, R. Rattazzi, J. High Energy Phys. 10, 014 (2006)
J.P. Bruneton, Phys. Rev. D 75, 085013 (2007)
G. Ellis, R. Maartens, M.A.H. MacCallum, Gen. Relativ. Gravit. 39, 1651 (2007)
E. Babichev, V. Mukhanov, A. Vikman, J. High Energy Phys. 02, 101 (2008)
L. Randall, R. Sundrum, Phys. Rev. Lett. 83(17), 3370 (1999)
L. Randall, R. Sundrum, Phys. Rev. Lett. 83(17), 4690 (1999)
Y. Sherf, Phys. Scr. 94, 085005 (2019)
K. Benakli, S. Chapman, L. Darmé, Y. Oz, Phys. Rev. D 94, 084026 (2016)
K. Izumi, Phys. Rev. D 90, 044037 (2014)
G. Papallo, H.S. Reall, Phys. Rev. D 96, 044019 (2017)
T.J. Chen, M. Fasiello, E.A. Lim, A.J. Tolley, J. Cosmol. Astropart. Phys. JCAP02, 042 (2013)
B. Zwiebach, A First Course in String Theory (Cambridge University Press, Cambridge, 2003)
R. Díaz, F. Gómez, M. Pinilla, P. Salgado, Eur. Phys. J. C 80, 546 (2020)
F. Gómez, S. Lepe, P. Salgado, Eur. Phys. J. C 81, 9 (2021)
Acknowledgements
This work was supported in part by FONDECYT Grants no. 1180681 and no. 1211219 from the Government of Chile. One of the authors (VCO) was supported by Universidad de Concepción, Chile.
Author information
Authors and Affiliations
Corresponding author
Appendix: A briefly review the of derivation of the action (39) and of Lovelock gravity in 5D
Appendix: A briefly review the of derivation of the action (39) and of Lovelock gravity in 5D
1.1 Gravity in 4D from EGB gravity
In order to find (39), we will first consider the following 5-dimensional Randall–Sundrum type metric [20]
where \(e^{2f(\phi )}\) is the so-called “warp factor”, and \(r_{c}\) is the so-called “compactification radius” of the extra dimension, which is associated with the coordinate \(0\leqslant \phi <2\pi \). The symbol \(\sim \) denotes 4-dimensional quantities. We will use the usual notation [20, 21]
which allows us to write the vielbein
where \({\tilde{e}}^{m}\) is the vierbein.
From the vanishing torsion condition
we obtain the connections
where \(\Gamma _{\text { }\alpha \beta }^{\gamma }\) is the Christoffel symbol.
From Eqs. (65) and (66) we find
and the 4-dimensional vanishing torsion condition
where \(f^{\prime }=\partial f/\partial \phi \), \(\tilde{ \omega }_{\text { }n}^{m}=\omega _{\text { }n}^{m}\) and \( {\tilde{d}}=d{\tilde{x}}^{\mu }\partial /\partial {\tilde{x}}^{\mu }\).
From (68), (69) and the Cartan’s second structural equation, \(R^{ab}=d\omega ^{ab}+\omega _{\text { }c}^{a}\omega ^{cb}\), we obtain the components of the 2-form curvature [20, 21]
where the 4-dimensional 2-form curvature is given by
These results allow us to obtain an action for a 4-dimensional gravity from the 5-dimensional EGB action with cosmological constant, whose action is given by (3).
From (3) we can see that the Lagrangian contains the Gauss–Bonnet term \(L_{GB}\), the Einstein–Hilbert term \(L_{EH}\) and a cosmological term \( L_{\Lambda }\). In fact, replacing (65) and (70) in \(L_{GB},\) \( L_{EH},\) \(L_{\Lambda }\) and using \({\tilde{\varepsilon }}_{mnpq}=\varepsilon _{mnpq4}\), we obtain
and
1.2 Lovelock gravity in 5D
En las ecuaciones \(\left( 2.1\right) \) y \(\left( 2.2\right) \) de la Ref. [5] the coefficients \(\lambda _{k}\) in the Lagrangian \(\left( 2.2\right) \) have dimensions of [length]\(^{\left( 2p-D\right) }\) and \(\delta _{j_{1}\cdot \cdot \cdot j_{2p}}^{i_{1}\cdot \cdot \cdot i_{2p}}\) are the so-called generalized Kronecker delta. Usually such Lagrangian density is normalized in units of Planck length \(\lambda _{1}=\left( 16\pi G\right) ^{-1}=l_{P}^{2-D}.\) In 5-dimensions, the Lagrangian is given by the first three terms of the sum
where \(\lambda _{1}=\left( 16\pi G\right) ^{-1}=l_{P}^{-3}\).
In the language of differential forms, the five-dimensional Lovelock Lagrangian can be written as [4]
where \(\alpha _{1}\), \(\alpha _{2}\) and \(\alpha _{3}\) are arbitrary constants.
Taking into account that \(\varepsilon _{abcde}e^{a}e^{b}e^{c}e^{d}e^{e}=-120 \sqrt{-g}d^{5}x\), \(\varepsilon _{abcde}R^{ab}e^{c}e^{d}e^{e}=-6\sqrt{-g} Rd^{5}x\), \(\varepsilon _{abcde}R^{ab}R^{cd}e^{e}=-\sqrt{-g}\left( R^{2}-4R_{ij}R^{ij}+R_{ijkl}R^{ijkl}\right) d^{5}x\), we have that (76) can be written in the form
The comparison of (75) with (77) we see that \(\lambda _{0}=120\alpha _{0}\), \(\lambda _{1}=6\alpha _{1}\), \(\lambda _{2}=\alpha _{2}\).
On the another hand, from (3) it is direct to see
where \(\alpha =2\alpha _{2}/3\alpha _{1}\), \(\beta =2\alpha _{0}/3\alpha _{1}\), which indicates that the coefficients \(\alpha \) and \(\lambda _{2}\) are proportional. Indeed
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/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Gómez, F., Lepe, S., Orozco, V.C. et al. Cosmology in 5D and 4D Einstein–Gauss–Bonnet gravity. Eur. Phys. J. C 82, 906 (2022). https://doi.org/10.1140/epjc/s10052-022-10877-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10877-x