The conceptually cleanest way to understand the thermodynamics of black holes is by studying the Euclidean path integral for gravity. This integral, denoted by Z, is defined as follows
Z=Aโซ[Dg]eโI[g].โโ
This is a functional integral with a normalization A, measure D[g], and integrand eโI[g] of metrics g with Euclidean signature. (A primer on functional integration will be released shortly.) Essentially, computing the path integral for any system, subject to certain conditions discussed below, allows one to completely characterize the thermodynamics of the system. In practice, the above path integral is impossible to evaluate directly except in special cases. Rather than evaluating Z exactly, there are several techniques to approximate its value. One such technique is the saddle point approximation. The idea is that when the action I[g]โซ1, the integrand eI[g]โช1. Hence, the most dominant contributions are given by the minima of the function where we can approximate
Thus the entire contribution of the geometry to the Euclidean path integral is encoded in the minima of the action functional.
In order to make contact with thermodynamics, we invoke the following equivalence: the action in Euclidean signature is proportional to the free energy of the system with the proportionality set by the inverse temperature, i.e., I[g]=ฮฒF=(1/T)F.
To be concrete, I detail the thermodynamics for Euclidean gravity with a negative cosmological constant, or Einstein-AdS gravity. This theory of gravity admits two minima: a Schwarzschild-AdS black hole, and a thermal gas of photons in AdS spacetime. These two minima admit phase transitions at a critical tempeture which will be studied in a later article.
We will review the purely gravitational saddle points allowed in AdSd+2โ space and describe the Hawking-Page phase transition between a thermal AdS background and an SAdSd+2โ black hole. Let M be a Lorentzian manifold and โM a codimension one boundary. We consider the theory
I=โ8ฯGd+2โ1โร[SXโ+SโXโ]โโ
where the bulk and the boundary actions are respectively
The boundary action is necessary for a well-posed variational principle and to regularize the bulk action. Here ฮ=โd(d+1)/2โ2, R(g) is the scalar curvature, and K and R are the extrinsic and scalar curvatures of the boundary metric h respectively. Note that higher curvature corrections to the boundary action appear in dโฅ6 and the coefficients ciโ(d) are sensitive to the dimension and the topology of the horizon. The equations of motion and the trace of the Einstein equations read
Hence, the entire contribution of the bulk action, I, to the thermodynamics is only dependent on the topological nature of the transverse directions to the horizon. Clearly, the bulk action is divergent since we are integrating over the entire space. The boundary action SโXโ regulates this divergence rendering I finite.
Let us apply this procedure to saddle points of the above action. First, we have to identify geometries which are regular after Wick rotation ฯ=it to Euclidean space. The general solution, in static coordinates, is given by
There are two relevant saddles; the Schwarzschild-AdSd+2โ solution, m>0, and the pure AdSd+2โ, m=0, solution. Here, the d-dimensional metric dฮฃd,kโ corresponds to the various boundary geometries which respect the isometries of AdSd+2โ spacetime. In particular,
where dฮฉd2โ and dฮd2โ are the unit metrics on Sd and Hd. Thus k=+1,0,โ1 represents spherical, planar, and hyperbolic boundaries respectively. We denote the outer horizon by r+โ which is located at the largest positive root of f(r+โ)=0.
To compute the thermodynamics, we perform an analytic continuation of time into the Euclidean section. In order to avoid a conical singularity, we must have ฯโผฯ+4ฯ/fโ(r+โ). The temperature may be computed via the standard Euclidean trick
Hence, the parameter m appearing in the metric function is related to the ADM mass of the black hole. Here, ฯdโ is the volume of the unit d-dimensional boundary. Note that we may solve for r+โ(T) from T(r+โ).
For k=+1,0, the thermodynamics and the on-shell Euclidean action can either be calculated with the usual counterterm method or through a background subtraction technique. The background subtraction identifies the locally AdSdโ space, i.e., m=0, as the reference ground state in which case r+,kโ=0. However, with k=โ1, the locally AdSdโ solution contains a bifurcate Killing horizon at rcโ=โ at a fixed temperature. In this case, performing either a background subtraction or utilizing the counterterm method introduces a conical singularities. These singularities are removed when one subtracts an extremal saddle leading to the corrections Ik0โ.
The classical and thermodynamic stability of these solutions have been rigorously explored in here, here, and here. The heat capacity for these solutions is
We see that, for non-positive k, the heat capacity is always non-negative indicating planar, and hyperbolic black holes are thermodynamically stable. For k=โ1, the heat capacity vanishes precisely when r+,cโ=(dโ1)/(d+1)โโ.