There’s a marvelous — and by now quite well-known — paper (paywalled) by Gibbons and Hawking, in which they compute the entropy of black holes from what is essentially a purely geometrical argument. This relies on the fact that the partition function has an expression in terms of both a path integral and a statistical ensemble. The former allows one to solve for the gravitational action, and the latter endows this with a standard thermodynamic interpretation.
In the path integral formulation, one expresses the generating functional of correlation functions as
where is the action functional of the fields (to avoid confusion, we’ll use for action in order to reserve for entropy). Gibbons and Hawking begin by pointing out that, in the case of black holes, the presence of spacetime singularities prevents one from evaluating the action. However, one can side-step this difficulty by Wick rotating to Euclidean signature, whereupon the geometry pinches off smoothly at the event horizon, thus providing one with a non-singular, compact manifold on which to evaluate the action. Let’s see how this works.
In dimensions, the gravitational action is
However, the Ricci scalar contains second-order derivatives with respect to the metric:
which implies that the action suffers from an Ostrogradski instability, and is thus unsuitable for the path integral approach. One can remedy this via partial integration, but that requires that we properly account for boundary terms. A more complete expression for the above action is therefore
where is the spacetime manifold with boundary . The second term is known as the Gibbons-Hawking-York boundary term, where is the induced metric on and is the trace of the second fundamental form. (Recall that the first fundamental form is the inner product induced on the tangent space of a surface in by the dot product on the latter. The second fundamental form is a quadratic form on the tangent plane of . Collectively these allow the definition of extrinsic curvature invariants.)
Two quick technical notes are in order. First, in the above expression, we have the freedom to add a constant to the boundary term that depends only on the induced metric . However, since this is independent of , it can be absorbed in the normalization of the measure on the space of all metrics. For convenience, we choose this constant so that in the asymptotically flat spacetimes with which we’re concerned, for the flat-space metric . Therefore should be understood to mean the difference in the trace of the second fundamental form of in the metrics and .
Secondly, the second fundamental form is a -tensor, and hence does not have a trace in the strictest sense (since the trace should not be coordinate dependent, while clearly is). Thus when one speaks of the trace of in the metric , one means the trace over or with respect to the metric, i.e. (this last is a -tensor, and is therefore coordinate independent, as desired).
We will now proceed to evaluate the above action for the Schwarzschild black hole, given by the intimately familar metric
where the event horizon . We shall henceforth suppress the 2-sphere , as it plays no role in the following. As is well-known, the Schwarzschild metric has singularities at and , but the latter is merely a coordinate singularity and can by removed by transforming to (among other things) Kruskal coordinates:
These coordinates are regular throughout the whole spacetime; in particular, although the signs of and change as one crosses to the interior, there’s nothing pathological at the horizon itself. Additionally, note that the curvature singularity has been mapped to the hyperbola .
Now comes the magic. We Wick rotate to Euclidean signature by defining a new coordinate . Aside from the obvious sign change in the metric, this changes the definition of to
and thus if we restrict to , we must have . In other words, the Euclidean black hole has no interior; the geometry stops at the horizon!
There’s a cute way to visualize this geometry rather easily. Go back to the Schwarzschild metric above and zoom in near the horizon:
where in the last step we’ve dropped higher-order terms. It will then be convenient to rewrite the metric in terms of the proper distance near the horizon, which is found as follows:
Thus, after Wick rotating to , we have
But this is merely the line element in polar coordinates! And in polar coordinates, we must identify to avoid a conical deficit. This is one of many ways to see that Wick rotation leads to periodicity in imaginary time.
The following is a sketch of the resulting geometry. The radial coordinate increases towards the right, while the periodic coordinate forms the circumference of the “cigar”. Each point on the surface is an , from the suppressed 2-sphere . Note that, as explained above, the geometry pinches off smoothly at the horizon: the end-point at the left is at .
As an aside, the Euclidean vacuum is known as the Hartle-Hawking vacuum state, which is subtly yet crucially different than the (more physically relevant) Unruh vacuum. This is an important point when one wishes to discuss thermodynamic effects like Hawking radiation, but the distinction is a subject for another post.
This is the crucial enabling factor that allows one to compute the action: the Euclidean section is non-singular, and hence can be evaluated on a region bounded by some surface , whose boundary has compact topology (periodic time cross the suppressed ).
Since the Ricci scalar vanishes in the Schwarzschild metric, the action is entirely determined by the Gibbons-Hawking-York boundary term. Rewriting the integration measure as an area element , this becomes
where the appropriate normal vector is found from the bulk metric by simply normalizing with respect to the component :
This is an integral over the boundary at , with induced metric
Now, there are two ways to evaluate this integral. The most straightforward option is to directly compute . Since the covariant derivative generally involves non-trivial Christoffel symbols, I’m going to call this the brute-force method. Of course, these are well-known for the Schwarzschild metric, so in this case we may simply write down the relevant components:
We therefore have
Substituting (14) and (16) into the integral expression (12), we have
Alternatively, a more elgant method that avoids the need to compute the curvature (read: Christoffel symbols) is to integrate by parts. After recognizing the directional derivative , and using the fact that by definition, one obtains
We’re not quite done though: we want to ensure that our geometrical result includes only the contribution of the black hole geometry, not any flat space contribution, so we need to renormalize by subtracting the latter. To do so, we’ll push the surface to infinity, where any deviation from Minkowski space is due to the symmetry (analagous to the global effect of a conical deficit). We alluded to this above, when we used as a shorthand notation for . We just calculated the first term; now let’s do the second.
We have the same induced metric, but embedding this boundary geometry in flat space means that the covariant derivative reduces to the divergence of the normal vector, and we can use the original form of the integral expression directly. The unit normal is , so . Plugging these components into the action, and evaulating with the same limits as above, we have the flat-space contribution :
Finally, taking the difference of (18) and (19), and Taylor expanding around (keep in mind that in the above expressions is really , the boundary of the integration region on the cigar), one finds
Using the fact that and , we thus have the leading-order contribution
It’s essential to note that we’ve computed the dominant saddle point here. The path integral is dominated by the metric and fields that satisfy the classical field equations, since these extremize the action by definition. We then expand around these values such that , , and
where the ellipsis denotes terms that are quadratic and higher in fluctuations about the background values. The leading-order contribution to the partition function is therefore
where we’ve expressed the result in terms of to fascillitate subsequent manipulations.
Gibbons and Hawking go on to compute the action for more general black holes as well, including the Reissner-Nordström solution, but we’re more concerned with the underlying physics than the mathematical details here, so let’s jump ahead to the second part of the paper, where we’ll see just what wonders these seemingly innocuous manipulations have wrought.
In fact, the answer is forshadowed already in the expression above: is precisely a fourth the area of the horizon. But so far this is an expression for an action, not an entropy. To make the connection betwixt them, we’ll need some thermodynamics.
First, recall that the total energy of a thermodynamic system in the canonical ensemble is found by summing over the microstates (that is, energy eigenstates ) weighted by their probabilities :
We shall use this to obtain a particular expression for the entropy,
where in the second equality we’ve simply rewritten the thermal derivative via . is the Helmholz free energy,
The derivation is quite simple:
where in going to the third line we’ve used the fact that . Now, from the definition of the Helmholtz free energy,
Now our famous result is more-or-less immediate. From our above expression for the Lorentzian action, we have the dominant contribution to the path integral,
and therefore the free energy is
Substituting this into above expression for entropy, one finds
Several comments are in order. First, one might be concerned that in the course of the saddle point approximation, we missed out on important corrections. This is not the case: as explained in the paper, the higher order terms merely correspond to contributions from thermal gravitions and matter quanta (which technically requires the Gibbs, rather than Helmholtz, free energy to properly take into account the non-zero chemical potential). But we’re only interested in the “background” contribution from the horizon itself; as alluded in the introductory paragraph, this is a purely geometrical effect, which is entirely represented in the leading order term.
Though the path integral is in some sense an inherently quantum mechanical object, it is remarkable that we were able to obtain this result by otherwise appealing solely to classical geometry and thermodynamics. In particular, the fixed point of the symmetry () featured crucially in the analysis. An extension of this method, where the fixed points form a conical deficit, can be shown to yield the same result. Indeed, the same feature lies at the heart of the recent proof of the Ryu-Takayanagi proposal by Lewkowycz and Maldacena, where the above geometrical computation of horizon entropy is extended to holography. Given the inextensibility (so far) of most of the other myriad ways of computing black hole entropy (e.g. Hawking pairs, string microstates, Noether charge) to arbitrary spacetime horizons, this further suggests a deep connection between entropy and geometry; one which we are only beginning to unravel.
One doubt: How do we know that Wick rotating to Euclidean signature gives us the correct answer? I understand that it helps us evaluate the action integral in a neat fashion, and I don’t know if this is a stupid question, but what if we missed something because of that? Since physically, it’s still a Schwarzschild metric in Lorentz signature.
Pingback: Islands behind the horizon | Ro's blog
Hi Ro, very nice post!
I just wanted to mention one small typo in the first line: it should be “Gibbons” and not “Giddings” :-p
Whoops, thanks Luca; fixed!
Hi Ro, thanks a lot for the post.
Could you explain why in (13) the unit normal has the minus sign?
The sign of the unit normal vector denotes the orientation, namely inwards (negative) or outwards (positive).
What we’re ultimately after here is the extrinsic curvature: intuitively, if is some tangent vector to the hypersurface at point , then the derivative of with respect to tells us how much the surface curves as we move along it. Mathematically, this derivative is a vector normal to the surface, whose length gives the curvature. In particular, one can see pictorially that the normal vector thus defined will point towards the center of curvature, which in this case is the tip of the cigar—i.e., inwards, hence the negative sign.