Perspective The following article is Free article

Geometric perfect fluids from Extended Gravity

, and

Published 4 March 2022 Copyright © 2022 EPLA
, , Perspective Citation Salvatore Capozziello et al 2022 EPL 137 19001 DOI 10.1209/0295-5075/ac525d

0295-5075/137/1/19001

Abstract

A main issue in cosmology and astrophysics is whether the dark sector phenomenology originates from particle physics, then requiring the detection of new fundamental components, or it can be addressed by modifying General Relativity. Extended Theories of Gravity are possible candidates aimed at framing dark energy and dark matter in a comprehensive geometric view. Considering the concept of perfect scalars, we show that the field equations of such theories naturally contain perfect fluid terms. Specific examples are developed for the Friedman-Lemaître-Roberson-Walker metric.

Export citation and abstract BibTeX RIS

Introduction

Since Hubble disclosed the realm of the nebulae, the Cosmological Principle has been confirmed by a vast range of observations, and it is the cornerstone of the Cosmological Standard Model. The large scale uniformity and isotropy of space at all times fixes the Friedman-Lemaitre-Robertson-Walker (FLRW) metric on purely geometrical grounds. However, the evolution of cosmological parameters is given by the Einstein field equations once the sources are specified. Besides the perfect fluid matter sources, such equations must account for observed gravitational effects that are now ascribed to dark energy and dark matter whose effects are well evident at astrophysical and cosmological scales.

According to the basic picture, in the framework of the Λ CDM model, dark energy behavior can be addressed by the cosmological term $\Lambda g_{\mu\nu}$ . Dark matter is a dust term added to the energy-momentum tensor of ordinary matter and describes, in the standard expectation, a sea of unknown weakly interacting particles. At higher resolution, in response to primordial perturbations, it constitutes the cosmic web where galaxy clusters form.

There is a huge global effort to detect such dark particles, which are probably strangers to the standard table of elementary particles, but, at the moment, there is no univocally determined particle candidate capable of matching consistently the whole phenomenology despite the efforts of extremely precise running experiments [1].

But new particles are not necessarily the correct answer. Dark sector could be nothing else but the indication that General Relativity should be revised or extended at infrared scales so the answer to trace a consistent cosmic history could be of geometric origin [2,3].

The key point for this program is to show that any further geometric term beyond the Ricci curvature scalar R or any other geometric invariant in the gravitational action can be modeled as a perfect fluid. This result should be not only an analogy but a direct demonstration. In such a case, within the paradigm of General Relativity, a correct picture of cosmic flow could definitely address the problem of dark matter and dark energy.

The purpose of this perspective paper is to confirm the broad consensus that dark effects may be searched in geometry, by extending the Hilbert-Einstein action from its simplest original form. We shall consider some well-known models of Extended Gravity: f(R), $f(R,{\mathcal G})$ , Higher-order, Quadratic gravity. For all of them, adopting the notion of perfect scalar, we show that perfect-fluid terms appear in the field equations. We specialize this analysis to the case of FLRW spacetime but it can be enlarged to more general spacetimes. In this perspective, data can be used to reconstruct the "correct" cosmic history without searching for new particle candidates [4]. Clearly, initial ultraviolet behavior has to be considered and matched with the late time epochs and large scale structure in a unitary picture [5].

The layout of the paper is the following. In the next section, we define the perfect scalars in the context of FLRW spacetimes. This concept allows to deal with any Extended Gravity under the standard of perfect fluids as discussed in the third, fourth, fifth and sixth sections where relevant examples are given. Conclusions are drawn in the last section.

Perfect scalars in Friedman-Lemaître-Robertson-Walker spacetimes

The Cosmological Principle fixes the structure of spacetime as a warped manifold, where time slices are Riemannian subspaces of constant curvature [6]. In proper coordinates the FLRW metric is

Equation (1)

In a covariant setting 1 , a FLRW spacetime is characterized by a time-like unit vector field, $u_k u^k=-1$ , that is shear-free, vorticity-free and acceleration-free, which means

Equation (2)

Equation (3)

and by a null Weyl tensor, $C_{jklm}=0$ (see also [7] where the Chen vector $X_j\propto u_j$ is used). The tensor $h_{jk}=g_{jk}+u_ju_k$ is the projection on the vector space locally orthogonal to uk . With these properties and the relation $R_{jklm}u^m =(\nabla_j\nabla_k -\nabla_k\nabla_j)u_l$ one obtains the Riemann tensor [7]

Equation (4)

and the Ricci tensor, with the perfect-fluid form,

Equation (5)

where ξ is the eigenvalue: $R_{jk}u^k =\xi u_j$ ,

Equation (6)

