Abstract
No! We show that the field equations of Einstein–Gauss–Bonnet theory defined in generic \(D>4\) dimensions split into two parts one of which always remains higher dimensional, and hence the theory does not have a non-trivial limit to \(D=4\). Therefore, the recently introduced four-dimensional, novel, Einstein–Gauss–Bonnet theory does not admit an intrinsically four-dimensional definition, in terms of metric only, as such it does not exist in four dimensions. The solutions (the spacetime, the metric) always remain \(D>4\) dimensional. As there is no canonical choice of 4 spacetime dimensions out of D dimensions for generic metrics, the theory is not well defined in four dimensions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently a four-dimensional Einstein–Gauss–Bonnet theory that is claimed to propagate only a massless spin-2 graviton was introduced as the \(D\rightarrow 4\) limit in [1] with the action
of which the field equations are [2, 3]
where the “Gauss–Bonnet tensor” reads
For \(D>4\), (2) is the well-known Einstein–Gauss–Bonnet theory which has been studied in the literature in great detail. On the other hand, for \(D=4\), the \({{\mathcal {H}}}_{\mu \nu }\) tensor vanishes identically and hence, as per common knowledge, the field equations (2) reduces to the Einstein’s theory. This is because in four dimensions, the Gauss–Bonnet combination \(\mathcal {G}\,:=R_{\alpha \beta \rho \sigma }R^{\alpha \beta \rho \sigma }-4R_{\alpha \beta }R^{\alpha \beta }+R^{2}\) can be written as \(\mathcal {G}=\epsilon _{\mu \nu \alpha \beta }\epsilon ^{\mu \nu \sigma \rho }R^{\alpha \beta \gamma \lambda }R_{\gamma \lambda \sigma \rho }\) and yields a topological action, i.e. the Euler number which is independent of the metric \(g_{\mu \nu }\). This was the state of affairs until the paper [1] implicitly asked the question “how does the \({{\mathcal {H}}}_{\mu \nu }\) tensor go to zero as \(D\rightarrow 4\)?”. The answer is very interesting: because if it goes to zero in the following way
where \(\mathcal {Y}_{\mu \nu }\) is a new tensor to be found, then the authors of [1] argue that in the \(D\rightarrow 4\) limit, the field equations (2) define a four-dimensional theory in the limit. So namely, the suggested four-dimensional theory would be the following theory in source-free case:
Let us try to understand what the suggested theory is. As there is no intrinsically defined four-dimensional covariant tensor that the Gauss–Bonnet tensor reduces to; namely, \(\mathcal {Y}_{\mu \nu }\) in (4) does not exist as guaranteed by the Lovelock theorem [4,5,6] and as will be shown below, the theory must be defined as a limit. Thus, to compute anything in this theory, say the perturbative particle content, the maximally symmetric vacua, the black hole solutions, or any solution with or without a symmetry, one must do the computation in D dimensions and than take the \(D\rightarrow 4\) limit. Surely, for some components of the the metric such as the spherically symmetric metric, due to the nature of the the Gauss–Bonnet tensor, this limit might make sense. But, at the level of the solutions, namely at the level of the full metric, this limit makes no sense at all. For example, assume that there is a solution to the theory given locally with the D dimensional metric \(g_{\mu \nu }\) say which has no isometries. Then, as we need to take the \(D\rightarrow 4\) limit, which dimensions or coordinates do we dispose of, is there a canonical prescription? The answer is no! Even for spherically symmetric solutions of Boulware and Deser [7], studied so far, we do not have the right to dispose any dimension we choose.
What we have just stated is actually at the foundations of defining a gravity theory in the Riemannian geometry context. The Riemannian geometry depends on the number of dimensions, in defining a classical gravity theory based on geometry one first fixes the number of dimensions to be some D; and as this number changes, the theory changes. There is no sensible limiting procedure as defined by (5); there is of course compactification, dimensional reduction etc where all the spacetime dimensions still survive albeit not in equal sizes generically.
The layout of the paper is as follows: in Sect. 2, we recast the D-dimensional Gauss–Bonnet tensor using the Weyl tensor in such a way that it naturally splits into two parts. One part has a formal \(D\rightarrow 4\) limit, while the other part is always higher dimensional. In Sect. 3, we give another proof that the theory is non-trivial only for \(D>4\) using the first-order formalism with the vielbein and the spin-connection. In Sect. 4, we give a an explicit example in the form of a direct-product metric where the role of the higher dimensional part is apparent.
2 \(D\rightarrow 4\) limit of the field equations
To further lay out our ideas, and to show that there is no four-dimensional definition of the theory, let us recast the Gauss–Bonnet tensor, in such a way that we can see the limiting behaviors. For this purpose, the Weyl tensor,
becomes rather useful. Using Appendix A of [8], the Gauss–Bonnet tensor in D dimensions can be split as
where the first term does not have an explicit coefficient related to the number of dimensions and is given as
which we shall name as the Lanczos–Bach tensor, and the other part carries explicit coefficients regarding the number of dimensions:
where we kept all the factors to see how the limiting procedure might work. With the \(2/\left( D-4\right) \) factor, the second part nicely reduces to a tensor \(\mathcal {S}_{\mu \nu }\) which is finite in the \(D\rightarrow 4\) limit;
But, the first part is rather non-trivial. In \(D=4\) dimensions we have the Lanczos–Bach identity [6, 9] for any smooth metric;
Thus, a cursory look might suggest that one might naively assume the Lanczos–Bach identity in four dimensions and set \(\mathcal {L}_{\mu \nu }=0\) in the \(D\rightarrow 4\) limit yielding a finite intrinsically four dimensional description of the Gauss–Bonnet tensor as
where the right-hand side is \(\mathcal {S}_{\mu \nu }\), given in (10), calculated at \(D=4\). But this is a red-herring! The \(\mathcal {H}\) tensor or the \(\mathcal {S}\) tensor does not obey the Bianchi identity
Therefore, without further assumptions, it cannot be used in the description of a four dimensional theory. Then, this begs the question: How does the \(\mathcal {L}_{\mu \nu }\) tensor go to zero in the \(D\rightarrow 4\) limit, that is
To save the Bianchi identity, \(\mathcal {L}_{\mu \nu }\) should have the form
If this is the case, then there is a discontinuity for the Gauss–Bonnet tensor as
Then, in the \(D\rightarrow 4\) limit, the Gauss–Bonnet tensor with an \(\alpha /D-4\) factor becomes
that is the Gauss–Bonnet tensor is not continuous in D at \(D=4\). This discontinuity in the Gauss–Bonnet tensor introduces a problem: Let \(g_{\mu \nu }^{D}\) be the solution of the field equations for \(D>4\), and \(g_{\mu \nu }^{\lim }\) is the solution of the limiting field equations (17); then
in general.
Incidentally, the \(\mathcal {L}_{\mu \nu }\) tensor is related to the trace of the D dimensional extension of the Bel–Robinson tensor given in [10] which reads
and one has
To summarize, in this section, we have shown that there is a part of the Gauss–Bonnet tensor \({{\mathcal {H}}}_{\mu \nu }\) which is always higher dimensional even though one part of the tensor can be made finite with the procedure of dividing by \(1/\left( D-4\right) \) and then formally assuming that the remaining indices are four dimensional. The all important point here is that if one bluntly drops the extra dimensional part (which we called \(\mathcal {L}_{\mu \nu }\)), then the Bianchi identity is not satisfied for the remaining four-dimensional theory. Thus, one either has all the dimensions, or one has four dimensions without the benefit of the Bianchi identity. If one chooses the second option, one cannot couple the four-dimensonal theory to conserved matter fields; or one must impose the Bianchi identity on-shell for the solutions.
3 The field equations in first-order formulation
The authors of [1] argued that in the first-order formulation of the Gauss–Bonnet theory a \(\left( D-4\right) \) factor arises in the field equations, and this factor can be canceled by introducing the \(\alpha /\left( D-4\right) \) factor in the action. This claim needs to be scrutinized carefully as we do here. Let us just consider the Gauss–Bonnet part of the action without any factors or coefficients. Then, we have the D-dimensional action in terms of the vielbein 1-form \(e^{a}\) and the curvature 2-form \(R^{ab}:=d\omega ^{ab}+\omega ^{ac}\wedge \omega _{c}^{b}\);
where the Latin indices refer to the tangent frame. Then, varying the action with respect to the spin connection yields zero in the zero torsion case; and the rest of the field equations are obtained by varying with respect to the vielbein. At this stage the discussion bifurcates:Footnote 1 Assume that \(D=4\), then the action reduces to \(\int _{{\mathcal {M}}_{4}}\epsilon _{a_{1}a_{2}a_{3}a_{4}}R^{a_{1}a_{2}}\wedge R^{a_{3}a_{4}}\) where there is no vierbein left and one has
On the other hand, for generic \(D>4\) dimensions, variation with respect to the vielbein yields the field equation as a \(\left( D-1\right) \)-form
Clearly the \(\left( D-4\right) \) factor arises, but it does so only in D dimensions: one cannot simply multiply with a \(\alpha /\left( D-4\right) \) and take the \(D\rightarrow 4\) limit! In fact, starting from the last equation, one can get the second order, metric form of the Gauss–Bonnet tensor \(\mathcal {H}_{\mu \nu }\), and in the process, one sees the role played by this \(\left( D-4\right) \) factor. To do so, instead of the tangent frame indices we can recast it in terms of the spacetime indices as which can be written as
This is really a covariant vector-valued \(\left( D-1\right) \)-form, and the Hodge dual of this \(\left( D-1\right) \)-form is a 1-form; and since we have
the 1-form field equations read
from which we define the rank-2 tensor \({\mathcal {E}}_{\nu \alpha }\) as
Explicitly one has
which can be further reduced with the help of the identity
where we used the generalized Kronecker delta. So, we have
Observe that the \(\left( D-4\right) \) factor turned into \(\left( D-4\right) !\) which does not vanish for \(D=4\). Since one also has
where \({\mathcal {H}}_{\nu \alpha }\) is the Gauss–Bonnet tensor we defined above, we get
Thus, the moral of the story is that one either has an explicit \(\left( D-4\right) \) factor in front of the field equations when they are written in terms of the vielbeins and the spin connection where the dimensionality of the spacetime is explicitly \(D>4\) as counted by the number of vielbeins; or, one does not have an explicit \(\left( D-4\right) \) factor in the field equations in the metric formulation. There is no other option. In the metric formulation, we have shown in the previous section that a \(\left( D-4\right) \) does not arise for generic metrics in all parts of the field equations.
4 Direct-product spacetimes
To see the alluded problems explicitly in an example, let us consider the direct-product spacetimes for which the D-dimensional metric has the form
where \(A,B=1,2\ldots ,D\); \(\alpha ,\beta =1,2,3,4\); and \(a,b=5,6,\cdots ,D\). Here, \(g_{\alpha \beta }\) depends only on the four-dimensional coordinates \(x^{\mu }\), and \(g_{ab}\) depends only on the extra dimensional coordinates \(x^{c}\). Then, for the Christoffel connection,
it is easy to show that the only nonzero parts are
where the subindex d denotes the \(\left( D-4\right) \)-dimensional. Due to this property, we have the following nonzero components of the Riemann tensor, \(R_{BCE}^{A}\), and Ricci tensor, \(R_{AB}\);
In addition, the scalar curvature splits as
The nonzero components of the Weyl tensor \(C_{ABEF}\) are
in addition to \(_{D}C_{\alpha b\beta a}=-{}_{D}C_{b\alpha \beta a}={}_{D}C_{b\alpha a\beta }=-{}_{D}C_{\alpha ba\beta }\).
If the d-dimensional internal space is flat as
then one has
and nonzero components of the Weyl tensor given in (39-41) become
in addition to \(_{D}C_{\alpha b\beta a}=-{}_{D}C_{b\alpha \beta a}={}_{D}C_{b\alpha a\beta }=-{}_{D}C_{\alpha ba\beta }\).
With the above results, let us provide a clear example of where the limit
fails. Consider the \(\mathcal {L}_{ab}\) components of the Lanczos–Bach tensor,
These components can be written as
By using (44–46), the \(\mathcal {L}_{ab}\) components of the Lanczos–Bach tensor can be calculated in terms of the four-dimensional and d-dimensional quantities as
Then, the \(D\rightarrow 4\) limit for this term in the form,
is undefined, and this fact indicates that in general, there is no proper \(D\rightarrow 4\) limit for the field equations for the direct-product spacetimes.
5 Conclusions
Recently [1], contrary to common knowledge and to the Lovelock’s theorem [4,5,6], a novel four-dimensional Einstein–Gauss–Bonnet theory with only a massless spin-2 graviton degree of freedom was suggested to exist. A four-dimensional gravity theory should have four-dimensional equations: here, we have shown that this is not the case. Namely, we have shown that the novel Einstein–Gauss–Bonnet theory in four dimensions does not have an intrinsically four-dimensional description in terms of a covariantly-conserved rank-2 tensor in four dimensions. We have done this by splitting the Gauss–Bonnet tensor (2) into two parts as (7): one is what we called the Lanczos–Bach tensor (8) which is related to the trace of the D-dimensional Bel–Robinson tensor which does not have an explicit \(\left( D-4\right) \) factor, and the other part (9) is a part that has an explicit \(\left( D-4\right) \) factor in front. The Lanczos–Bach tensor vanishes identically in four dimensions; however, it cannot be set to identically zero in that dimensions since in the absence of it, the Gauss–Bonnet tensor does not satisfy the Bianchi Identity. Thus, the theory must be defined in \(D>4\) dimensions to be nontrivial which is in complete agreement with the Lovelock’s theorem. But, once the theory is defined in D dimensions, it will have all sorts of D dimensional solutions and in none of these solutions one can simply dispose of \(\left( D-4\right) \) dimensions or coordinates as such a discrimination among spacetime dimensions simply does not make sense. We gave an explicit example in the form of a direct product. In the first-order formulation with the vielbein and the spin connection, there is an explicit \(\left( D-4\right) \) factor in front of the field equations, but this factor only arises in \(D>4\) dimensions not in four dimensions. What we have shown here for the Gauss–Bonnet tensor in its critical \(D=4\) dimensions is also valid for the other Lovelock tensors in their critical dimensions. As a final remark, let us note that following the \(D\rightarrow 2\) formal limit of Einstein’s gravity as was done in [11], if one carries out a \(D\rightarrow 4\) construction in the EGB theory, one finds [12,13,14], complementing our arguments, that the ensuing theory is not only a theory of massless spin-2 gravitons but additional scalar fields (of the Horndeski or Galileon type) appear.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work does not contain any data related analysis.]
Notes
For \(D\le 3\) the action vanishes identically and no further discussion is needed.
References
D. Glavan, C. Lin, Einstein–Gauss–Bonnet gravity in 4-dimensional space-time. Phys. Rev. Lett. 124, 081301 (2020)
S. Deser, B. Tekin, Gravitational energy in quadratic curvature gravities. Phys. Rev. Lett. 89, 101101 (2002)
S. Deser, B. Tekin, Energy in generic higher curvature gravity theories. Phys. Rev. D 67, 084009 (2003)
D. Lovelock, The Einstein tensor and its generalizations. J. Math. Phys. 12, 498–501 (1971)
D. Lovelock, The four-dimensionality of space and the Einstein tensor. J. Math. Phys. 13, 874–876 (1972)
C. Lanczos, A remarkable property of the Riemann–Christoffel tensor in four dimensions. Ann. Math. 39, 842 (1938)
D.G. Boulware, S. Deser, String generated gravity models. Phys. Rev. Lett. 55, 2656 (1985)
I. Gullu, T.C. Sisman, B. Tekin, Born-infeld gravity with a unique vacuum and a massless graviton. Phys. Rev. D 92(10), 104014 (2015)
R. Bach, Zur Weylschen Relativitätstheorie und der Weylschen Erweiterung des Krümmungstensorbegriffs. Math. Z. 9, 110 (1921)
J.M.M. Senovilla, Superenergy tensors. Class. Quantum Grav. 17, 2799–2842 (2000)
R.B. Mann, S. Ross, The \(D\rightarrow 2\) limit of general relativity. Class. Quantum Grav. 10, 1405–1408 (1993)
H. Lu, Y. Pang, Horndeski gravity as \(D\rightarrow 4\) lmit of Gauss–Bonnet. arXiv:2003.11552 [gr-qc]
K. Aoki, M.A. Gorji, S. Mukohyama, A consistent theory of \(D\rightarrow 4\) Einstein–Gauss–Bonnet gravity. arXiv:2005.03859 [gr-qc]
D.A. Easson, T. Manton, A. Svesko, \(D\rightarrow 4\) Einstein–Gauss–Bonnet gravity and beyond. arXiv:2005.12292 [hep-th]
Acknowledgements
We would like to thank S. Deser and Y. Pang for useful discussions.
Author information
Authors and Affiliations
Corresponding author
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
About this article
Cite this article
Gürses, M., Şişman, T.Ç. & Tekin, B. Is there a novel Einstein–Gauss–Bonnet theory in four dimensions?. Eur. Phys. J. C 80, 647 (2020). https://doi.org/10.1140/epjc/s10052-020-8200-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-8200-7