1. Introduction
The laws of black hole thermodynamics were established more than four decades ago by the seminal works of Carter, Bekenstein, and Hawking [
1,
2,
3,
4,
5]. Despite many efforts, however, the connection between the macroscopic thermodynamical quantities, in particular the entropy, and the microscopic state counting is still an unsolved puzzle, although interesting proposals have been made in string theory [
6], holography [
7], and loop quantum gravity [
8].
The common idea behind all these theories is that the fundamental origin of entropy and black hole evaporation must be looked for in the realm of quantum gravity, or at least of some semi-classical limit thereof, as proposed for the first time by Hawking. Since a consistent quantized version of general relativity is not available yet, the microscopic origin of the thermodynamical properties of black hole remains obscure.
In connection with these facts, most researchers believe that the road to the quantization of gravity inevitably goes through an extension of general relativity at high energy or at large curvature even at the
classical level. Such extensions must require diffeomorphism invariance and equations of motion of at most the second order to be acceptable and there are several examples of theories with these characteristics. Here, we focus on a family of modified gravity models characterized by the replacement of the linear Einstein term in the action by a generic function
(for a review see e.g., [
9]). The most famous example is the Starobinsky inflationary model, where the gravitational Lagrangian has the form
, where μ is a mass scale. The term quadratic in
R is added to describe, phenomenologically, the effects of quantum corrections on the metric
at large curvatures [
10]. This strikingly simple extension of gravity is able to reproduce the data from cosmological observations with great accuracy and this might be a hint that research in
theories of gravity is a promising avenue.
Among the
models of gravity, the quadratic ones play a special role as they are believed to be renormalizable and asymptotically free [
11,
12,
13,
14,
15,
16,
17,
18,
19]. In general, these models all contain ghosts, except for the simplest case of
[
20]. The latter can be seen as the high curvature limit of the Starobinsky model and has attracted some interest in the context of supergravity [
21,
22] and early cosmology, where it has been shown that deformations of
induced by loop quantum corrections can support an inflationary phase [
23,
24,
25].
The pure quadratic model is the simplest example of scale-invariant theory. By adding other scale invariant operators in the action, as in [
26,
27], one can generalize the theory to include also the standard model fields, which are particularly relevant in inflation. In the present paper, we focus instead on the black hole solutions in
gravity and the associated thermodynamics. In [
28] (see also [
29]) we have considered static topological black holes in
with de Sitter and anti-de Sitter asymptotic geometry and found scale-invariant thermodynamical laws. In particular, by using the Euclidean approach, we have shown the Wald's formula still applies, provided one adjusts the sign in order to have a positive entropy. Here we study the asymptotically anti-de Sitter rotating solution of the same theory and generalize the results of our previous work.
The Kerr-Anti de Sitter (KAdS) in Einstein gravity, first discovered by Carter [
30], has been studied extensively in several aspects by many authors (an early attempt to describe the extremal branch of the solution can be found in [
31]), notably in relation to supersymmetry [
32], thermodynamics and CfT [
33,
34,
35,
36], AdS/CfT duality [
37,
38], quasi-normal modes [
39,
40], higher dimensions [
41,
42,
43], the theory of covariant conservation laws [
44,
45] and so on. In the context of
-gravity, and to the best of our knowledge, no results are available on KAdS black holes and we intend to fill this gap in the present work.
In the next section, we briefly describe the main features of
-gravity. In
Section 3 we review the Kerr-Anti de Sitter (KAdS) metric. Then we study it in the context of quadratic gravity in
Section 4, where we also present the laws of thermodynamics. Finally, we conclude with some considerations in
Section 5.
2. Equations of Motions
Let us consider the Lagrangian density
where χ is a dimensionless parameter, which will play no role in what follows since we only consider the vacuum theory, and we arbitrarily set
. This expression is part of the more general three-parameter quadratic gravity Lagrangian considered in [
11], with the special property of being scale invariant,
i.e., invariant under the substitution rule
. The action is also invariant under
(that is not the diffeomorphism gauge symmetry), which means that we can omit the action of the scaling group on the coordinates in the substitution rule, showing that the action is equivalent to a pure Weyl scaling. Due to this symmetry, the dynamics based on Equation (
1) can only determine the light cone at each space-time point, so the conformal factor in the metric is not determined by the field equations.
The vacuum field equations read
which implies that
R obeys the massless wave equation
We note that all Einstein spaces (
i.e., metrics such that
for some constant Λ), are solutions to the field equations. In contrast to standard general relativity (where Einstein spaces are obtained as solutions of the Lagrangian
with a fixed Λ), here the parameter Λ is a mere integration constant with no fundamental meaning. This tells us that the spectrum of the theory contains all black hole solutions discovered over the years with flat, de Sitter or anti-de Sitter asymptotic geometry and flat, spherical or hyperbolic topological horizons. Does the appearance of the cosmological constant mean that we have broken the scale invariance symmetry by some boundary condition? If we fix Λ this seems to be the case indeed, but if we allow Λ to vary then scale invariance is fully recovered, as shown in [
28]. This is similar to the breaking of rotational invariance by the gravitational field of the Earth: as long as it is considered an external field, it breaks the rotational symmetry, but once it is included into the theory as a dynamical field, the symmetry is restored. In particular, if we allow Λ to vary as a thermodynamical state space variable, the black hole spectrum becomes partitioned into orbits of the scale symmetry, which is then effectively mapped into the phase space of the theory. Generally speaking, scale symmetry is not spontaneously broken by the background (e.g., the vacuum) in the classical theory. However, it is certainly broken in the quantum theory.
In the following, we shall need the Euclidean continuation of the action
, which is given by the same expression as Equation (
1), except that
has no negative eigenvalues and
R is to be computed accordingly. The Euclidean equations of motion are identical to Equation (
2), except that the d'Alembertian operator
is replaced by the four-dimensional Laplace operator.
3. The Kerr-AdS Metric and Its Euclidean Continuation
Let us know briefly review the metric describing a rotating black hole in the presence of a cosmological constant. In Boyer-Lindquist coordinates, first discovered by Carter [
30], the metric reads (here, we use the mostly plus signature)
where
We may think of ℓ as a cosmological scale. It is easy to see that, for , any real root of must be positive and that there are at most two real roots. We impose the restrictions , , where is the largest positive root of .
The metric has the unique Killing field which is regular and null (namely
) on the horizon
where
is the angular velocity of the horizon. The metric is locally asymptotic to AdS
in a rotating frame with angular velocity
. This means that the solution rotates at infinity with this angular velocity with respect to AdS
in the standard static coordinates. Thus the angular velocity of the black hole with respect to anti-de Sitter space is
. Accordingly, we now show that the background metric with
coincides with that of AdS
in rotating coordinates. Let us take the AdS
metric in the form
The coordinate transformations [
38]
map the AdS metric to Equation (
4) with
. Note that points with constant angular coordinate in the
ϕ-frame rotate with respect to the
global frame with angular velocity
, as anticipated above. We now rotate the metric into Euclidean coordinates by performing the continuation
,
, which is needed to make the differential
real. As a result, the metric takes the Euclidean signature in the region
, where
and where it reads
The substitution
is understood also in the coefficients Δ,
, and Ξ. Note that
but that there are also some topological restrictions that must be applied in order to get a regular metric. A closer scrutiny shows that the sphere
is a bolt in the manifold (
i.e., a fixed point set of the co-rotating Killing field
), around which the metric is periodic in
τ with period
It can be shown that the quantity
is the surface gravity of the horizon (in the Lorentzian section) for a stationary observer, defined as an observer co-rotating with the horizon, in the limit
. Therefore in the Euclidean section we identify
. One can also say that the Kerr-AdS metric is periodic in imaginary time with this period
. A further regularity condition is necessary. To see this, note that the metric on the sub-manifold
(the Euclidean axis of symmetry) is
where
is the local differential form
Since the period of
ϕ is
and that of
τ is
, by integrating over a cycle gives the condition
where
is the period of
ω. Hence there is a further identification,
. The quantity
is constant on the orbits of the Killing field, that is
, and like
ϕ has period
. The area of the two-dimensional bolt in a section of constant
τ is
For a real, the last expression is the area of the horizon within the Lorentzian manifold.
4. Thermodynamics
It is commonly accepted that in AdS space the canonical partition function is a well defined quantity. By standard arguments, if we were to employ ordinary units in the loop expansion, the dominant tree level contribution, of order
, is given by the value of the classical Euclidean action, according to the semi-classical formula
where the suffix
b indicates the reference background and
the Euclidean Kerr-AdS metric. The boundary terms specify the boundary conditions, which define the statistical ensemble to be employed. This is also related to the question on which variables the partition function actually depends, since this too is a matter of boundary conditions in the functional integral. The boundary of K
is a manifold
, where
β (formerly called
) is the period of
τ and the radius of
is a certain value
r of the radial coordinate. We shall employ the canonical boundary conditions in which the boundary action is
where
is the boundary metric, which is assumed to be the same as that of the background. By an adaptation of the Brown-York functional integral formalism for gravitational thermodynamics [
46,
47,
48], one sees that the ensuing action is appropriate for fixing the period
β and the angular velocity
, together with the two-metric on the boundary sphere and, of course,
ℓ (which is kept fixed in the variational principle, anyway). Therefore we are dealing with the canonical ensemble and we should write the partition function as a function
. As we will see, since the background solution is a rotating AdS metric with angular velocity
, the most relevant quantity to consider is the angular velocity relative to infinity
which we shall use in the following. Now for the Kerr-AdS solution
and the boundary action vanishes in the infinite volume limit, so the bulk action reduces to the difference between the volume of the region
and the one of the background enclosed by the spherical surface with radius
r. By using the relation
a straightforward calculation gives
To do this we rescaled the imaginary time of the background the amount
to match the metric of the background on the boundary surface to that of the actual solution, which gives the last factor in Equation (
16). This result should be compared with the partition function of
in Einstein gravity, which reads [
38] (
G is the Newton constant)
Apart from
G this has the same dependence on the black hole parameters as for
Z, but unlike
Z it is not scale invariant. Note that
M really is a length scale since we have no analogue of the Planck mass here. The free energy
is negative for black hole with sub-cosmological scale
, and positive otherwise, that is smaller black holes have less free energy than AdS space at the same temperature and therefore are thermodynamically favored. But for sufficiently large
it is greater than AdS, indicating a phase transition is taking place on passing from low mass to higher mass black holes.
We are ready to apply the thermodynamical rules to deduce the state functions of the black hole. Before this it is useful to deduce some general relation among them which stems only from the underlying scale invariance. Looking at Equation (
16) it is immediate to deduce the scaling rule
. It then follows that
that is
If we introduce a “cosmological volume”
and a pressure
, we find the relation
, and we obtain a formula which can be interpreted as the equations of state of the black hole and its surrounding stuff,
where
m is the thermodynamical internal energy and
is defined as the total angular momentum.
We can do similar considerations for the entropy. It is convenient to regard the entropy as a function of the thermodynamical mass
m, the angular velocity, and the cosmological scale
ℓ (instead of the boundary data that define the functional integral of the partition function). This is natural since the entropy is the value of the microcanonical partition function, which is computed by fixing the total energy in the functional integral, instead of the boundary metric [
46].
The entropy in a scale-invariant theory is a scale-invariant concept (in contrast to conventional theories where it scales with volume, or horizon area in the case of black holes), that is
where λ is the scaling parameter. It follows, as before, that
We understand that
where
J is the angular momentum, but we will not need this additional information in the following. Then, we have
and, finally,
This relation must be generally true as a consequence of the scaling rules and we note that it can be written in the manifestly scale invariant form
We now must find the explicit expression for the mass, the entropy, and the angular momentum. With the Euclidean action method, together with the results in the previous section, we first find the internal energy
which is related to the metric parameter
M by
From this, we compute the entropy
and the angular momentum
where
With some algebra it can be proven that these relations confirm the first law
In all these expressions we display the dependence on the horizon radius, because otherwise the equations would be very complicated and physical quantities difficult to read off.
Some interesting consequence of these, admittedly still complicated relations, emerge in large mass limit. For, we see that the asymptotic relations hold
These readily imply other asymptotic relations, namely
which can be seen as AdS/CFT duality at work (in
D dimensions the free energy scales as
). Noteworthy is the entropy formula, which corresponds exactly to the Noether charge formula devised by Wald for asymptotically flat metrics, except for the presence of the absolute value (taken at face value, Wald formula would give a negative entropy in our case).
We may interpret
m as the mass seen by the co-rotating observers at infinity, so that the new mass
would be the mass as seen by a static AdS asymptotic observer. In terms of
the first law takes the conventional form
or, equivalently,
That is, on the orbit space of the dilatation group
where we identify the thermodynamical variables related by a scale transformation, the first law takes the usual form as for rotating black holes in Einstein gravity. This means that moving along an orbit will not change the thermodynamical state of the black hole, in particular, black holes with different masses or angular velocity can have the same entropy and angular momentum.
The entropy and the angular momentum seem to be the only invariants that characterize the black hole, while the thermodynamical state space is the space of orbits, as discussed extensively in [
28].
We mention here that asymptotically flat rotating black holes in
gravity have vanishing partition function, because
on shell. Therefore they have zero energy and entropy, though the temperature may well be different from zero. A possible interpretation of this peculiarity was offered in [
28].