Open Access
This article is

- freely available
- re-usable

*Entropy*
**2011**,
*13*(7),
1355-1379;
doi:10.3390/e13071355

Article

Effective Conformal Descriptions of Black Hole Entropy

Department of Physics, University of California at Davis, Davis, CA 95616, USA

Received: 1 July 2011; in revised form: 12 July 2011 / Accepted: 19 July 2011 / Published: 20 July 2011

## Abstract

**:**

It is no longer considered surprising that black holes have temperatures and entropies. What remains surprising, though, is the universality of these thermodynamic properties: their exceptionally simple and general form, and the fact that they can be derived from many very different descriptions of the underlying microscopic degrees of freedom. I review the proposal that this universality arises from an approximate conformal symmetry, which permits an effective “conformal dual” description that is largely independent of the microscopic details.

Keywords:

black holes; Bekenstein–Hawking entropy; conformal dual## 1. Introduction

Since the seminal work of Bekenstein [1] and Hawking [2], we have understood that black holes behave as thermodynamic systems, with characteristic temperatures and entropies. A central task for quantum gravity is finding a statistical mechanical description of this behavior in terms of microscopic states. One important clue may come from the surprising “universality” of these thermodynamic properties, which manifests itself in two ways:

- –
- The Bekenstein–Hawking entropy$$\begin{array}{c}\hfill S=\frac{\mathcal{A}}{4\hslash G}\end{array}$$
- –
- While the “correct” microscopic origin of black hole entropy is not settled, we now have a number of candidates, coming from string theory, loop quantum gravity, holographic entanglement entropy, Sakharov-style induced gravity, and several other approaches. (See [4] for a more detailed discussion.) But although these methods count very different states—or, in the case of Hawking’s original derivation [2], seem to know nothing about quantum gravitational states at all—they all yield the same entropy. To be sure, no approach is yet complete, and each requires additional assumptions. But within its domain of validity, each seems to work fairly well, and the universal agreement with (1) remains deeply mysterious.

One attempt to explain this universality is to posit that black hole thermodynamics has an effective “dual” description in terms of a two-dimensional conformal theory, whose key properties are governed by symmetries. Black holes are, of course, neither two-dimensional nor conformally invariant, so at first sight this proposal seems rather surprising. But in the sixteen years or so since such a description was first proposed [5], the idea has become considerably more plausible. In special cases—in particular, the (2+1)-dimensional BTZ black hole [6]—the two-dimensional conformal description seems quite convincing [7,8,9], although subtle questions about the conformal field theory remain [10,11]. For more general black holes [12,13,14], the issue is much less settled, but the recent discovery of an extremal Kerr/CFT correspondence [15] has brought a good deal of renewed interest.

In this paper, I will review the arguments for a two-dimensional conformal description—a CFT dual, in the current string-theory-inspired language—for a variety of black holes. I will start by sketching the general derivation of such a dual, then describe a few examples, and finally suggest a physical explanation for the Bekenstein–Hawking entropy. My purpose is not to explain any specific instance of this construction in depth; for that, the reader should refer to the primary literature. Rather, I will try to describe the general framework in which to think about CFT duals of black holes.

## 2. Building a Black Hole/CFT Correspondence in Four Easy Steps

While the details differ, most derivations of black hole/CFT duality are based on the same four steps:

- Find an appropriate boundary and impose boundary conditions that specify properties of the black hole;
- Determine how these boundary conditions affect the symmetries of general relativity, the algebra of diffeomorphisms or “surface deformations”;
- Look for a preferred subalgebra of diffeomorphisms of the circle ($Diff{S}^{1}$), or perhaps two copies ($Diff{S}^{1}\times Diff{S}^{1}$);

#### 2.1. Find an Appropriate Boundary and Impose Boundary Conditions

A question about a quantum black hole is almost always a question about conditional probabilities: “If a black hole with certain characteristics is present, what is the probability that ...?” One must therefore decide how to impose the conditions, that is, the presence and specific characteristics of the black hole. Although there has been some work on adding these conditions as explicit constraints [18,19], probably the easiest approach is probably to impose them as boundary conditions.

This is most easily done for the (2+1)-dimensional black hole of Bañados, Teitelboim, and Zanelli (BTZ) [6]. This black hole lives in an asymptotically anti-de Sitter spacetime, and as Brown and Henneaux showed [20], the asymptotic boundary conditions at infinity determine its mass and spin. Many near-extremal black holes in more than three spacetime dimensions have a near-horizon region that closely resembles (2+1)-dimensional anti-de Sitter space [7,21], and Brown–Henneaux boundary conditions can be imposed at the “boundary” of this region. Similarly, extremal Kerr black holes have a near-horizon region that looks like anti-de Sitter space [22], and one can impose modified AdS-like boundary conditions there [15].

An alternative, and perhaps more intuitive, choice is to treat the event horizon itself as a boundary [12,13,14]. The horizon is not, of course, a real boundary: an infalling observer can pass through it freely. It is, however, a place at which one can restrict the metric to impose the condition that a particular type of black hole be present.

Such a restriction is essentially a boundary condition. In the path integral formalism, for instance, it amounts to splitting spacetime into two pieces along the horizon, with separate path integrals for each piece, each with a suitable boundary condition. For two-dimensional free field theories [23] and three-dimensional Chern–Simons theory [24], such splittings have been investigated carefully, and it has been shown that one can reconstruct the full path integral by “gluing” the two halves and integrating over boundary data. This last integration can be viewed as a quantum mechanical sum over a complete set of intermediate states; the role of the boundary conditions is to determine which set of intermediate states appears.

For quantum gravity, the imposition of boundary conditions at the true horizon is difficult, essentially because the horizon is a null surface. In practice, one must instead impose boundary conditions on a “stretched horizon” [25], a timelike surface just outside the horizon, and then take a limit as the surface shrinks to the horizon. This is not an entirely satisfactory approach, though—the results sometimes depend on the limiting procedure [26]—and there is clearly room for improvement.

#### 2.2. Determine how These Boundary Conditions Affect the Symmetries

In its Hamiltonian form, general relativity in n spacetime dimensions is a constrained theory, with n first-class constraints ${\mathcal{H}}_{\mu}$ [27]. These constraints generate the symmetries of the theory. In the covariant phase space formalism [28,29,30], these symmetries are the spacetime diffeomorphisms. That is, for a diffeomorphism generated by a vector field ${\xi}^{\mu}$, the generators
integrated over a Cauchy surface Σ, have Poisson brackets
for any phase space function F, where ${\delta}_{\xi}F$ is the variation of F under the diffeomorphism generated by ξ. Further, these generators obey an algebra
where $\{\xi ,\eta \}$ is the ordinary commutator of vector fields.

$$\begin{array}{c}\hfill H[\xi ]={\int}_{\Sigma}{d}^{n-1}x\phantom{\rule{0.166667em}{0ex}}{\xi}^{\mu}{\mathcal{H}}_{\mu}\end{array}$$

$$\begin{array}{c}\hfill \left\{H[\xi ],F\right\}={\delta}_{\xi}F\end{array}$$

$$\begin{array}{c}\hfill \left\{H[\xi ],H[\eta ]\right\}=H[\{\xi ,\eta \}]\end{array}$$

The ADM formalism [31] requires some minor modifications: the parameters ${\xi}^{\mu}$ are replaced by “surface deformation parameters” ${\xi}^{\perp}$ and ${\widehat{\xi}}^{i}$ [32], given by
and the brackets in (4) become the surface deformation brackets
where ${q}_{ij}$ is the spatial metric on Σ and ${D}_{i}$ is the corresponding covariant derivative. On shell, however, the two formalisms are essentially the same [33].

$$\begin{array}{c}\hfill {\xi}^{\perp}=N{\xi}^{t},\phantom{\rule{2.em}{0ex}}{\widehat{\xi}}^{i}={\xi}^{i}+{N}^{i}{\xi}^{t}\end{array}$$

$$\begin{array}{cc}& {\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}^{\perp}={\widehat{\xi}}^{i}{D}_{i}{\eta}^{\perp}-{\widehat{\eta}}^{i}{D}_{i}{\xi}^{\perp}\hfill \\ & {\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}^{i}={\widehat{\xi}}^{k}{D}_{k}{\widehat{\eta}}^{i}-{\widehat{\eta}}^{k}{D}_{k}{\widehat{\xi}}^{i}+{q}^{ik}\left({\xi}^{\perp}{D}_{k}{\eta}^{\perp}-{\eta}^{\perp}{D}_{k}{\xi}^{\perp}\right)\hfill \end{array}$$

For a manifold with boundary, the story becomes a bit more complicated. As Regge and Teitelboim first noted [34], if Σ has a boundary, the generators (2) are not “differentiable”—a variation of the fields gives not only the usual functional derivative of ${\mathcal{H}}_{\mu}$, but also an added boundary term arising from integration by parts. As a result, the Poisson brackets (3) and (4) acquire new, singular boundary contributions.

While it may be possible to generalize the Poisson algebra to include such terms [35], the simplest remedy is to add a boundary term to the generators,
where the boundary term $B[\xi ]$ is chosen to cancel the boundary terms coming from the partial integration. The particular form of $B[\xi ]$ depends on the choice of boundary conditions, since these determine what is not varied at $\partial \Sigma $. Note that while $H[\xi ]$ vanishes on shell, $\overline{H}[\xi ]$ need not. It—or, equivalently, the boundary term $B[\xi ]$—may be viewed as a Noether charge associated with the corresponding symmetry [28]. In particular, for a boundary at infinity, suitable choices of ξ give the mass and angular momentum.

$$\begin{array}{c}\hfill \overline{H}[\xi ]=H[\xi ]+B[\xi ]={\int}_{\Sigma}{d}^{n-1}x\phantom{\rule{0.166667em}{0ex}}{\xi}^{\mu}{\mathcal{H}}_{\mu}+{\int}_{\partial \Sigma}{d}^{n-2}x\phantom{\rule{0.166667em}{0ex}}{\xi}^{\mu}{\mathcal{B}}_{\mu}\end{array}$$

In general, the new boundary term may alter the Poisson brackets (4), which become
where $K[\xi ,\eta ]$ is a central term. This term was first computed by Brown and Henneaux for (2 + 1)-dimensional asymptotically anti-de Sitter space [20], where it takes a simple form that depends only on Newton’s constant and the cosmological constant. A more general form, again computed in the ADM formalism, will be given below.

$$\begin{array}{c}\hfill \left\{\overline{H}[\xi ],\overline{H}[\eta ]\right\}=\overline{H}[\{\xi ,\eta \}]+K[\xi ,\eta ]\end{array}$$

An alternative approach the the computation of this central term is based on the covariant canonical formalism [28,29,30]. This approach starts with the observation that in a well-posed theory, the phase space, considered as the space of initial data, is isomorphic to the space of classical solutions. One can therefore carry out a canonical analysis on this space of solutions, in a covariant manner that does not require a splitting of spacetime into space and time. The covariant canonical derivation of the central term $K[\xi ,\eta ]$ was first treated in [14]; the results were corrected and generalized in [36,37], and greatly extended in [38,39].

#### 2.3. Look for a Preferred Subalgebra of Diffeomorphisms of the Circle

The central term $K[\xi ,\eta ]$ in the algebra (8) depends strongly on the boundary conditions. Suppose, however, that one can find a subalgebra $Diff{S}^{1}$ of diffeomorphisms of the circle, that is, a one-parameter subalgebra such that

$$\begin{array}{c}\hfill \{\xi ,\eta \}=\xi {\eta}^{\prime}-\eta {\xi}^{\prime}\end{array}$$

One can then use the general result that the such an algebra has an almost unique central extension [40]: up to redefinitions of the generators,