In the comoving frame (1), eq. (2) shows that the field ${\sf H}$ is precisely the Hubble parameter and ξ is related to the deceleration parameter $q=-\ddot a a/\dot a^2$ :

Equation (7)

For a detailed discussion see [8].

The following definitions and lemmas have a key role in the forthcoming discussion of cosmological models derived from Extended Gravity [9]. According to their validity, it is possible to model out further geometric terms in the Hilbert-Einstein action as perfect fluids. Let us start from the definition: A scalar field S is perfect if $\nabla_i S= -u_i \dot S$ .

Lemma. If S is perfect, then $\dot S$ is perfect, i.e., $\nabla_j \dot S =-u_j \ddot S$ .

Proof. $\nabla_i \dot S = \nabla_i (u_k\nabla^k S) = {\sf H} h_{ik} \nabla^k S + u^k\nabla_i\nabla_k S$ . The first term is zero because S is perfect. In the second term, let us exchange derivatives and obtain $u^k\nabla_k (\nabla_i S) = -u^k\nabla_k (u_i\dot S) = -u_i u^k\nabla_k \dot S$ . Then $\nabla_i \dot S = -u_i \ddot S$ , i.e., $\dot S$ is perfect.□

If S is perfect then f(S) is perfect for a smooth function. Sums and products of perfect scalars are perfect. Since ${\sf H}$ is perfect, then ${\sf H}^2$ and $\dot{\sf H}$ are perfect, and then ξ is perfect.

Lemma. If S is perfect then the Hessian $\nabla_i\nabla_j S$ has the perfect-fluid form

Equation (8)

Proof. $\nabla_i\nabla_j S = \nabla_i(-u_j \dot S) = -{\sf H} h_{ij} \dot S -u_j \nabla_i \dot S= -{\sf H} h_{ij} \dot S +u_iu_j \ddot S.$

In particular, if S is perfect, then $\square S = -3{\sf H} \dot S -\ddot S$ is perfect, being a combination of perfect fields, and the scalar fields $\square^m S$ , $m=1,2,\ldots$ are perfect.

Lemma. R is a perfect scalar, $\nabla_j R=-u_j\dot R$ , and

Equation (9)

Proof. The Bianchi identity $\nabla^k R_{kj}=\frac{1}{2}\nabla_j R$ is evaluated with (5). That is

Contraction with uj gives (9) and the last equation gives $\nabla_j R =-u_j \dot R$ . □

The differential equation. (9) can be solved in the comoving frame. Multiplying it by a2(t), one obtains ${\frac{\rm d}{{\rm d}t}(Ra^2 -2 \xi a^2) = 4\xi \dot a a}$ . Insert $\xi =3\ddot a/a$ and obtain the total derivative: ${ \frac{\rm d}{{\rm d}t}(R a^2- 6 a\ddot a - 6 \dot a^2)=0}$ . Integration yields

Equation (10)

where the number $R^*$ is the curvature scalar of the space submanifold. By rescaling space coordinates, it can be put equal to $k=0,\pm 1$ (see [8]). This equation is independent of the model and of the matter content of the universe, and only descends from the FLRW hypothesis that the spacetime is homogeneous and isotropic.

In ref. [10] the simplest choice $\dot R=0$ and k = 0 yields the expanding solution $a^2(t) = \sinh (t \sqrt{R/3} )$ . This a priori choice of the geometry has an interesting outcome: the Einstein equations with $\Lambda =0$ imply an evolving perfect fluid with $p=\rho /3$ at $t\ll \sqrt R$ and $p=-\rho$ at $t\gg \sqrt R$ . This means that a transition from a matter-dominated phase and an accelerated behavior can be achieved according to the value of the field $\sqrt R$ .

In real world, there is a complex interplay between geometry and matter. The evolution of a(t) is determined by non-linear, model-dependent, generalized Friedmann equations. As we will see below, the concept of perfect scalar is useful to define fluids sourcing the cosmological equations, independently of their matter or geometric origin [9]. Specifically, the Hessian of a perfect scalar has the perfect-fluid form. Since the Ricci scalar is the fundamental geometric object, the property of being perfect requires that the Weyl tensor is harmonic.

In next sections, we consider different Extended Theories of Gravity and show that the field equations only contain perfect-fluid terms. In other words, according to the previous prescriptions, any geometric contribution can be recast as a perfect fluid.

f(R) gravity

f(R) theories of gravity were introduced by Buchdahl in 1970 [11] and gained popularity with the works by Starobinsky on cosmic inflation [12]. Now they are explored as possible theories to avoid the need of dark matter and dark energy [1316]. In these theories, the scalar R in the gravitational action is replaced by a smooth function f(R):

