This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Unified first law of thermodynamics in Gauss-Bonnet gravity on an FLRW background

Joel Saavedra 0000-0002-1430-3008 [email protected] Instituto de Física, Pontificia Universidad Católica de Valparaíso, Casilla 4950, Valparaíso, Chile.    Francisco Tello-Ortiz 0000-0002-7104-5746 [email protected] Instituto de Física, Pontificia Universidad Católica de Valparaíso, Casilla 4950, Valparaíso, Chile.
Abstract

Employing the thermodynamics unified first law through the thermodynamics-gravity conjecture, in this article, we derive for an FLRW universe the Friedmann equations in the framework of Gauss-Bonnet gravity theory. To do this, we project this generalized first law along the Kodama vector field and along the direction of an orthogonal vector to the Kodama vector. The second Friedmann equation is obtained by projecting on the Kodama vector, while the first is obtained by projecting along the flux on the Cauchy hypersurfaces. This result does not assume a priory temperature and an entropy, so the Clausius relation is not used here. Nevertheless, it is used to obtain the corresponding Gauss-Bonnet entropy. In this way, the validity of the generalized second law of thermodynamics is proved for the Gauss-Bonnet gravity theory.

I Introduction

The connection between gravity and thermodynamics, or in other words, the thermodynamics description of gravity and vice versa, was put forward by seminal articles by Bardeen, Carter and Hawking Bardeen:1973gs , Bekenstein Bekenstein:1973ur , Hawking Hawking:1975vcx , Gibbons and Hawking Gibbons:1976ue and York York:1986it . In this series of works, the black hole (BH) thermodynamics laws were developed, leading to an important interpretation such as the BH temperature as the surface gravity Hawking:1975vcx ; Gibbons:1976ue and the BH entropy as the surface area Bekenstein:1973ur . All the mentioned results were obtained within the framework of General Relativity (GR); however, later on, this analysis was extended to higher dimensional gravitational theories, specifically Lovelock’s gravity Lovelock:1971yv , by Myers and Simon in Myers:1988ze . After all these advances, Jacobson obtained Einstein’s field equations from a pure thermodynamics description Jacobson:1995ab .

The aforementioned unexpected link gave rise to possible quantum gravitational effects, taking a first step in unifying these two branches: gravity and quantum mechanics. However, an additional crucial point was necessary to proceed further in this direction. In doing that, Hayward, in a series of articles Hayward:1993wb ; Hayward:1994bu ; Hayward:1997jp , derived the thermodynamics unified first law (UFL) for dynamical BHs. In this context, the Killing vector field is replaced by the Kodama vector field Kodama:1979vn and event horizons by apparent horizon Hayward:1997jp ; Kodama:1979vn ; Faraoni:2011hf . Interestingly, the Kodama vector field establishes a privileged time direction, and its contraction with Einstein tensor defines a conserved charge Kodama:1979vn ; Hayward:1997jp .

This dynamical framework allowed us to spread the thermodynamics description to scenarios beyond the BHs arena. Concretely, this methodology has been applied to the cosmological scenario in several gravity theories Cai:2005ra ; Akbar:2006kj ; Cai:2006rs ; Sheykhi:2010zz ; Sebastiani:2023brr , where one does not have an event horizon, instead one an inner past apparent horizon (for expanding cosmology) or future inner apparent horizon (for contracting cosmology)Faraoni:2011hf ; Faraoni:2015ula ; Helou:2015zma .

In this concern, it has been argued that to obtain the dynamic of the FLRW universe, i.e., Friedmann field equations, one needs to assume from the very beginning the notion of temperature and entropy Cai:2005ra ; Cai:2006rs . This is because the term describing the energy variation in the UFL becomes zero when projecting it along the apparent horizon. For the GR case, in Helou:2015yqa ; Helou:2015zma , it was proven that this happens for every constant radius and not only for the apparent horizon. However, this conclusion drastically changes when different vector fields are used to project the UFL along the apparent horizon. For example, when contracting the UFL with the Kodama vector, the Friedmann equations naturally arise without further consideration.

On the other hand, if one follows the approach given in Cai:2005ra ; Cai:2006rs in the Gauss-Bonnet gravity theory (as was done in Cai:2005ra ), it is necessary to assume that the apparent horizon is fixed when projecting the UFL along it. This is because the Misner–sharp energy Misner:1964je contains non-trivial contribution coming from the gravitational sector Maeda:2006pm ; Maeda:2007uu ; Maeda:2008nz , and these do not vanish unless the apparent horizon is taken to be constant, as previously mentioned. Nevertheless, as the apparent horizon is a dynamic object Faraoni:2015ula , considering it a fixed entity is a very strong restriction. Then, in this article, we do not follow the approach used in Cai:2005ra to regain Friedmann equations from the UFL. Instead of it, we project the UFL along the apparent horizon using the Kodama vector field. This is possible because the Kodama vector becomes a null vector on the apparent horizon Kodama:1979vn ; Hawking:1975vcx ; Faraoni:2015ula ; in this case, the apparent horizon behaves as a null surface. This means that the Kodama vector is orthogonal and tangent to the apparent horizon. In this way, the second Friedmann equation naturally arises without the assumption of Clausius thermodynamics relation. Then, the first Friedmann equation is obtained by projecting the UFL along the direction of a vector field orthogonal to the Kodama vector, consequently hypersurface orthogonal to the apparent horizon surface. The Clausius relation becomes relevant in testing the so-called generalized second law. The Gauss-Bonnet entropy is also obtained by starting from the UFL and identifying the energy-supply contribution with the Clausius relation.

The article is organized as follows: Sect. II provides a short revision about the apparent horizon description for an FLRW universe and a short review of the Kodama vector field in this background. Sect. III is devoted to the presentation of the Gauss-Bonnet gravity theory and also presents the main results of this research, that is, the Friedmann equations obtained from the UFL (III.2) and the Gauss-Bonnet entropy expression (III.3). Finally, Sect. IV provides some remarks about the article.

Throughout the article, the mostly positive signature {,+,+,+}\{-,+,+,+\} and units where the speed of light c=1c=1 are used.

II Apparent horizon and Kodama vector field