$$\begin{array}{c}\hfill \left\{\overline{H}[\xi ],\overline{H}[\eta ]\right\}=\overline{H}[\{\xi ,\eta \}]+\frac{c}{48\pi}\int d\phi \phantom{\rule{0.166667em}{0ex}}({\xi}^{\prime}{\eta}^{\u2033}-{\eta}^{\prime}{\xi}^{\u2033})\end{array}$$

The algebra (10) is known as a Virasoro algebra; the parameter c is the central charge.

It is at this point that two-dimensionality and conformal symmetry enter the picture. The Virasoro algebra, viewed as the algebra of holomorphic diffeomorphisms of a two-manifold, is the fundamental symmetry algebra of a two-dimensional chiral conformal field theory [41]. Similarly, $Diff{S}^{1}\times Diff{S}^{1}$, viewed as an algebra of holomorphic and antiholomorphic diffeomorphisms, is the symmetry algebra of a nonchiral conformal field theory.

The existence of a preferred $Diff{S}^{1}$ in the higher-dimensional algebra (8) is certainly not guaranteed. But it is also not unreasonable to expect such a subgroup. The BTZ black hole, for instance, is a three-dimensional asymptotically anti-de Sitter spacetime. The boundary of ${AdS}_{3}$ is a flat two-dimensional cylinder, so the existence of a pair of Virasoro algebras in the asymptotic symmetry group is no surprise. Similarly, the near-horizon extremal Kerr metric of [22] contains a twisted ${AdS}_{3}$ factor, so a $Diff{S}^{1}$ subgroup is again not too surprising.

For more general black holes, the existence of a $Diff{S}^{1}$ subgroup is less obvious. But generic black holes do have preferred directions. A stationary black hole in 3 + 1 dimensions admits two Killing vectors, for instance, representing time translations and rotations; in the extremal [15] and near-extremal [42] Kerr/CFT correspondences, these pick out the relevant $Diff{S}^{1}$ factors.

Even more generally, for any “equilibrium” black hole—any black hole characterized by an isolated horizon [43] with a stationary neighborhood—the horizon is a Killing horizon [44]. This means the horizon $\mathcal{H}$ is a null surface generated by a local Killing vector ${\chi}^{a}$ that becomes null at $\mathcal{H}$. This Killing vector determines a one-dimensional subalgebra of diffeomorphisms for a generic black hole, giving the $Diff{S}^{1}$ factor used in [14] and [26]. The same Killing vector is important elsewhere in black hole thermodynamics: it fixes the temperature of fields in a black hole background [4], and defines the basic symmetry required for the proof of the generalized second law of thermodynamics [45].

#### 2.4. Use Conformal Field Theory Methods to Extract Physical Information

The symmetries of a theory give us a powerful tool for extracting physical information. This is particularly true for a two-dimensional conformal field theory, for which the group of symmetries is infinite-dimensional. In fact, the conformal symmetries largely determine such key features as correlation functions [41]. Even more important for our purposes, they determine the asymptotic density of states, that is, the entropy.

Consider a conformal field theory whose holomorphic symmetries are given by the Virasoro algebra (10). As noted earlier, the zero-mode $\overline{H}[{\xi}_{0}]$ is a kind of charge, sometimes called the conformal dimension or the conformal weight. Suppose the spectrum of this operator is nonnegative, with a lowest value ${\Delta}_{0}$. Then the asymptotic density of states at a fixed value Δ of the weight is [16,17]

$$\begin{array}{c}\hfill ln\rho \sim 2\pi \sqrt{\frac{{c}_{\mathit{\text{eff}}}}{6}\left(\Delta -\frac{c}{24}\right)}\phantom{\rule{2.em}{0ex}}\text{with}\phantom{\rule{4pt}{0ex}}{c}_{\mathit{\text{eff}}}=c-24{\Delta}_{0}\end{array}$$

This remarkable result, known as the Cardy formula, determines the microcanonical entropy in terms of a few parameters that characterize the symmetry, independent of any other details of the theory. Logarithmic [46] and higher order [47,48] corrections are known as well. The derivation of the Cardy formula is fairly straightforward—see, for instance [49]—but it involves a duality between high- and low-energy states; I think it is fair to say that we do not yet have a very deep physical understanding of the result.

The Cardy formula comes in a canonical version as well. Instead of fixing the weight Δ, let us fix the temperature T. Then (see, for instance, section 8 of [50])

$$\begin{array}{c}\hfill S\sim \frac{{\pi}^{2}}{3}cT\end{array}$$

There is a slightly subtle point here: temperature is normally associated with periodicity in imaginary time, but here the relevant periodicity is that of the ${S}^{1}$ picked out by the Virasoro algebra. We will see examples of this in Section 4.

## 3. Central Terms in the ADM Formalism

The discussion in the preceding section was somewhat abstract, and it is useful to look at some specific examples. To do so, I must first fill in a few more details. I will work in the ADM approach, which is perhaps less elegant than the covariant phase space method, but also requires less formalism.

In n spacetime dimensions, the ADM form of a general metric is

$$\begin{array}{c}\hfill d{s}^{2}=-{N}^{2}d{t}^{2}+{q}_{ij}(d{x}^{i}+{N}^{i}dt)(d{x}^{j}+{N}^{j}dt),\phantom{\rule{1.em}{0ex}}(i=1,2,\cdots ,n-1)\end{array}$$

The momentum conjugate to the spatial metric ${q}_{ij}$ is
where ${K}_{ij}$ is the extrinsic curvature of a slice of constant t. I denote the spatial covariant derivative compatible with ${q}_{ij}$ by ${D}_{i}$, and lower and raise indices with ${q}_{ij}$ and its inverse ${q}^{ij}$.

$$\begin{array}{c}\hfill {\pi}^{ij}=\sqrt{q}({K}^{ij}-{q}^{ij}K)\end{array}$$

The constraints are generated by the Hamiltonian
where

$$\begin{array}{c}\hfill H[{\xi}^{\perp},{\widehat{\xi}}^{i}]={\int}_{\Sigma}{d}^{n-1}x\left({\xi}^{\perp}\mathcal{H}+{\widehat{\xi}}^{i}{\mathcal{H}}_{i}\right)\end{array}$$

$$\begin{array}{c}\hfill \mathcal{H}=\frac{1}{\sqrt{q}}\left({\pi}^{ij}{\pi}_{ij}-\frac{1}{n-2}{\pi}^{2}\right)-\sqrt{q}\phantom{\rule{0.166667em}{0ex}}{}^{(n-1)}\phantom{\rule{-0.166667em}{0ex}}R,\phantom{\rule{2.em}{0ex}}{\mathcal{H}}^{i}=-2{D}_{j}{\pi}^{ij}\end{array}$$

Here, ${}^{(n-1)}\phantom{\rule{-0.166667em}{0ex}}R$ is the spatial curvature scalar, and the integral is over a Cauchy surface Σ [54]. The transformation generated by (15) is not a diffeomorphism, but is equivalent on shell to the diffeomorphism generated by the vector field ${\xi}^{\mu}$ given in (5).

On a manifold without a spatial boundary, the generators have Poisson brackets
where the surface deformation brackets ${\{\xb7,\xb7\}}_{{\scriptscriptstyle \mathit{SD}}}$ are given by (6). As noted above, for a manifold with boundary one must add boundary terms to make the variation of the constraints well-defined. The resulting modification of the Poisson algebra (17) depends on the exact choice of boundary conditions.

$$\begin{array}{c}\hfill \left\{H[\xi ],H[\eta ]\right\}=H[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]\end{array}$$

But even without these details, one can learn a good deal. The key observation is that, by construction, the new generator $\overline{H}[\xi ]=H[\xi ]+B[\xi ]$ has a variation with no boundary contributions. Their Poisson bracket is thus simply the standard one,
From (8), the central term is thus

$$\begin{array}{c}\hfill \left\{\overline{H}[\xi ],\overline{H}[\eta ]\right\}=\int {d}^{n-1}x\left(\frac{\delta \overline{H}[\xi ]}{\delta {q}_{ij}}\frac{\delta \overline{H}[\eta ]}{\delta {\pi}^{ij}}-\frac{\delta \overline{H}[\eta ]}{\delta {q}_{ij}}\frac{\delta \overline{H}[\xi ]}{\delta {\pi}^{ij}}\right)\end{array}$$

$$\begin{array}{cc}\hfill K[\xi ,\eta ]& =\left\{\overline{H}[\xi ],\overline{H}[\eta ]\right\}-\overline{H}[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]\hfill \\ & =\int {d}^{n-1}x\left(\frac{\delta \overline{H}[\xi ]}{\delta {q}_{ij}}\frac{\delta \overline{H}[\eta ]}{\delta {\pi}^{ij}}-\frac{\delta \overline{H}[\eta ]}{\delta {q}_{ij}}\frac{\delta \overline{H}[\xi ]}{\delta {\pi}^{ij}}\right)-H[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]-B[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]\hfill \end{array}$$

The variational derivatives in (19) can be rearranged to give $H[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]$, but only after integration by parts. A tedious but straightforward calculation yields
where ${\sigma}_{ij}$ is the induced metric on $\partial \Sigma $ and ${n}^{k}$ is the unit normal to $\partial \Sigma $.

$$\begin{array}{cc}\hfill K[\xi ,\eta ]=& -B[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]\hfill \\ & -\frac{1}{8\pi G}{\int}_{\partial \Sigma}{d}^{n-2}x\sqrt{\sigma}\phantom{\rule{0.166667em}{0ex}}{n}^{k}[\hfill & & -\frac{1}{2}\frac{1}{\sqrt{q}}({\widehat{\xi}}_{k}{\eta}^{\perp}-{\widehat{\eta}}_{k}{\xi}^{\perp})\mathcal{H}-({\widehat{\xi}}_{i}{\eta}^{\perp}-{\widehat{\eta}}_{i}{\xi}^{\perp})\phantom{\rule{0.166667em}{0ex}}{}^{(n-1)}\phantom{\rule{-0.166667em}{0ex}}{R}^{i}{}_{k}\hfill \\ & & & +({D}_{i}{\widehat{\xi}}_{k}{D}^{i}{\eta}^{\perp}-{D}_{i}{\widehat{\eta}}_{k}{D}^{i}{\xi}^{\perp})-({D}_{i}{\widehat{\xi}}^{i}{D}_{k}{\eta}^{\perp}-{D}_{i}{\widehat{\eta}}^{i}{D}_{k}{\xi}^{\perp})\hfill \\ & & & +\frac{1}{\sqrt{q}}\left({\widehat{\eta}}_{k}{\pi}^{mn}{D}_{m}{\widehat{\xi}}_{n}-{\widehat{\xi}}_{k}{\pi}^{mn}{D}_{m}{\widehat{\eta}}_{n}\right)+\frac{1}{\sqrt{q}}{\pi}_{ik}{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}^{i}]\hfill \end{array}$$

The central term (20) depends on the boundary contribution $B[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]$. But for the computation of the central charge of a Virasoro subalgebra, we do not need to know this term (although we ought to check that it is finite). Indeed, the boundary term depends on the deformation parameters only in the combination $\{\xi ,\eta \}=\xi {\eta}^{\prime}-\eta {\xi}^{\prime}$. The central term in a Virasoro algebra (10), in contrast, depends on the combination ${\xi}^{\prime}{\eta}^{\u2033}-{\eta}^{\prime}{\xi}^{\u2033}$, which cannot be built from $\{\xi ,\eta \}$ and its derivatives. If such a structure appears in (20), it is thus necessarily a genuine central term.

To compute black hole entropy from the canonical version (12) of the Cardy formula, it is sufficient to know the central charge and the temperature. To use the microcanonical form (11), on the other hand, one needs the conformal weight, which is obtained from the boundary term $B[\xi ]$. This term does not have a simple, universal form—it depends on the choice of boundary conditions—but it must be chosen to cancel the boundary variation of $H[\xi ]$. This variation is [55]

