AdS3/CFT2 and the Brown–Henneaux Central Charge

Brown–Henneaux symmetry is the cleanest demonstration that a gauge transformation can become a physical degree of freedom at a boundary. For Einstein gravity with negative cosmological constant, a specified asymptotically AdS3 phase space carries two centrally extended Virasoro algebras with $c=3\ell/(2G_3)$. The result is classical and exact within those boundary conditions; it is not, by itself, an existence proof for a dual CFT.

Required background. The Virasoro Algebra and the Stress Tensor fixes Virasoro conventions, and Anti-de Sitter Geometry and the Conformal Boundary supplies the conformal boundary and radial expansion.

Helpful background. Presymplectic Systems and the Covariant Phase-Space Ambiguity Map explains surface charges, while Large Gauge Transformations and Topological Sectors explains why nonvanishing boundary actions make some gauge transformations physical.

Brown–Henneaux phase space

Take the Einstein action with cosmological radius $\ell$, including the boundary terms required by the chosen variational problem. Brown–Henneaux falloffs keep the leading AdS3 boundary metric fixed while permitting state-dependent $O(1)$ components. In light-cone boundary coordinates $x^\pm=t/\ell\pm\phi$, the residual diffeomorphisms are labeled by arbitrary periodic functions $\epsilon^+(x^+)$ and $\epsilon^-(x^-)$. Their Fourier modes obey two copies of the Witt algebra before central extension.

A residual diffeomorphism is pure gauge only if its canonical surface charge vanishes throughout phase space. Here the charges are finite, integrable, and generally nonzero. The boundary conditions therefore promote these transformations to asymptotic symmetries. Locally AdS3 geometries can be written in terms of two functions $\mathcal L_+(x^+)$ and $\mathcal L_-(x^-)$; their transformations contain third derivatives,

$$\delta_{\epsilon^+}\mathcal L_+ =\epsilon^+\partial_+\mathcal L_+ +2\mathcal L_+\partial_+\epsilon^+ -\frac12\partial_+^3\epsilon^+,$$

with an analogous barred equation. That inhomogeneous term is the gravitational origin of the central extension.

From surface charges to two Virasoro algebras

With the standard normalization of the Einstein action, the Dirac brackets of the differentiable charges become

$$i\{L_m,L_n\}=(m-n)L_{m+n} +\frac{c}{12}m(m^2-1)\delta_{m+n,0}, \qquad c=\frac{3\ell}{2G_3},$$

and similarly for $\bar L_n$, with $\{L_m,\bar L_n\}=0$. The $m(m^2-1)$ form chooses global AdS3 as the $SL(2,\mathbb R)\times SL(2,\mathbb R)$-invariant vacuum; shifting $L_0$ converts it to the equivalent $m^3$ cocycle convention.

One way to see the coefficient without repeating the full canonical calculation is to evaluate the renormalized boundary stress tensor. Its anomalous transformation has the CFT form

$$\delta_\epsilon T =\epsilon\,\partial T+2(\partial\epsilon)T -\frac{c}{12}\partial^3\epsilon.$$

The gravitational coefficient of the third derivative fixes $c=3\ell/(2G_3)$. Large positive $c$ is precisely the weakly coupled gravitational regime $G_3/\ell\ll1$; quantum loops are organized in powers of $1/c$.

First application. Derive the charge algebra for Brown-Henneaux boundary conditions and match its central term to a candidate CFT2. Concretely, expand $\epsilon^\pm$ in circle modes, compute the surface-charge bracket including its boundary cocycle, and compare the resulting transformation of $T_{++}$ and $T_{--}$ with the Virasoro Ward identity. This fixes a necessary datum of any candidate dual without assuming that such a CFT exists.

What changes when the boundary problem changes

The derivation depends on more than the local field equations. We need a specified falloff, a well-posed action, finite symplectic flux, integrable charges, and an allowed class of transformations. Weaker, mixed, or chiral boundary conditions can produce a different algebra; boundary counterterms can shift charge representatives; and transformations with nontrivial global action need not be redundant even when the connection is locally flat.

Adversarial control. Relax an $O(1)$ falloff so that the corresponding surface integral grows with radius. The would-be generator is then nonfinite unless the phase space or counterterms are changed. Alternatively omit the boundary contribution that makes the generator differentiable: the bulk constraint still vanishes on shell, but its Poisson bracket no longer licenses the Brown–Henneaux charge algebra. Either failure shows why “all asymptotically AdS3 metrics” is too imprecise a hypothesis.

Evidence ceiling

Brown–Henneaux establishes an asymptotic symmetry theorem for classical Einstein gravity under its boundary conditions. The central charge successfully matches many CFT and black-hole calculations, but it does not determine the nonvacuum spectrum, OPE coefficients, modular completion, path-integral contour, or finite-$c$ Hilbert space. Those are additional consistency and existence questions.

The central extension and $c=3L/(2G_3)$ follow from the Brown–Henneaux boundary conditions and charge algebra Brown and Henneaux 1986; changing the falloffs changes the asymptotic phase space and can change the algebra.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Barnich, Glenn, and Friedemann Brandt. “Covariant Theory of Asymptotic Symmetries, Conservation Laws and Central Charges.” Nuclear Physics B 633 (2002): 3–82. DOI; Open PDF.
• Brown, J. David, and Marc Henneaux. “Central Charges in the Canonical Realization of Asymptotic Symmetries: An Example from Three-Dimensional Gravity.” Communications in Mathematical Physics 104 (1986): 207–226. DOI.
• Henningson, Måns, and Kostas Skenderis. “The Holographic Weyl Anomaly.” Journal of High Energy Physics 1998, no. 7 (1998): 023. DOI; Open PDF.