# What is the CFT dual to pure gravity on AdS$_3$?

Pure $2+1$-dimensional gravity in $AdS_3$ (parametrized as $S= \int d^3 x \frac{1}{16 \pi G} \sqrt{-g} (R+\frac{2}{l^2})$) is a topological field theory closely related to Chern-Simons theory, and at least naively seems like it may be renormalizable on-shell for certain values of $l/G$. This is a theory which has been studied by many authors, but I can't seem to find a consensus as to what the CFT dual is. Here's what I've gathered from a cursory literature search:

Witten (2007) suggests that the dual is the monster theory of Frenkel, Lepowsky, and Meurman for a certain value of $l/G$; his argument applies when the central charges $c_L$ and $c_R$ are both multiplies of $24$. In his argument, he assumes holomorphic factorization of the boundary CFT, which seems to be fairly controversial. His argument does produce approximately correct entropy for BTZ black holes, but a case can be made that black hole states shouldn't exist at all if the CFT is holomorphically factorized. He also gave a PiTP talk on the subject. Witten himself is unsure if this work is correct.

In a recent 2013 paper, McGough and H. Verlinde claim that "The edge states of 2+1-D gravity are described by Liouville theory", citing 5 papers to justify this claim. All of those are before Witten's 2007 work. Witten's work does mention Liouville theory, and has some discussion, but he doesn't seem to believe that this is the correct boundary theory, and Liouville theory is at any rate not compatible with holomorphic factorization. This paper also claims that "pure quantum gravity...is unlikely to give rise to a complete theory." Similar assertions are made in a few other papers.

Another proposal was made in Castro et.al (2011), relating this to minimal models such as the Ising model. Specifically, they claim that the partition function for the Ising model is equal to that of pure gravity $l=3G$, and make certain claims about higher spin cases.

It doesn't seem to me that all of these can simultaneously be true. There could be some way to mitigate the differences between the proposals, but my scan of the literature didn't point to anything. It seems to me that no one agrees on the correct theory. I'm not even sure if these are the only proposals, but they're the ones that I'm aware of.

First, are my above statements regarding the three proposals accurate? Also, is there any consensus in the majority of the HET community as to whether pure quantum gravity theories in $AdS_3$ exist, and if so what their CFT duals are? Finally, if there is no consensus, what are the necessary conditions for each of the proposals to be correct?

-