In this section, we briefly review the main and elemental ingredients to study the thermodynamics of the FLRW space-time. To do this, we must define the apparent horizon in describing dynamical solutions Faraoni:2011hf ; Faraoni:2015ula . Along with this information, determining the proper dynamical vector field is necessary, providing the correct information on the apparent horizon. This vector field is the well-known Kodama vector field Kodama:1979vn ; Hayward:1993wb ; Hayward:1994bu ; Hayward:1997jp which is replacing the usual time–like Killing vector field employed in the static situation.

II.1 The apparent horizon of the FLRW space–time

As stated before, the pertinent entity to describe the thermodynamics of the Universe is the so-called apparent horizon (AHAH) Faraoni:2011hf ; Faraoni:2015ula . The AHAH is the surface satisfying

hijiRjR=0,i,j=t,r,h^{ij}\nabla_{i}R\nabla_{j}R=0,\quad i,j=t,r, (1)

where RR is the areal radius defined as R(t,r)=a(t)rR(t,r)=a(t)r, being a(t)a(t) the scale factor, rr the co–moving radial distance and hijh^{ij} the inverse metric of the two–dimensional metric hijh_{ij} on the trt-r plane. These definitions come from the FLRW line element

ds2=dt2+a2(t)(dr21kr2+r2dΩ(n2)2),ds^{2}=-dt^{2}+a^{2}(t)\left(\frac{dr^{2}}{1-kr^{2}}+r^{2}d\Omega_{(n-2)}^{2}\right), (2)

re-expressed by means of the warped product as

ds2=hijdxidxj+R2dΩ(n2)2,ds^{2}=h_{ij}dx^{i}dx^{j}+R^{2}d\Omega_{(n-2)}^{2}, (3)

where in the above expressions k=0,±1k=0,\pm 1 is the spatial curvature and dΩ(n2)2d\Omega_{(n-2)}^{2} is the line element of a (n2)(n-2)–dimensional unit sphere. Therefore, in this way the metric on trt-r plane is given by hij=diag{1,a2/(1kr2)}h_{ij}=\text{diag}\{-1,a^{2}/\left(1-kr^{2}\right)\}.

Now, the solution RAHR_{AH} of Eq. (1) is given by111The apparent horizon in this context, is a dynamical marginally outer trapped surface (MOTS) with vanishing expansion Faraoni:2015ula .Faraoni:2011hf ; Faraoni:2015ula

RAH=1H2+ka2,R_{AH}=\frac{1}{\sqrt{H^{2}+\frac{k}{a^{2}}}}, (4)

with H=a˙/aH=\dot{a}/a being the Hubble’s parameter. For a flat FLRW, when k=0k=0, the expression (4) coincides with the Hubble’s radius. From now on, we will keep the spatial curvature kk arbitrary.

Although the co-moving patch222Greeks indexes run over the full space-time components, Latin indexes only run over time and radial components. xμ={t,r,θ1θn2}x^{\mu}=\{t,r,\theta_{1}\ldots\theta_{n-2}\}, with n3n-3 angles ranging over [0,π][0,\pi] and n2n-2 ranging over [0,2π)[0,2\pi), is the natural chart for the FLRW metric, it is more instructive to express this model using the Schwarzschild–like coordinate chart yμ={T,R,θ1θn2}y^{\mu}=\{T,R,\theta_{1}\ldots\theta_{n-2}\}. One must establish the relation between the co-moving time tt and radius rr with the new time TT and radius RR coordinates to do this. These relations are given by Faraoni:2011hf ; Faraoni:2015ula ; Nielsen:2005af

dt=FdTβdR,dt=FdT-\beta dR, (5)
dr=HRFadT+1adR,dr=-\frac{HRF}{a}dT+\frac{1}{a}dR, (6)

where F=F(T,R)F=F(T,R) is an integration factor in order to assure that dtdt being an exact differential, HH and aa implicit functions of the time coordinate TT and β\beta a function given by

β(t,R)=HR1H2R2kr2.\beta(t,R)=\frac{HR}{1-H^{2}R^{2}-kr^{2}}. (7)

In this way, the line element (2) acquires the following form

ds2=(1H2R21kR2/a2)F2dT2+dR21kR2/a2H2R2+R2dΩ(n2)2.\begin{split}ds^{2}=-\left(1-\frac{H^{2}R^{2}}{1-kR^{2}/a^{2}}\right)F^{2}dT^{2}&\\ +\frac{dR^{2}}{1-kR^{2}/a^{2}-H^{2}R^{2}}+R^{2}d\Omega_{(n-2)}^{2}.\end{split} (8)

From (8) it is easy to get the AHAH by solving

gRR=0,g^{RR}=0, (9)

for RR leading as before to (4).

II.2 Kodama vector field for FLRW space–time

As it is well-known, there is no preferred time coordinate in an evolving time-dependent space-time. This is because there is no asymptotically time–like a Killing vector field. Then, to bypass this issue, a divergence-free vector field which is present in any time-dependent spherically symmetric333For generalizations of the Kodama vector to symmetries other than the spherical one see for example Tung:2007vq ; Kinoshita:2021qsv . space-time was introduced in Kodama:1979vn and is referred as the Kodama vector field. The Kodama vector field identifies a natural time-like direction and is used to define locally conserved currents Kodama:1979vn ; Hayward:1993wb . So, for dynamical situations, it is necessary to introduce or replace the objects used in a static/stationary context for those giving the proper description Hayward:1997jp , that is

  1. 1.

    Killing vector field \mapsto Kodama vector field.

  2. 2.

    Killing horizon \mapsto apparent horizon.

In general, the Kodama vector field is defined as

KiEijjR,K^{i}\equiv E^{ij}\nabla_{j}R, (10)

where EijE^{ij} is the skew-symmetric Levi–Civita tensor defines as

Ei1in=sgn(|h|)|h|εi1in,E^{i_{1}\ldots i_{n}}=\frac{\text{sgn}\left(|h|\right)}{\sqrt{|h|}}\varepsilon^{i_{1}\ldots i_{n}}, (11)

where hh is the determinant of the metric hijh_{ij}, the sign function sgn(h)=(1)q\text{sgn}(h)=(-1)^{q}, with qq the number of negatives in the metric signature444This definition occurs when the metric has an odd number of negative signs in the signature as in our case. and εi1in\varepsilon^{i_{1}\ldots i_{n}} the standard Levi–Civita symbol defined according our basis coordinate orientation as