$$\begin{array}{cc}\hfill \delta H[\xi ]=\cdots -\frac{1}{16\pi G}{\int}_{\partial \Sigma}{d}^{n-2}x\{\sqrt{\sigma}[& {\xi}^{\perp}({n}^{k}{\sigma}^{\ell m}-{n}^{m}{\sigma}^{\ell k}){D}_{m}\delta {q}_{k\ell}\hfill \\ & -{D}_{m}{\xi}^{\perp}({n}^{k}{\sigma}^{\ell m}-{n}^{m}{\sigma}^{\ell k})\delta {q}_{k\ell}]+2{\widehat{\xi}}^{i}\delta {\pi}^{n}{}_{i}-{\widehat{\xi}}^{n}{\pi}^{ij}\delta {q}_{ij}\}\hfill \end{array}$$

Note that this variation determines the boundary term only up to an additive constant, which must be fixed by the physics and can sometimes be troublesome.

## 4. Some Examples

With these general results in hand, we can now look at a few concrete examples.

#### 4.1. The BTZ Black Hole

The BTZ metric [6] describes a (2+1)-dimensional asymptotically anti-de Sitter black hole. It is a stationary, axisymmetric solution of the vacuum Einstein field equations with a cosmological constant $\Lambda =-1/{\ell}^{2}$, and is given in ADM form by
with

$$\begin{array}{cc}& d{s}^{2}={N}^{2}d{t}^{2}-{N}^{-2}d{r}^{2}-{r}^{2}{\left(d\phi +{N}^{\phi}dt\right)}^{2}\hfill \end{array}$$

$$\begin{array}{cc}& N={\left(-8GM+\frac{{r}^{2}}{{\ell}^{2}}+\frac{16{G}^{2}{J}^{2}}{{r}^{2}}\right)}^{1/2},\phantom{\rule{1.em}{0ex}}{N}^{\phi}=-\frac{4GJ}{{r}^{2}}\phantom{\rule{2.em}{0ex}}(|J|\le M\ell )\hfill \end{array}$$

The only nonvanishing component of the ADM momentum is

$$\begin{array}{c}\hfill {\pi}^{r\phi}=\frac{{r}_{+}{r}_{-}}{\ell {r}^{2}}\end{array}$$

Pure anti-de Sitter space is described by a similar metric, with $J=0$ and $8GM=-1$.

Like every solution of the vacuum field equations in 2 + 1 dimensions, the BTZ black hole has constant curvature. Nevertheless, somewhat surprisingly, it is a true black hole. In particular, it has an event horizon at ${r}_{+}$ and, when $J\ne 0$, an inner Cauchy horizon at ${r}_{-}$, where

$$\begin{array}{c}\hfill {r}_{\pm}^{2}=4GM{\ell}^{2}\left(1\pm {\left[1-{\left(\frac{J}{M\ell}\right)}^{2}\right]}^{1/2}\right),\phantom{\rule{2.em}{0ex}}\mathit{i.e.},\phantom{\rule{2.em}{0ex}}M=\frac{{r}_{+}^{2}+{r}_{-}^{2}}{8G{\ell}^{2}},\phantom{\rule{1.em}{0ex}}J=\frac{{r}_{+}{r}_{-}}{4G\ell}\end{array}$$

The horizon rotates at an angular velocity

$$\begin{array}{c}\hfill {\Omega}_{H}=-{N}^{\phi}({r}_{+})=\frac{{r}_{-}}{{r}_{+}\ell}\end{array}$$

Kruskal coordinates were derived in [56]; the Penrose diagram is essentially the same as that of an asymptotically anti-de Sitter black hole in 3+1 dimensions.

In 1986, Brown and Henneaux stumbled across an aspect of what we would now call the AdS/CFT correspondence [20,57]. Analyzing the asymptotic symmetries of general relativity in (2 + 1)-dimensional asymptotically anti-de Sitter space, they found a pair of commuting Virasoro algebras—the symmetry group of a two-dimensional conformal field theory—with central charges

$$\begin{array}{c}\hfill {c}^{\pm}=\frac{3\ell}{2G}\end{array}$$

To obtain this result, Brown and Henneaux imposed boundary conditions
at spatial infinity. (My index order is $(t,r,\phi )$.) These conditions are satisfied by the BTZ black hole, as well as by pure anti-de Sitter space and anti-de Sitter space with point particles. It is straightforward to check that the diffeomorphisms that respect these boundary conditions are generated by two families of vector fields ${\xi}^{\pm}$, with
where ${T}^{\pm}={T}^{\pm}(\phi \pm t/\ell )$ are left- and right-moving modes on the asymptotic boundary.

$$\begin{array}{c}\hfill {g}_{ab}\sim \left(\begin{array}{ccc}-\frac{{r}^{2}}{{\ell}^{2}}+\mathcal{O}(1)& \mathcal{O}(\frac{1}{{r}^{3}})& \mathcal{O}(1)\\ & \frac{{\ell}^{2}}{{r}^{2}}+\mathcal{O}(\frac{1}{{r}^{4}})& \mathcal{O}(\frac{1}{{r}^{3}})\\ & & {r}^{2}+\mathcal{O}(1)\end{array}\right)\end{array}$$

$$\begin{array}{cc}\hfill {\xi}^{\pm t}& =\frac{\ell}{2}\left({T}^{\pm}+\frac{{\ell}^{2}}{2{r}^{2}}{\partial}_{\phi}^{2}{T}^{\pm}\right)\hfill \\ \hfill {\xi}^{\pm r}& =\mp \frac{r}{2}{\partial}_{\phi}{T}^{\pm}\hfill \\ \hfill {\xi}^{\pm \phi}& =\pm \frac{1}{2}\left({T}^{\pm}-\frac{{\ell}^{2}}{2{r}^{2}}{\partial}_{\phi}^{2}{T}^{\pm}\right)\hfill \end{array}$$

The vector fields (29) are normalized so that

$$\begin{array}{cc}& \{{\xi}^{\pm}[{T}_{1}^{\pm}],{\xi}^{\pm}[{T}_{2}^{\pm}]\}={\xi}^{\pm}[{T}_{1}^{\pm}{\partial}_{\phi}{T}_{2}^{\pm}-{T}_{2}^{\pm}{\partial}_{\phi}{T}_{1}^{\pm}]\hfill \\ & \{{\xi}^{+}[{T}_{1}^{+}],{\xi}^{-}[{T}_{2}^{-}]\}=0\hfill \end{array}$$

From (9) and (10), the corresponding generators of surface deformations should form a pair of commuting Virasoro algebras. To find the central charges, we can use the general result (20). The relevant three-derivative terms are
where ${D}_{\phi}{\widehat{\xi}}^{r}={\partial}_{\phi}{\widehat{\xi}}^{r}-r{N}^{2}{\widehat{\xi}}^{\phi}$ and ${D}_{\phi}{\widehat{\xi}}^{\phi}={\partial}_{\phi}{\widehat{\xi}}^{\phi}+\frac{1}{r}{\widehat{\xi}}^{r}$ are spatial covariant derivatives. A straightforward calculation yields

$$\begin{array}{cc}\hfill K[\xi ,\eta ]=\cdots -\frac{1}{8\pi G}{\int}_{\partial \Sigma}\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}d\phi \phantom{\rule{4pt}{0ex}}rN& [-({\widehat{\xi}}_{r}{\eta}^{\perp}-{\widehat{\eta}}_{r}{\xi}^{\perp})\phantom{\rule{0.166667em}{0ex}}{}^{(2)}\phantom{\rule{-0.166667em}{0ex}}{R}^{r}{}_{r}\hfill \\ & +({D}_{\phi}{\widehat{\xi}}_{r}{D}^{\phi}{\eta}^{\perp}-{D}_{\phi}{\widehat{\eta}}_{r}{D}^{\phi}{\xi}^{\perp})-({D}_{\phi}{\widehat{\xi}}^{\phi}{D}_{r}{\eta}^{\perp}-{D}_{\phi}{\widehat{\eta}}^{\phi}{D}_{r}{\xi}^{\perp})]\hfill \end{array}$$

$$\begin{array}{c}\hfill K[{\xi}^{\pm}[{T}_{1}^{\pm}],{\xi}^{\pm}[{T}_{2}^{\pm}]]=\cdots +\frac{\ell}{32\pi G}{\int}_{\partial \Sigma}\phantom{\rule{-0.166667em}{0ex}}\phantom{\rule{-0.166667em}{0ex}}d\phi \left({\partial}_{\phi}{T}_{1}^{\pm}{\partial}_{\phi}^{2}{T}_{2}^{\pm}-{\partial}_{\phi}{T}_{2}^{\pm}{\partial}_{\phi}^{2}{T}_{1}^{\pm}\right)\end{array}$$

Comparing this to the general Virasoro algebra (10), we can read off the central charges, confirming the results (27).

To use the microcanonical Cardy formula, we also need the boundary term $B[\xi ]$. This was also computed by Brown and Henneaux. From the boundary conditions (28), it is easy to see that the only nonvanishing terms in the variation (22) are
justifying the notation M and J for the mass and angular momentum of the black hole. Evaluated on the asymptotic symmetries (29), the boundary term is then
In particular, for the zero modes ${T}_{0}^{\pm}=1$, we have
where the constant ${B}_{0}$ has been fixed by demanding that anti-de Sitter space have ${\Delta}^{\pm}=0$. As Strominger [7] and Birmingham, Sachs, and Sen [8] observed, these conformal weights and the central charges (27) then determine an entropy
one quarter of the horizon “area” $2\pi {r}_{+}$, matching the standard Bekenstein–Hawking expression.

