Skip to content

BTZ Black Holes

The BTZ black hole is the place where AdS3_3/CFT2_2 stops being a beautiful symmetry story and becomes a black-hole story. It is a black hole in 2+12+1 bulk dimensions, discovered by Bañados, Teitelboim, and Zanelli, and it has mass, angular momentum, horizons, temperature, entropy, and a first law.

The surprise is that pure Einstein gravity in three dimensions has no local gravitons. Locally, every vacuum solution with negative cosmological constant is just AdS3_3. The BTZ black hole is therefore not a black hole because curvature becomes singular in the usual four-dimensional Schwarzschild sense. It is a black hole because a global identification of AdS3_3 changes the causal structure and creates horizons.

That is exactly why BTZ is so useful in holography. It is simple enough to solve almost completely, but rich enough to teach us about thermal CFT states, black-hole entropy, modular invariance, and the microscopic meaning of horizons.

We work with three-dimensional Einstein gravity with negative cosmological constant,

I=116πG3d3xg(R+2L2)+boundary terms.I = \frac{1}{16\pi G_3} \int d^3x\sqrt{-g}\left(R+\frac{2}{L^2}\right) + \text{boundary terms}.

The equations of motion are

Rμν=2L2gμν.R_{\mu\nu}=-\frac{2}{L^2}g_{\mu\nu}.

In three dimensions, the Riemann tensor is algebraically determined by the Ricci tensor. Thus any vacuum solution of these equations has

Rμνρσ=1L2(gμρgνσgμσgνρ),R=6L2.R_{\mu\nu\rho\sigma} = -\frac{1}{L^2} \left( g_{\mu\rho}g_{\nu\sigma} - g_{\mu\sigma}g_{\nu\rho} \right), \qquad R=-\frac{6}{L^2}.

So locally the BTZ spacetime is AdS3_3. All the black-hole physics is global.

BTZ black holes as locally AdS3 quotients with inner and outer horizons.

The nonextremal rotating BTZ black hole is locally AdS3_3, but the angular identification creates a spacetime with outer and inner horizons at r+r_+ and rr_-. The horizon “area” in three bulk dimensions is a circumference, 2πr+2\pi r_+.

The rotating BTZ metric can be written as

ds2=N2(r)dt2+dr2N2(r)+r2(dϕ+Nϕ(r)dt)2,ϕϕ+2π,ds^2 = -N^2(r)dt^2 + \frac{dr^2}{N^2(r)} + r^2\left(d\phi+N^\phi(r)dt\right)^2, \qquad \phi\sim\phi+2\pi,

where

N2(r)=8G3M+r2L2+16G32J2r2,Nϕ(r)=4G3Jr2.N^2(r) = -8G_3M+\frac{r^2}{L^2}+\frac{16G_3^2J^2}{r^2}, \qquad N^\phi(r) = -\frac{4G_3J}{r^2}.

Here MM and JJ are the conserved mass and angular momentum measured at infinity. With these conventions, global AdS3_3 has

M=18G3,J=0,M=-\frac{1}{8G_3}, \qquad J=0,

while the massless BTZ geometry has M=J=0M=J=0.

For black holes, it is usually cleaner to parametrize the solution by the outer and inner horizon radii r+r_+ and rr_-. Then

N2(r)=(r2r+2)(r2r2)L2r2,Nϕ(r)=r+rLr2,N^2(r) = \frac{(r^2-r_+^2)(r^2-r_-^2)}{L^2r^2}, \qquad N^\phi(r) = -\frac{r_+r_-}{Lr^2},

and

M=r+2+r28G3L2,J=r+r4G3L.M = \frac{r_+^2+r_-^2}{8G_3L^2}, \qquad J = \frac{r_+r_-}{4G_3L}.

The two parametrizations agree because

16G32J2=r+2r2L2,8G3M=r+2+r2L2.16G_3^2J^2 = \frac{r_+^2r_-^2}{L^2}, \qquad 8G_3M = \frac{r_+^2+r_-^2}{L^2}.

The condition for a nonextremal rotating black hole is

r+>r0.r_+>r_-\geq 0.

The extremal limit is r+=rr_+=r_-, where the temperature vanishes. The nonrotating BTZ black hole has r=0r_-=0.

The horizons are the zeroes of N2(r)N^2(r). The outer horizon is at r=r+r=r_+, and the inner horizon is at r=rr=r_-. The Killing vector that generates the outer horizon is

χ=t+ΩHϕ,\chi = \partial_t+\Omega_H\partial_\phi,

where the horizon angular velocity is

ΩH=Nϕ(r+)=rLr+.\Omega_H = - N^\phi(r_+) = \frac{r_-}{Lr_+}.

This is the angular velocity of the black hole as seen from the nonrotating frame at infinity.

The surface gravity gives the Hawking temperature,

TH=r+2r22πL2r+.T_H = \frac{r_+^2-r_-^2}{2\pi L^2r_+}.

For r=0r_-=0, this reduces to

TH=r+2πL2.T_H = \frac{r_+}{2\pi L^2}.