εi1in=εi1in{+1 even permutation, 1 odd permutation, 0 otherwise. \varepsilon_{i_{1}\ldots i_{n}}=-\varepsilon^{i_{1}\ldots i_{n}}\left\{\begin{aligned} +1&\text{ even permutation, }\\ -1&\text{ odd permutation, }\\ 0&\text{ otherwise. }\end{aligned}\right. (12)

On the other hand, if the metric is expressed in Schwarzschild–like coordinate gauge, the components of the Kodama vector (10) assume the simple form Kodama:1979vn ; Racz:2005pm

Ki=1gTTgRR(t)i.K^{i}=\frac{1}{\sqrt{g_{TT}g_{RR}}}\left(\frac{\partial}{\partial t}\right)^{i}. (13)

Then, for the line element (8) one gets

K=KTT=F1ka2R2T.K=K^{T}\partial_{T}=F\sqrt{1-\frac{k}{a^{2}}R^{2}}\,\partial_{T}. (14)

Now, from the norm of the Kodama vector K2=KiKiK^{2}=K_{i}K^{i}

K2=KiKi=(1H2R2kR2a2)=(1R2RAH2),K^{2}=K_{i}K^{i}=-\left(1-H^{2}R^{2}-\frac{kR^{2}}{a^{2}}\right)=-\left(1-\frac{R^{2}}{R_{AH}^{2}}\right), (15)

we can infer the following valuable information: the Kodama vector is time–like if K2<0K^{2}<0, thus R<RAHR<R_{{AH}}, null K2=0K^{2}=0 if R=RAHR=R_{{AH}} and space–like if K2>0K^{2}>0, that is, outside the AHAH R>RAHR>R_{{AH}}. Thus, the AHAH behaves as a null surface in this case. Fig. 1 shows a schematic representation of the Kodama vector (14). As can be appreciated, in the chart yμ={T,R,θ1θn2}y^{\mu}=\{T,R,\theta_{1}\ldots\theta_{n-2}\} it is hypersurface orthogonal to the Cauchy hyper–surface Σ(R,θ1θn2):TT0=0\Sigma(R,\theta_{1}\ldots\theta_{n-2}):T-T_{0}=0. This fact is clear from the general hyper–orthogonal condition, which reads: Xi=Λ(xj)iΣX_{i}=\Lambda(x^{j})\nabla_{i}\Sigma, being Λ\Lambda some proportionality factor, which in general will vary from point to point and iΣ=T\nabla_{i}\Sigma=\partial_{T}. Besides, the Kodama vector is orthogonal to the two–spheres of symmetry. Interestingly, the modulus of the norm (15) coincides with the space–like slice of marginally trapped tube (MTT) given by555As we are performing a foliation of the space-time, as shown in Fig. 1, the surface χ\chi is just a two-sphere of radius RAHR_{AH} embedded in a specific Cauchy hypersurface Σ\Sigma. However, if we collect all the constant time slices Σ\Sigma one gets the MTT (purple surface in Fig. 1), equivalently if one considers χ(T,θ1θn2)\chi(T,\theta_{1}\ldots\theta_{n-2}) instead of only χ(θ1θn2)\chi(\theta_{1}\ldots\theta_{n-2}) one obtains the full MTT.

χ(θ1θn2):1R2RAH2=0.\chi(\theta_{1}\ldots\theta_{n-2}):1-\frac{R^{2}}{R^{2}_{AH}}=0. (16)

It is worth mentioning that each space–like slice (red circles) defines the MOTS given rise to the AHAH Faraoni:2011hf ; Faraoni:2015ula .

In analogy with Killing vectors, the Kodama vector satisfies

12hijKk(kKiiKk)=κKodama Kj,\frac{1}{2}h^{ij}K^{k}\left(\nabla_{k}K_{i}-\nabla_{i}K_{k}\right)=\kappa_{\text{Kodama }}K^{j}, (17)

where i\nabla_{i} is covariant the derivative compatible with the metric hijh_{ij} (khij=0\nabla_{k}h_{ij}=0). The Eq. (17) defines the notion of surface gravity for dynamical scenarios. Usually, this is referred to as the Hayward–Kodama (HK) surface gravity Hayward:1997jp , which in general has the following expression independent of the gravitational theory at hand

κHK =12|h|i(|h|hijjR).\kappa_{\text{HK }}=\frac{1}{2\sqrt{|h|}}\partial_{i}\left(\sqrt{|h|}h^{ij}\partial_{j}R\right). (18)

Now, we can discuss the thermodynamics of the FLRW space-time (2) through the associated thermodynamics UFL in the context of the higher dimensional GB theory.

Refer to caption
Figure 1: The Kodama vector KiK^{i} parallel to the time–like vector field T\partial_{T} orthogonal to the space–like Cauchy hyper–surfaces Σ=ΣT0(R,θ,ϕ):TT0=0\Sigma=\Sigma_{T_{0}}(R,\theta,\phi):T-T_{0}=0. The marginally trapped tube (MTT) corresponds to the purple surface. Each space-like surface (red circles) corresponds to marginally outer trapped surfaces (MOTS), giving rise to the apparent horizon (AHAH) Faraoni:2015ula , on which the norm of the Kodama vector nullifies. This schematic representation is constructed using the Schwarzschild–like coordinate patch yμ={T,R,θ1θn2}y^{\mu}=\{T,R,\theta_{1}\ldots\theta_{n-2}\}.

III thermodynamics UFL in GB gravity

III.1 Preliminaries of GB gravity

The whole action of the nn–dimensional GB666This theory is also known as Einstein-Gauss-Bonnet (EGB) gravity; however, we will refer to this theory as GB only. couple to matter fields, is given by

SGB=116πGndnxg[+α𝒢GB]+B.T.+Sm,S_{GB}=\frac{1}{16\pi G_{n}}\int_{\mathcal{M}}d^{n}x\sqrt{-g}\left[\mathcal{R}+\alpha\mathcal{G}_{\text{GB}}\right]+\text{B.T.}+S_{m}, (19)

where \mathcal{R} is the nn–dimensional Ricci scalar, B.T. stands for boundary terms in order to have a well–defined action principle, GnG_{n} the nn–dimensional gravitational constant, α\alpha is a constant with units of length squared and SmS_{m} is the action of the matter fields. The GB term 𝒢GB\mathcal{G}_{GB} reads as

𝒢GB=R24RμνRμν+RμνσγRμνσγ.\mathcal{G}_{\text{GB}}=R^{2}-4R^{\mu\nu}R_{\mu\nu}+R^{\mu\nu\sigma\gamma}R_{\mu\nu\sigma\gamma}. (20)

It is worth mentioning that, in the case of superstring theory, in the low energy limit, α\alpha is related to the inverse string tension and is positive definite Gross:1986iv ; Gross:1986mw . Besides, the GB action is a natural extension of the Einstein theory in that no derivatives higher than second order appear in the field equations. For this to happen, the numerical coefficient of the 𝒢GB\mathcal{G}_{GB} must be {1,4,1}\{1,-4,1\} as shown in Eq. (20).

Now, taking variations with respect to metric tensor gμνg^{\mu\nu}, the field equations coming from the action (19) are given by

Gνμ+αHνμ=8πGnTνμ,G^{\mu}_{\nu}+\alpha H^{\mu}_{\nu}=8\pi G_{n}T^{\mu}_{\nu}, (21)

being

Gμν=Rμν12gμν,G_{\mu\nu}=R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}\mathcal{R}, (22)

the Einstein tensor and

Hμν\displaystyle H_{\mu\nu} =2(Rμν2RμλRνλ2RγδRγμδν+RμαγδRανγδ)\displaystyle=2\left(\mathcal{R}R_{\mu\nu}-2R_{\mu\lambda}R_{\nu}^{\lambda}-2R^{\gamma\delta}R_{\gamma\mu\delta\nu}+R_{\mu}^{\alpha\gamma\delta}R_{\alpha\nu\gamma\delta}\right) (23)
12gμν𝒢GB\displaystyle-\frac{1}{2}g_{\mu\nu}\mathcal{G}_{GB}

the contribution coming from the GB term (20), the so–called Lanczos tensor. As we know, for n=4n=4, the tensor HμνH_{\mu\nu} is zero because the GB term (20) becomes a topological invariant, not affecting the dynamic of the theory. Besides, TνμT^{\mu}_{\nu} is the energy–momentum tensor for matter fields obtained from SmS_{m}.

Next, assuming that the energy-momentum tensor is the one describing an isotropic fluid

Tμν=(ρ+p)XμXν+pgμν,T_{\mu\nu}=\left(\rho+p\right)X_{\mu}X_{\nu}+pg_{\mu\nu}, (24)

where ρ\rho is the density, pp the isotropic pressure and XμXμ=1X^{\mu}X_{\mu}=-1 the four–velocity. The field Eqs. (21) subject to the line element (2) lead to the following Friedmann equations in the GB scenario

1RAH2+α~RAH4=16πGn(n1)(n2)ρ,\frac{1}{R^{2}_{AH}}+\frac{\tilde{\alpha}}{R^{4}_{AH}}=\frac{16\pi G_{n}}{(n-1)(n-2)}\rho, (25)
(1+2α~RAH2)(H˙ka2)=8πGnn2(ρ+p).\left(1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\right)\left(\dot{H}-\frac{k}{a^{2}}\right)=-\frac{8\pi G_{n}}{n-2}(\rho+p). (26)

As expected, the above expressions are modified by the presence of the GB terms throughout the coupling constant α~(n3)(n4)α\tilde{\alpha}\equiv(n-3)(n-4)\alpha and also by the dimension nn of the space-time, recovering the usual Friedmann equations for the GR scenario when n=4n=4.

In obtaining the above expressions, we have used Ricci’s scalar

=6(a˙2a2+a¨a+ka2),\mathcal{R}=6\left(\frac{\dot{a}^{2}}{a^{2}}+\frac{\ddot{a}}{a}+\frac{k}{a^{2}}\right), (27)

and the GB term

𝒢GB=24(ka2+H2)(H˙+H2).\mathcal{G}_{\text{GB}}=24\left(\frac{k}{a^{2}}+H^{2}\right)\left(\dot{H}+H^{2}\right). (28)

III.2 UFL in GB gravity and Friedmann equations

In general, to deal with the thermodynamics of AHAHs, one needs to modify the usual approach based on the thermodynamics first law, employed in the static/stationary BHs case Bardeen:1973gs ; Bekenstein:1973ur ; Hawking:1975vcx ; Gibbons:1976ue ; York:1986it . Hayward developed this approach in a series of articles Hayward:1993wb ; Hayward:1994bu ; Hayward:1997jp . The main ingredients of this formulation are: i) the Misner–Sharp (MS) mass MAHM_{AH} Misner:1964je , interpreted as the internal energy, ii) the HK surface gravity (18) (related with the temperature horizon) and iii) the areal volume VAH=4π3RAH3V_{AH}=\frac{4\pi}{3}R^{3}_{AH}. Additionally, it is necessary to introduce new quantities to reach the desired thermodynamics description. These quantities are: iv) the density work WW and the v) energy–flux ψi\psi_{i} across the AHAH Hayward:1997jp . Using the metric in the representation given by Eq. (3), the definition of these new pieces is given by