$$\begin{array}{cc}\hfill \delta H[\xi ]& =\cdots -\frac{1}{16\pi G}\int d\phi \left\{r{n}^{r}{\sigma}^{\phi \phi}\left[{\xi}^{\perp}({D}_{\phi}\delta {q}_{r\phi}-{D}_{r}\delta {q}_{\phi \phi}\right]+r{n}^{r}{\sigma}^{\phi \phi}{D}_{r}{\xi}^{\perp}\delta {q}_{\phi \phi}+2{\widehat{\xi}}^{\phi}\delta {\pi}^{r}{}_{\phi}\right\}\hfill \\ & =\cdots -\frac{1}{16\pi G}\int d\phi \left[{\xi}^{t}\delta \left(\frac{{r}_{+}^{2}+{r}_{-}^{2}}{{\ell}^{2}}\right)+{\widehat{\xi}}^{\phi}\delta \left(\frac{2{r}_{+}{r}_{-}}{\ell}\right)\right]=\cdots -\frac{1}{2\pi}\delta \int d\phi \left[{\xi}^{t}M+{\xi}^{\phi}J\right]\hfill \end{array}$$

$$\begin{array}{c}\hfill B[{T}^{\pm}]=\frac{{({r}_{+}\pm {r}_{-})}^{2}}{32\pi G\ell}\int d\phi \phantom{\rule{0.166667em}{0ex}}{T}^{\pm}+{B}_{0}\end{array}$$

$$\begin{array}{c}\hfill {\Delta}^{\pm}=B[{T}_{0}^{\pm}]=\frac{{({r}_{+}\pm {r}_{-})}^{2}}{16G\ell}+\frac{\ell}{16G}\end{array}$$

$$\begin{array}{c}\hfill S=2\pi \sqrt{\frac{{c}^{+}}{6}\left({\Delta}^{+}-\frac{{c}^{+}}{24}\right)}+2\pi \sqrt{\frac{{c}^{-}}{6}\left({\Delta}^{-}-\frac{{c}^{-}}{24}\right)}=\frac{2\pi {r}_{+}}{4G}\end{array}$$

It is interesting to consider the canonical version (12) of the Cardy formula as well. The BTZ black hole has a Hawking temperature

$$\begin{array}{c}\hfill {T}_{H}=\frac{\kappa}{2\pi}=\frac{{r}_{+}^{2}-{r}_{-}^{2}}{2\pi \ell {r}_{+}}\end{array}$$

The inverse of this temperature gives the periodicity of Greens functions in imaginary time. For our two Virasoro algebras, though, the relevant periodicities are in the coordinates ${t}^{\pm}=t\pm \ell \phi $ that appear in the asymptotic diffeomorphisms. To obtain the corresponding “left” and “right” temperatures, following [15], we first note that the modes of a scalar field in a BTZ background take the form

$$\begin{array}{c}\hfill \varphi \sim F(r){e}^{im\phi -i\omega t}=F(r){e}^{-i{\omega}^{+}{t}^{+}-i{\omega}^{-}{t}^{-}}\phantom{\rule{1.em}{0ex}}\text{with}\phantom{\rule{1.em}{0ex}}{\omega}^{\pm}=\frac{1}{2}\left(\omega \mp \frac{m}{\ell}\right)\end{array}$$

The standard Boltzmann factor depends on both the energy and the angular velocity ${\Omega}_{H}$, and can be written as

$$\begin{array}{c}\hfill {e}^{-{\beta}_{H}(\omega -m{\Omega}_{H})}={e}^{-{\beta}^{+}{\omega}^{+}-{\beta}^{-}{\omega}^{-}}\phantom{\rule{1.em}{0ex}}\text{with}\phantom{\rule{1.em}{0ex}}{\beta}^{\pm}=\beta (1\pm {\Omega}_{H}\ell )=\frac{2\pi \ell}{{r}_{+}\mp {r}_{-}}\end{array}$$

Substituting the corresponding temperatures ${T}^{\pm}=1/{\beta}^{\pm}$ into the canonical Cardy formula, we obtain
again giving the standard Bekenstein–Hawking entropy.

$$\begin{array}{c}\hfill S=\frac{{\pi}^{2}}{3}{c}^{+}{T}^{+}+\frac{{\pi}^{2}}{3}{c}^{-}{T}^{-}=\frac{2\pi {r}_{+}}{4G}\end{array}$$

In some ways, the BTZ black hole is a very special case: the asymptotic boundary is a two-dimensional cylinder, so an asymptotic conformal field theory seems quite natural. But the result also has a simple extension. Many near-extremal black holes have a near-horizon geometry of the form $\mathit{BTZ}\times \mathit{trivial}$, and the results of this section can be applied almost unchanged, except for appropriate redefinitions of constants. For a good review, see [21].

#### 4.2. The Extremal Kerr Black Hole

As our next example, let us consider the near-horizon geometry of the extremal Kerr black hole [15,58], a system that has attracted a good deal of recent attention. In Boyer–Lindquist coordinates, the ADM form of the extremal Kerr metric is [59]
where

$$\begin{array}{c}\hfill d{s}^{2}=-{N}^{2}d{t}^{2}+\frac{\Sigma}{\Delta}d{r}^{2}+\frac{A{sin}^{2}\theta}{\Sigma}{\left(d\phi +{N}^{\phi}dt\right)}^{2}+\Sigma \phantom{\rule{0.166667em}{0ex}}d{\theta}^{2}\end{array}$$

$$\begin{array}{cc}& \Delta ={(r-{r}_{+})}^{2},\phantom{\rule{2.em}{0ex}}\Sigma ={r}^{2}+{r}_{+}{}^{2}{cos}^{2}\theta ,\phantom{\rule{2.em}{0ex}}A={({r}^{2}+{r}_{+}{}^{2})}^{2}-{(r-{r}_{+})}^{2}{r}_{+}{}^{2}{sin}^{2}\theta \hfill \\ & N=\sqrt{\frac{\Sigma \Delta}{A}},\phantom{\rule{2.em}{0ex}}{N}^{\phi}=\frac{2{r}_{+}{}^{2}r}{A}\hfill \end{array}$$

This black hole has a mass $GM={r}_{+}$, an angular momentum $J={r}_{+}^{2}/G$, and a horizon at $r={r}_{+}$ that rotates with an angular velocity

$$\begin{array}{c}\hfill {\Omega}_{H}={N}^{\phi}({r}_{+})=\frac{1}{2{r}_{+}}\end{array}$$

At extremality, the Kerr black hole has an infinite throat: that is, the proper distance from the horizon ${r}_{+}$ to any point $r>{r}_{+}$ is infinite. To focus in on the near-horizon region, Bardeen and Horowitz considered a coordinate transformation [22]
followed by a limit $\lambda \to 0$. The resulting near-horizon extremal Kerr, or NHEK, metric is
with

$$\begin{array}{c}\hfill \overline{t}=\frac{\lambda t}{2m},\phantom{\rule{1.em}{0ex}}y=\frac{\lambda m}{r-m},\phantom{\rule{1.em}{0ex}}\overline{\phi}=\phi -{\Omega}_{H}t\end{array}$$

$$\begin{array}{c}\hfill d{s}^{2}={r}_{+}^{2}(1+{cos}^{2}\theta )\left(\frac{-d{\overline{t}}^{2}+d{y}^{2}}{{y}^{2}}+{\Lambda}^{2}{\left(d\overline{\phi}+\frac{d\overline{t}}{y}\right)}^{2}+d{\theta}^{2}\right)\end{array}$$

$$\begin{array}{c}\hfill \Lambda =\frac{2sin\theta}{1+{cos}^{2}\theta}\end{array}$$

The only nonvanishing component of the canonical momentum is

$$\begin{array}{c}\hfill {\pi}^{y\overline{\phi}}=\frac{\sqrt{q}}{2N}{q}^{yy}{\partial}_{y}{N}^{\overline{\phi}}=-\frac{\Lambda}{2}\end{array}$$

Guica et al. consider boundary conditions [15]
near the asymptotic boundary $y=0$. (My index order is $(\overline{t},y,\theta ,\overline{\phi})$.) These conditions, which are strong enough to lead to finite charges, are preserved by the diffeomorphisms
which satisfy a $Diff{S}^{1}$ algebra. (Constant time translations are also permitted, but are not relevant to the dual conformal field theory.) Since (49) includes no ${\xi}^{\perp}$ component, the sole contributions to the central term (20) come from the terms involving the canonical momentum ${\pi}^{ij}$. The only three-derivative term is

$$\begin{array}{c}\hfill \delta {g}_{ab}\sim \left(\begin{array}{cccc}\mathcal{O}(\frac{1}{{y}^{2}})& \mathcal{O}(1)& \mathcal{O}(y)& \mathcal{O}(1)\\ & \mathcal{O}(\frac{1}{y})& \mathcal{O}(1)& \mathcal{O}(\frac{1}{y})\\ & & \mathcal{O}(y)& \mathcal{O}(y)\\ & & & \mathcal{O}(1)\end{array}\right)\end{array}$$

$$\begin{array}{c}\hfill {\xi}^{\overline{\phi}}=\u03f5(\overline{\phi}),\phantom{\rule{2.em}{0ex}}{\xi}^{y}=y{\partial}_{\overline{\phi}}\u03f5(\overline{\phi})\end{array}$$

$$\begin{array}{cc}\hfill K[\xi ,\eta ]& =\cdots -\frac{1}{8\pi G}\int {d}^{2}x\left({\widehat{\eta}}^{y}{\pi}^{mn}{D}_{m}{\widehat{\xi}}_{n}-{\widehat{\xi}}^{y}{\pi}^{mn}{D}_{m}{\widehat{\eta}}_{n}\right)\hfill \\ & =\cdots +\frac{1}{8\pi G}\int d\theta d\overline{\phi}\phantom{\rule{0.166667em}{0ex}}\frac{\Lambda}{2}\left({\eta}^{y}{q}_{yy}{\partial}_{\overline{\phi}}{\xi}^{y}-{\xi}^{y}{q}_{yy}{\partial}_{\overline{\phi}}{\eta}^{y}\right)\hfill \\ & =\cdots -\frac{{r}_{+}^{2}}{16\pi G}\int d\theta \Lambda (1+{cos}^{2}\theta )\int d\overline{\phi}\left({\partial}_{\overline{\phi}}{\eta}^{\overline{\phi}}{\partial}_{\overline{\phi}}^{2}{\xi}^{\overline{\phi}}-{\partial}_{\overline{\phi}}{\xi}^{\overline{\phi}}{\partial}_{\overline{\phi}}^{2}{\eta}^{\overline{\phi}}\right)\hfill \\ & =\cdots +\frac{{r}_{+}^{2}}{4\pi G}\int d\overline{\phi}\left({\partial}_{\overline{\phi}}{\xi}^{\overline{\phi}}{\partial}_{\overline{\phi}}^{2}{\eta}^{\overline{\phi}}-{\partial}_{\overline{\phi}}{\eta}^{\overline{\phi}}{\partial}_{\overline{\phi}}^{2}{\xi}^{\overline{\phi}}\right)\hfill \end{array}$$

Comparing to (10), we see that we one again have a Virasoro algebra, with central charge

$$\begin{array}{c}\hfill c=\frac{12{r}_{+}^{2}}{G}=12J\end{array}$$

There is an important difference between this central charge and that of the BTZ black hole. For the BTZ black hole, c depends only on the cosmological constant, and not on the particular parameters of the black hole. It is thus plausible to conjecture that a single conformal field theory encompasses all (2 + 1)-dimensional black holes. Here, in contrast, c depends on J, implying a different dual conformal field theory for each value of angular momentum.

This may not be important for extremal rotating black holes, which have a vanishing temperature and do not undergo Hawking radiation. But let us suppose—as suggested, for instance, in [60]—that a single conformal field theory also describes non-extremal black holes with the same angular momentum. Then Hawking radiation, which will typically change the value of J, will take us from one conformal dual to another. This suggests that a full treatment of Hawking radiation, including its back-reaction on the black hole, may involve flows between conformal field theories.

To use the microcanonical Cardy formula, we need the boundary term $B[\xi ]$. Again, the absence of a ${\xi}^{\perp}$ component in the deformation (49) makes this easy to compute: the only relevant term in (21) is

$$\begin{array}{cc}\hfill \delta H[\xi ]& =\cdots -\frac{1}{16\pi G}{\int}_{\partial \Sigma}d\theta d\overline{\phi}\left(2{\widehat{\xi}}^{\overline{\phi}}\delta {\pi}^{y}{}_{\overline{\phi}}\right)\hfill \\ & =\cdots -\frac{1}{16\pi G}\int d\overline{\phi}\phantom{\rule{0.166667em}{0ex}}\u03f5(\overline{\phi})\int d\theta \left(-\frac{\Lambda}{2}\xb7{r}_{+}^{2}(1+{cos}^{2}\theta ){\Lambda}^{2}\right)\hfill \\ & =\cdots +\frac{{r}_{+}^{2}}{2\pi G}\int d\overline{\phi}\phantom{\rule{0.166667em}{0ex}}\u03f5(\overline{\phi})\int d\theta \frac{{sin}^{3}\theta}{{(1+{cos}^{2}\theta )}^{2}}=\cdots +\frac{{r}_{+}^{2}}{G}\int \frac{d\overline{\phi}}{2\pi}\phantom{\rule{0.166667em}{0ex}}\u03f5(\overline{\phi})\hfill \end{array}$$

If we now take the undetermined constant ${B}_{0}$ in the boundary term to be zero—a plausible assumption, but not one that is obviously true—the Cardy formula yields
which is the correct Bekenstein–Hawking entropy for the extremal Kerr black hole.

$$\begin{array}{c}\hfill S=2\pi \sqrt{\frac{c}{6}\left(\Delta -\frac{c}{24}\right)}=\frac{2\pi {r}_{+}^{2}}{G},\end{array}$$

We can also use the canonical version of the Cardy formula. This is a bit subtle: the Hawking temperature for a general Kerr black hole is
which vanishes for an extremal black hole. Following Guica et al. [15], though, we can obtain an appropriate temperature as a limit. For a nonextremal black hole, the modes of the Frolov–Thorne vacuum [61] are of the form
where I have performed the coordinate transformation (44) but not yet taken the $\lambda \to 0$ limit. As in the BTZ case, we can compute the corresponding Boltzmann factor,

$$\begin{array}{c}\hfill T=\frac{{r}_{+}-M}{4\pi M{r}_{+}}\end{array}$$

$$\begin{array}{c}\hfill \varphi \sim F(r,\theta ){e}^{im\phi -i\omega t}\sim \overline{F}(y,\theta ){e}^{i{n}_{L}\overline{\phi}-i{n}_{R}\overline{t}}\phantom{\rule{1.em}{0ex}}\text{with}\phantom{\rule{1.em}{0ex}}{n}_{L}=m,\phantom{\rule{4pt}{0ex}}{n}_{R}=\frac{1}{\lambda}(2M\omega -m)\end{array}$$

$$\begin{array}{c}\hfill {e}^{-{\beta}_{H}(\omega -m{\Omega}_{H})}={e}^{-{\beta}_{R}{n}_{R}-{\beta}_{L}{n}_{L}}\phantom{\rule{1.em}{0ex}}\text{with}\phantom{\rule{1.em}{0ex}}{\beta}_{R}=2\pi \left(\frac{{r}_{+}-2{\Omega}_{H}{r}_{+}M}{{r}_{+}-M}\right),\phantom{\rule{1.em}{0ex}}{\beta}_{L}=\frac{2\pi \lambda {r}_{+}}{{r}_{+}-M}.\end{array}$$

In the extremal limit, ${r}_{+}\to M$, the right temperature remains finite,

$$\begin{array}{c}\hfill {T}_{R}=1/{\beta}_{R}\to \frac{1}{2\pi}\end{array}$$

The canonical Cardy formula (12) then gives
again matching the Bekenstein–Hawking entropy.

$$\begin{array}{c}\hfill S=\frac{{\pi}^{2}}{3}cT=\frac{2\pi {r}_{+}^{2}}{G}\end{array}$$

A similar analysis has been performed for other extremal black holes (see, for example, [62,63]), and has been repeated for the extremal Kerr solution without taking the near-horizon limit [26]. But although some attempts have been made to extend the method to non-extremal black holes [42,64], the situation remains murky. So for the non-extremal case, it is worthwhile to look for an alternative approach.

#### 4.3. A Generic (3 + 1)-Dimensional Black Hole

In the preceding examples, we looked at asymptotic boundaries far from the black hole horizon: at infinity for the BTZ black hole, and at the “infinity” of the near-horizon region for the extremal Kerr black hole. But as noted in Section 2, it is also natural to look at boundary conditions at the horizon itself.

Consider an arbitrary stationary black hole in 3+1 dimensions [26]. Such a black hole is necessarily axisymmetric [65]: that is, it admits two Killing vectors ${T}^{a}$ and ${\Phi}^{a}$ that generate time translations and rotations. For the near-horizon metric, we can write a general ADM form
where ρ is the proper distance from the horizon and z is an angular coordinate such as $cos\theta $. Even before imposing any field equations, it can be shown that the requirement of finite curvature at the horizon sharply restricts the behavior of the metric: it must have a near-horizon expansion [66]
where the surface gravity ${\kappa}_{H}$ and the horizon angular velocity ${\Omega}_{H}$ are constants. The only nonzero component of the canonical momentum ${\pi}^{ij}$ near the horizon is then

$$\begin{array}{c}\hfill d{s}^{2}=-{N}^{2}d{t}^{2}+d{\rho}^{2}+{q}_{\phi \phi}{\left(d\phi +{N}^{\phi}dt\right)}^{2}+{q}_{zz}d{z}^{2}\end{array}$$

$$\begin{array}{cc}N={\kappa}_{H}\rho +\frac{1}{3!}{\kappa}_{2}(z){\rho}^{3}+\cdots \phantom{\rule{2.em}{0ex}}\phantom{\rule{1.em}{0ex}}\hfill & {q}_{\phi \phi}={[{q}_{H}]}_{\phi \phi}(z)+\frac{1}{2}{[{q}_{2}]}_{\phi \phi}(z){\rho}^{2}+\cdots \hfill \end{array}$$

$$\begin{array}{cccc}& {N}^{\phi}=-{\Omega}_{H}-\frac{1}{2}{\omega}_{2}(z){\rho}^{2}+\cdots \hfill & & {q}_{zz}={[{q}_{H}]}_{zz}(z)+\frac{1}{2}{[{q}_{2}]}_{zz}(z)({\rho}^{2})+\cdots \hfill \end{array}$$

$$\begin{array}{c}\hfill {\pi}^{\rho \phi}=-\frac{{\omega}_{2}}{2{\kappa}_{H}}\sqrt{q}+\mathcal{O}({\rho}^{2})\end{array}$$

Now, for a stationary black hole—or, more generally, a black hole with a stationary neighborhood around an isolated horizon [44]—the horizon $\mathcal{H}$ is a Killing horizon. This means there exists a Killing vector
that is null at $\mathcal{H}$ and is normal to $\mathcal{H}$. Ideally, this is the place we would impose boundary conditions. As noted earlier, though, this has so far proven very difficult. We can, however, “stretch” the horizon into a timelike boundary ${\mathcal{H}}_{s}$ just outside the true horizon, determine a conformal dual there, and then take the limit as ${\mathcal{H}}_{s}$ approaches $\mathcal{H}$.

$$\begin{array}{c}\hfill {\chi}^{a}={T}^{a}+{\Omega}_{H}{\Phi}^{a}\end{array}$$

In particular, let us “stretch” the Killing vector, by requiring that a new Killing vector
be null at the intersection of the stretched horizon with our Cauchy surface Σ. For the metric (59), this is the requirement that
The parameter
which measures the “stretching” of the Killing vector ${\overline{\chi}}^{a}$, is of order ρ—essentially the proper distance from the stretched horizon to the true horizon—as is standard in the membrane paradigm [25].

$$\begin{array}{c}\hfill {\overline{\chi}}^{a}={T}^{a}+\overline{\Omega}{\Phi}^{a}\end{array}$$

$$\begin{array}{c}\hfill {\overline{\chi}}^{2}=0=-{N}^{2}+{q}_{\phi \phi}{({N}^{\phi}+\overline{\Omega})}^{2}=-{N}^{2}+{q}_{\phi \phi}{({\Omega}_{H}-\overline{\Omega})}^{2}+\mathcal{O}({\rho}^{3})\end{array}$$

$$\begin{array}{c}\hfill \overline{\epsilon}={\Omega}_{H}-\overline{\Omega}\end{array}$$

At the stretched horizon ${\mathcal{H}}_{s}$, we can independently specify the surface deformation parameters $({\xi}^{\perp},{\widehat{\xi}}^{i})$ and their normal derivatives. The transformations that leave the metric (59) fixed at the boundary are then
where ${\xi}^{t}={\xi}^{t}(\phi -\overline{\Omega}t)$ and
is a convective derivative.

$$\begin{array}{cccc}& {\delta}_{\xi}N=0\phantom{\rule{1.em}{0ex}}\hfill & & \Rightarrow \phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}{\widehat{\xi}}^{\rho}=-\overline{\epsilon}\rho {\partial}_{\phi}{\xi}^{t}=-\rho {\overline{\partial}}_{t}{\xi}^{t}\hfill \\ & {\delta}_{\xi}{N}^{\rho}=0\hfill & & \Rightarrow \phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\rho {\partial}_{\rho}{\xi}^{t}=-\frac{{\overline{\epsilon}}^{2}}{{\kappa}_{H}^{2}}{\partial}_{\phi}{}^{2}{\xi}^{t}=-\frac{1}{{\kappa}_{H}^{2}}{\overline{\partial}}_{t}{}^{2}{\xi}^{t}\hfill \\ & {\delta}_{\xi}{N}^{\phi}=0\hfill & & \Rightarrow \phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}{\widehat{\xi}}^{\phi}=\frac{{\kappa}_{H}^{2}{\rho}^{2}}{\overline{\epsilon}}{q}^{\phi \phi}{\xi}^{t}=\overline{\epsilon}{\xi}^{t}\hfill \\ & \delta {q}_{\rho \phi}=0\hfill & & \Rightarrow \phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\rho {\partial}_{\rho}{\widehat{\xi}}^{\phi}=\overline{\epsilon}{\rho}^{2}{q}^{\phi \phi}{\partial}_{\phi}{}^{2}{\xi}^{t}-{\omega}_{2}{\rho}^{2}{\xi}^{t}=\frac{\overline{\epsilon}}{{\kappa}_{H}^{2}}{\overline{\partial}}_{t}{}^{2}{\xi}^{t}-{\omega}_{2}{\rho}^{2}{\xi}^{t}\hfill \end{array}$$