S(m) is the action for the matter fields. The vanishing of the first variation in gkl gives, modulo surface terms, the field equations:

Equation (11)

where a prime denotes a derivative with respect to R. The contracted Bianchi identity $\nabla_k T^k{}_l=0$ is preserved for any smooth f(R).

By describing ordinary matter as a mixture of perfect fluids with pressure pm and energy density $\rho_m$ , the left-hand side must have the form of a perfect fluid. In FLRW spacetimes, the Ricci tensor is a perfect fluid, according to eq. (5), and we showed that $R,\xi$ are perfect scalars. Then we obtain the perfect-fluid expression

Separation of terms proportional to hkl and to uk ul gives

For $f(R)=R$ we recover the General Relativity and then $R + 2\xi = -6\kappa p_m$ , $R- 2\xi = 2\kappa \rho_m$ . The extra terms coming from $f(R)-R$ are an effective pressure and energy density of geometric origin, that add to the ordinary matter terms. General properties of vacuum solutions $p_m=0$ and $\rho_m =0$ are discussed in [17].

In the Starobinski model, $f(R)=R+\alpha R^2$ , the equations become

In flat space, eq. (10), with $R^*=0$ , gives a non-linear fourth-order equation for a(t).

In ref. [18] we proved the following statement: the sufficient conditions for a quasi-Einstein spacetime (i.e., with perfect-fluid Ricci tensor) to separately have $\nabla_i R \nabla_j R$ and $\nabla_i\nabla_j R$ of perfect fluid form are:

  • 1)  
    the spacetime is ${\rm d}s^2=-{\rm d}t^2+a^2(t)g^*_{\mu\nu} {\rm d}x^\mu {\rm d}x^\nu$ , that is the space can be also non-homogeneous and anisotropic, more general than FLRW space-time;
  • 2)  
    the Weyl tensor has to be harmonic $(\nabla_m C_{jkl}{}^m=0)$ .

If they hold, field equations (11) describe perfect fluids. In other words, in the case of f(R) gravity, the extra geometric terms give rise to a further perfect fluid with respect to the standard matter one.

In fact, according to the above definition, f(R) gravity has one more perfect scalar compared to GR. By a rapid inspection of the field equations, such a perfect scalar is connected to the tensor degrees of freedom. In this context, the possible detection of further polarization modes of gravitational waves is a crucial issue to define the number of degrees of freedom and then to select a self-consistent theory of gravity [19].

Gauss-Bonnet gravity

An important extension of General Relativity is related to the Gauss-Bonnet scalar

Equation (12)

which is a topological invariant related to the Euler characteristic of a manifold. Nojiri and Odintsov [20] introduced modified gravity in the form $R+f({\mathcal G})$ as an alternative to f(R) to solve, on geometric grounds, the problem of dark energy and the late acceleration of the universe. Besides, the Gauss-Bonnet term is useful in regularizing quantum fields in curved spacetimes [14] and improves the efficiency of inflation, with multiple accelerated expansions because ${\mathcal G}$ behaves as a further scalaron other than the Ricci scalar R [21,22].

In ref. [23], we considered a general $f(R,{\mathcal G})$ theory

Equation (13)

The field equations are [24]

Equation (14)

where $f_R = \partial_R f$ and $f_{\mathcal G} =\partial_{\mathcal G} f$ . The extra terms in the right-hand side arise from geometry. Also in this case, we can apply the above scheme and derive a geometric perfect fluid. We can proceed as follows.

Lemma. In a four-dimensional FLRW spacetime, ${\mathcal G}$ is a perfect scalar.

Proof. In d = 4: $R_{jklm}R^{jklm} = C_{jklm} C^{jklm} + 2 R_{jk}R^{jk} -\frac{1}{3}R^2$ . In FLRW spacetimes, the Weyl tensor is zero, then we obtain ${\mathcal G} =-2R_{jk}R^{jk} +\frac{2}{3}R^2$ . According to eq. (5), it is ${\mathcal G} = \frac{4}{3}\xi (R-2\xi)$ . Since ξ and R are perfect scalars, also ${\mathcal G}$ is perfect. □

Being R and ${\mathcal G}$ perfect scalars, also fR and $f_{\mathcal G}$ are perfect scalars: $\nabla_k f_R = f_{RR} \nabla_k R + f_{R{\mathcal G}} \nabla_k {\mathcal G}= -u_k (f_{RR}\dot R +f_{R{\mathcal G}} \dot {\mathcal G})=-u^k\nabla_k f_R$ and similarly for $f_{\mathcal G}$ . It turns out that the tensor in the r.h.s. of the field equations has the perfect-fluid form and then can act as a geometric source leading the cosmic evolution [21].