W12hijTij,W\equiv-\frac{1}{2}h_{ij}T^{ij}, (29)

and

ψiTijiR+WiR,\psi_{i}\equiv T^{j}_{i}\nabla_{i}R+W\nabla_{i}R, (30)

respectively.

Putting together all these objects, the thermodynamics UFL acquires the following form Hayward:1993wb ; Hayward:1994bu ; Hayward:1997jp

iM=Aψi+WiV,\nabla_{i}M=A\psi_{i}+W\nabla_{i}V, (31)

or by identifying the mass MM with the internal energy EE one obtains

iE=Aψi+WiV.\nabla_{i}E=A\psi_{i}+W\nabla_{i}V. (32)

It is worth mentioning that the term AψiA\psi_{i} is called the energy-supply vector.

As stated by Hayward in Hayward:1997jp , the thermodynamics description comes when (32) is projected along the direction of the AHAH, that is,

ziiE=κHK8πziiA+WziiV,z^{i}\nabla_{i}E=\frac{\kappa_{\text{HK}}}{8\pi}z^{i}\nabla_{i}A+Wz^{i}\nabla_{i}V, (33)

where the following identification has been made Aψi=κHK8πziiAA\psi_{i}=\frac{\kappa_{\text{HK}}}{8\pi}z^{i}\nabla_{i}A (see Hayward:1997jp ; Cai:2006rs for further details about how to obtain this identification) and ziz^{i} is a vector tangent to the AHAH. Interestingly, the Eq. (33) can be re-expressed as

