Пусть имеется двумерная конформная теория поля (CFT), пусть для простоты у нее есть действие
![$S[g,X]$ $S[g,X]$](https://dxdy-03.korotkov.co.uk/f/e/4/a/e4ae4f1805ed0a8fccc2a89a3c6a1b4d82.png)
, где

-- метрика. С точностью до некоторых деталей, диффеоморфизмами можно привести метрику к диагональной

(в евклиде; в минковском аналогично). На классике, поскольку теория конформна, действие имеет вейлевскую симметрию, и метрика

из действия выпадает. В квантовой теории вейлевская симметрия оказывается аномальной. Утверждение:
![$$\int {\rm D}X \exp(-S[\exp(2\phi),X]) = \exp(-cS_L[\phi])\int {\rm D}X \exp(-S[1,X]),$$ $$\int {\rm D}X \exp(-S[\exp(2\phi),X]) = \exp(-cS_L[\phi])\int {\rm D}X \exp(-S[1,X]),$$](https://dxdy-01.korotkov.co.uk/f/4/6/f/46f04de035858a9d0b7eb25c470c3bac82.png)
где

-- действие Лиувилля, и

-- центральный заряд (это его определение; название происходит из того, что он является центральным зарядом в алгебре Вирасоро, т.е. алгебре аномальной конформной симметрии).
Из этой формулы видно, что эффективный тензор энергии-импульса после того, как поле

отынтегрировали, зависит от метрики, а именно, совпадает с тензором теории Лиувилля от конформного фактора

.
Таким образом, хотя гравитация с действием эйнштейна-гильберта тривиальна в 2д, из-за аномалии конформный фактор становится динамическим полем лиувилля.
Для свободного бозона

, а при наличии

что-то типа

. За численными факторами я тут не следил, всякие пиквадраты еще должны быть везде. Выше я спрашивал, почему при

из формулы
obar'a не воспроизводится ТЭИ Лиувилля, но мне не ответили. Может, я плохо смотрел и он воспроизводится, либо может он посчитан в таком приближении, что

к нулю брать нельзя. Вот.