Why AdS3 Is Special

AdS$_3$/CFT$_2$ is the low-dimensional laboratory where holography becomes unusually sharp. The bulk gravity theory is only three-dimensional, so Einstein gravity has no local propagating gravitons. The boundary theory is two-dimensional, so conformal symmetry is infinite-dimensional. Put these together and something remarkable happens: a theory that looks locally almost empty in the bulk has a huge algebra of boundary excitations.

That is the first lesson of AdS$_3$/CFT$_2$:

$$\text{no local bulk gravitons} \quad\not\Rightarrow\quad \text{no physics}.$$

The physics migrates to global geometry, black holes, boundary conditions, asymptotic symmetries, and the Virasoro algebra. This is why AdS$_3$/CFT$_2$ is a beautiful place to learn the difference between a gauge redundancy and a physical boundary degree of freedom.

AdS$_3$ gravity is locally rigid but globally and asymptotically rich. The absence of local gravitons does not remove black holes, boundary gravitons, or the Virasoro symmetry of the dual CFT$_2$.

The setup

The simplest bulk theory is three-dimensional Einstein gravity with negative cosmological constant:

$$I = \frac{1}{16\pi G_3} \int_M d^3x\sqrt{-g}\left(R+\frac{2}{L^2}\right) + I_{\mathrm{boundary}}.$$

Here $L$ is the AdS radius and $G_3$ is Newton’s constant in three bulk dimensions. The equations of motion are

$$R_{\mu\nu} - \frac12 Rg_{\mu\nu} - \frac{1}{L^2}g_{\mu\nu} =0,$$

or equivalently

$$R_{\mu\nu}=-\frac{2}{L^2}g_{\mu\nu}, \qquad R=-\frac{6}{L^2}.$$

Global AdS$_3$ may be written as

$$ds^2 = L^2\left( -\cosh^2\rho\, d\tau^2 + d\rho^2 + \sinh^2\rho\, d\phi^2 \right), \qquad \phi\sim \phi+2\pi.$$

At large $\rho$,

$$ds^2 \sim L^2 d\rho^2 + \frac{L^2 e^{2\rho}}{4} \left(-d\tau^2+d\phi^2\right),$$

so after conformal compactification the boundary is the Lorentzian cylinder

$$\partial \mathrm{AdS}_3 \cong \mathbb R_\tau\times S^1_\phi.$$

This is exactly the natural spacetime for a two-dimensional CFT in radial quantization.

Why three-dimensional gravity has no local gravitons

In four or more dimensions, the Riemann tensor has components not fixed by the Ricci tensor. These components are packaged in the Weyl tensor, and they contain local gravitational-wave degrees of freedom.

In three dimensions, the Weyl tensor vanishes identically. The full Riemann tensor is determined algebraically by the Ricci tensor:

$$\begin{aligned} R_{\mu\nu\rho\sigma} ={}& g_{\mu\rho}R_{\nu\sigma} + g_{\nu\sigma}R_{\mu\rho} - g_{\mu\sigma}R_{\nu\rho} - g_{\nu\rho}R_{\mu\sigma} \\ &- \frac{R}{2} \left( g_{\mu\rho}g_{\nu\sigma} - g_{\mu\sigma}g_{\nu\rho} \right). \end{aligned}$$

For the AdS$_3$ Einstein equation this gives

$$R_{\mu\nu\rho\sigma} = - \frac{1}{L^2} \left( g_{\mu\rho}g_{\nu\sigma} - g_{\mu\sigma}g_{\nu\rho} \right).$$

Thus every solution of the vacuum equations is locally AdS$_3$. There are no local gravitational waves. A small fluctuation of the metric is locally pure gauge, once the constraints and equations of motion are imposed.

This does not mean that the theory is trivial. It means that the interesting data are not local curvature waves. They are:

• global identifications of AdS$_3$;
• boundary conditions at infinity;
• asymptotic symmetries and their charges;
• black holes obtained as quotients of AdS$_3$;
• boundary gravitons generated by large diffeomorphisms.

The phrase “large diffeomorphism” is important. A small diffeomorphism is a gauge redundancy. A large diffeomorphism that changes the boundary data or carries a nonzero canonical charge is a physical transformation.

The boundary is a two-dimensional CFT