κHK8πziiA=Rn3zii(ERn3)WziiV,\frac{\kappa_{\text{HK}}}{8\pi}z^{i}\nabla_{i}A=R^{n-3}z^{i}\nabla_{i}\left(\frac{E}{R^{n-3}}\right)-Wz^{i}\nabla_{i}V, (34)

where it is argued that the first term on the right-hand member of the above expression becomes zero along the AHAH Cai:2005ra ; Helou:2015yqa .

In Cai:2005ra ; Akbar:2006kj ; Cai:2006rs , the above statement was employed (in the GR framework) to recognize the left-hand member as the Clausius relation. In this way, the second Friedmann equation is obtained using the corresponding entropy and the temperature identification with the HK surface gravity. Nevertheless, in Binetruy:2014ela ; Helou:2015yqa ; Helou:2015zma , it was shown that these assumptions are not necessary to regain the second Friedmann equation. This is because the term claimed to be zero along the AHAH is zero for any constant RR (including the particular case R=RAR=R_{A}). Moreover, projecting the remaining terms leads to the desired result without further consideration. The same argument was used in the context of GB gravity Cai:2005ra . Nevertheless, the MS energy (mass) in the GB theory contains additional terms (corrections) Maeda:2006pm ; Maeda:2007uu ; Maeda:2008nz , contributing to the equation of motion (see Eqs. (25)–(26)). Therefore, in the present case, it is not correct to argue that the first term in the right-hand side of Eq. (34) is vanishing along the AHAH because both the left-hand side and the second term in the right-hand side, are not containing any information about the corrections introduced by the GB term. The only way to assume the above is to set AHAH to be constant and then assume the Clausius relation. However, this is a strong restriction because the AHAH is dynamic. Then, to recast Friedmann Eqs. (25)–(26) from the UFL (32) we are going to project it along the Kodama vector direction (leading to Eq. (26)) and along the direction orthogonal to the Kodama vector (obtaining Eq. (25)). It is worth mentioning that the information about the field equations is already contained in (32). Therefore, by projecting it along different directions, we only isolate a particular information about the FLRW dynamic.

To proceed further, we must introduce an essential ingredient: the MS energy for GB theory. In Maeda:2006pm ; Maeda:2007uu ; Maeda:2008nz , the spherically symmetric gravitational collapse of a dust cloud in the GB scenario, where the MS energy Misner:1964je associated with this process was found to be

E\displaystyle E (n2)π(n1)/28πGnΓ[(n1)2][Rn3(1hijiRjR)\displaystyle\equiv\frac{(n-2)\pi^{(n-1)/2}}{8\pi G_{n}\Gamma\left[\frac{(n-1)}{2}\right]}\bigg{[}R^{n-3}\left(1-h^{ij}\nabla_{i}R\nabla_{j}R\right) (35)
+α~Rn5(1hijiRjR)2].\displaystyle+\tilde{\alpha}R^{n-5}\left(1-h^{ij}\nabla_{i}R\nabla_{j}R\right)^{2}\bigg{]}.

The MS energy (35) evaluated at the FLRW metric (2) reads

EFLRW=(n2)π(n1)/28πGnΓ[(n1)2]Rn1RAH2[1+α~RAH2].E_{\text{FLRW}}=\frac{(n-2)\pi^{(n-1)/2}}{8\pi G_{n}\Gamma\left[\frac{(n-1)}{2}\right]}\frac{R^{n-1}}{R^{2}_{AH}}\left[1+\frac{\tilde{\alpha}}{R^{2}_{AH}}\right]. (36)

Of course, the above expressions reduce to the GR for n=4n=4.

It should be noted that the UFL (32) was derived using the warped chart (3). As we are working in the Schwarzschild patch (8) where the time TT and radial RR coordinates are independent coordinates from each one, we need to transform every object of (32) to get the desired result, taking into account that the area AA, the work density WW and the volume VV do not transform since they are invariant (scalars). Therefore, for the component of the covariant derivative, one has

T\displaystyle\nabla_{T} =\displaystyle= tTt+rTr=FtHRFar,\displaystyle\frac{\partial t}{\partial T}\nabla_{t}+\frac{\partial r}{\partial T}\nabla_{r}=F\nabla_{t}-\frac{HRF}{a}\nabla_{r}, (37)
R\displaystyle\nabla_{R} =\displaystyle= tRt+rRr=βt+1ar,\displaystyle\frac{\partial t}{\partial R}\nabla_{t}+\frac{\partial r}{\partial R}\nabla_{r}=-\beta\nabla_{t}+\frac{1}{a}\nabla_{r}, (38)

while for the energy–flux vector

ψT\displaystyle\psi_{T} =\displaystyle= tTψt+rTψr=FψtHRFaψr,\displaystyle\frac{\partial t}{\partial T}\psi_{t}+\frac{\partial r}{\partial T}\psi_{r}=F\psi_{t}-\frac{HRF}{a}\psi_{r}, (39)
ψR\displaystyle\psi_{R} =\displaystyle= tRψt+rRψr=βψt+1aψr,\displaystyle\frac{\partial t}{\partial R}\psi_{t}+\frac{\partial r}{\partial R}\psi_{r}=-\beta\psi_{t}+\frac{1}{a}\psi_{r}, (40)

obtaining

ψT\displaystyle\psi_{T} =\displaystyle= HRF(p+ρ),\displaystyle-HRF\left(p+\rho\right), (41)
ψR\displaystyle\psi_{R} =\displaystyle= 12(1kR2a2)(1R2RAH2)1(p+ρ).\displaystyle\frac{1}{2}\left(1-k\frac{R^{2}}{a^{2}}\right)\left(1-\frac{R^{2}}{R^{2}_{AH}}\right)^{-1}\left(p+\rho\right). (42)

