## January 29, 2008

### Extremal CFTs

I’ve already written a couple of posts about pure 2+1 gravity with negative cosmological constant. But there have been some odds and ends I wanted to deal with, so perhaps another post is in order. In particular, there are papers by Gaberdiel and Gaiotto, that bear remarking upon.

On general grounds, AdS/CFT duality suggests that these theories should be completely described by writing down a 1+1 dimensional conformal field theory with central charge $c=24k=3\ell /2G$, where $\ell$ is the radius of the AdS space. Witten proposed that this CFT is “extremal.” That is, the partition function can be written as

(1)$Z\left(\tau ,\overline{\tau }\right)=\mathrm{Tr}\left({q}^{{L}_{0}-c/24}{\overline{q}}^{{\overline{L}}_{0}-c/24}\right)={\mid {\chi }_{k}\left(q\right)\mid }^{2}$

where

(2)${\chi }_{k}\left(q\right)={q}^{-k}\left[\frac{1}{\prod _{n=2}^{\infty }\left(1-{q}^{n}\right)}+O\left({q}^{k+1}\right)\right]$

The expressions for the ${\chi }_{k}\left(q\right)$ are polynomials in the modular J-function, $J\left(q\right)={q}^{-1}+196884q+\dots$, and are uniquely determined. For $k=1$, ${\chi }_{1}\left(q\right)=J\left(q\right)$ is the familiar Monster Module.

What we don’t know is

1. whether, for $k>1$, they correspond to the partition functions of actual conformal field theories
2. whether these conformal field theories also carry a Monster symmetry
3. whether, in fact, pure 2+1 gravity exists as a quantum theory and, if it does, whether the partition function of the dual CFT takes the “extremal” form (1)

The “gap” in the spectrum of conformal primaries in (2) is important. The ground state is the AdS vacuum. The only other states that should be present, in pure gravity, are BTZ blackholes of positive mass. The dictionary between conformal primaries and BTZ blackholes is simple. A spinning BTZ blackhole of mass, $M$, and spin, $J$, corresponds to a primary of conformal weight $\left(h,\overline{h}\right)$, where

$M=\Delta +\overline{\Delta },\phantom{\rule{2em}{0ex}}J=\Delta -\overline{\Delta }$

and we’ve abbreviated $\Delta =h-c/24=h-k$. In the semiclassical ($k\to \infty$) limit, the asymptotic density of states accords nicely with the Bekenstein-Hawking entropy

$S\sim 4\pi \left(\sqrt{\Delta }+\sqrt{\overline{\Delta }}\right)$

However, there’s a problem, alluded to in my previous posts. Whereas “most” of the states just described satisfy the “extremal bound”

$\frac{\mid J\mid }{M}\le 1$

there’s one class of states which violate it: take the ground state, say, for the right-movers ($\overline{\Delta }=-k$) and a BTZ blackhole, $\Delta \ge 1$, for the left-movers. Classically, these would correspond to over-rotating blackholes,

$\frac{J}{M}=\frac{\Delta +k}{\Delta -k}$

and the corresponding classical solutions (which we ought to trust in the $k\to \infty$ limit) are pathological, with naked singularities and closed timelike curves.

Actually, this problem is not peculiar to the extremal partition functions (1); it crops up whenever the ground state, corresponding to the AdS vacuum, is in the same conformal block as the BTZ blackhole. And this seems hard to avoid, given the requirements of modular invariance and the gap in the spectrum.

Gaberdiel’s paper addresses the first point above. He argues that:

1. Whenever ${\chi }_{k}\left(q\right)$ obeys a linear differential equation, this corresponds to the existence of a null vector at a level equal to the order of the differential equation.
2. There is an upper bound on the minimal order of the differential equation (i.e., there’s an upper bound on the level at which the first such null vector occurs).
3. For sufficiently large $k$, this order becomes less than $k+1$, where one can explicitly show that there are no null vectors. (Up to level-$k$, by assumption, we just have a vacuum Virasoro module whose only null vector is ${L}_{-1}\mid 0⟩$, since $c\ge 24$.)

The differential equation takes the form

(3)$\left[{D}^{\left(s\right)}+\sum _{0\le r

where

${D}^{\left(n\right)}=\left(q\frac{d}{dq}-\frac{1}{6}\left(n-1\right){E}_{2}\left(\tau \right)\right)\left(q\frac{d}{dq}-\frac{1}{6}\left(n-2\right){E}_{2}\left(\tau \right)\right)\cdots \left(q\frac{d}{dq}-\frac{1}{6}{E}_{2}\left(\tau \right)\right)q\frac{d}{dq}$

and ${f}_{r}\left(q\right)$ is a polynomial in ${E}_{4}\left(\tau \right)$ and ${E}_{6}\left(\tau \right)$ of modular weight $2\left(s-r\right)$.

Giaotto, in his paper, argues that

1. Gaberdiel’s upper bound need not be saturated. The ${\chi }_{k}\left(q\right)$ could obey a lower order differential equation.
2. The differential equation could be “accidental,” unrelated to the existence of a null vector.

The first point, of course, does not affect Gaberdiel’s argument. The second is, however, rather more puzzling. Giaotto’s counterexample, a tensor product of two Monster Modules, isn’t really satisfactory. The latter, in fact, has more null vectors than required by Gaberdiel’s argument. But it is true that this is the weak point in Gaberdiel’s argument. Proving that a solution to (3) implies the existence of a null vector, at level $\le s$, is still a loophole.

But the main point of Gaiotto’s paper is to show that, for $k=2$, where it seems likely that a CFT exists, the theory does not carry a representation of the Monster Group. While it’s tempting to extrapolate that the higher-$k$ theories (if they exist) don’t have Monster symmetry either, Giaotto’s methods are not sufficient to show that.

1 The Eisenstein series ${E}_{2p}\left(\tau \right)=\frac{1}{2\zeta \left(2p\right)}\sum _{\left(m,n\right)\ne \left(0,0\right)}\frac{1}{{\left(m+n\tau \right)}^{2p}}$ satisfy $\begin{array}{rl}{E}_{2}\left(\tau \right)& =1-24\sum _{n=1}^{\infty }\frac{n{q}^{n}}{1-{q}^{n}}\\ {E}_{4}\left(\tau \right)& =1+240\sum _{n=1}^{\infty }\frac{{n}^{3}{q}^{n}}{1-{q}^{n}}\\ {E}_{6}\left(\tau \right)& =1-504\sum _{n=1}^{\infty }\frac{{n}^{5}{q}^{n}}{1-{q}^{n}}\end{array}$ and (for $p\ge 2$) are modular forms of weight $2p$. The ring of modular forms (and hence the possible terms in ${f}_{r}\left(q\right)$) is freely-generated by ${E}_{4}$ and ${E}_{6}$.

Posted by distler at January 29, 2008 10:26 PM

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1584

## 1 Comment & 0 Trackbacks

### Re: Extremal CFTs

Gerald Hoehn has a result very similar to Giaotto’s, but it is phrased in vertex algebra language.

Posted by: Scott Carnahan on March 4, 2008 12:54 PM | Permalink | Reply to this

Post a New Comment