The temperature grows linearly with r+r_+ for the nonrotating BTZ black hole. This is different from asymptotically flat Schwarzschild in four dimensions, where larger black holes are colder. In AdS, large black holes are thermodynamically stable.

In three dimensions, the horizon “area” is the length of the horizon circle:

AH=2πr+.A_H=2\pi r_+.

The Bekenstein–Hawking entropy is therefore

SBH=AH4G3=2πr+4G3=πr+2G3.S_{\rm BH} = \frac{A_H}{4G_3} = \frac{2\pi r_+}{4G_3} = \frac{\pi r_+}{2G_3}.

The first law is

dM=THdSBH+ΩHdJ.dM = T_H dS_{\rm BH} + \Omega_H dJ.

Let us check it explicitly. From

M=r+2+r28G3L2,J=r+r4G3L,S=πr+2G3,M=\frac{r_+^2+r_-^2}{8G_3L^2}, \qquad J=\frac{r_+r_-}{4G_3L}, \qquad S=\frac{\pi r_+}{2G_3},

we get

dM=r+dr++rdr4G3L2,dM = \frac{r_+dr_+ + r_-dr_-}{4G_3L^2},

while

THdS=r+2r22πL2r+πdr+2G3=r+2r24G3L2r+dr+,T_HdS = \frac{r_+^2-r_-^2}{2\pi L^2r_+} \frac{\pi dr_+}{2G_3} = \frac{r_+^2-r_-^2}{4G_3L^2r_+}dr_+,

and

ΩHdJ=rLr+rdr++r+dr4G3L=r24G3L2r+dr++r4G3L2dr.\Omega_H dJ = \frac{r_-}{Lr_+} \frac{r_-dr_+ + r_+dr_-}{4G_3L} = \frac{r_-^2}{4G_3L^2r_+}dr_+ + \frac{r_-}{4G_3L^2}dr_-.

Adding these two terms gives dMdM.

Because the BTZ metric is locally AdS3_3, there is no curvature singularity at r=0r=0. The scalar curvature is constant everywhere away from quotient fixed points or causal pathologies:

R=6L2.R=-\frac{6}{L^2}.

This sounds paradoxical only if one expects a black hole to require large local curvature. BTZ teaches a sharper lesson: horizons are global causal structures. They do not require local curvature blowup.

A useful slogan is

BTZ black hole=AdS3/Γ,\text{BTZ black hole} = \mathrm{AdS}_3 / \Gamma,

where Γ\Gamma is a discrete subgroup of the AdS3_3 isometry group. The quotient identification makes the angular direction periodic in a way that creates a horizon. In the Euclidean geometry, the black hole is a solid torus; which cycle contracts smoothly in the bulk determines the thermal saddle.

This quotient viewpoint is one reason BTZ is a privileged laboratory for quantum gravity. The local dynamics is almost trivial, but the global and boundary dynamics are not.

The asymptotic boundary of global AdS3_3 is a cylinder,

Rt×Sϕ1.\mathbb R_t\times S^1_\phi.

A rotating BTZ black hole is dual to a thermal state of the CFT2_2 on this cylinder, generally with nonzero angular potential. Equivalently, the state has different effective temperatures for left- and right-moving sectors.

It is useful to define

TL=r+r2πL2,TR=r++r2πL2.T_L = \frac{r_+ - r_-}{2\pi L^2}, \qquad T_R = \frac{r_+ + r_-}{2\pi L^2}.

Then

TH=2TLTRTL+TR,T_H = \frac{2T_LT_R}{T_L+T_R},

and the angular velocity is encoded in the imbalance between TLT_L and TRT_R. The nonrotating black hole has TL=TRT_L=T_R.

The left/right split is not an artificial trick. A two-dimensional CFT naturally factorizes the global conformal algebra into left-moving and right-moving copies. In the next page, this split is what makes the Cardy formula reproduce the BTZ entropy.

With the conventions above, global AdS3_3 has negative mass,

MAdS=18G3.M_{\rm AdS}=-\frac{1}{8G_3}.

This is not a mistake. It reflects the Casimir energy of the dual CFT on the cylinder. The massless BTZ geometry, M=0M=0, is not global AdS3_3; it is a quotient sometimes called the zero-mass black hole.

For

18G3<M<0,-\frac{1}{8G_3}<M<0,

one finds conical defect geometries rather than black holes. They are also locally AdS3_3, but they do not have BTZ horizons.

This family of locally AdS3_3 geometries is holographically important: it previews the idea that different CFT states can produce different global quotients or defects even when the local bulk curvature is unchanged.

After Wick rotation and suitable continuation of angular momentum, Euclidean BTZ has a boundary torus. The two cycles are the angular circle and the Euclidean thermal circle. Smoothness requires the contractible cycle in the bulk to have the correct period.

This is the three-dimensional version of the horizon-smoothness argument used earlier for Euclidean black holes. Near the outer horizon, the Euclidean geometry locally looks like polar coordinates,

dsE2dρ2+ρ2dθ2+,ds_E^2\sim d\rho^2+\rho^2 d\theta^2+\cdots,