To get (41) and (42) we used ψt=HR(p+ρ)/2\psi_{t}=-HR\left(p+\rho\right)/2 and ψr=a(p+ρ)/2\psi_{r}=a\left(p+\rho\right)/2.

Now, the UFL (32) projected on the Kodama (14) vector yields to

KTTE=AKTψT+WKTTV,K^{T}\nabla_{T}E=AK^{T}\psi_{T}+WK^{T}\nabla_{T}V, (43)

giving

KTTE=(n2)π(n1)/24πGnΓ[(n1)2]F21ka2R2Rn1R˙AHRAH3×(1+2α~RAH2),\begin{split}K^{T}\nabla_{T}E=-\frac{(n-2)\pi^{(n-1)/2}}{4\pi G_{n}\Gamma\left[\frac{(n-1)}{2}\right]}F^{2}\sqrt{1-\frac{k}{a^{2}}R^{2}}\frac{R^{n-1}\dot{R}_{AH}}{R^{3}_{AH}}&\\ \times\left(1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\right),\end{split} (44)
WKTTV=0,WK^{T}\nabla_{T}V=0, (45)
AKTψT=2π(n1)/2Γ[(n1)2]F2HRn1(p+ρ).AK^{T}\psi_{T}=-\frac{2\pi^{(n-1)/2}}{\Gamma\left[\frac{(n-1)}{2}\right]}F^{2}HR^{n-1}\left(p+\rho\right). (46)

Putting together (44), (45) and (46) and after some algebra we obtain

(1+2α~RAH2)(H˙ka2)=8πGnn2(ρ+p),\left(1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\right)\left(\dot{H}-\frac{k}{a^{2}}\right)=-\frac{8\pi G_{n}}{n-2}(\rho+p), (47)

where the following expression has been used in obtaining the above result

R˙AH=HRAH3(H˙ka2),\dot{R}_{AH}=-HR^{3}_{AH}\left(\dot{H}-\frac{k}{a^{2}}\right), (48)

recalling that every object is an implicit function of the TT time coordinate. Thus, the over-dot means differentiation with respect to TT.

Next, the orthogonal vector to the Kodama vector is given by

M=MRR=1a1kR2a2(1R2RAH2H2R2)R.M=M^{R}\partial_{R}=-\frac{1}{a}\sqrt{1-k\frac{R^{2}}{a^{2}}}\left(1-\frac{R^{2}}{R^{2}_{AH}}-H^{2}R^{2}\right)\partial_{R}. (49)

As can be seen, the vector (49) is tangent to the hypersurface Σ\Sigma, thus orthogonal to the Kodama vector (see Fig. 1), and hypersurface orthogonal to the two spheres defining the AHAH (equivalently hypersurface orthogonal to the (n–2)–dimensional hypersurface (16)). However, it is not a null vector on (16) as the Kodama vector does.

Projecting (32) along the direction of (49) we have

MRRE=(n2)π(n1)/28πaGnΓ[(n1)2]1kR2a2×[1R2RAH2H2R2]Rn2×[1R2RAH2]1[(n1)H2Rn+2RAH2×(1+α~RAH2)+2HR˙AHRn+2RAH3×(1+2α~RAH2)+(n1)RAH2(1+α~RAH2)×(1R2RAH2)],\begin{split}M^{R}\nabla_{R}E=-\frac{(n-2)\pi^{(n-1)/2}}{8\pi aG_{n}\Gamma\left[\frac{(n-1)}{2}\right]}\sqrt{1-k\frac{R^{2}}{a^{2}}}&\\ \times\left[1-\frac{R^{2}}{R^{2}_{AH}}-H^{2}R^{2}\right]R^{n-2}&\\ \times\left[1-\frac{R^{2}}{R^{2}_{AH}}\right]^{-1}\bigg{[}-\left(n-1\right)\frac{H^{2}R^{n+2}}{R^{2}_{AH}}&\\ \times\left(1+\frac{\tilde{\alpha}}{R^{2}_{AH}}\right)+\frac{2H\dot{R}_{AH}R^{n+2}}{R^{3}_{AH}}&\\ \times\left(1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\right)+\frac{\left(n-1\right)}{R^{2}_{AH}}\left(1+\frac{\tilde{\alpha}}{R^{2}_{AH}}\right)&\\ \times\left(1-\frac{R^{2}}{R^{2}_{AH}}\right)\bigg{]},\end{split} (50)
WMRRV=π(n1)/2Γ[(n1)/2](1R2RAH2)1×(1R2RAH2H2R2)(ρp)Rn2,\begin{split}WM^{R}\nabla_{R}V=\frac{\pi^{(n-1)/2}}{\Gamma\left[(n-1)/2\right]}\left(1-\frac{R^{2}}{R^{2}_{AH}}\right)^{-1}&\\ \times\left(1-\frac{R^{2}}{R^{2}_{AH}}-H^{2}R^{2}\right)\left(\rho-p\right)R^{n-2},\end{split} (51)
AMRψR=π(n1)/2Γ[(n1)/2](1R2RAH2)1×(1kR2RAH2)(ρ+p)Rn2.\begin{split}AM^{R}\psi_{R}=\frac{\pi^{(n-1)/2}}{\Gamma\left[(n-1)/2\right]}\left(1-\frac{R^{2}}{R^{2}_{AH}}\right)^{-1}&\\ \times\left(1-k\frac{R^{2}}{R^{2}_{AH}}\right)\left(\rho+p\right)R^{n-2}.\end{split} (52)

After some algebra, from expressions (50), (51) and (52) the output is

1RAH2+α~RAH4=16πGn(n1)(n2)ρ.\frac{1}{R^{2}_{AH}}+\frac{\tilde{\alpha}}{R^{4}_{AH}}=\frac{16\pi G_{n}}{(n-1)(n-2)}\rho. (53)

