Liouville field theory
and its classical limit is
Although it is an interacting theory with a continuous spectrum, Liouville theory has been solved. In particular, its three-point function on the sphere has been determined analytically. Its named after the 19th century French mathematician Joseph Liouville
- 1 Parameters
- 2 Spectrum and correlation functions
- 3 Lagrangian formulation
- 4 Relations with other conformal field theories
- 5 Applications
- 6 Historical notes
- 7 References
- 8 External links
Spectrum and correlation functions
where and denote the same Verma module, viewed as a representation of the left- and right-moving Virasoro algebra respectively. In terms of momentums,
Liouville theory is unitary if and only if . The spectrum of Liouville theory does not include a vacuum state. A vacuum state can be defined, but it does not contribute to operator product expansions.
Fields and reflection relation
In Liouville theory, primary fields are usually parametrized by their momentum rather than their conformal dimension, and denoted . Both fields and correspond to the primary state of the representation , and are related by the reflection relation
where the reflection coefficient is
(The sign is if and otherwise, and the normalization parameter is arbitrary.)
Correlation functions and DOZZ formula
where the special function is a kind of multiple gamma function.
For , the three-point structure constant is
-point functions on the sphere can be expressed in terms of three-point structure constants and conformal blocks. An -point function may have several different expressions: that they agree is equivalent to crossing symmetry of the four-point function, which has been checked numerically and proved analytically.
Liouville theory exists not only on the sphere, but also on any Riemann surface of genus . Technically, this is equivalent to the modular invariance of the torus one-point function. Due to remarkable identities of conformal blocks and structure constants, this modular invariance property can be deduced from crossing symmetry of the sphere four-point function.
Uniqueness of Liouville theory
- the spectrum is a continuum, with no multiplicities higher than one,
- the correlation functions depend analytically on and the momentums,
- degenerate fields exist.
Action and equation of motion
Liouville theory is defined by the local action
where is the metric of the two-dimensional space on which the theory is formulated, is the Ricci scalar of that space, and the field is called the Liouville field. The parameter , which is sometimes called the cosmological constant, is related to the parameter that appears in correlation functions by
The equation of motion associated to this action is
which is equivalent to Liouville's equation.
the energy-momentum tensor's components obey
The non-vanishing components are
Each one of these two components generates a Virasoro algebra with the central charge
For both of these Virasoro algebras, a field is a primary field with the conformal dimension
This leads to the relation
between the background charge and the coupling constant. If this relation is obeyed, then is actually exactly marginal, and the theory is conformally invariant.
The path integral representation of an -point correlation function of primary fields is
It has been difficult to define and to compute this path integral. In the path integral representation, it is not obvious that Liouville theory has exact conformal invariance, and it is not manifest that correlation functions are invariant under and obey the reflection relation. Nevertheless, the path integral representation can be used for computing the residues of correlation functions at some of their poles as Dotsenko-Fateev integrals (i.e. Coulomb gas integrals), and this is how the DOZZ formula was first guessed in the 1990s. It is only in the 2010s that a rigorous probabilistic construction of the path integral was found, which led to a proof of the DOZZ formula.
Relations with other conformal field theories
Some limits of Liouville theory
When the central charge and conformal dimensions are sent to the relevant discrete values, correlation functions of Liouville theory reduce to correlation functions of diagonal (A-series) Virasoro minimal models.
On the other hand, when the central charge is sent to one while conformal dimensions stay continuous, Liouville theory tends to Runkel-Watts theory, a nontrivial conformal field theory (CFT) with a continuous spectrum whose three-point function is not analytic as a function of the momentums. Generalizations of Runkel-Watts theory are obtained from Liouville theory by taking limits of the type . So, for , two distinct CFTs with the same spectrum are known: Liouville theory, whose three-point function is analytic, and another CFT with a non-analytic three-point function.
Liouville theory can be obtained from the Wess–Zumino–Witten model by a quantum Drinfeld-Sokolov reduction. Moreover, correlation functions of the model (the Euclidean version of the WZW model) can be expressed in terms of correlation functions of Liouville theory. This is also true of correlation functions of the 2d black hole coset model. Moreover, there exist theories that continuously interpolate between Liouville theory and the model.
Conformal Toda theory
Liouville theory is the simplest example of a Toda field theory, associated to the Cartan matrix. More general conformal Toda theories can be viewed as generalizations of Liouville theory, whose Lagrangians involve several bosons rather than one boson , and whose symmetry algebras are W-algebras rather than the Virasoro algebra.
Supersymmetric Liouville theory
In two dimensions, the Einstein equations reduce to Liouville's equation, so Liouville theory provides a quantum theory of gravity that is called Liouville gravity. It should not be confused with the CGHS model or Jackiw–Teitelboim gravity.
Liouville theory appears in the context of string theory when trying to formulate a non-critical version of the theory in the path integral formulation. Also in the string theory context, if coupled to a free bosonic field, Liouville field theory can be thought of as the theory describing string excitations in a two-dimensional space(time).
Liouville theory is related to other subjects in physics and mathematics, such as three-dimensional general relativity in negatively curved spaces, the uniformization problem of Riemann surfaces, and other problems in conformal mapping. It is also related to instanton partition functions in a certain four-dimensional superconformal gauge theories by the AGT correspondence.
Naming confusion for 
Liouville theory with first appeared as a model of time-dependent string theory under the name timelike Liouville theory. It has also been called a generalized minimal model. It was first called Liouville theory when it was found to actually exist, and to be spacelike rather than timelike. As of 2018, not one of these three names is universally accepted.
- Ribault, Sylvain (2014). "Conformal field theory on the plane". arXiv: [hep-th].
- Dorn, H.; Otto, H.-J. (1992). "On correlation functions for non-critical strings with c⩽1 but d⩾1". Physics Letters B. 291: 39. arXiv: . Bibcode:1992PhLB..291...39D. doi:10.1016/0370-2693(92)90116-L.
- Zamolodchikov, A.; Zamolodchikov, Al. (1996). "Conformal bootstrap in Liouville field theory". Nuclear Physics B. 477 (2): 577. arXiv: . Bibcode:1996NuPhB.477..577Z. doi:10.1016/0550-3213(96)00351-3.
- Ribault, Sylvain; Santachiara, Raoul (2015). "Liouville theory with a central charge less than one". Journal of High Energy Physics. 2015 (8). arXiv: . doi:10.1007/JHEP08(2015)109.
- Teschner, J (2003). "A lecture on the Liouville vertex operators". International Journal of Modern Physics A. 19 (2): 436–458. arXiv: . doi:10.1142/S0217751X04020567.
- Hadasz, Leszek; Jaskolski, Zbigniew; Suchanek, Paulina (2009). "Modular bootstrap in Liouville field theory". Physics Letters B. 685: 79–85. arXiv: . doi:10.1016/j.physletb.2010.01.036.
- Kupiainen, Antti; Rhodes, Rémi; Vargas, Vincent (2017). "Integrability of Liouville theory: Proof of the DOZZ Formula". arXiv: [math.PR].
- Schomerus, Volker (2003). "Rolling Tachyons from Liouville theory". Journal of High Energy Physics. 2003 (11): 043. arXiv: . doi:10.1088/1126-6708/2003/11/043.
- Ribault, Sylvain; Teschner, Joerg (2005). "H(3)+ correlators from Liouville theory". Journal of High Energy Physics. 2005 (6): 014. arXiv: . doi:10.1088/1126-6708/2005/06/014.
- Hikida, Yasuaki; Schomerus, Volker (2007). "H^+_3 WZNW model from Liouville field theory". Journal of High Energy Physics. 2007 (10): 064. arXiv: . doi:10.1088/1126-6708/2007/10/064.
- Ribault, Sylvain (2008). "A family of solvable non-rational conformal field theories". Journal of High Energy Physics. 2008 (5): 073. arXiv: . doi:10.1088/1126-6708/2008/05/073.
- Nakayama, Yu (2004). "Liouville Field Theory: A Decade After the Revolution". International Journal of Modern Physics A. 19 (17n18): 2771. arXiv: . Bibcode:2004IJMPA..19.2771N. doi:10.1142/S0217751X04019500.
- Grumiller, Daniel; Kummer, Wolfgang; Vassilevich, Dmitri (October 2002). "Dilaton Gravity in Two Dimensions". Physics Reports. 369 (4): 327–430. arXiv: . Bibcode:2002PhR...369..327G. doi:10.1016/S0370-1573(02)00267-3.
- Grumiller, Daniel; Meyer, Rene (2006). "Ramifications of Lineland". Turkish Journal of Physics. 30 (5): 349–378. arXiv: . Bibcode:2006TJPh...30..349G. Archived from the original on 22 August 2011.
- Polyakov, A.M. (1981). "Quantum geometry of bosonic strings". Physics Letters B. 103 (3): 207. Bibcode:1981PhLB..103..207P. doi:10.1016/0370-2693(81)90743-7.
- Strominger, Andrew; Takayanagi, Tadashi (2003). "Correlators in Timelike Bulk Liouville Theory". Adv. Theor. Math. Phys. 7: 369–379. arXiv: . MR 2015169.
- Zamolodchikov, Al (2005). "On the Three-point Function in Minimal Liouville Gravity". Theoretical and Mathematical Physics. 142 (2): 183. arXiv: . doi:10.1007/s11232-005-0003-3.