Higher-order gravity

Higher-order corrections can be invoked in the effective action of gravitational interaction. This issue is mainly related to the renormalizability of gravity at ultraviolet scales but it can be considered also at cosmological scales [25].

Higher-order gravity can be characterized by the action [26]

Equation (15)

where F is a twice differentiable function of $(k+1)$ real variables. The condition of minimum action yields the Einstein field equations, where the higher-order geometric terms are collected in the right-hand side as [26]

Equation (16)

Remarkably, high-order gravity has the property $\nabla^i T^{(HG)}_{ij} =0$ . In [9], we proved that the correction terms are perfect fluid. In view of this statement, we have to prove the following.

Lemma. F and $F^a=\partial F/\partial y_a$ , as functions of $(R,\square R,\ldots,\square^k R)$ , are perfect scalars.

Proof. We have

and then the statement is proven. □

As a consequence, $\square^c F^a$ is perfect for any power c, as well as the linear combinations $\Theta_a = \sum_{b=a}^k \square^{b-a} F^b$ , with $a=0,1,\ldots,k$ . According to this result, perfect scalars can be defined also for higher-order derivatives.

Quadratic gravity

Quadratic gravity takes into account corrections to the Hilbert-Einstein action where quadratic curvature invariants are considered [27,28], that is

Equation (17)

where α, β, γ, $\Lambda_0$ are parameters and ${\mathcal G}$ is the Gauss-Bonnet invariant (12). Since here we restrict to dimension 4, the integral of the scalar ${\mathcal G}$ is surface term and then is zero. It can be ignored. The variation of the action with respect to the metric gives the stress-energy tensor associated to the quadratic gravity

Despite the complicated expression, the tensor has the perfect-fluid form in FLRW in any dimension [18]. According to the formalism of perfect scalars, the statement can be easily checked considering the above expressions (4) for the Riemann tensor, and (5) for the Ricci tensor. These expressions are functions of the perfect scalars R and ξ.

Conclusions

From the cosmological and astrophysical points if view, the issues of dark energy and dark matter can be addressed if suitable perfect fluids, sourcing the Einstein field equations, are detected and related to some fundamental components.

The difficulty to reveal particles beyond the Standard Model, despite the precision of running experiments, forces to invoke new approaches to match the phenomenology. Clearly, galactic and cluster dynamics, from one side, and accelerated expansion of the Hubble flow, from the other side, point out that problems of missing matter and exotic cosmic fluids have to be considered in some way.

Extensions of General Relativity seem natural answers if geometric corrections behave as perfect fluids.

Here, we demonstrated that, taking into account the concept of perfect scalar, it is possible to model any extra contribution or smooth function, entering the Hilbert-Einstein action, as perfect fluids. The result is naturally achieved in FLRW spacetimes once the Weyl tensor Cijkm is null and thanks to the special form of the Riemann and Ricci tensors that can be recast as function of perfect scalars R and ξ.

This feature allows to define effective equations of state ${w=\frac{p}{\rho}}$ in or out of the so-called Zeldovich interval $0\leq w \leq 1$ , valid for standard matter perfect fluids. As a consequence, accelerated behaviors for the scale factor a(t) can be obtained both at late [2] and early epochs [12,29]. Specifically, we mean that the presence of a perfect scalar in a theory of gravity can also describe perfect fluids with w < 0, giving rise to models with accelerated behaviors like inflationary or dark-energy–dominated eras and, obviously, a state of no deceleration or acceleration, with equation of state $w=-1/3$ , is also possible. The equation of state for geometric perfect fluids depends on the parameters of the theory and allows to suitably match cosmic evolution (see, for example, [30]).

It is worth noticing that, in ref. [31], authors applied our methodology to the Einstein-Lovelock theory of gravitation and found the energy density and isotropic pressure of the perfect fluid. In general, the paradigm we traced here could be considered also for other formulations of gravity like teleparallel gravity, based on the torsion scalar T, or non-metric theories of gravity, based on non-metric scalar Q [32,33], every time a perfect scalar can be defined.

Acknowledgments

SC acknowledges the Istituto Nazionale di Fisica Nucleare (INFN) Sez. di Napoli (Iniziative Specifiche QGSKY and MOONLIGHT2) for the support.

Data availability statement: No new data were created or analysed in this study.

Footnotes

  • We adopt the notation $i,j,k,\ldots=0,1,2,3$ ; $\mu,\nu,\rho, \ldots=1,2,3$ . A dot means the operator $u^k\nabla_k$ , i.e., the time derivative in the comoving frame $u^0=1$ , $u^\mu=0$ .

Please wait… references are loading.