Two-dimensional conformal field theory is also exceptional. In $d>2$, the global conformal group is finite-dimensional. In Lorentzian two dimensions, using light-cone coordinates

$$x^+=\tau+\phi, \qquad x^-=\tau-\phi,$$

local conformal transformations act independently on the two null coordinates:

$$x^+\to f(x^+), \qquad x^-\to \bar f(x^-).$$

Quantum mechanically, the corresponding symmetry algebra is two copies of the Virasoro algebra:

$$[L_m,L_n] = (m-n)L_{m+n} + \frac{c}{12}m(m^2-1)\delta_{m+n,0},$$ $$[\bar L_m,\bar L_n] = (m-n)\bar L_{m+n} + \frac{\bar c}{12}m(m^2-1)\delta_{m+n,0}, \qquad [L_m,\bar L_n]=0.$$

The constants $c$ and $\bar c$ are the left- and right-moving central charges. They measure the number of degrees of freedom, control the Weyl anomaly, and determine the high-energy density of states through the Cardy formula.

The miracle of AdS$_3$/CFT$_2$ is that these Virasoro algebras appear directly from the asymptotic symmetries of AdS$_3$ gravity.

The Brown–Henneaux surprise

Brown and Henneaux studied the canonical charges of three-dimensional gravity with asymptotically AdS$_3$ boundary conditions. The result is

$$\mathrm{ASG}(\mathrm{AdS}_3) = \mathrm{Virasoro}_L\times \mathrm{Virasoro}_R,$$

with

$$c_L=c_R=\frac{3L}{2G_3}$$

for parity-invariant Einstein gravity.

This is not merely the statement that the boundary metric has two-dimensional conformal symmetry. It is stronger. The asymptotic diffeomorphisms of the bulk have finite canonical charges, and their charge algebra has a classical central extension. The central term is already present before quantization.

This central charge is one of the cleanest formulas in holography:

$$\boxed{c=\frac{3L}{2G_3}}.$$

It says that the semiclassical gravity limit $L/G_3\gg 1$ is the large-central-charge limit of the boundary CFT.

Boundary gravitons

Since pure AdS$_3$ gravity has no local gravitons, one might guess that there are no graviton states at all. Brown–Henneaux teaches the opposite.

Start with global AdS$_3$. Act with an asymptotic diffeomorphism that preserves the allowed falloff conditions but is not pure gauge. The resulting geometry is still locally AdS$_3$, but it carries different boundary stress-tensor data. In the CFT language, these states are Virasoro descendants of the vacuum.

Schematically,

$$L_{-n_1}\cdots L_{-n_k}\bar L_{-m_1}\cdots \bar L_{-m_\ell}|0\rangle \quad \longleftrightarrow \quad \text{boundary-graviton excitation}.$$

This is a central conceptual point. In AdS$_3$, “gravitons” are not local propagating particles in the interior. They are boundary gravitons associated with nontrivial asymptotic symmetry charges.

Global geometry still matters

Local triviality does not prevent nontrivial global solutions. Important examples include:

Global AdS$_3$

Global AdS$_3$ is the vacuum geometry. In the dual CFT on the cylinder, it corresponds to the vacuum state. Because the cylinder has Casimir energy, the vacuum has shifted Virasoro zero modes relative to the plane.

Conical defects

Point-particle-like sources and quotient geometries can create conical defects. These are locally AdS$_3$ away from the defect but globally distinct.

BTZ black holes

The BTZ black hole is locally AdS$_3$ outside singular identifications, yet it has horizons, temperature, entropy, and angular momentum. This is astonishing from a higher-dimensional perspective: black-hole thermodynamics appears in a spacetime with no local curvature waves.

The rotating BTZ black hole is characterized by left- and right-moving temperatures $T_L$ and $T_R$. Its entropy is reproduced by the Cardy formula of a CFT$_2$ with Brown–Henneaux central charge. This will be one of the main payoffs of the AdS$_3$/CFT$_2$ unit.

Chern–Simons formulation

Three-dimensional gravity is also special because it can be rewritten as a gauge theory. For negative cosmological constant, define

$$A=\omega+\frac{1}{L}e, \qquad \bar A=\omega-\frac{1}{L}e,$$

