Abstract
In this paper we consider a model for gravity in four-dimensional space-time originally proposed by Chamseddine, which may be derived by dimensional reduction and truncation from a five-dimensional Chern–Simons theory. Its topological origin makes it an interesting candidate for an easier quantization, e.g., in the loop quantization framework. The present paper is dedicated to a classical analysis of the model’s properties. Cosmological solutions as well as wave solutions are found and compared with the corresponding solutions of Einstein’s general relativity with cosmological constant.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Gravitation as described by Einstein’s general relativity is notoriously difficult to reconcile with quantum theory, a task which is nevertheless necessary if one want to understand physics at the very small scale defined by the Planck length \(l_\mathrm{P}\sim 10^{-35}\,\)m, also in the hope that quantum mechanics will cure the singularities of the classical theory such as the Big Bang and Black Hole ones. Loop quantum gravity [1–3] (LQG) is one attempt to do it. It starts from Einstein’s classical general relativity (GR) in the Ashtekar–Barbero formalism where the dynamical variables are an SU(2) Yang–Mills type connection together with its canonical conjugate momentum field. The dynamics is expressed as a set of constraints which correspond to the gauge invariances of the theory [4, 5], namely SU(2) local invariance and the invariances under the space and time diffeomorphisms. The quantum theory is then defined by constructing a Hilbert space whose elements are certain wave functionals of the connection obeying the constraints. The latter should be well defined as self-adjoint operators, and then solved in the sense that they select the physical wave functionals as those which are annihilated by them. The main difficulty is in the definition of the time diffeomorphism constraint and its solution. Much progress has been made by Thiemann et al. [2], and more recently by Rovelli et al. in the spin foam formalism [3], leading to very promising results.
General relativity is a “background invariant theory”, which means that no a priori geometric structure is given to the space-time manifold where the theory is defined: the metric belongs to the dynamical fields. Another class of background-independent theories is provided by topological theories such as the Chern–Simons (CS) theories.Footnote 1 Remarkably enough [6], gravity in three space-time dimensions can be written as a CS theory whose gauge group is the local Poincaré group ISO(1,2), but also SO(1,3) or SO(2,2) if there is a positive or negative cosmological constant. The question is: Could one describe higher-dimension gravity as a CS theory [7–14]? An essential difference between gravity in 3D and gravities in more than three dimensions is that the former has no local degree of freedom, whereas the latter do. The same happens for the CS theories in 3D and in more than three dimensions. Since CS theories live in odd-dimensional space-times, the first one which admits local degrees of freedom is the one in 5D, with the gauge group ISO(1,4), SO(1,5) or SO(2,4) (Poincaré, de Sitter or anti-de Sitter).
An advantage of topological theories—with the gauge groups mentioned above—is that (some of) the diffeomorphism invariances are consequences of the gauge invariances. For CS in 3D, all diffeomorphism invariances follow on shell from gauge invariance [15, 16], whereas, in 5D, only the invariance under the time diffeomorphisms follows on shell [17, 18]. In the latter case this means that the constraint associated with the time diffeomorphisms is a consequence of the other constraints. Thus the difficult task of defining and solving the diffeomorphism constraint in the 5D quantum gravity described by this CS theory would be avoided.
Being interested in 4D gravity, can we find a similar, topological-like theory? An answer has been provided by Chamseddine [13]: a theory which, beyond containing the gravitation fields is also containing a dilaton-type scalar field. It can be derived from the 5D CS theory by dimensional reduction and truncation of some of the component fields. As we will show, the set of solutions of the Chamseddine model is a subset of the solutions of the complete, non-truncated 5D CS theory reduced to 4D. As such, in view of the interesting properties concerning the constraints mentioned above, it is worthwhile to study the classical aspects of the Chamseddine model, which is the purpose of the present work. A study of the whole 5D CS theory, with or without Kaluza–Klein dimensional reduction, classically and quantum mechanically, will be reported elsewhere [19]. More specifically, the proposal of the present work is to investigate the dynamics of the Chamseddine model and compare some of its solutions with solutions of the conventional Einstein theory. We will in particular focus on solutions of the cosmological type and wave solutions.
The present paper begins in Sect. 2 with a review of Chamseddine’s derivation of his 4D model—whose gauge invariance is de Sitter SO(1,4) or anti-de Sitter SO(2,3)—from a SO(1,5) or SO(2,4) 5D Chern–Simons theory by dimensional reduction and truncation of some fields. We clarify some points of this truncation, and, moreover, show through a well-chosen gauge fixing that the model is a theory of a dilaton-like scalar field interacting with a gravitational field with torsion. We also show here that the field equations of the Chamseddine theory are special solutions of the full untruncated CS theory reduced to 4D. Linear approximations are studied in Sect. 3, leading to the Newtonian limit and to gravitational wave solutions. Section 4 is devoted to the study of cosmological solutions of the theory and their comparison with the \(\Lambda \)CDM model. Conclusions and outlooks are presented in Sect. 5. Conventions and notations are displayed in an appendix.
2 The Chamseddine model
2.1 5D (A)dS Chern–Simons theory as a theory of gravity in 5D
We start with a description of the five-dimensional Chern–Simons (CS) theory for the (anti-)de Sitter gauge group and its interpretation as a gravitation theory [9–11] (see [12] for a comprehensive review). Our notations and conventions are summarized in the appendix.
The gauge group transformations are those which leave invariant the metric \(\eta _{MN} =\) diag\((-1,1,1,1,1,s)\), with \(M,N,\ldots \) = \(0,\ldots ,5\) and where s takes the values \(\pm 1\). The signatures \((-1,1,1,1,1,1)\) and \((-1,1,1,1,1,-1)\) correspond, respectively, to the Minkowskian de Sitter group SO(1,5) and anti-de Sitter group SO(2,4) for 5D space-time. They will be collectively denotedFootnote 2 by (A)dS\(_6\).
A basis of the Lie algebra (a)ds\(_6\) of (A)dS\(_6\) is given by the generators \(M_{MN}\) = \(-M_{NM}\), realized as the 6\(\times \)6 matrices \((M_{MN})^P{}_Q:=\) \(-\delta _M^P\eta _{NQ}+\delta _N^P\eta _{MQ}\), obeying the commutation relations
The field variablesFootnote 3 of the theory are the components of a connection form \(\hat{A}\) = \( \hat{A}_\alpha \mathrm{d}x^\alpha \), with values in the Lie algebra (a)ds\(_6\). In the basis \((M_{MN})\), the connection form reads
and it transforms as
under the infinitesimal (A)dS\(_6\) gauge transformations. The gauge invariant CS action is given byFootnote 4
\(\varepsilon _{MNPQRS}\) is the Levi-Civita totally antisymmetric tensor with the normalization conditionFootnote 5 \(\varepsilon _{012345}=1\). The field equations obtained by varying the connection \(\hat{A}\) are
with \({\hat{F}}^{MN}=\hat{d}\hat{A}^{MN} + \hat{A}^N{}_P \hat{A}^{PN}\) the Yang–Mills curvature.
In the same way as one can interpret the three-dimensional CS theory for the pseudo-orthogonal gauge group SO(1,3) or SO(2,2) as a gravitation theory with cosmological constant [6], one can indeed do the same here making the following identifications of the generators \(M_{MN}\) with the five-dimensional Lorentz generators \(M_{AB}\) and “translation” generators \(P_A\), with \(A,B,\ldots \) = \(0,\ldots ,4\):
where \(\lambda >0\) is a parameter with the dimension of a mass or of the inverse of a length in the system of units where \(c=\hbar =1\). The commutation relations (2.1) take the explicit form of the (a)ds\(_6\) commutation relations (A.4), with \(\eta _{AB}\) being the five-dimensional Lorentz metric \((-1,1,1,1,1)\) and \(s|\lambda ^2|\) playing the role of the “cosmological constant” (see Appendix A.2). We define accordingly the spin connection form \(\hat{\omega }^{AB}\) and the 5-bein form \(\hat{e}^A\) as
We can thus write the infinitesimal (A)dS\(_6\) gauge transformations (2.3) and the CS action (2.4) asFootnote 6
We recognize in the second and third terms the standard Einstein–Hilbert and cosmological terms of 5D gravity, respectively. The novelty of the Chern–Simons action is the appearance of the first term, which is of the form \(e\hat{R}_{(5)}\hat{R}_{(5)}\); this term does not enter through an arbitrary coupling constant, but instead through a rational number which is pre-fixed by the requirement of the theory to be (A)dS\(_6\) invariant, although the action is written in a manifestly Lorentz SO(1,4) invariant form.
Since later on we will proceed to a dimensional reduction from 5D to 4D, we will need the decomposition of the (A)dS\(_6\) group in terms of 4D Lorentz SO(1,3) representations, as displayed in (A.6, A.7). The connection components are accordingly decomposed as
With these definitions, the action (2.9) is written
with \(\hat{D}\) the covariant external derivative: \(\hat{D} \hat{e}^I=\hat{d} \hat{e}^I + \hat{\omega }^I{}_J\hat{e}^J\), etc. , and \(\hat{R}^{IJ}\) = \(d \hat{\omega }^{IJ} + \hat{\omega }^I{}_K\hat{\omega }^{KJ}\). Let us note that the fields \(\hat{e}^{I}\) and \(\hat{b}^{I}\) play a symmetrical role in the action, so in principle we can use any of the two to define a four-dimensional soldering form. A qualitative difference between these quantities will show up after a suitable truncation.
In view of the announced dimensional reduction, we make explicit a split of the D=5 space-time coordinates in D=4 space-time coordinates \(x^\mu \), \(\mu =0,\ldots ,3\) and the fifth coordinate \(\chi :=x^4\) by writing the form fields as
The corresponding splits for the curvature components read
where
We also have to split each of these forms in terms of their Lorentz SO(1,3) components,
Then with the relabeling (2.11), (2.12), the curvature components take the form
where D, and \(R^{IJ}\) represent the covariant exterior derivative and the curvature 2-form associated to the Lorentz connection \(\omega ^{IJ}\). The field equations (2.5) are then split into 4-forms equations and 3-form equations (the \(\chi \) components). The 4-form equations are
and the 3-form equations are
with the curvature components given by (2.13).
This theory is still invariant under the full (A)dS\(_6\) transformations, which now read, in terms of the 5D “hat” quantities:
2.1.1 A partial gauge fixing
The action (2.9) or (2.10) and the field equations (2.14) and (2.15) may be simplified by a partial gauge fixing consisting of the eight conditions
which fix the gauge symmetries generated by \(M_{I5}=P_I/{\lambda }\) and \(M_{I4}\) = \(Q_I/{\lambda }\), respectively, as can be inferred from the transformation laws (2.16) for the \(\chi \) components of \(\hat{e}^I\) and \(\hat{b}^I\), the field \(\hat{e}_\chi ^4\) being assumed not to vanish. This reduces the explicit gauge symmetry to the group SO(1,3) \(\times \) (A)dS\(_2\), where SO(1,3) is the 4D Lorentz group and (A)dS\(_2\) = U(1) if \(s>0\) (theory with positive cosmological constant) or the dilatation group if \(s<0\) (theory with negative cosmological constant). Of course (2.17) is only a gauge fixing: the theory remains a full (A)dS\(_6\) gauge theory.
2.2 The Chamseddine action
A 4D theory may be obtained trough a Kaluza–Klein dimensional compactification in which “matter-like” fields are realized as fifth-dimension components of the 5D fields. In our context we may assume that the fifth dimension, of the coordinate \(x^4=\chi \), is compact and “microscopic”, and the fields are expanded in Kaluza–Klein modes. In the present paper, we restrict the study to the zero-mode sector—which amounts to considering all fields as constant in \(\chi \)—leaving a complete discussion involving all modes for future work [19]. This means
The Chamseddine model has been obtained [13] by a truncation consisting in setting some fields to zero:
We may observe that the first condition is in fact nothing but a gauge fixing condition, the second of (2.17). The other three truncation conditions do indeed break (A)dS\(_6\), apparently to SO(1,3). However, a reordering of the remaining fields in new multiplets allows one to show that the resulting theory actually has a hidden (A)dS\(_5\) gauge invariance [13]. In order to see this, one does not apply for the moment the first of the gauge fixing conditions (2.17), and one reorders the fields in (A)dS\(_5\) multiplets as
Using these definitions together with the truncation conditions (2.19), the action (2.9) or (2.10) reduces to the obviously (A)dS\(_5\) invariant expressionFootnote 7
with the (A)dS\(_5\) curvature
which in terms of the SO(1,3) components reads
The infinitesimal (A)dS\(_5\) gauge transformations which leave the Chamseddine action invariant may be written as
The equations of motion from (2.22) are
Or, in terms of the SO(1,3) components,
2.2.1 Introducing matter: continuity equation
We may introduce matter adding to the action (2.22) a matter term \(S_\mathrm{m}\) which we will suppose (A)dS\(_5\) gauge invariant and independent of the scalar field \({\Phi }^A\). (A)dS\(_5\) gauge invariance of the total action,
can be expressed through the local “Ward identity”
We shall be interested in particular in the Ward identity linked to invariance along the generators \(M_{I4}\):
Note that these identities hold separately for both actions, \(S^{(4D)}\) and \(S_\mathrm{m}\). Defining
we may rewrite (2.29) as
the last equality expressing the invariance of \(S^{(4D)}\). This leads to the general continuity equation
The 3-form \(\mathcal{T}_I\) is related to the energy-momentum tensor components \(\mathcal{T}^N{}_I\) in the tetrad frame by
If \(\mathcal{T}_{IJ}=0\), i.e., if the matter action \(S_\mathrm{m}\) does not depend on the spin connection \(\omega \), (2.31) is interpreted as the continuity equation for energy and momentum.
2.2.2 Partial gauge fixing of the Chamseddine theory
From the gauge transformations (2.24) leaving the action (2.22) invariant, one sees that a possible partial gauge fixing is given by the four conditions
The total action, including matter, then reduces to
where the matter action \(S_\mathrm{m}\) is supposed to be independent of \({\Phi }^A\), as above, but will also be assumed not to depend on the spin connection \(\omega \) from now on. The field equations derived from the latter action—to which we may add a matter action \(S_\mathrm{m}\), supposed to obey the same (A)dS\(_5\) gauge invariance as the pure Chamseddine part—are
where \(T^I:=De^I\) is the torsion and \(\mathcal{T}_I\) the energy-momentum 3-form (2.32).
Comparison of the first of Eq. (2.35) with the standard Einstein equation in the first order formalism,
suggests one to identify \(3s\lambda ^2\) with the cosmological constant,
and to define the function
as a variable “Newton parameter”, proportional to the inverse of the dilation field \(\Phi ^4\). With this, the field equations (2.35) take the form
where we have emphasized the x-dependence of the Newton parameter G.
Let us finish this subsection with some comments:
-
1.
The theory is clearly singular in \(\Lambda =0\). This value would correspond to a vanishing s in the (A)dS\(_5\) metric (A.2), which thus would become singular.
-
2.
The first field equation in (2.35) has the form of the usual Einstein equation in the first order formalism, but with varying Newton coupling parameter G(x). The second one determines the torsion \(T^I\) in terms of the basic fields \(\omega ^{IJ}\), \(e^I\), and G. In particular, the torsion is zero if G is constant. The third equation is a new constraint. One must emphasize that the torsion here is not an independent field.
-
3.
A canonical analysis [19] shows that the number of physical degrees of freedom of the theory is three: this corresponds to the two degrees of freedom of the gravitational field plus one corresponding to the scalar dilaton field \(\Phi ^4\)—the Newton coupling parameter G.
-
4.
In the absence of matter, an obvious trivial solution is the constant curvature and torsion free (anti-)de Sitter space: \(R^{IJ}\) = \({\displaystyle {\frac{\Lambda }{3}}}e^{I}e^{J}\).
-
5.
The last equation, which clearly admits the constant curvature solution, is also compatible with non-trivial solutions, as the examples treated below do show.
-
6.
It is interesting to note that the gauge fixing condition (2.33) is nothing but the first of the gauge fixing conditions (2.17) [see Definition (2.21)].
2.2.3 Energy-momentum continuity
In Einstein theory, the continuity equation for the energy-momentum tensor reads, in the first order formalism used here,
where D is the exterior derivative with respect to the spin connection \(\omega ^{IJ}\) and the 3-form \(\mathcal{T}_I \) is related to the energy-momentum tensor by (2.32). The continuity equation (2.40) follows from the Einstein field equations (2.36) and the Bianchi identity \(DR^{IJ}=0\). As we saw in Sect. (), it turns out that it still holds in our case, as a consequence of the (A)dS\(_5\) invariance expressed by the identity (2.30) and of the hypothesis we have made that the matter action is independent not only from the scalar fields \({\Phi }\), but also from the spin connection \(\omega \).
It is interesting to look at the identity (2.30) with the gauge fixing condition \({\Phi }^I=0\) being applied. Taking into account the hypothesis that \(S_\mathrm{m}\) only depends on the tetrad e, this leads to the identity
where \(\bar{S}\) is the total gauge fixed action (2.34), and S the total action (2.28) before gauge fixing. Since \(D\mathcal{T}_I=0\), the latter identity shows that the equation
is valid “on shell”, i.e., if the field equations (2.35) of the gauge fixed theory are satisfied. This is just the equation of the non-gauge fixed theory obtained by varying \(\Phi ^I\), taken at \({\Phi }^I=0\). In fact, the on-shell validity of (2.41) can be derived directly from the Ward identity (2.29) taken at \({\Phi }^I=0\), as one can easily check.
2.2.4 The field equations of the Chamseddine model as particular field equations of the dimensionally reduced 5D Chern–Simons theory
One may ask if the equations of motion derived from the truncated theory, namely the Chamseddine model equations (2.25) and (2.26), together with the truncation equations (2.19) and the \(\chi \)-independence conditions (2.18), are also solutions of the equations of motion (2.5) of the full original (A)dS\(_6\) Chern–Simons theory. In the following we show the answer is positive.
The field equations of the full CS theory reduced in four dimensions are given by (2.14) and (2.15) together with (2.13). After imposing the truncation (2.19) together with the restriction (2.18) and the relabeling (2.20), (2.21), the curvature components take the form
Inserting the expressions (2.42) in the eight equations (2.14) and (2.15), we obtain four trivial equations \(0=0\), and four non-trivial ones which are identical to those obtained from the action of the (A)dS\(_5\) Chamseddine model, Eq. 2.27. We conclude that the set of solutions of the equations of motion of the (A)dS\(_5\) is a particular subset of the solutions of the general (A)dS\(_6\) Chern–Simons theory.
It is noteworthy that the four trivial equations are those derived from the CS action by varying the four fields destined for truncation. Had we performed any other sort of truncation in the field equations, we would have obtained more independent equations than what one obtains directly from the truncated action.
It is also enlightening to see that the effect of the truncation, when applied directly to the original (A)dS\(_6\) connection, leads to
where \(\mathbb {A}^{AB}\) and \(\Phi ^{A}\) were introduced in (2.20) and (2.21). We see that the effect of the truncation is to confine the (A)dS\(_5\) symmetry to a four-dimensional connection, whereas the “translational” sector of the group is restricted to the \(\chi \) dimension. Then it is clear why the truncation, which may seem not obvious at first sight, results after some simplifications in a four-dimensional (A)dS\(_5\) gauge theory with \(\Phi \) a four-dimensional scalar transforming as a vector under (A)dS\(_5\) transformations.
The curvature associated with the truncated connection (2.43) is
A straightforward calculation shows that by replacing the above result in (2.5) we obtain (2.25), (2.26), the field equations of the truncated action (2.22).
3 Linear approximations
In order to investigate the Newtonian limit of the Chamseddine theory or to look for the presence of wave-like solutions of the theory in the vacuum, we split the field variables between background ones, marked with an index \(^0\) on the top, and perturbations as follows:
Up to terms of order higher than one in the perturbation, the curvature \(R=\mathrm{d}\omega +\omega ^2\) and the torsion \(T^I = De^I\) read
where \(\mathring{D}\) is the covariant derivative corresponding to the background connection \(\mathring{\omega }\). The background considered here is a constant curvature de Sitter space-time, solution of
hence the expression \(F^{IJ} =R^{IJ}-\frac{\Lambda }{3}e^I e^J\) is of first order:
We shall also assume that the zeroth order Newton parameter \(\mathring{G}\) is a (non-zero) constant. The second field equation then implies that the zeroth order torsion is vanishing: \(\mathring{T}^I=0 \). The first field equation shows that the energy-momentum 3-form \(\mathcal{T}_I\) must be considered to be of first order, and the third equation is identically solved up to and including the first order.
The first and second field equations read, at first order,
where \(G_0=\mathring{G}\) is the Newton parameter at zeroth order, interpreted as the actual Newton constant. The second of these equations implies a vanishing torsion at first order, too:
We are thus left with the first of equations (3.2), where the first order connection \(a^{IJ}\) may be solved in terms of the vierbein perturbation components \(h^I_\mu \) and their derivatives through the null torsion condition. This is just Einstein GR with cosmological constant at first order of the perturbation, in a de Sitter background.
A first implication is that the theory admits a Newtonian limit like Einstein’s does. A second implication concerns the theory with cosmological constant in the vacuum. Since at first order the theory coincides with Einstein’s, we can rely on the results of an extensive study made by the authors of [20, 21], where they show that, beyond the constant curvature solution, there are propagating wave solutions. We refer to their paper for more details.
4 Cosmological solutions
In order to explore the physical content of the Chamseddine model, we look in this section for solutions of the cosmological type and compare them with the known \(\Lambda \)CDM results [22].
4.1 Isotropy and homogeneity
We examine the solutions of the field equations (2.35) considering a space-time foliated by a family of isotropic and homogeneous three-dimensional spatial slices, as described by the standard Big Bang cosmology. The metric that describes this is the Friedmann–Lemaître–Robertson–Walker (FLRW) metric, given by
depending on the time-dependent scale factor a(t) and the space curvature parameter k = \(0,\,\pm 1\). The space-time coordinates are the time coordinate t and the spatial spherical coordinates \(r,\theta ,{\varphi }\). The FLRW metric admits six isometries generated by six global Killing vectors associated with three spatial translation \(\xi _{(a)}\) and three rotation \(\xi _{[ab]}\) invariances—i.e., such that \(\mathcal{L}_{\xi _{[ab]}} g_{\mu \nu }\) = \(\mathcal{L}_{\xi _{(a)}} g_{\mu \nu }\) = 0—which read in Cartesian coordinates \(x^a,\,a=1,2,3\),
We assume that the torsion and the scalar field (the Newton parameter G) have the same isometries as the metric, i.e., \(\mathcal{L}_\xi T^\rho \!_{\mu \nu }=0\) and \(\mathcal{L}_\xi G=0\). These conditions imply \(G=G(t)\), and the non-vanishing components of \(T^{\alpha }\!_{\mu \nu }\) areFootnote 8 [23]
where f(t) and h(t) are functions of time to be determined by the field equations.
Working in the first order formalism, we have to choose a corresponding parametrization of the vierbein. A convenient choice [23] isFootnote 9:
In this basis the torsion 2-form becomes
(The indices \(i, j\ldots \) take the values 1,2,3.) The spin connection \(\omega \) which gives rise to this torsion reads
where
is the Hubble parameter. The Riemann curvature is given by
Consequently
4.2 Field equations
We assume matter to consist of a perfect fluid of density \(\rho _\mathrm{m}\) and pressure \(p_\mathrm{m}\), with an energy-momentum tensor \( \mathcal{T}^I{}_J = \text{ diag } (-\rho _\mathrm{m},p_\mathrm{m},p_\mathrm{m},p_\mathrm{m}). \) Substituting in the field equations (2.35), with \(dG=\dot{G} e^0\), we get the system of differential equations
where \(U:=H+h\) and \(G=G(t)\) is the Newton coupling parameter (2.38).
4.3 Continuity equations
A first continuity equation for the energy and pressure of matter follows directly from the energy-momentum continuity equation (2.40). Calculating the components of the energy-momentum 3-form \(\mathcal{T}_I\), from (2.32) one finds
consequently
The equation \(D\mathcal{T}_0=0\) yields the density–pressure–torsion continuity equation
The equations \(D\mathcal{T}_i=0\) for \(i=1,2,3\) are trivially satisfied, being of the form \(0=0\).
Note the torsion dependence in the last term of (4.7). However, for a matter with zero pressure (cold matter, dust), this continuity equation takes the usual form [24]:
A second continuity equation can be found in the following way: One notes that, substituting \(U=H+h\) in Eqs. (4.2) and (4.3) leads to analogs of the standard Friedmann equations:
where \(G_0\) is the Newton constant, taken as the present value of G(t), and \(\rho _\mathrm{tot}\), \(p_\mathrm{tot}\) are the “total density and pressure”,
with
\(\rho _T\) and \(p_T\) may be interpreted as the contributions of the torsion to the total density and pressure \(\rho _\mathrm{tot}\) and \(p_\mathrm{tot}\). As a consequence of the Friedmann-like equations (4.9), the total density and pressure satisfy the continuity equation
4.4 Pressure-less matter with \(\Lambda >0\) and \(k=0\)
In this subsection we present the general solution of Eqs. (4.2)–(4.6) in the case of pressure-less matter (cold matter or dust), with \(p_\mathrm{m}=0\), with a positive cosmological constant \(\Lambda \) and a null curvature parameter k, as favored by the observational results [22]. From Eq. (4.5) follows
We have first checked that the former case leads to the “trivial” solution of a null torsion de Sitter space with cosmological constant \(\Lambda \), the vierbein or the metric being defined by the scale parameter \(a(t) = \exp (\sqrt{\Lambda /3}t)\).
We hence assume the function f(t) to be non-vanishing. The equations to be solved are Eqs. (4.2)–(4.4), (4.6), and the second of (4.10), together with the Hubble parameter definition (4.1) in terms of the scale a(t). The general solution is given by the following expressionsFootnote 10, where the time coordinate has been redefined by
Scale parameter:
Torsion parameter f(t):
Torsion parameter h(t):
Hubble parameter \(H=\dot{a}/a\):
Newton parameter \(G(t)=-3/(8\pi \Lambda {\Phi }(t))\) [cf. (2.38)]:
Cold matter density:
The four integration constants \(C_1,\,C_2,\,C_3,\,C_4\) and the cosmological constant \(\Lambda \) have to be determined by five physical conditions, which we choose to be
with the present observational [22] and experimental data given by
For comparison with the standard \(\Lambda \)CDM results, we need the \(\Lambda \)CDM formula for the scale parameter a(t), for a Universe dominated by cold dark matter of the present relative density [22] \(\Omega _\mathrm{{m}}\) = 0.309. With the contribution of radiation neglected, the normalized \(\Lambda \)CDM scale parameter reads [24]
Figure 1 shows the time evolution of the scale parameter a, of the Hubble constant H, of the deceleration parameter q = \(-\ddot{a}a/(\dot{a}a^2)\), of the mass density \(\rho _\mathrm{m}\), and of the normalized Newton parameter \(G/G_0\), each one being compared with the corresponding \(\Lambda \)CDM quantity. Except for the deceleration q, the deviations are rather small. The Newton parameter, which has to be equal to the actual Newton constant \(G_0\) at the present time, shows a slight decrease toward the past, growing to \(\sim \)85 % of its present value near of the Big Bang. The deceleration q differs notably from the \(\Lambda \)CDM one, but the time of the transition between the deceleration and the acceleration era almost coincides. The present value \(q(t_0)\) = \(-0.25\) is, however, only half of the \(\Lambda \)CDM value.
Time evolutions of the torsion parameters h and f, as well as the relative densities \(\Omega _\mathrm{m}(t)\), \(\Omega _\Lambda (t)\), and \(\Omega _T(t)\) for matter, cosmological constant, and torsion, respectively, are shown in Fig. 2a, b.
We observe from Fig. 2c that the end of the cold matter dominance area, at \(t\sim 10.2\) Gy for \(\Lambda \)CDM, occurs at \(t\sim 8.5\) Gy for our model, matter dominance being defined, in the latter case, as the dominance of \(\Omega _\mathrm{m}\) over the sum \(\Omega _\Lambda \) + \(\Omega _T\).
Finally, the present values of the concentrations are:
-
\(\Omega _\mathrm{m}(t_0)= 0.308 \) (which belongs to the input data),
-
\(\Omega _\Lambda (t_0)= 0.289 \),
-
\(\Omega _T(t_0)= 0.403 \).
This has to be contrasted with the \(\Lambda \)CDM values \(\Omega _\mathrm{m}(t_0)= 0.308\) and \(\Omega _\Lambda (t_0)\) = 0.692: in our model the torsion contributes together with the cosmological constant to the acceleration.
Finally, as a matter of verification, we have checked that our solution of the field equations does satisfy the continuity equation (4.8).
4.5 Search for other solutions
Since torsion may contribute to the acceleration, as in the solution studied above, one could expect solutions presenting a positive present acceleration even with a negative cosmological constant. This occurs for instance for the class of models investigated in [23]. In our case, we have checked that there is no solution with \(\Lambda <0\) and a positive acceleration fulfilling the physical boundary conditions represented by the present values of the cold matter density and of the Hubble and Newton parameters. Another class of solutions with a bounce at some time in the past do exist, but none of them is compatible even roughly with the physical boundary conditions.
5 Conclusion and outlooks
We have seen in rather great detail how the dimensional reduction and truncation of the (A)dS\(_6\) Chern–Simons theory in 5D to the 4D Chamseddine model is working. In particular, we have shown that the field equations of the latter form a subset of the field equations of the former, which is a non-trivial result. Chamseddine’s theory involves a scalar dilaton-like field which we have interpreted as a varying Newton coupling parameter. We have explored the solutions of the field equations, focusing on two examples. In the first one we have shown the existence, in a linear approximation, of a Newtonian limit and of gravitational waves of the same type as the ones of standard GR. The Newton parameter is supposed to be constant in the zeroth order and turns out to remain undetermined at first order. The wave solutions confirm the canonical result [19] of three degrees of freedom: two for the “graviton” and one for the Newton parameter field. The second example is of the FLRW cosmological type. We have found a solution with boundary conditions corresponding to the present values of the physical parameters: the Newton and Hubble parameters, and the cold matter mass density. It shows a behavior fitting rather well that of the standard \(\Lambda \)CDM model, at least qualitatively. The cosmological constant of this solution turns out to be positive, however, smaller than that of the \(\Lambda \)CDM model, the torsion contributing substantially to the present acceleration of the expansion. A similar but different model has been studied by the authors of [23]. The main difference is that, in their action, a scalar field appears as a factor only in the supplementary term, quadratic in the curvature. In our case, the scalar field appears as a common factor of the whole Lagrangian density and, moreover, the term quadratic in the curvature is not independent due to the constraint of the (A)dS\(_5\) gauge symmetry SO(1,4) or SO(2,3).
A study of the full 5D Chern–Simons theory is under way, with one spatial dimension being compactified [19]. It will allow one to explore a larger domain of solutions, this theory possessing 13 degrees of freedom as shown in [17, 18].
Concerning the quantization, the prospect [19] is for a Loop Quantization [1, 2] of the 5D CS theory. Indeed, the latter is generic in the sense of the authors of [17, 18], i.e., the scalar or “Hamiltonian” constraint is a consequence of the other constraints, which are easier to solve [1, 2].
Notes
We could also mention the BF theories. However, unless some constraints are applied to them, they have to address local degrees of freedom in any space-time dimension.
The suffix N in (A)dS\(_N\) makes explicit the dimension of the defining representation space.
Fields and forms in five-dimensional space-time \(\mathcal{M}_5\) are written with a hat, space-time indices being denoted by \(\alpha ,\beta ,\ldots \) = \(0,\ldots ,4\).
We do not write explicitly the wedge symbol \(\wedge \) for the external products of forms. E.g., the product \((\hat{A}^2)^{PQ}=-(\hat{A}^2)^{QP}\) stems from \(\hat{A}^{PT}\wedge \hat{A}_T{}^Q\).
Indices are lowered and raised using the metric \(\eta _{MN}\).
A subscript will be used to distinguish the (A)dS\(_5\) curvature from the Lorentzian SO(1,3) curvature. We opt not to write the subscript in the latter case. Thus we have
$$\begin{aligned} \hat{R}_{(5)}^{AB}&=\hat{ d}\hat{\omega }^{AB}+\hat{\omega }^{A}\!_{C}\hat{\omega }^{CB},\\ \hat{R}^{IJ}&=\hat{ d}\hat{\omega }^{IJ}+\hat{\omega }^{I}\!_{K}\hat{\omega }^{KJ}. \end{aligned}$$Let us note that the latter is not just obtained by restricting the former to the indices I, J, instead we have
$$\begin{aligned} \hat{R}_{(5)}^{IJ}=\hat{R}^{IJ}-\hat{\omega }^{4I}\hat{\omega }^{4J}. \end{aligned}$$No parameter is needed in front of the action, since any such parameter may be absorbed in a redefinition of the scalar field \(\Phi ^A\).
Torsion \(T^I{}_{\mu \nu }\) is defined by \(T^I=De^I\), whereas \(T^\rho {}_{\mu \nu } = e^\rho _I T^I{}_{\mu \nu }\).
This choice amounts to a gauge fixing of the local Lorentz invariance.
The solution is obtained using the program Mathematica [25].
References
C. Rovelli, Quantum Gravity. Cambridge Monographs on Mathematical Physics (Cambridge University Press, Cambridge, 2004)
T. Thiemann, Modern Canonical Quantum General Relativity. Cambridge Monographs on Mathematical Physics (Cambridge University Press, Cambridge, 2008)
C. Rovelli, F. Vidotto, Covariant Loop Quantum Gravity (Cambridge University Press, Cambridge, 2015)
P.A.M. Dirac, Lectures on Quantum Mechanics (Dover Publications Inc., Mineola, New York, 2001)
M. Henneaux, C. Teitelboim, Quantization of Gauge Systems (Princeton University Press, Princeton, 1994)
E. Witten, (2+1)-Dimensional gravity as an exactly soluble system. Nucl. Phys. B 311, 46 (1988)
D. Lovelock, The Einstein tensor and its generalizations. J. Math. Phys. 12, 498 (1971)
C. Teitelboim, J. Zanelli, Dimensionally continued topological gravitation theory in Hamiltonian form. Class. Quantum Grav. 4, L125 (1987)
A.H. Chamseddine, Topological gauge theory of gravity in five-dimensions and all odd dimensions. Phys. Lett. B 233, 291 (1989). doi:10.1016/0370-2693(89)91312-9
M. Banados, C. Teitelboim, J. Zanelli, Lovelock-Born-Infeld theory of gravity. in J.J. Giambiagi Festschrift, ed. by H. Falomir, pp. 15–38 (World Scientific Publishing, Singapore, 1990)
M. Banados, C. Teitelboim, J. Zanelli, Dimensionally continued black holes. Phys. Rev. D 49, 975–986 (1994). doi:10.1103/PhysRevD.49.975
J. Zanelli, Chern-Simons forms in gravitation theories. Class. Quantum Grav. 29, 133001 (2012). doi:10.1088/0264-9381/29/13/133001
A.H. Chamseddine, Topological gravity and supergravity in various dimensions. Nucl. Phys. B 346, 213 (1990)
J. Zanelli, Chern-Simons forms in gravitation theories. Class. Quantum Grav. 29, 133001 (2012)
A. Achucarro, P.K. Townsend, A Chern-Simons action for three-dimensional anti-de sitter supergravity theories. Phys. Lett. B 180, 89 (1986)pagination
K. Isler, C.A. Trugenberger, A gauge theory of two-dimensional quantum gravity. Phys. Rev. Lett. 63, 834 (1989)
M. Bañados, L.J. Garay, M. Henneaux, The local degrees of freedom of higher dimensional pure Chern-Simons theories. Phys. Rev. D 53, 593 (1996). arXiv:hep-th/9605159
M. Bañados, L.J. Garay, M. Henneaux, The dynamical structure of higher dimensional Chern-Simons theory. Nucl. Phys. B 476, 611 (1996). arXiv:hep-th/9506187
I. Morales, B. Neves, Z. Oporto, O. Piguet (2016, work in progress)
J. Bernabeu, Gravitational waves in the presence of a cosmological constant. Phys. Rev. D 84, 063523 (2011). arXiv:1106.4511 [hep-th]
J. Bernabeu, Gravitational waves in the presence of a cosmological constant (Erratum). Phys. Rev. D 86, 069904 (2012)
Planck 2015 Results. XIII. Cosmological Parameters. Planck Collaboration (P.A.R. Ade (Cardiff U.) et al.) (2015). arXiv:1502.01589 [astro-ph.CO]
A. Toloza, J. Zanelli, Cosmology with scalar-Euler form coupling. Class. Quantum Grav. 30, 135003 (2013). arXiv:1301.0821 [gr-qc]
T. Padmanabhan, Cosmological constant: the weight of the vacuum. Phys. Rep. 380, 235 (2003). arXiv:hep-th/0212290
Wolfram Research, Inc., Mathematica, Version 10.3, Champaign (2015)
Acknowledgments
This work was partially funded by the Fundação de Amparo à Pesquisa do Estado de Minas Gerais–FAPEMIG, Brazil (O.P.), the Conselho Nacional de Desenvolvimento Científico e Tecnológico–CNPq, Brazil (I.M., Z.O. and O.P.), and the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior–CAPES, Brazil (I.M. and B.N.). Zui Oporto wants to specially thank Dr. Juana Centellas Arias and the Instituto Oncológico Nacional-Caja Petrolera de Salud–ION-CPS, Bolivia.
Author information
Authors and Affiliations
Corresponding author
Appendix: Conventions and notation
Appendix: Conventions and notation
1.1 A.1 Conventions
4D and 5D space-time indices: \(\mu , \ldots =0, \ldots , 3 \) and \(\alpha , \ldots =0, \ldots ,4 \).
3D and 4D space indices: \(a, \ldots =1, \ldots , 3 \) and \(m, \ldots =1, \ldots ,4 \).
The de Sitter or anti-de Sitter groups SO(n,N-n) are collectively denoted by (A)dS\(_N\). Their indices and corresponding invariant metrics are denoted by
where s takes the values \(\pm 1\) for dS or AdS, respectively. 4D Lorentz SO(1,3) indices are denoted by \(I,\ldots \) = \(0,\ldots ,3)\), the corresponding metric being \(\eta _{IJ}=\text{ diag }(-1,1,1,1)\). These metrics and their inverses allow one to lower and raise the various group indices.
The respective Levi-Civita symbols are defined as
for the internal spaces, and
for the 5D and 4D space-times.
1.2 A.2 Lie algebra basis
A basis of the Lie algebra (a)ds\(_6\) of the group (A)dS\(_6\) may be given by the 15 matrices \(M_{PQ}=-M_{QP}\):
satisfying the (a)ds\(_6\) commutation relations
One can decompose this basis according to representations of the 5D Lorentz group SO(1,4) as
where a positive dimensionful parameter \(\lambda \) has been introduced, related to a cosmological constant \(\Lambda \sim s\lambda ^2\) (\(s=\eta _{55}\)) of a 5D gravitation theory. The commutation relations read now
with \({\tilde{\eta }}_{AB} = \text{ diag }(-1,1,1,1,1)\). The ten generators \(M_{AB}\) generate the 5D Lorentz group, and together with the five generators \(P_A\), generate the (A)dS\(_6\) group for 5D space-time. The \(M_{AB}\) may be represented by the \(5\times 5\) matrices
The first line of A.4, namely
but this time with the metric \(\eta _{AB} = \text{ diag }(-1,1,1,1,s)\), gives the commutation rules of the Lie algebra of (A)dS\(_5\). Its decomposition according to representations of the 4D Lorentz group reads
In the same way as above we have introduced the dimensionful parameter \(\lambda \) related now to the cosmological constant of a 4D gravitation theory. Thus
We are also interested in the full decomposition of the (A)dS\(_6\) algebra according to representations of the Lorentz group SO(1,3):
1.3 A.3 Dimensions
The dimensions of the fields and the parameters of the theory, given in mass units, are
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3.
About this article
Cite this article
Morales, I., Neves, B., Oporto, Z. et al. A topological-like model for gravity in 4D space-time. Eur. Phys. J. C 76, 191 (2016). https://doi.org/10.1140/epjc/s10052-016-4045-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-016-4045-5