and absence of a conical singularity fixes the temperature.

In AdS3_3/CFT2_2, this Euclidean torus viewpoint is especially powerful because the CFT partition function on a torus is constrained by modular invariance. The Hawking–Page transition and BTZ dominance can be rephrased as competition between different solid-torus fillings of the same boundary torus.

The BTZ black hole gives the following entries in the AdS3_3/CFT2_2 dictionary:

Bulk quantityBoundary interpretation
MMenergy above the AdS3_3 vacuum, including cylinder Casimir conventions
JJangular momentum on the boundary circle
r+r_+entropy through the horizon circumference
rr_-left/right thermal imbalance, or rotation
THT_Hphysical Hawking temperature of the CFT thermal state
TL,TRT_L,T_Rchiral temperatures of left- and right-moving CFT sectors
Euclidean BTZsolid-torus saddle for the CFT torus partition function

The conceptual lesson is simple but deep:

global identifications in locally AdS3thermal and spinning states of the CFT2.\text{global identifications in locally AdS}_3 \quad \longleftrightarrow \quad \text{thermal and spinning states of the CFT}_2.

“If BTZ is locally AdS3_3, it is not a real black hole.”

Section titled ““If BTZ is locally AdS3_33​, it is not a real black hole.””

It is a real black hole. Horizons are global causal structures, not local curvature invariants. BTZ has an event horizon, Hawking temperature, entropy, and a first law.

“The BTZ singularity is a curvature singularity.”

Section titled ““The BTZ singularity is a curvature singularity.””

Not in pure Einstein gravity. The curvature is locally that of AdS3_3. The singular behavior is tied to the quotient and causal structure, not a divergent curvature scalar.

“The entropy is strange because there are no gravitons.”

Section titled ““The entropy is strange because there are no gravitons.””

That is precisely why BTZ is profound. The entropy is not counting local graviton waves in the bulk. In AdS3_3/CFT2_2, it is accounted for by the asymptotic symmetry degrees of freedom of the boundary CFT.

No. In the standard BTZ convention, global AdS3_3 has M=1/(8G3)M=-1/(8G_3). The M=0M=0 geometry is the massless BTZ solution.

For nonrotating BTZ, r=0r_-=0. But in the rotating case rr_- controls angular momentum and left/right imbalance. It is essential for matching to chiral CFT data.

Exercise 1: Nonrotating BTZ thermodynamics

Section titled “Exercise 1: Nonrotating BTZ thermodynamics”

Set r=0r_-=0. Express MM, THT_H, and SS in terms of r+r_+, and verify the first law dM=THdSdM=T_HdS.

Solution

For r=0r_-=0,

M=r+28G3L2,TH=r+2πL2,S=πr+2G3.M=\frac{r_+^2}{8G_3L^2}, \qquad T_H=\frac{r_+}{2\pi L^2}, \qquad S=\frac{\pi r_+}{2G_3}.

Then

dM=r+4G3L2dr+,dM=\frac{r_+}{4G_3L^2}dr_+,

and

THdS=r+2πL2π2G3dr+=r+4G3L2dr+.T_HdS = \frac{r_+}{2\pi L^2}\frac{\pi}{2G_3}dr_+ = \frac{r_+}{4G_3L^2}dr_+.

Thus dM=THdSdM=T_HdS.

Show that the Hawking temperature vanishes when r+=rr_+=r_-. What happens to MM and JJ in this limit?

Solution

The temperature is

TH=r+2r22πL2r+.T_H=\frac{r_+^2-r_-^2}{2\pi L^2r_+}.

When r+=rr_+=r_-, the numerator vanishes, so TH=0T_H=0.

The conserved charges become

M=2r+28G3L2=r+24G3L2,J=r+24G3L.M=\frac{2r_+^2}{8G_3L^2}=\frac{r_+^2}{4G_3L^2}, \qquad J=\frac{r_+^2}{4G_3L}.

Thus

J=ML.J=ML.

The extremal BTZ black hole saturates the bound JML|J|\leq ML.

Using

TL=r+r2πL2,TR=r++r2πL2,T_L=\frac{r_+ - r_-}{2\pi L^2}, \qquad T_R=\frac{r_+ + r_-}{2\pi L^2},

verify that

TH=2TLTRTL+TR.T_H=\frac{2T_LT_R}{T_L+T_R}.
Solution

First compute

TLTR=r+2r24π2L4,T_LT_R = \frac{r_+^2-r_-^2}{4\pi^2L^4},

and

TL+TR=2r+2πL2=r+πL2.T_L+T_R = \frac{2r_+}{2\pi L^2} = \frac{r_+}{\pi L^2}.

Therefore

2TLTRTL+TR=2(r+2r2)4π2L4πL2r+=r+2r22πL2r+=TH.\frac{2T_LT_R}{T_L+T_R} = \frac{2(r_+^2-r_-^2)}{4\pi^2L^4} \frac{\pi L^2}{r_+} = \frac{r_+^2-r_-^2}{2\pi L^2r_+} = T_H.