To obtain the first Friedmann Eq. (53) we have used W=(ρp)/2W=(\rho-p)/2, V=π(n1)/2Rn1/Γ[(n+1)/2]V=\pi^{(n-1)/2}R^{n-1}/\Gamma[(n+1)/2], A=2π(n1)/2Rn2/Γ[(n1)/2]A=2\pi^{(n-1)/2}R^{n-2}/\Gamma[(n-1)/2] and the previous result (51) to cancel out the pressure pp.

At this stage, some comments are pertinent. First of all, to obtain the Friedmann field equations (51) and (50), it is not necessary to assume from the very beginning the Clausius relation or include the associated entropy and temperature. Secondly, the complete information about the dynamic of the GB theory (in this case) in an FLRW background is already contained in the UFL (32), and its projection on different directions isolates a specific part of it. As the Kodama vector defines a privileged time direction, it leads to a dynamical equation as (51), while along the orthogonal direction with respect to the Kodama flow, the vector (49) provides the equation for the density ρ\rho. Although we have not used the Clausius relation and the corresponding GB entropy and temperature to obtain the above result, it does not imply that this relation and associated quantities are not fundamental in the thermodynamical description of gravity Jacobson:1995ab . In what follows, we are to get the GB entropy by identifying the surface gravity (18) with the temperature Bardeen:1973gs ; Hawking:1975vcx ; Bekenstein:1973ur ; Hayward:1993wb ; Hayward:1994bu ; Hayward:1997jp ; Jacobson:1995ab and those terms accompanying it as the entropy variation. After integrating these terms, we will obtain the desired expression for the GB entropy. Of course, to achieve it, one needs to employ (32) as the starting point in conjunction with the on-shell equations of motion.

III.3 The GB entropy

In the previous subsection III.2, we obtained the dynamic description (equation of motion) for the FLRW space-time in the GB gravity theory. It was reached starting from the thermodynamics UFL (32) and projecting it along different directions concerning the AHAH. In doing this, there was no assumption about temperature and entropy. Notwithstanding, as was proven and established at the starting works Bardeen:1973gs ; Hawking:1975vcx ; Bekenstein:1973ur ; Gibbons:1976ue ; York:1986it ; Jacobson:1995ab , there is a strong connection between the temperature and the surface gravity and also between the entropy and the area of the horizon (whatever the horizon, event or apparent horizons). Therefore, the link gravity \iff thermodynamics becomes evident (see Fig. 2 for a schematic representation of this conjecture).

[Uncaptioned image]
Figure 2: A schematic representation of the thermodynamics–gravity conjecture. Basically, this diagram reflects that, from the action principle, the field equations and thermodynamics description for a gravity theory are obtained. Furthermore, given a thermodynamics description, the field equations can also be obtained, and given the field equations, the thermodynamics description is reached, too.

In this subsection, we want to obtain the entropy for the GB theory in the FLRW background. Supported by the bi-directional relationship between gravity and thermodynamics, we will start from the MS energy at the AHAH together with the equations of motion. The differential form of the MS energy together with the UFL (32) and the surface gravity (18) shall allow us to recognize the temperature and, consequently, the associated entropy. The result must be consistent with those expressions obtained for the GB entropy using the Euclidean path integral Gibbons:1976ue ; York:1986it ; Myers:1988ze and also the so-called Wald entropy formula based on Noether charges Wald:1993nt ; Clunan:2004tb . It is worth mentioning that this approach has also been used in the context of BHs. These three ways to obtain the horizon entropy lead to the same expression. It can not be the exception for the cosmological scenario, independently of the gravitational theory.

The first assumption is to consider that the whole MS energy of the system is confined within an areal volume VRAHV_{R_{AH}} along with a density ρAH\rho_{AH}, that is,

EAH=ρAHVAH.E_{AH}=\rho_{AH}V_{AH}. (54)

The time variation of the above expression is

dEAHdt=ρAHdVAHdt+VAHdρAHdt.\frac{dE_{AH}}{dt}=\rho_{AH}\frac{dV_{AH}}{dt}+V_{AH}\frac{d\rho_{AH}}{dt}. (55)

Now, making use of the work density WW, the above equation can be recast as

dEAHdt=WdVAHdt+VAHdρAHdt+(ρAH+pAH)2dVAHdt.\frac{dE_{AH}}{dt}=W\frac{dV_{AH}}{dt}+V_{AH}\frac{d\rho_{AH}}{dt}+\frac{\left(\rho_{AH}+p_{AH}\right)}{2}\frac{dV_{AH}}{dt}. (56)

The last two-term in the right-hand member of the previous expression provide

VAHdρAHdt+(ρAH+pAH)2dVAHdt=(n2)π(n1)/22GnΓ[(n1)/2]×[1+2α~RAH2]RAHn3dRAHdt×[12πRAH(12HRAHdRAHdt1)].\begin{split}V_{AH}\frac{d\rho_{AH}}{dt}+\frac{\left(\rho_{AH}+p_{AH}\right)}{2}\frac{dV_{AH}}{dt}=\frac{(n-2)\pi^{(n-1)/2}}{2G_{n}\Gamma[(n-1)/2]}&\\ \times\left[1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\right]R^{n-3}_{AH}\frac{dR_{AH}}{dt}&\\ \times\left[\frac{1}{2\pi R_{AH}}\left(\frac{1}{2HR_{AH}}\frac{dR_{AH}}{dt}-1\right)\right].\end{split} (57)

Now, from (18), it is not hard to show that for the FLRW at the AHAH one gets

κHK=1RAH(12HRAHdRAHdt1),\kappa_{\text{HK}}=\frac{1}{R_{AH}}\left(\frac{1}{2HR_{AH}}\frac{dR_{AH}}{dt}-1\right), (58)

and following Hawking:1975vcx ; Hayward:1997jp we know that

TκHK2π,T\equiv\frac{\kappa_{\text{HK}}}{2\pi}, (59)

from (57), it is clear that the last term corresponds to the temperature of the system evaluated at the AHAH, so (57) can be recast as

VAHdρAHdt+(ρAH+pAH)2dVAHdt=(n2)π(n1)/22GnΓ[(n1)/2]×[1+2α~RAH2]RAHn3dRAHdtTAH.\begin{split}V_{AH}\frac{d\rho_{AH}}{dt}+\frac{\left(\rho_{AH}+p_{AH}\right)}{2}\frac{dV_{AH}}{dt}=\frac{(n-2)\pi^{(n-1)/2}}{2G_{n}\Gamma[(n-1)/2]}&\\ \times\left[1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\right]R^{n-3}_{AH}\frac{dR_{AH}}{dt}T_{AH}.\end{split} (60)