$$\begin{array}{c}\hfill {\overline{\partial}}_{t}={\partial}_{t}-{N}^{i}{\partial}_{i}\sim {\partial}_{t}+{\Omega}_{H}{\partial}_{\phi}\end{array}$$

In our earlier examples, the surface deformations were functions of an angular coordinate, and there was a natural choice of periodicity of the modes. Here, the relevant variable is really an affine parameter along the Killing vector, and the choice is not unique. A particularly nice choice of modes is
which are chosen in order that ${\overline{\partial}}_{t}{\tilde{\xi}}_{n}^{t}=in{\tilde{\xi}}_{n}^{t}$. The resulting frequencies blow up at the horizon, but this is the ordinary blue shift as seen by an outside observer: a corotating observer with four-velocity ${u}^{a}=({T}^{a}-{N}^{\phi}{\Phi}^{a})/N$ will see a frequency ${k}_{a}{u}^{a}=n/N(1+\mathcal{O}(\rho ))$, the usual blue shift factor. Other possible modes are discussed in [26]; they typically lead to different, and sometimes divergent, central charges and conformal weights, but to the same entropy.

$$\begin{array}{c}\hfill {\xi}_{n}^{t}=\frac{1}{2}\phantom{\rule{0.166667em}{0ex}}{e}^{in(\phi -\overline{\Omega}t)/\overline{\epsilon}}\end{array}$$

The normalization of (68) has been chosen to ensure that the surface deformation brackets (6) of these modes are consistent, with [67]

$$\begin{array}{c}\hfill {\{{\xi}_{m},{\xi}_{n}\}}_{{\scriptscriptstyle \mathit{SD}}}^{t}=i(m-n){\xi}_{m+n}^{t}\end{array}$$

We thus expect a Virasoro algebra to once again be present. The relevant contributions to the central term (20) are now
where $\mathcal{A}$ is the horizon area. Here I have used (66) for both the components of ξ and η and their radial derivatives, along with the identity
which follows from the fact that the boundary metric ${\sigma}_{ij}$ is independent of $\phi $. The expression (70) may again be recognized as the central term of a Virasoro algebra, with central charge

$$\begin{array}{cc}\hfill K[\xi ,\eta ]& =-\frac{1}{8\pi G}{\int}_{\partial \Sigma}{d}^{2}x\sqrt{\sigma}\phantom{\rule{0.166667em}{0ex}}{n}^{k}\left[({D}_{i}{\widehat{\xi}}_{k}{D}^{i}{\eta}^{\perp}-{D}_{i}{\widehat{\xi}}^{i}{D}_{k}{\eta}^{\perp})-(\xi \leftrightarrow \eta )\right]\hfill \\ & =-\frac{1}{4\pi G{\kappa}_{H}}\frac{\mathcal{A}}{2\pi}\int d\phi \phantom{\rule{0.166667em}{0ex}}\left[{\overline{\partial}}_{t}{\xi}^{t}{\overline{\partial}}_{t}{}^{2}{\eta}^{t}-{\overline{\partial}}_{t}{\eta}^{t}{\overline{\partial}}_{t}{}^{2}{\xi}^{t}\right]\hfill \end{array}$$

