Abstract

We rewrite the Chern-Simons description of pure gravity on global AdS3 and on Euclidean BTZ black holes as a quantum field theory on the AdS boundary. The resulting theory is (two copies of) the path integral quantization of a certain coadjoint orbit of the Virasoro group, and it should be regarded as the quantum field theory of the boundary gravitons. This theory respects all of the conformal field theory axioms except one: it is not modular invariant. The coupling constant is 1/c with c the central charge, and perturbation theory in 1/c encodes loop contributions in the gravity dual. The QFT is a theory of reparametrizations analogous to the Schwarzian description of nearly AdS2 gravity, and has several features including: (i) it is ultraviolet-complete; (ii) the torus partition function is the vacuum Virasoro character, which is one-loop exact by a localization argument; (iii) it reduces to the Schwarzian theory upon compactification; (iv) it provides a powerful new tool for computing Virasoro blocks at large c via a diagrammatic expansion. We use the theory to compute several observables to one-loop order in the bulk, including the “heavy-light” limit of the identity block. We also work out some generalizations of this theory, including the boundary theory which describes fluctuations around two-sided eternal black holes.

Highlights

  • Power series expansion at small q with positive integer coefficients which count the number of states with a given energy and momentum

  • The resulting theory is the path integral quantization of a certain coadjoint orbit of the Virasoro group, and it should be regarded as the quantum field theory of the boundary gravitons

  • This prescription includes a sum over “topologies”: in order to specify a Euclidean AdS3 geometry with torus boundary one must choose a cycle of the boundary torus which is contractible in the bulk, and one sums over this choice

Read more

Summary

Review

Consider a Lie group G with algebra g, and let b be a coadjoint vector, b ∈ g∗. Coadjoint vectors are linear maps b : g → R which take adjoint vectors v ∈ g to numbers. Recalling that the coadjoint orbit Mb is swept out under the action of the group G, consider any adjoint vector v. Denoting coordinates on the coadjoint orbit Mb as xi, one promotes the coordinates to functions of time and defines an action functional. Because this action is first-order in time derivatives, upon Legendre transformation we recover the Hamiltonian system we started with, with phase space Mb, symplectic form ω, and Hamiltonian HX. (These “gauge” transformations are “symplectomorphisms” — coordinate transformations on phase space which leave the symplectic form invariant.) the phase factor exp(iSX ) is well-defined only if the symplectic form ω has quantized periods, ω = 2πZ ,. In the remainder of this section we review the classification of coadjoint orbits of the Virasoro group and their path integral quantization. There are several recent papers related to coadjoint orbits, the Schwarzian quantum mechanics, and nearly AdS2 gravity [15, 44,45,46]

Coadjoint orbits of the Virasoro group
Phase space path integrals
From AdS3 gravity to coadjoint orbits
Cylinder boundary
More on Euclidean black holes
Conical defects and the Poincare patch
Coupling to an external geometry
Sphere partition function
Doubling and eternal BTZ black holes
Torus partition function and T T
One-loop determinants
Revisiting the gravitational one-loop partition function
Localization
Virasoro blocks
The light-light limit
The heavy-light limit
Supersymmetry
Neveu-Schwarz
Discussion
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call