Turning back to (56) and plugging (60) we obtain

dEAHdt=WdVAHdt+(n2)π(n1)/22GnΓ[(n1)/2]×[1+2α~RAH2]RAHn3dRAHdtTAH.\begin{split}\frac{dE_{AH}}{dt}=W\frac{dV_{AH}}{dt}+\frac{(n-2)\pi^{(n-1)/2}}{2G_{n}\Gamma[(n-1)/2]}&\\ \times\left[1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\right]R^{n-3}_{AH}\frac{dR_{AH}}{dt}T_{AH}.\end{split} (61)

So, as stated by Hayward in Hayward:1997jp , once the UFL (32) is projected (33) and the surface gravity related to the temperature, the variation of the area can be identified with the variation of the entropy, that is, dAdSdA\sim dS or equivalently the energy–supply term is matching the Clausius relation. So, from (61) we extract the following information for the GB entropy SGBS_{\text{GB}}

dSGB=(n2)π(n1)/22GnΓ[(n1)/2][1+2α~RAH2]RAHn3dRAH,dS_{\text{GB}}=\frac{(n-2)\pi^{(n-1)/2}}{2G_{n}\Gamma\left[(n-1)/2\right]}\left[1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\right]{R}^{n-3}_{AH}dR_{AH}, (62)

integrating the above expression it provides

SGB=AAH4Gn[1+2α~RAH2(n2)(n4)],S_{\text{GB}}=\frac{A_{AH}}{4G_{n}}\left[1+2\frac{\tilde{\alpha}}{R^{2}_{AH}}\frac{(n-2)}{(n-4)}\right], (63)

or for a general areal radius RR

SGB=A4Gn[1+2α~R2(n2)(n4)].S_{\text{GB}}=\frac{A}{4G_{n}}\left[1+2\frac{\tilde{\alpha}}{R^{2}}\frac{(n-2)}{(n-4)}\right]. (64)

This result (63) was previously obtained using the Euclidean Path integral in Myers:1988ze and also using the Wald entropy formula in Clunan:2004tb . As can be seen, all these approaches are consistent, yielding the same result. Despite the entropy (63) obtained for BHs solutions, this is also compatible with a cosmological scenario. The same happens in the GR framework for the FLRW cosmological model, where the entropy is S=A/4S=A/4 as in the BH case Faraoni:2011hf . Nevertheless, it should be considered that for the cosmological scenario, the area of the AHAH is changing, leading to a dynamical entropy compared with its static/stationary BH counterpart where the area is constant.

IV Concluding remarks

The equations of motion, i.e., first and second Friedmann equations, for an FLRW model in the framework of GB gravity theory have been obtained, Eqs. (47) and (53). These equations were obtained by projecting the thermodynamics UFL (32) along different directions with respect to the AHAH. For the second Friedmann equation (47), the UFL is projected along the direction of the Kodama vector field (14). This Kodama vector establishes a privileged time direction (see Fig. 1). In the present context, this vector becomes a null vector on the AHAH. Then, the AHAH behaves as a null surface. The Kodama vector is tangent to the hypersurface (16) describing the AHAH. So, projecting the UFL (32) along the Kodama vector field, thus along the AHAH, the acceleration equation is recovered. On the other hand, the projection of the UFL (32) along the orthogonal direction of the Kodama vector, as (49) does, the first Friedmann equation (53) is recast. Interestingly, the vector field (49) is hypersurface orthogonal to the AHAH (16), then given the equation moderating the rate expansion of the Universe.

It is worth mentioning that, in deriving these equations, it is not necessary to assume the notion of temperature and entropy and, therefore, the Clausius relation. Nevertheless, it does not imply that Clausius’s relation is not fundamental in the thermodynamics description of the actual scenario. Of course, as was pointed out by Hayward in Hayward:1997jp , after projecting the UFL (32), the energy–supply term can be interpreted as the heat flux (see the first term in the right member of Eq. (33)). Thus, there is a correlation with the Clausius thermodynamics relation. The point is that, in projecting the UFL (32) along the Kodama vector (14), this term is vanishing, and the modifications to the Friedmann equations coming from the GB sector are introduced from the gradient of the MS energy member. Moreover, as we are dealing with a dynamical horizon, the AHAH, it is more natural to use the Kodama vector field (14) to project the UFL (32) along the AHAH to isolated each Friedmann equation, already contained in the UFL (32).

So, the previous result was obtained by applying the thermodynamics conjecture, starting from the thermodynamics description, to reach the dynamic equations of motion of the GB gravity theory in an FLRW background. Then, inversely applying the same methodology, from gravity to thermodynamics, we obtained the corrected or associated entropy to the GB theory (63). This result coincides with previous ones obtained using different (but at the same time equivalent) approaches, such as the Path integral Myers:1988ze and Wald entropy formula Clunan:2004tb . It should be noted that, in deriving (63), we have not considered any particular cosmological era, leading to an expanding, static, or contracting cosmology. This is so because, once a concrete era is considered, one needs to take into account the signature or global sign of the surface gravity (18) and temperature (59). This is dictated by the AHAH’s future (past) inner (outer) feature of the AHAH. Notwithstanding, the temperature expression appears on both sides and cancels out, leading without any extra information to the correct entropy (63).

So, in general, to apply the gravity-thermodynamics conjecture to cosmological scenarios, the relevant geometric object to do thermodynamics over the AHAH is the Kodama vector field. This is so because this object isolated the corresponding dynamic information without assuming strong restrictions on the entropy, temperature, and Universe evolution. Besides, the inverse Path to regain thermodynamics potentials does not need to assume anything about the causal structure of the AHAH to reach the desired and correct result.

ACKNOWLEDGEMENTS

J. Saavedra and F. Tello-Ortiz acknowledge to grant FONDECYT N°1220065.. F. Tello-Ortiz acknowledges VRIEA-PUCV for financial support through Proyecto Postdoctorado 2023 VRIEA-PUCV.

References