$$\begin{array}{c}\hfill \int {d}^{2}x\phantom{\rule{0.166667em}{0ex}}\sqrt{\sigma}F(\phi )=\frac{\mathcal{A}}{2\pi}\int d\phi \phantom{\rule{0.166667em}{0ex}}F(\phi )\end{array}$$

$$\begin{array}{c}\hfill c=\frac{3\mathcal{A}}{2\pi G{\kappa}_{H}}\end{array}$$

It is now easy to use the canonical form of the Cardy formula. The Hawking temperature of a black hole with metric (59) is
The coordinate along our stretched horizon is $(\phi -\overline{\Omega}t)/\overline{\u03f5}$, so the relevant modes are
The Boltzmann factor is then
and the entropy is thus
as expected. The microcanonical version of the derivation is discussed in [26]; it appears to also yield the correct Bekenstein–Hawking entropy, although the zero of the conformal weight Δ is not entirely clear.

$$\begin{array}{c}\hfill {T}_{H}=\frac{{\kappa}_{H}}{2\pi}\end{array}$$

$$\begin{array}{c}\hfill \varphi \sim F(r,\theta ){e}^{im\phi -i\omega t}\sim F(r,\theta ){e}^{i{n}_{L}((\phi -\overline{\Omega}t)/\overline{\u03f5})-i{n}_{R}t}\phantom{\rule{1.em}{0ex}}\text{with}\phantom{\rule{1.em}{0ex}}{n}_{L}=m\overline{\u03f5},\phantom{\rule{4pt}{0ex}}{n}_{R}=\omega -m\overline{\Omega}\end{array}$$

$$\begin{array}{c}\hfill {e}^{-{\beta}_{H}(\omega -m{\Omega}_{H})}={e}^{-{\beta}_{R}{n}_{R}-{\beta}_{L}{n}_{L}}\phantom{\rule{1.em}{0ex}}\text{with}\phantom{\rule{1.em}{0ex}}{\beta}_{R}={\beta}_{H},\phantom{\rule{1.em}{0ex}}{\beta}_{L}=\frac{\overline{\Omega}-{\Omega}_{H}}{\overline{\u03f5}}{\beta}_{H}={\beta}_{H}\end{array}$$

$$\begin{array}{c}\hfill S=\frac{{\pi}^{2}}{3}c{T}_{H}=\frac{\mathcal{A}}{4G}\end{array}$$

While this particular result is fairly new, it is closely related to the covariant phase space analysis of [14]. That approach has been applied to a wide variety of black holes, including dilaton black holes [68] and black holes in higher derivative theories [69,70]. As in the extremal Kerr case, the central charge depends on parameters of the black hole, and once again, black holes with different horizon areas must be described by different conformal field theories.

#### 4.4. Two-Dimensional Dilaton Gravity

I will conclude this section with an interesting example of a model for which these conformal methods fail, but in an interesting way. In two spacetime dimensions, the Einstein–Hilbert Lagrangian is a total derivative, and to obtain an interesting theory of gravity, one must add new fields. The simplest choice is the Jackiw–Teitelboim model [71,72], with an action
whose fields include both the metric and a dilaton $\varphi $. The field equations obtained from this action have an asymptotically anti-de Sitter black hole solution,
with a mass
and an entropy [73]

$$\begin{array}{c}\hfill I=\frac{1}{2}\int {d}^{2}x\phantom{\rule{0.166667em}{0ex}}\sqrt{-g}\phantom{\rule{0.166667em}{0ex}}\varphi \left(R+\frac{2}{{\ell}^{2}}\right)\end{array}$$

$$\begin{array}{c}\hfill d{s}^{2}=-\left(\frac{{x}^{2}}{{\ell}^{2}}-{a}^{2}\right)d{t}^{2}+\left(\frac{{x}^{2}}{{\ell}^{2}}-{a}^{2}\right)d{x}^{2},\phantom{\rule{1.em}{0ex}}\varphi =\frac{{\varphi}_{0}x}{\ell}\end{array}$$

$$\begin{array}{c}\hfill M=\frac{{\varphi}_{0}{a}^{2}}{2\ell}\end{array}$$

$$\begin{array}{c}\hfill S=\frac{2\pi {\varphi}_{0}a}{\ell}\end{array}$$

The asymptotic symmetries of this model were first analyzed by Hotta [74] and Cadoni and Mignemi [75,76]. The ADM constraints are
where $\sigma =\sqrt{{q}_{xx}}$. In the language of Section 3 of this paper, one finds that
with
and

$$\begin{array}{c}\hfill H[{\xi}^{\perp},{\xi}^{x}]={\int}_{\Sigma}dx\left\{{\xi}^{\perp}\left[-{\pi}_{\varphi}{\pi}_{\sigma}+{\left(\frac{{\varphi}^{\prime}}{\sigma}\right)}^{\prime}-{\lambda}^{2}\sigma \varphi \right]+{\xi}^{x}\left[{\pi}_{\varphi}{\varphi}^{\prime}-{\pi}_{\sigma}^{\prime}\sigma \right]\right\}\end{array}$$

$$\begin{array}{c}\hfill \left\{\overline{H}[\xi ],\overline{H}[\eta ]\right\}=\overline{H}[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]+K(\xi ,\eta )\end{array}$$

$$\begin{array}{c}\hfill {\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}^{\perp}={\xi}^{x}{\eta}^{\perp}\prime -{\eta}^{x}{\xi}^{\perp}\prime ,\phantom{\rule{1.em}{0ex}}{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}^{x}={\xi}^{x}{\eta}^{x\prime}-{\eta}^{x}{\xi}^{x\prime}+\frac{1}{{\sigma}^{2}}\left({\xi}^{\perp}{\eta}^{\perp}\prime -{\eta}^{\perp}{\xi}^{\perp}\prime \right)\end{array}$$

$$\begin{array}{cc}\hfill K(\xi ,\eta )=& -B[{\{\xi ,\eta \}}_{{\scriptscriptstyle \mathit{SD}}}]\hfill \\ & +{\left[({\xi}^{x}{\eta}^{\perp}-{\eta}^{x}{\xi}^{\perp})\left({\pi}_{\varphi}{\pi}_{\sigma}+\frac{\sigma \varphi}{{\ell}^{2}}\right)-({\xi}^{x}{\eta}^{\perp}\prime -{\eta}^{x}{\xi}^{\perp}\prime )\frac{{\varphi}^{\prime}}{\sigma}+{\xi}^{\perp}{\eta}^{\perp}\prime -{\eta}^{\perp}{\xi}^{\perp}\prime \frac{{\pi}_{\sigma}}{\sigma}\right]}_{\partial \Sigma}\hfill \end{array}$$

Note that the Cauchy surface Σ is one-dimensional, so its boundary is a discrete set of points; there is thus no integral in (84).

The asymptotic conditions
are preserved by the diffeomorphisms
for arbitrary functions $T(t)$. The central term (84) then has a piece of the form

$$\begin{array}{c}\hfill {g}_{ab}\sim \left(\begin{array}{cc}-\frac{{x}^{2}}{{\ell}^{2}}+\mathcal{O}(1)& \mathcal{O}(\frac{1}{{x}^{3}})\\ & \frac{{\ell}^{2}}{{x}^{2}}+\mathcal{O}(\frac{1}{{x}^{4}})\end{array}\right),\phantom{\rule{1.em}{0ex}}\varphi \sim \mathcal{O}(x)\end{array}$$

$$\begin{array}{c}\hfill {\xi}^{t}=T+\frac{{\ell}^{4}}{2}\ddot{T},\phantom{\rule{1.em}{0ex}}{\xi}^{x}=-x\dot{T}\end{array}$$

$$\begin{array}{c}\hfill K({\xi}_{1},{\xi}_{2})=\cdots -\ell {\varphi}_{0}\left({\dot{T}}_{1}{\ddot{T}}_{2}-{\dot{T}}_{2}{\ddot{T}}_{1}\right)\end{array}$$

This is almost the right form for the central extension of a Virasoro algebra. Indeed, as Cadoni and Mignemi pointed out, if one were to arbitrarily introduce an integral over t with period $2\pi \ell $, the period of Euclidean AdS space, one would find a central charge

$$\begin{array}{c}\hfill c=24{\varphi}_{0}\end{array}$$

This is too large by a factor of two: for instance, the temperature of the black hole (78) is
and the canonical Cardy formula would give
twice the entropy (80). One can also compare (88) with the central charge (72) of the preceding section, noting that the dimensional reduction of (3+1)-dimensional spherically symmetric gravity gives dilaton gravity with a dilaton $\varphi =\mathcal{A}/8\pi G$. Again, an extra factor of two is present.

$$\begin{array}{c}\hfill {T}_{H}=\frac{a}{2\pi \ell}\end{array}$$

$$\begin{array}{c}\hfill S=\frac{{\pi}^{2}}{3}cT=\frac{4\pi {\varphi}_{0}a}{\ell}\end{array}$$

It is plausible that this factor of two problem has a good solution. For example, although the vector fields (86) obey a standard $Diff{S}^{1}$ algebra, the corresponding surface deformation algebra (83) contains three-derivative terms, so the separation of “central” and “boundary” terms in (84) depends on details of the choice of $B[\xi ]$ (see, for instance, [77]). The integral over time, on the other hand, is more mysterious, although a similar time averaging has recently been suggested for the ${\mathrm{AdS}}_{2}/{\mathrm{CFT}}_{1}$ correspondence in a rather different context [78].

There are other ways to obtain a dual conformal field theory in the (1+1)-dimensional case. For example, one can use the AdS/CFT correspondence to identify the boundary stress-energy tensor and look at its anomalous transformation properties [79,80,81]. One can also lift the theory to 2+1 dimensions and exploit the known properties of the BTZ black hole [80,81,82]; for the extremal case, this may offer an interesting connection to the extremal Kerr/CFT correspondence described in Section 4.2, and might explain the appearance of a chiral CFT [83]. These approaches are designed rather particularly for the (1 + 1)-dimensional black hole, however, and seem less general than the boundary symmetry method I have focused on in this review.

## 5. What Does This Tell Us about the States?

One of the chief attractions of the dual conformal field theory approach to black hole thermodynamics is its universality. The computations I have described depend on only a few minimal features of the black hole; understanding the asymptotic or near-horizon symmetry is already enough to determine the entropy. But this virtue is also a weakness: it means that the thermodynamics may tell us relatively little about the true microscopic degrees of freedom of the black hole.

An analogous situation occurs in high energy theory [84]. When a global symmetry is spontaneously broken, Goldstone’s theorem tells us that there must be a corresponding set of massless excitations [85]. One such Goldstone boson occurs for each “broken” symmetry generator, and can be viewed as an excitation along the “would-be symmetry” that is broken by the vacuum. But while Goldstone’s theorem gives us some information about these massless bosons, it does not tell us how they are constructed in terms of the elementary quanta of the theory.

This analogy can be strengthened. The fundamental symmetry of general relativity is diffeomorphism invariance. This is a gauge symmetry, not a global symmetry of the type directly relevant to Goldstone bosons. Still, it remains true that when the symmetry is broken by the imposition of boundary conditions, “would-be pure gauge” degrees of freedom—excitations that would normally be pure gauge, but that do not respect the boundary conditions—become physical at the boundary [86,87].