where $e$ is the dreibein and $\omega$ is the spin connection. Then the Einstein-Hilbert action can be written, up to boundary terms, as

$$I_{\mathrm{grav}} = I_{\mathrm{CS}}[A]-I_{\mathrm{CS}}[\bar A],$$

with gauge group

$$SL(2,\mathbb R)_L\times SL(2,\mathbb R)_R.$$

The Chern–Simons level is

$$k=\frac{L}{4G_3}.$$

The Brown–Henneaux central charge may then be written as

$$c=6k.$$

This form is useful because Chern–Simons theory is topological in the bulk but can induce dynamical degrees of freedom at the boundary. That is exactly the AdS$_3$ story in another language.

Why this is a holographic laboratory

AdS$_3$/CFT$_2$ is useful for several reasons.

First, many calculations are exact or nearly exact. Two-dimensional CFT gives powerful tools: Virasoro symmetry, modular invariance, operator product expansions, conformal blocks, and the Cardy formula.

Second, the bulk is simple enough that global questions become visible. Black holes, quotient geometries, boundary gravitons, and modular sums can often be studied explicitly.

Third, the setup teaches lessons that reappear in higher dimensions:

$$\text{boundary conditions} \quad\Rightarrow\quad \text{asymptotic symmetries} \quad\Rightarrow\quad \text{charges} \quad\Rightarrow\quad \text{CFT data}.$$

But AdS$_3$/CFT$_2$ is also dangerous if overgeneralized. Many of its strongest results depend on features special to three bulk dimensions and two boundary dimensions. In higher-dimensional AdS/CFT, the boundary conformal group is finite-dimensional, the bulk has local gravitons, and there is usually no full Virasoro algebra organizing the entire theory.

Pure gravity versus stringy AdS$_3$

A final warning: “AdS$_3$/CFT$_2$” is not a single theory.

There are string-theoretic AdS$_3$ backgrounds, such as those involving D1/D5 systems or NS5/F1 systems. These have rich spectra, supersymmetry in many examples, and well-defined microscopic constructions.

There is also the idea of pure three-dimensional Einstein gravity with negative cosmological constant. This theory is extremely attractive because it appears simple, but its exact quantum definition is subtle. Not every modular-invariant-looking partition function is a healthy CFT. Not every semiclassical saddle sum defines a unitary theory.

For this foundations course, the safe attitude is:

$$\text{Brown–Henneaux is robust classical holography,}$$

while

$$\text{the exact CFT dual of pure AdS}_3\text{ gravity is a subtle question.}$$

Dictionary checkpoint

The first AdS$_3$/CFT$_2$ dictionary is:

Bulk AdS$_3$ concept	Boundary CFT$_2$ concept
global AdS$_3$	CFT vacuum on the cylinder
$L/G_3$	central charge $c$
Brown–Henneaux asymptotic symmetry	Virasoro$_L\times$Virasoro$_R$
boundary gravitons	Virasoro descendants
BTZ black holes	high-energy thermal CFT states
quotient geometry	state or ensemble with nontrivial global data
Chern–Simons level $k$	$c/6$

This table is the entry point. The next pages derive the central charge, then use it to understand BTZ black holes and the Cardy entropy formula.

Common confusions

“No local gravitons means no quantum gravity.”

No. It means there are no local propagating graviton wave packets in pure three-dimensional Einstein gravity. The theory can still have boundary gravitons, black holes, topological sectors, and nontrivial quantum states.

“Every diffeomorphism is gauge.”

Small diffeomorphisms with vanishing charges are gauge redundancies. Large diffeomorphisms that act nontrivially at the boundary and carry finite charges are physical symmetries. Brown–Henneaux boundary gravitons come from precisely such transformations.

“The Virasoro algebra is just the global AdS$_3$ isometry algebra.”

The exact isometry algebra of global AdS$_3$ is finite-dimensional:

$$SO(2,2)\simeq SL(2,\mathbb R)_L\times SL(2,\mathbb R)_R.$$

The Brown–Henneaux algebra is larger. It is the asymptotic symmetry algebra, not the exact isometry algebra of one fixed metric.

“AdS$_3$/CFT$_2$ is representative of all AdS/CFT.”