More quantitatively, in Dirac quantization, physical states should be annihilated by the constraints $H[\xi ]$. But if the central term $K[\xi ,\eta ]$ in (8) is nonzero, one cannot consistently require such a condition. For conformal field theories in two dimensions, this issue is well known [41]; one may instead require, for example, that only the positive frequency parts of the Virasoro generators annihilate physical states. The result is that certain states that would otherwise be considered unphysical must now be allowed. Since the central term is nonzero only at the boundary, these new states are naturally associated with the boundary, offering an explanation for the fact that black hole entropy depends on area rather than volume.

I cannot say for certain that this is a full explanation for the success of the dual CFT approach. There is one case, though, in which the issue has been investigated more carefully [88]. In (2 + 1)-dimensional asymptotically anti-de Sitter space, the complete set of boundary terms for the Einstein-Hilbert action is known explicitly. These include terms that are not invariant under diffeomorphisms normal to the boundary. If one decomposes the metric near the boundary into a gauge-fixed piece and a “pure gauge” piece, one can determine the induced action for the “pure gauge” portion. The result is a conformal field theory (a Liouville theory) with a central charge that exactly matches the expression (27) for the BTZ black hole. The relevant states live in the “nonnormalizable sector” of the theory, whose quantization is unclear (though see [89]), but this result seems to support the picture of black hole states as “would-be pure gauge” degrees of freedom quite nicely.

## 6. Conclusions

In general, black holes are neither two-dimensional nor conformally invariant. Nevertheless, we have seen that black hole thermodynamics often has a simple description in terms of a two-dimensional conformal field theory at a suitable boundary. I have focused on the computation of the most important thermodynamic quantity, the Bekenstein–Hawking entropy, but similar methods can be employed to analyze greybody factors and superradiance [51,52]. Similarly, a two-dimensional conformal field theory approach to matter near a black hole horizon can be used to extract the Hawking temperature and spectrum [90,91,92,93,94,95,96].

While these are important steps, more remains to be done. A complete dual description of black hole thermodynamics should also include Hawking radiation, which would presumably require a coupling of the boundary CFT to bulk matter. For the BTZ black hole, an important step in this direction was taken by Emparan and Sachs [53], who considered an external field coupled to the dual CFT and showed that one could derive the Hawking spectrum from detailed balance. Their method can probably be extended to other types of black holes, although as far as I know this has not yet been done.

For some important problems in black hole thermodynamics—the information loss puzzle, for instance [97], and the question of the final state of Hawking evaporation—one must go even further, and account for the back-reaction of Hawking radiation on the black hole. As noted above, this probably cannot be accomplished within the framework of a single conformal field theory: the central charge of the dual CFT typically depends on quantities such as the horizon area or angular momentum that change evaporation. One can imagine a picture involving a flow from an initial CFT to a final one—indeed, in the examples of Section 4, the direction of such a flow is compatible with Zamolodchikov’s c theorem [98]—but for now, this possibility remains speculative.

## Acknowledgements

Portions of this project were carried out at the Peyresq 15 Physics Conference with the support of OLAM Association pour la Recherche Fundamentale, Bruxelles. This work was supported in part by Department of Energy grant DE-FG02-91ER40674.

## References and Notes

- Bekenstein, J.D. Black holes and entropy. Phys. Rev.
**1973**, D7, 2333–2346. [Google Scholar] [CrossRef] - Hawking, S.W. Black hole explosions. Nature
**1974**, 248, 30–31. [Google Scholar] [CrossRef] - Iyer, V.; Wald, R.M. Some properties of Noether charge and a proposal for dynamical black hole entropy. Phys. Rev.
**1994**, D50, 846–864. [Google Scholar] [CrossRef] - Carlip, S. Black hole thermodynamics and statistical mechanics. In Physics of Black Holes: A Guided Tour; Papantonopoulos, E., Ed.; Springer: Berlin, Germany, 2009; pp. 89–123. [Google Scholar]
- Carlip, S. Statistical mechanics and black hole entropy. In Field Theory, Integrable Systems and Symmetries; Khanna, F., Vinet, L., Eds.; Les Publications CRM: Montreal, Canada, 1997; pp. 11–19. [Google Scholar]
- Banados, M.; Teitelboim, C; Zanelli, J. The black hole in three-dimensional space-time. Phys. Rev. Lett.
**1992**, 69, 1849–1851. [Google Scholar] [CrossRef] [PubMed] - Strominger, A. Black hole entropy from near horizon microstates. J. High Energy Phys.
**1998**, 9802, 009:1–009:11. [Google Scholar] [CrossRef] - Birmingham, D.; Sachs, I.; Sen, S. Entropy of three-dimensional black holes in string theory. Phys. Lett.
**1998**, B424, 275–280. [Google Scholar] [CrossRef] - Carlip, S. Conformal field theory, (2+1)-dimensional gravity, and the BTZ black hole. Classical Quantum Gravity
**2005**, 22, R85–R124. [Google Scholar] [CrossRef] - Witten, E. Three-dimensional gravity revisited, 2007. arXiv:0706.3359. arXiv.org e-Print archive. Available online: http://arXiv.org/abs/arXiv:0706.3359 (accessed on 15 July 2011).
- Maloney, A.; Witten, E. Quantum gravity partition functions in three dimensions. J. High Energy Phys.
**2010**, 1002, 029:1–029:58. [Google Scholar] [CrossRef] - Carlip, S. Black hole entropy from conformal field theory in any dimension. Phys. Rev. Lett.
**1999**, 82, 2828–2831. [Google Scholar] [CrossRef] - Solodukhin, S.N. Conformal description of horizon’s states. Phys. Lett.
**1999**, B454, 213–222. [Google Scholar] [CrossRef] - Carlip, S. Entropy from conformal field theory at Killing horizons. Classical Quantum Gravity
**1999**, 16, 3327–3348. [Google Scholar] [CrossRef] - Guica, M.M.; Hartman, T.; Song, W.; Strominger, A. The Kerr/CFT correspondence. Phys. Rev.
**2009**, D80, 124008:1–124008:9. [Google Scholar] [CrossRef] - Cardy, J.L. Operator content of two-dimensional conformally invariant theories. Nucl. Phys.
**1986**, B 270, 186–204. [Google Scholar] [CrossRef] - Blöte, H.W.J.; Cardy, J.L.; Nightingale, M.P. Conformal invariance, the central charge, and universal finite size amplitudes at criticality. Phys. Rev. Lett.
**1986**, 56, 742–745. [Google Scholar] [CrossRef] [PubMed] - Carlip, S. Horizon constraints and black hole entropy. Classical Quantum Gravity
**2005**, 22, 1303–1312. [Google Scholar] [CrossRef] - Carlip, S. Black hole thermodynamics from Euclidean horizon constraints. Phys. Rev. Lett.
**2007**, 99, 021301:1–021301:4. [Google Scholar] [CrossRef] - Brown, J. D.; Henneaux, M. Central charges in the canonical realization of asymptotic symmetries: An example from three-dimensional gravity. Commun. Math. Phys.
**1986**, 104, 207–226. [Google Scholar] [CrossRef] - Skenderis, K. Black holes and branes in string theory. Lect. Notes Phys.
**2000**, 541, 325–364. [Google Scholar] - Bardeen, J; Horowitz, G.T. The extreme Kerr throat: A vacuum analog of AdS
_{2}× S^{2}. Phys. Rev.**1999**, D60, 104030:1–10403:10. [Google Scholar] - Carlip, S.; Clements, M.; Della Pietra, S.; Della Pietra, V. Sewing Polyakov amplitudes I: Sewing at a fixed conformal structure. Commun. Math. Phys.
**1990**, 127, 253–271. [Google Scholar] [CrossRef] - Witten, E. On holomorphic factorization of WZW and coset models. Commun. Math. Phys.
**1992**, 144, 189–212. [Google Scholar] [CrossRef] - Thorne, K.S.; MacDonald, D.A.; Price, R.H. Black Holes: The Membrane Paradigm; Yale University Press: New Haven, CT, USA, 1986. [Google Scholar]
- Carlip, S. Extremal and nonextremal Kerr/CFT correspondences. J. High Energy Phys.
**2011**, 1104, 076:1–076:17. [Google Scholar] [CrossRef] - Kiefer, C. Quantum Gravity; Clarendon Press: Oxford, UK, 2004. [Google Scholar]
- Wald, R.M. Black hole entropy is the Noether charge. Phys. Rev.
**1993**, D48, 3427–3431. [Google Scholar] [CrossRef] - Ashtekar, A.; Bombelli, L.; Reula, O. The covariant phase space of asymptotically flat gravitational fields. In Mechanics, Analysis and Geometry: 200 Years after Lagrange; Francaviglia, M., Ed.; North-Holland: Amsterdam, The Netherlands, 1991; pp. 417–450. [Google Scholar]
- Crnkovic, C.; Witten, E. Covariant description of canonical formalism in geometrical theories. In Three Hundred Years of Gravitation; Hawking, S.W., Israel, W., Eds.; Cambridge University Press: Cambridge, UK, 1987; pp. 676–684. [Google Scholar]
- Arnowitt, R.; Deser, S.; Misner, C.W. The dynamics of general relativity. In Gravitation: an introduction to current research; Witten, L., Ed.; Wiley: New York, NY, USA, 1962; pp. 227–265. [Google Scholar]
- Teitelboim, C. How commutators of constraints reflect the space-time structure. Ann. Phys.
**1973**, 79, 542–557. [Google Scholar] [CrossRef] - Guven, J.; Ryan, M.P. Functional integrals and canonical quantum gravity: Facts and fancies. Phys. Rev.
**1992**, D45, 3559–3576. [Google Scholar] [CrossRef] - Regge, T.; Teitelboim, C. Role of surface integrals in the Hamiltonian formulation of general relativity. Ann. Phys.
**1974**, 88, 286–318. [Google Scholar] [CrossRef] - Solovev, V.O. Boundary values as Hamiltonian variables. I. New Poisson brackets. J. Math. Phys.
**1993**, 34, 5747–5769. [Google Scholar] [CrossRef] - Koga, J. Asymptotic symmetries on killing horizons. Phys. Rev.
**2001**, D64, 124012:1–124012:19. [Google Scholar] [CrossRef] - Silva, S. Black hole entropy and thermodynamics from symmetries. Classical Quantum Gravity
**2002**, 19, 3947–3962. [Google Scholar] [CrossRef] - Barnich, G.; Brandt, F. Covariant theory of asymptotic symmetries, conservation laws and central charges. Nucl. Phys.
**2002**, B 633, 3–82. [Google Scholar] [CrossRef] - Compere, G. Symmetries and conservation laws in Lagrangian gauge theories with applications to the mechanics of black holes and to gravity in three dimensions. arXiv:0708.3153. arXiv.orge-Print archive. Available online: http://arXiv.org/abs/arXiv:0708.3153 (accessed on 15 July 2011).
- Gel’fand, I.M.; Fuks, D.B. Cohomology of Lie algebra of the vector fields on the circle. Funct. Anal. Appl.
**1968**, 2, 342–343. [Google Scholar] [CrossRef] - Di Francesco, P.; Mathieu, P.; Sénéchal, D. Conformal Field Theory; Springer: New York, NY, USA, 1997. [Google Scholar]
- Rasmussen, J. A near-NHEK/CFT correspondence. arXiv:1004.4773. arXiv.org e-Print archive. Available online: http://arXiv.org/abs/arXiv:1004.4773 (accessed on 15 July 2011).
- Ashtekar, A.; Krishnan, B. Isolated and dynamical horizons and their applications. Living Rev. Relativ.
**2004**, 7, 10:1–10:91. [Google Scholar] [CrossRef] - Date, G. Isolated horizon, Killing horizon, and event horizon. Classical Quantum Gravity
**2001**, 18, 5219–5226. [Google Scholar] [CrossRef] - Wall, A.C. A proof of the generalized second law for rapidly changing fields and arbitrary horizon slices. arXiv:1105.3445. arXiv.org e-Print archive. Available online: http://arXiv.org/abs/arXiv:1105.3445 (accessed on 15 July 2011).
- Carlip, S. Logarithmic corrections to black hole entropy from the Cardy formula. Classical Quantum Gravity
**2000**, 17, 4175–4186. [Google Scholar] [CrossRef] - Birmingham, D.; Sachs, I.; and Sen, S. Exact results for the BTZ black hole. Int. J. Mod. Phys.
**2001**, D10, 833–858. [Google Scholar] [CrossRef] - Loran, F.; Sheikh-Jabbari, M.M.; Vincon, M. Beyong logarithmic corrections to Cardy formula. J. High Energy Phys.
**2011**, 1101, 110:1–110:26. [Google Scholar] - Carlip, S. What we don’t know about BTZ black hole entropy. Classical Quantum Gravity
**1998**, 15, 3609–3625. [Google Scholar] [CrossRef] - Bousso, R.; Maloney, A.; and Strominger, A. Conformal vacua and entropy in de Sitter space. Phys. Rev.
**2002**, D65, 104039:1–104039:24. [Google Scholar] [CrossRef] - Maldacena, J.M.; Strominger, A. Universal low-energy dynamics for rotating black holes. Phys. Rev.
**1997**, D56, 4975–4983. [Google Scholar] [CrossRef] - Bredberg, I.; Hartman, T.; Song, W.; Strominger, A. Black hole superradiance from Kerr/CFT. J. High Energy Phys.
**2010**, 019:1–019:32. [Google Scholar] [CrossRef] - Emparan, R.; Sachs, I. Quantization of AdS
_{3}black holes in external fields. Phys. Rev. Lett.**1998**, 81, 2408–2411. [Google Scholar] [CrossRef] - I use the sign conventions of [99], and units 16πG = 1, although I will occasionally restore factors of G.
- Brown, J.D.; Lau, S.R.; York, J.W. Action and energy of the gravitational field. Ann. Phys.
**2002**, 297, 175–218. [Google Scholar] [CrossRef] - Bañados, M.; Henneaux, M.; Teitelboim, C.; Zanelli, J. Geometry of the 2+1 black hole. Phys. Rev.
**1993**, D4, 1506–1525. [Google Scholar] [CrossRef] - The full AdS/CFT correspondence involves many additional degrees of freedom; it remains unclear whether (2 + 1)-dimensional gravity alone contains enough degrees of freedom to fully account for black hole entropy [9,10,11].
- Bredberg, I.; Keeler, C.; Lysov, V.; Strominger, A. Cargese lectures on the Kerr/CFT correspondence. arXiv:1103.2355. arXiv.org e-Print archive. Available online: http://arXiv.org/abs/arXiv:1103.2355 (accessed on 15 July 2011).
- Frolov, V.P.; Novikov, I.D. Black Hole Physics; Kluwer: Dordrecht, The Netherlands, 1998. [Google Scholar]
- Castro, A.; Maloney, A.; Strominger, A. Hidden conformal symmetry of the Kerr black hole. Phys. Rev.
**2010**, D82, 024008:1–024008:7. [Google Scholar] [CrossRef] - Frolov, V.P.; Thorne, K.S. Renormalized stress-energy tensor near the horizon of a slowly evolving, rotating black hole. Phys. Rev.
**1989**, D39, 2125–2154. [Google Scholar] [CrossRef] - Hartman, T.; Murata, K.; Nishioka, T.; Strominger, A. CFT duals for extreme black holes. J. High Energy Phys.
**2009**, 0904, 019:1–019:17. [Google Scholar] [CrossRef] - Lu, H.; Mei, J.; Pope, C.N. Kerr/CFT correspondence in diverse dimensions. J. High Energy Phys.
**2009**, 0904, 054:1–054:17. [Google Scholar] - Castro, A.; Larsen, F. Near extremal Kerr entropy from AdS
_{2}quantum gravity. J. High Energy Phys.**2009**, 0912, 037:1–037:24. [Google Scholar] - Hawking, S.W. Black holes in general relativity. Commun. Math. Phys.
**1972**, 25, 152–166. [Google Scholar] [CrossRef] - Medved, A.J.M.; Martin, D.; Visser, M. Dirty black holes: Symmetries at stationary nonstatic horizons. Phys. Rev.
**2004**, D70, 024009:1–024009:8. [Google Scholar] [CrossRef] - Here and in what follows, there is a subtlety regarding the radial derivatives ∂
_{ρ}, coming from the fact that the proper distance ρ is metric-dependent. This issue is discussed in detail in the appendices of [26]. - Jing, J.; Yan, M.L. Statistical entropy of the static dilaton black holes from the Cardy formulas. Phys. Rev.
**2001**, D63, 024003:1–024003:6. [Google Scholar] - Cvitan, M.; Pallua, S.; Prester, P. Entropy of Killing horizons from Virasoro algebra in D-dimensional extended Gauss-Bonnet gravity. Phys. Lett.
**2003**, B555, 248–254. [Google Scholar] [CrossRef] - Cvitan, M.; Pallua, S. Conformal entropy for generalised gravity theories as a consequence of horizon properties. Phys. Rev.
**2005**, D71, 104032:1–104032:9. [Google Scholar] - Jackiw, R. Liouville theory: a two-dimensional model for gravity? In Quantum Theory of Gravity; Christensen, S.M., Ed.; Adam Hilger Ltd.: Bristol, UK, 1984; pp. 403–420. [Google Scholar]
- Teitelboim, C. The Hamiltonian structure of two-dimensional space-time and its relation with the conformal anomaly. In Quantum Theory of Gravity; Christensen, S.M., Ed.; Adam Hilger Ltd.: Bristol, UK, 1984; pp. 327–344. [Google Scholar]
- Cadoni, M.; Mignemi, S. Nonsingular four-dimensional black holes and the Jackiw-Teitelboim theory. Phys. Rev.
**1995**, D51, 4319–4329. [Google Scholar] [CrossRef] - Hotta, M. Asymptotic isometry and two-dimensional anti-de Sitter gravity. arXiv:gr-qc/9809035. arXiv.org e-Print archive. Avalable online: http://arXiv.org/abs/arXiv:gr-qc/9809035 (accessed on 15 July 2011).
- Cadoni, M.; Mignemi, S. Entropy of 2-D black holes from counting microstates. Phys. Rev.
**1999**, D59, 081501:1–081501:5. [Google Scholar] [CrossRef] - Cadoni, M.; Mignemi, S. Asymptotic symmetries of AdS
_{2}and conformal group in d = 1. Nucl. Phys.**1999**, B557, 165–180. [Google Scholar] [CrossRef] - Catelani, G.; Vanzo, L. On the 2
^{1/2}puzzle in AdS_{2}/CFT_{1}. arXiv:hep-th/0009186. arXiv.orge-Print archive. Avalable online: http://arXiv.org/abs/arXiv:hep-th/0009186 (accessed on 15 July 2011). - Chamon, C.; Jackiw, R.; Pi, S.-Y.; Santos, L. Conformal quantum mechanics as the CFT
_{1}dual to AdS_{2}. Phys. Lett.**2011**, B70, 503–507. [Google Scholar] [CrossRef] - Navarro-Salas, J.; Navarro, P. AdS
_{2}/CFT_{1}correspondence and near extremal black hole entropy. Nucl. Phys.**2000**, B579, 250–266. [Google Scholar] [CrossRef] - Castro, A.; Grumiller, D.; Larsen, F.; McNees, R. Holographic description of AdS
_{2}black holes. J. High Energy Phys.**2008**, 0811, 052:1–052:28. [Google Scholar] - Castro, A.; Keeler, C.; Larsen, F. Three dimensional origin of AdS
_{2}gravity. J. High Energy Phys.**2010**, 1007, 033:1–033:25. [Google Scholar] [CrossRef] - Izquierdo, J.M.; Navarro-Salas, J.; Navarro, P. Kaluza-Klein theory, AdS/CFT correspondence and black hole entropy. Classical Quantum Gravity
**2002**, 19, 563–570. [Google Scholar] [CrossRef] - Balasubramanian, V.; de Boer, J.; Sheikh-Jabbari, M.M.; Simon, J. What is a chiral 2d CFT? And what does it have to do with extremal black holes? J. High Energy Phys.
**2010**, 1002, 017:1–017:20. [Google Scholar] - This analogy was suggested to me by Nemanja Kaloper and John Terning.
- Goldstone, J.; Salam, A.; Weinberg, S. Broken symmetries. Phys. Rev.
**1962**, 127, 965–970. [Google Scholar] [CrossRef] - Carlip, S. Statistical mechanics and black hole thermodynamics. In Constrained Dynamics and Quantum Gravity 1996; de Alfaro, V., Nelson, J.E., Bandelloni, G., Blasi, A., Cavaglia, M., Filippov, A.T., Eds.; North-Holland: Amsterdam, The Netherlands, 1997; pp. 8–12. [Google Scholar]
- Carlip, S. Symmetries, horizons, and black hole entropy. Gen. Rel. Grav.
**2007**, 39, 1519–1523. [Google Scholar] [CrossRef] - Carlip, S. Dynamics of asymptotic diffeomorphisms in (2+1)-dimensional gravity. Classical Quantum Gravity
**2005**, 22, 3055–3060. [Google Scholar] [CrossRef] - Chen, Y. Quantum Liouville theory and BTZ black hole entropy. Classical Quantum Gravity
**2004**, 21, 1153–1180. [Google Scholar] [CrossRef] - Robinson, S.P.; Wilczek, F. A relationship between Hawking radiation and gravitational anomalies. Phys. Rev. Lett.
**2005**, 95, 011303:1–011303:4. [Google Scholar] [CrossRef] - Iso, S.; Umetsu, H.; Wilczek, F. Hawking radiation from charged black holes via gauge and gravitational anomalies. Phys. Rev. Lett.
**2006**, 96, 151302:1–151302:4. [Google Scholar] [CrossRef] - Banerjee, R.; Kulkarni, S. Hawking radiation and covariant anomalies. Phys. Rev.
**2008**, D77, 024018:1–024018:5. [Google Scholar] - Iso, S.; Morita, T.; Umetsu, H. Hawking radiation via higher-spin gauge anomalies. Phys. Rev.
**2008**, D 77, 045007:1–045007:8. [Google Scholar] [CrossRef] - Bonora, L.; Cvitan, M.; Pallua, S.; Smolić, I. Hawking radiation, W
_{∞}algebra and trace anomalies. J. High Energy Phys.**2008**, 0805, 071:1–071:22. [Google Scholar] [CrossRef] - Bonora, L.; Cvitan, M.; Pallua, S.; Smolić, I. Hawking fluxes, W
_{∞}algebras and anomalies. J. High Energy Phys.**2008**, 0812, 021:1–021:32. [Google Scholar] [CrossRef] - Bonora, L.; Cvitan, M.; Pallua, S.; Smolić, I. Hawking fluxes, fermionic currets, W
_{1+∞}algebras and anomalies. Phys. Rev.**2009**, D80, 084034:1–084034:12. [Google Scholar] - Giddings, S.B. The black hole information paradox. arXiv:hep-th/9508151. arXiv.org e-Printarchive. Available online: http://arXiv.org/abs/arXiv:hep-th/9508151 (accessed on 15 July 2011).
- Zamolodchikov, A.B. Irreversibility of the flux of the renormalization group in a 2D field theory. JETP Lett.
**1986**, 43, 730–732. [Google Scholar] - Wald, R.M. General Relativity; University of Chicago Press: Chicago, IL, USA, 1984. [Google Scholar]

© 2011 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).