It is representative of some deep ideas: boundary conditions, stress tensors, black-hole entropy, and holographic entanglement. It is not representative of everything. Higher-dimensional bulk gravity has local gravitons, and higher-dimensional CFTs do not have the infinite-dimensional Virasoro symmetry of CFT$_2$.

Exercises

Exercise 1: Why are all vacuum solutions locally AdS$_3$?

Use the three-dimensional identity expressing $R_{\mu\nu\rho\sigma}$ in terms of $R_{\mu\nu}$ and $R$. Show that the vacuum Einstein equation with $\Lambda=-1/L^2$ implies constant negative curvature.

Solution

The vacuum equation is

$$R_{\mu\nu} - \frac12 Rg_{\mu\nu} - \frac{1}{L^2}g_{\mu\nu}=0.$$

Taking the trace in three dimensions gives

$$R-\frac32 R-\frac{3}{L^2}=0,$$

so

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

Substituting back gives

$$R_{\mu\nu}=-\frac{2}{L^2}g_{\mu\nu}.$$

In three dimensions,

$$\begin{aligned} R_{\mu\nu\rho\sigma} ={}& g_{\mu\rho}R_{\nu\sigma} + g_{\nu\sigma}R_{\mu\rho} - g_{\mu\sigma}R_{\nu\rho} - g_{\nu\rho}R_{\mu\sigma} \\ &- \frac{R}{2} \left( g_{\mu\rho}g_{\nu\sigma} - g_{\mu\sigma}g_{\nu\rho} \right). \end{aligned}$$

Plugging in $R_{\mu\nu}=-(2/L^2)g_{\mu\nu}$ and $R=-6/L^2$ gives

$$R_{\mu\nu\rho\sigma} = - \frac{1}{L^2} \left( g_{\mu\rho}g_{\nu\sigma} - g_{\mu\sigma}g_{\nu\rho} \right).$$

This is the Riemann tensor of constant negative curvature. Therefore every vacuum solution is locally AdS$_3$.

Exercise 2: What is the large-$c$ limit?

The Brown–Henneaux central charge is

$$c=\frac{3L}{2G_3}.$$

What is the boundary interpretation of the semiclassical gravity limit $G_3/L\ll 1$?

Solution

If $G_3/L\ll 1$, then

$$c=\frac{3L}{2G_3}\gg 1.$$

Thus semiclassical AdS$_3$ gravity corresponds to a large-central-charge CFT$_2$. This is the AdS$_3$/CFT$_2$ analogue of the large-$N$ limit in higher-dimensional gauge/gravity duality. The central charge counts the effective number of degrees of freedom and controls the size of stress-tensor fluctuations.

Exercise 3: Exact isometries versus asymptotic symmetries

Explain why the exact isometry group $SO(2,2)$ is not the same thing as the Brown–Henneaux asymptotic symmetry group.

Solution

The exact isometry group preserves a specific metric, such as global AdS$_3$, exactly. For global AdS$_3$ this group is

$$SO(2,2)\simeq SL(2,\mathbb R)_L\times SL(2,\mathbb R)_R.$$

The Brown–Henneaux asymptotic symmetry group is defined more broadly. It consists of diffeomorphisms that preserve a class of asymptotically AdS$_3$ boundary conditions, not necessarily one exact metric. These transformations can change subleading data in the metric and carry finite canonical charges. Their algebra is two copies of the Virasoro algebra, whose global $SL(2,\mathbb R)_L\times SL(2,\mathbb R)_R$ subgroup is generated by the modes $L_{-1},L_0,L_1$ and $\bar L_{-1},\bar L_0,\bar L_1$.

Further reading

• J. D. Brown and M. Henneaux, Central Charges in the Canonical Realization of Asymptotic Symmetries: An Example from Three-Dimensional Gravity.
• E. Witten, $(2+1)$-Dimensional Gravity as an Exactly Soluble System.
• E. Witten, Three-Dimensional Gravity Revisited.
• M. Bañados, C. Teitelboim, and J. Zanelli, The Black Hole in Three Dimensional Space-Time.
• S. Carlip, Conformal Field Theory, $(2+1)$-Dimensional Gravity, and the BTZ Black Hole.
• O. Aharony, S. S. Gubser, J. Maldacena, H. Ooguri, and Y. Oz, Large $N$ Field Theories, String Theory and Gravity.