Two-dimensional conformal field theory

A two-dimensional conformal field theory is a quantum field theory on a Euclidean two-dimensional space, that is invariant under local conformal transformations.

In contrast to other types of conformal field theories, two-dimensional conformal field theories have infinite-dimensional symmetry algebras. In some cases, this allows them to be solved exactly, using the conformal bootstrap method.

Notable two-dimensional conformal field theories include minimal models, Liouville theory, massless free bosonic theories, Wess–Zumino–Witten models, and certain sigma models.

Basic structures

Geometry

Two-dimensional conformal field theories (CFTs) are defined on Riemann surfaces, where local conformal maps are holomorphic functions. While a CFT might conceivably exist only on a given Riemann surface, its existence on any surface other than the sphere implies its existence on all surfaces. ^{[1] [2]} Given a CFT, it is indeed possible to glue two Riemann surfaces where it exists, and obtain the CFT on the glued surface. ^{[1] [3]} On the other hand, some CFTs exist only on the sphere. Unless stated otherwise, we consider CFT on the sphere in this article.

Symmetries and integrability

Given a local complex coordinate ${\displaystyle z}$, the real vector space of infinitesimal conformal maps has the basis ${\displaystyle (\ell _{n}+{\bar {\ell }}_{n})_{n\in \mathbb {Z} }\cup (i(\ell _{n}-{\bar {\ell }}_{n}))_{n\in \mathbb {Z} }}$, with ${\displaystyle \ell _{n}=-z^{n+1}{\frac {\partial }{\partial z}}}$. (For example, ${\displaystyle \ell _{-1}+{\bar {\ell }}_{-1}}$ and ${\displaystyle i(\ell _{-1}-{\bar {\ell }}_{-1})}$ generate translations.) Relaxing the assumption that ${\displaystyle {\bar {z}}}$ is the complex conjugate of ${\displaystyle z}$, i.e. complexifying the space of infinitesimal conformal maps, one obtains a complex vector space with the basis ${\displaystyle (\ell _{n})_{n\in \mathbb {Z} }\cup ({\bar {\ell }}_{n})_{n\in \mathbb {Z} }}$.

With their natural commutators, the differential operators ${\displaystyle \ell _{n}}$ generate a Witt algebra. By standard quantum-mechanical arguments, the symmetry algebra of conformal field theory must be the central extension of the Witt algebra, i.e. the Virasoro algebra, whose generators are ${\displaystyle (L_{n})_{n\in \mathbb {Z} }}$, plus a central generator. In a given CFT, the central generator takes a constant value ${\displaystyle c}$, called the central charge.

The symmetry algebra is therefore the product of two copies of the Virasoro algebra: the left-moving or holomorphic algebra, with generators ${\displaystyle L_{n}}$, and the right-moving or antiholomorphic algebra, with generators ${\displaystyle {\bar {L}}_{n}}$. ^[4]

In the universal enveloping algebra of the Virasoro algebra, it is possible to construct an infinite set of mutually commuting charges. The first charge is ${\displaystyle L_{0}-{\frac {c}{24}}}$, the second charge is quadratic in the Virasoro generators, the third charge is cubic, and so on. This shows that any two-dimensional conformal field theory is also a quantum integrable system. ^[5]

Space of states

The space of states, also called the spectrum, of a CFT, is a representation of the product of the two Virasoro algebras.

For a state that is an eigenvector of ${\displaystyle L_{0}}$ and ${\displaystyle {\bar {L}}_{0}}$ with the eigenvalues ${\displaystyle \Delta }$ and ${\displaystyle {\bar {\Delta }}}$,

• ${\displaystyle \Delta }$ is the left conformal dimension,
• ${\displaystyle {\bar {\Delta }}}$ is the right conformal dimension,
• ${\displaystyle \Delta +{\bar {\Delta }}}$ is the total conformal dimension or the energy,
• ${\displaystyle \Delta -{\bar {\Delta }}}$ is the conformal spin.

A CFT is called rational if its space of states decomposes into finitely many irreducible representations of the product of the two Virasoro algebras. In a rational CFT that is defined on all Riemann surfaces, the central charge and conformal dimensions are rational numbers. ^[6]

A CFT is called diagonal if its space of states is a direct sum of representations of the type ${\displaystyle R\otimes {\bar {R}}}$, where ${\displaystyle R}$ is an indecomposable representation of the left Virasoro algebra, and ${\displaystyle {\bar {R}}}$ is the same representation of the right Virasoro algebra.

The CFT is called unitary if the space of states has a positive definite Hermitian form such that ${\displaystyle L_{0}}$ and ${\displaystyle {\bar {L}}_{0}}$ are self-adjoint, ${\displaystyle L_{0}^{\dagger }=L_{0}}$ and ${\displaystyle {\bar {L}}_{0}^{\dagger }={\bar {L}}_{0}}$. This implies in particular that ${\displaystyle L_{n}^{\dagger }=L_{-n}}$, and that the central charge is real. The space of states is then a Hilbert space. While unitarity is necessary for a CFT to be a proper quantum system with a probabilistic interpretation, many interesting CFTs are nevertheless non-unitary, including minimal models and Liouville theory for most allowed values of the central charge.

Fields and correlation functions

The state-field correspondence is a linear map ${\displaystyle v\mapsto V_{v}(z)}$ from the space of states to the space of fields, which commutes with the action of the symmetry algebra.

In particular, the image of a primary state of a lowest weight representation of the Virasoro algebra is a primary field ^[7] ${\displaystyle V_{\Delta }(z)}$, such that

${\displaystyle L_{n>0}V_{\Delta }(z)=0\quad ,\quad L_{0}V_{\Delta }(z)=\Delta V_{\Delta }(z)\ .}$

Descendant fields are obtained from primary fields by acting with creation modes ${\displaystyle L_{n<0}}$. Degenerate fields correspond to primary states of degenerate representations. For example, the degenerate field ${\displaystyle V_{1,1}(z)}$ obeys ${\displaystyle L_{-1}V_{1,1}(z)=0}$, due to the presence of a null vector in the corresponding degenerate representation.

An ${\displaystyle N}$-point correlation function is a number that depends linearly on ${\displaystyle N}$ fields, denoted as ${\displaystyle \left\langle V_{1}(z_{1})\cdots V_{N}(z_{N})\right\rangle }$ with ${\displaystyle i\neq j\Rightarrow z_{i}\neq z_{j}}$. In the path integral formulation of conformal field theory, correlation functions are defined as functional integrals. In the conformal bootstrap approach, correlation functions are defined by axioms. In particular, it is assumed that there exists an operator product expansion (OPE), ^[7]

${\displaystyle V_{1}(z_{1})V_{2}(z_{2})=\sum _{i}C_{12}^{v_{i}}(z_{1},z_{2})V_{v_{i}}(z_{2})\ ,}$

where ${\displaystyle \{v_{i}\}}$ is a basis of the space of states, and the numbers ${\displaystyle C_{12}^{v_{i}}(z_{1},z_{2})}$ are called OPE coefficients. Moreover, correlation functions are assumed to be invariant under permutations on the fields, in other words the OPE is assumed to be associative and commutative. (OPE commutativity ${\displaystyle V_{1}(z_{1})V_{2}(z_{2})=V_{2}(z_{2})V_{1}(z_{1})}$ does not imply that OPE coefficients are invariant under ${\displaystyle 1\leftrightarrow 2}$, because expanding on fields ${\displaystyle V_{v_{i}}(z_{2})}$ breaks that symmetry.)

OPE commutativity implies that primary fields have integer conformal spins ${\displaystyle S\in \mathbb {Z} }$. A primary field with zero conformal spin is called a diagonal field. There also exist fermionic CFTs that include fermionic fields with half-integer conformal spins ${\displaystyle S\in {\tfrac {1}{2}}+\mathbb {Z} }$, which anticommute. ^[8] There also exist parafermionic CFTs that include fields with more general rational spins ${\displaystyle S\in \mathbb {Q} }$. Not only parafermions do not commute, but also their correlation functions are multivalued.

The torus partition function is a particular correlation function that depends solely on the spectrum ${\displaystyle {\mathcal {S}}}$, and not on the OPE coefficients. For a complex torus ${\displaystyle {\frac {\mathbb {C} }{\mathbb {Z} +\tau \mathbb {Z} }}}$ with modulus ${\displaystyle \tau }$, the partition function is

${\displaystyle Z(\tau )=\operatorname {Tr} _{\mathcal {S}}q^{L_{0}-{\frac {c}{24}}}{\bar {q}}^{{\bar {L}}_{0}-{\frac {c}{24}}}}$

where ${\displaystyle q=e^{2\pi i\tau }}$. The torus partition function coincides with the character of the spectrum, considered as a representation of the symmetry algebra.

Chiral conformal field theory

In a two-dimensional conformal field theory, properties are called chiral if they follow from the action of one of the two Virasoro algebras. If the space of states can be decomposed into factorized representations of the product of the two Virasoro algebras, then all consequences of conformal symmetry are chiral. In other words, the actions of the two Virasoro algebras can be studied separately.

Energy–momentum tensor

The dependence of a field ${\displaystyle V(z)}$ on its position is assumed to be determined by

${\displaystyle {\frac {\partial }{\partial z}}V(z)=L_{-1}V(z).}$

It follows that the OPE

${\displaystyle T(y)V(z)=\sum _{n\in \mathbb {Z} }{\frac {L_{n}V(z)}{(y-z)^{n+2}}},}$

defines a locally holomorphic field ${\displaystyle T(y)}$ that does not depend on ${\displaystyle z.}$ This field is identified with (a component of) the energy–momentum tensor. ^[4] In particular, the OPE of the energy–momentum tensor with a primary field is

${\displaystyle T(y)V_{\Delta }(z)={\frac {\Delta }{(y-z)^{2}}}V_{\Delta }(z)+{\frac {1}{y-z}}{\frac {\partial }{\partial z}}V_{\Delta }(z)+O(1).}$

The OPE of the energy–momentum tensor with itself is

${\displaystyle T(y)T(z)={\frac {\frac {c}{2}}{(y-z)^{4}}}+{\frac {2T(z)}{(y-z)^{2}}}+{\frac {\partial T(z)}{y-z}}+O(1),}$

where ${\displaystyle c}$ is the central charge. (This OPE is equivalent to the commutation relations of the Virasoro algebra.)

Conformal Ward identities

Conformal Ward identities are linear equations that correlation functions obey as a consequence of conformal symmetry. ^[4] They can be derived by studying correlation functions that involve insertions of the energy–momentum tensor. Their solutions are conformal blocks.

For example, consider conformal Ward identities on the sphere. Let ${\displaystyle z}$ be a global complex coordinate on the sphere, viewed as ${\displaystyle \mathbb {C} \cup \{\infty \}.}$ Holomorphy of the energy–momentum tensor at ${\displaystyle z=\infty }$ is equivalent to

${\displaystyle T(z){\underset {z\to \infty }{=}}O\left({\frac {1}{z^{4}}}\right).}$

Moreover, inserting ${\displaystyle T(z)}$ in an ${\displaystyle N}$-point function of primary fields yields

${\displaystyle \left\langle T(z)\prod _{i=1}^{N}V_{\Delta _{i}}(z_{i})\right\rangle =\sum _{i=1}^{N}\left({\frac {\Delta _{i}}{(z-z_{i})^{2}}}+{\frac {1}{z-z_{i}}}{\frac {\partial }{\partial z_{i}}}\right)\left\langle \prod _{i=1}^{N}V_{\Delta _{i}}(z_{i})\right\rangle .}$

From the last two equations, it is possible to deduce local Ward identities that express ${\displaystyle N}$-point functions of descendant fields in terms of ${\displaystyle N}$-point functions of primary fields. Moreover, it is possible to deduce three differential equations for any ${\displaystyle N}$-point function of primary fields, called global conformal Ward identities:

${\displaystyle \sum _{i=1}^{N}\left(z_{i}^{k}{\frac {\partial }{\partial z_{i}}}+\Delta _{i}kz_{i}^{k-1}\right)\left\langle \prod _{i=1}^{N}V_{\Delta _{i}}(z_{i})\right\rangle =0,\qquad (k\in \{0,1,2\}).}$

These identities determine how two- and three-point functions depend on ${\displaystyle z,}$

${\displaystyle \left\langle V_{\Delta _{1}}(z_{1})V_{\Delta _{2}}(z_{2})\right\rangle {\begin{cases}=0&\ \ (\Delta _{1}\neq \Delta _{2})\\\propto (z_{1}-z_{2})^{-2\Delta _{1}}&\ \ (\Delta _{1}=\Delta _{2})\end{cases}}}$

${\displaystyle \left\langle V_{\Delta _{1}}(z_{1})V_{\Delta _{2}}(z_{2})V_{\Delta _{3}}(z_{3})\right\rangle \propto (z_{1}-z_{2})^{\Delta _{3}-\Delta _{1}-\Delta _{2}}(z_{2}-z_{3})^{\Delta _{1}-\Delta _{2}-\Delta _{3}}(z_{1}-z_{3})^{\Delta _{2}-\Delta _{1}-\Delta _{3}},}$

where the undetermined proportionality coefficients are functions of ${\displaystyle {\bar {z}}.}$

BPZ equations

A correlation function that involves a degenerate field satisfies a linear partial differential equation called a Belavin–Polyakov–Zamolodchikov equation after Alexander Belavin, Alexander Polyakov and Alexander Zamolodchikov. ^[7] The order of this equation is the level of the null vector in the corresponding degenerate representation.

A trivial example is the order one BPZ equation

${\displaystyle {\frac {\partial }{\partial z_{1}}}\left\langle V_{1,1}(z_{1})V_{2}(z_{2})\cdots V_{N}(z_{N})\right\rangle =0.}$

which follows from

${\displaystyle {\frac {\partial }{\partial z_{1}}}V_{1,1}(z_{1})=L_{-1}V_{1,1}(z_{1})=0.}$

The first nontrivial example involves a degenerate field ${\displaystyle V_{2,1}}$ with a vanishing null vector at the level two,

${\displaystyle \left(L_{-1}^{2}+b^{2}L_{-2}\right)V_{2,1}=0,}$

where ${\displaystyle b}$ is related to the central charge by

${\displaystyle c=1+6\left(b+b^{-1}\right)^{2}.}$

Then an ${\displaystyle N}$-point function of ${\displaystyle V_{2,1}}$ and ${\displaystyle N-1}$ other primary fields obeys:

${\displaystyle \left({\frac {1}{b^{2}}}{\frac {\partial ^{2}}{\partial z_{1}^{2}}}+\sum _{i=2}^{N}\left({\frac {1}{z_{1}-z_{i}}}{\frac {\partial }{\partial z_{i}}}+{\frac {\Delta _{i}}{(z_{1}-z_{i})^{2}}}\right)\right)\left\langle V_{2,1}(z_{1})\prod _{i=2}^{N}V_{\Delta _{i}}(z_{i})\right\rangle =0.}$

A BPZ equation of order ${\displaystyle rs}$ for a correlation function that involve the degenerate field ${\displaystyle V_{r,s}}$ can be deduced from the vanishing of the null vector, and the local Ward identities. Thanks to global Ward identities, four-point functions can be written in terms of one variable instead of four, and BPZ equations for four-point functions can be reduced to ordinary differential equations.

Fusion rules

In an OPE that involves a degenerate field, the vanishing of the null vector (plus conformal symmetry) constrains which primary fields can appear. The resulting constraints are called fusion rules. ^[4] Using the momentum ${\displaystyle \alpha }$ such that

${\displaystyle \Delta =\alpha \left(b+b^{-1}-\alpha \right)}$

instead of the conformal dimension ${\displaystyle \Delta }$ for parametrizing primary fields, the fusion rules are

${\displaystyle V_{r,s}\times V_{\alpha }=\sum _{i=0}^{r-1}\sum _{j=0}^{s-1}V_{\alpha +\left(i-{\frac {r-1}{2}}\right)b+\left(j-{\frac {s-1}{2}}\right)b^{-1}}}$

in particular

${\displaystyle {\begin{aligned}V_{1,1}\times V_{\alpha }&=V_{\alpha }\\[6pt]V_{2,1}\times V_{\alpha }&=V_{\alpha -{\frac {b}{2}}}+V_{\alpha +{\frac {b}{2}}}\\[6pt]V_{1,2}\times V_{\alpha }&=V_{\alpha -{\frac {1}{2b}}}+V_{\alpha +{\frac {1}{2b}}}\end{aligned}}}$

Alternatively, fusion rules have an algebraic definition in terms of an associative fusion product of representations of the Virasoro algebra at a given central charge. The fusion product differs from the tensor product of representations. (In a tensor product, the central charges add.) In certain finite cases, this leads to the structure of a fusion category.

A conformal field theory is quasi-rational is the fusion product of two indecomposable representations is a sum of finitely many indecomposable representations. ^[9] For example, generalized minimal models are quasi-rational without being rational.

Conformal bootstrap

The conformal bootstrap method consists in defining and solving CFTs using only symmetry and consistency assumptions, by reducing all correlation functions to combinations of structure constants and conformal blocks. In two dimensions, this method leads to exact solutions of certain CFTs, and to classifications of rational theories.

Structure constants

Let ${\displaystyle V_{i}}$ be a left- and right-primary field with left- and right-conformal dimensions ${\displaystyle \Delta _{i}}$ and ${\displaystyle {\bar {\Delta }}_{i}}$. According to the left and right global Ward identities, three-point functions of such fields are of the type

${\displaystyle {\begin{aligned}&\left\langle V_{1}(z_{1})V_{2}(z_{2})V_{3}(z_{3})\right\rangle =C_{123}\\&\qquad \times (z_{1}-z_{2})^{\Delta _{3}-\Delta _{1}-\Delta _{2}}(z_{2}-z_{3})^{\Delta _{1}-\Delta _{2}-\Delta _{3}}(z_{1}-z_{3})^{\Delta _{2}-\Delta _{1}-\Delta _{3}}\\&\qquad \times ({\bar {z}}_{1}-{\bar {z}}_{2})^{{\bar {\Delta }}_{3}-{\bar {\Delta }}_{1}-{\bar {\Delta }}_{2}}({\bar {z}}_{2}-{\bar {z}}_{3})^{{\bar {\Delta }}_{1}-{\bar {\Delta }}_{2}-{\bar {\Delta }}_{3}}({\bar {z}}_{1}-{\bar {z}}_{3})^{{\bar {\Delta }}_{2}-{\bar {\Delta }}_{1}-{\bar {\Delta }}_{3}}\ ,\end{aligned}}}$

where the ${\displaystyle z_{i}}$-independent number ${\displaystyle C_{123}}$ is called a three-point structure constant. For the three-point function to be single-valued, the left- and right-conformal dimensions of primary fields must obey

${\displaystyle \Delta _{i}-{\bar {\Delta }}_{i}\in {\frac {1}{2}}\mathbb {Z} \ .}$

This condition is satisfied by bosonic (${\displaystyle \Delta _{i}-{\bar {\Delta }}_{i}\in \mathbb {Z} }$) and fermionic (${\displaystyle \Delta _{i}-{\bar {\Delta }}_{i}\in \mathbb {Z} +{\frac {1}{2}}}$) fields. It is however violated by parafermionic fields (${\displaystyle \Delta _{i}-{\bar {\Delta }}_{i}\in \mathbb {Q} }$), whose correlation functions are therefore not single-valued on the Riemann sphere.

Three-point structure constants also appear in OPEs,

${\displaystyle V_{1}(z_{1})V_{2}(z_{2})=\sum _{i}C_{12i}(z_{1}-z_{2})^{\Delta _{i}-\Delta _{1}-\Delta _{2}}({\bar {z}}_{1}-{\bar {z}}_{2})^{{\bar {\Delta }}_{i}-{\bar {\Delta }}_{1}-{\bar {\Delta }}_{2}}{\Big (}V_{i}(z_{2})+\cdots {\Big )}\ .}$

The contributions of descendant fields, denoted by the dots, are completely determined by conformal symmetry. ^[4]

Conformal blocks

Main article: Virasoro conformal block

Any correlation function can be written as a linear combination of conformal blocks: functions that are determined by conformal symmetry, and labelled by representations of the symmetry algebra. The coefficients of the linear combination are products of structure constants. ^[7]

In two-dimensional CFT, the symmetry algebra is factorized into two copies of the Virasoro algebra, and a conformal block that involves primary fields has a holomorphic factorization: it is a product of a locally holomorphic factor that is determined by the left-moving Virasoro algebra, and a locally antiholomorphic factor that is determined by the right-moving Virasoro algebra. These factors are themselves called conformal blocks.

For example, using the OPE of the first two fields in a four-point function of primary fields yields

${\displaystyle \left\langle \prod _{i=1}^{4}V_{i}(z_{i})\right\rangle =\sum _{s}C_{12s}C_{s34}{\mathcal {F}}_{\Delta _{s}}^{(s)}(\{\Delta _{i}\},\{z_{i}\}){\mathcal {F}}_{{\bar {\Delta }}_{s}}^{(s)}(\{{\bar {\Delta }}_{i}\},\{{\bar {z}}_{i}\})\ ,}$

where ${\displaystyle {\mathcal {F}}_{\Delta _{s}}^{(s)}(\{\Delta _{i}\},\{z_{i}\})}$ is an s-channel four-point conformal block. Four-point conformal blocks are complicated functions that can be efficiently computed using Alexei Zamolodchikov's recursion relations. If one of the four fields is degenerate, then the corresponding conformal blocks obey BPZ equations. If in particular one the four fields is ${\displaystyle V_{2,1}}$, then the corresponding conformal blocks can be written in terms of the hypergeometric function.

As first explained by Witten, ^[10] the space of conformal blocks of a two-dimensional CFT can be identified with the quantum Hilbert space of a 2+1 dimensional Chern-Simons theory, which is an example of a topological field theory. This connection has been very fruitful in the theory of the fractional quantum Hall effect.

Conformal bootstrap equations

When a correlation function can be written in terms of conformal blocks in several different ways, the equality of the resulting expressions provides constraints on the space of states and on three-point structure constants. These constraints are called the conformal bootstrap equations. While the Ward identities are linear equations for correlation functions, the conformal bootstrap equations depend non-linearly on the three-point structure constants.

For example, a four-point function ${\displaystyle \left\langle V_{1}V_{2}V_{3}V_{4}\right\rangle }$ can be written in terms of conformal blocks in three inequivalent ways, corresponding to using the OPEs ${\displaystyle V_{1}V_{2}}$ (s-channel), ${\displaystyle V_{1}V_{4}}$ (t-channel) or ${\displaystyle V_{1}V_{3}}$ (u-channel). The equality of the three resulting expressions is called crossing symmetry of the four-point function, and is equivalent to the associativity of the OPE. ^[7]

For example, the torus partition function is invariant under the action of the modular group on the modulus of the torus, equivalently ${\displaystyle Z(\tau )=Z(\tau +1)=Z(-{\frac {1}{\tau }})}$. This invariance is a constraint on the space of states. The study of modular invariant torus partition functions is sometimes called the modular bootstrap.

The consistency of a CFT on the sphere is equivalent to crossing symmetry of the four-point function. The consistency of a CFT on all Riemann surfaces also requires modular invariance of the torus one-point function. ^[1] Modular invariance of the torus partition function is therefore neither necessary, nor sufficient, for a CFT to exist. It has however been widely studied in rational CFTs, because characters of representations are simpler than other kinds of conformal blocks, such as sphere four-point conformal blocks.

Examples

Minimal models

Main article: Minimal model (physics)

A minimal model is a CFT whose spectrum is built from finitely many irreducible representations of the Virasoro algebra. Minimal models only exist for particular values of the central charge, ^[4]

${\displaystyle c_{p,q}=1-6{\frac {(p-q)^{2}}{pq}},\qquad p>q\in \{2,3,\ldots \}.}$

There is an ADE classification of minimal models. ^[11] In particular, the A-series minimal model with the central charge ${\displaystyle c=c_{p,q}}$ is a diagonal CFT whose spectrum is built from ${\displaystyle {\tfrac {1}{2}}(p-1)(q-1)}$ degenerate lowest weight representations of the Virasoro algebra. These degenerate representations are labelled by pairs of integers that form the Kac table,

${\displaystyle (r,s)\in \{1,\ldots ,p-1\}\times \{1,\ldots ,q-1\}\qquad {\text{with}}\qquad (r,s)\simeq (p-r,q-s).}$

For example, the A-series minimal model with ${\displaystyle c=c_{4,3}={\tfrac {1}{2}}}$ describes spin and energy correlators of the two-dimensional critical Ising model.

Liouville theory

Main article: Liouville field theory

For any ${\displaystyle c\in \mathbb {C} ,}$ Liouville theory is a diagonal CFT whose spectrum is built from Verma modules with conformal dimensions

${\displaystyle \Delta \in {\frac {c-1}{24}}+\mathbb {R} _{+}}$

Liouville theory has been solved, in the sense that its three-point structure constants are explicitly known. Liouville theory has applications to string theory, and to two-dimensional quantum gravity.

Extended symmetry algebras

In some CFTs, the symmetry algebra is not just the Virasoro algebra, but an associative algebra (i.e. not necessarily a Lie algebra) that contains the Virasoro algebra. The spectrum is then decomposed into representations of that algebra, and the notions of diagonal and rational CFTs are defined with respect to that algebra. ^[4]

Massless free bosonic theories

Main article: Massless free scalar bosons in two dimensions

In two dimensions, massless free bosonic theories are conformally invariant. Their symmetry algebra is the affine Lie algebra ${\displaystyle {\hat {\mathfrak {u}}}_{1}}$ built from the abelian, rank one Lie algebra. The fusion product of any two representations of this symmetry algebra yields only one representation, and this makes correlation functions very simple.

Viewing minimal models and Liouville theory as perturbed free bosonic theories leads to the Coulomb gas method for computing their correlation functions. Moreover, for ${\displaystyle c=1,}$ there is a one-parameter family of free bosonic theories with infinite discrete spectrums, which describe compactified free bosons, with the parameter being the compactification radius. ^[4]

Wess–Zumino–Witten models

Main article: Wess–Zumino–Witten model

Given a Lie group ${\displaystyle G,}$ the corresponding Wess–Zumino–Witten model is a CFT whose symmetry algebra is the affine Lie algebra built from the Lie algebra of ${\displaystyle G.}$ If ${\displaystyle G}$ is compact, then this CFT is rational, its central charge takes discrete values, and its spectrum is known.

Superconformal field theories

The symmetry algebra of a supersymmetric CFT is a super Virasoro algebra, or a larger algebra. Supersymmetric CFTs are in particular relevant to superstring theory.

Theories based on W-algebras

W-algebras are natural extensions of the Virasoro algebra. CFTs based on W-algebras include generalizations of minimal models and Liouville theory, respectively called W-minimal models and conformal Toda theories. Conformal Toda theories are more complicated than Liouville theory, and less well understood.

Sigma models

In two dimensions, classical sigma models are conformally invariant, but only some target manifolds lead to quantum sigma models that are conformally invariant. Examples of such target manifolds include toruses, and Calabi–Yau manifolds.

Logarithmic conformal field theories

Main article: Logarithmic conformal field theory

Logarithmic conformal field theories are two-dimensional CFTs such that the action of the Virasoro algebra generator ${\displaystyle L_{0}}$ on the spectrum is not diagonalizable. In particular, the spectrum cannot be built solely from lowest weight representations. As a consequence, the dependence of correlation functions on the positions of the fields can be logarithmic. This contrasts with the power-like dependence of the two- and three-point functions that are associated to lowest weight representations.

Critical Q-state Potts model

The critical ${\displaystyle Q}$-state Potts model or critical random cluster model is a conformal field theory that generalizes and unifies the critical Ising model, Potts model, and percolation. The model has a parameter ${\displaystyle Q}$, which must be integer in the Potts model, but which can take any complex value in the random cluster model. ^[12] This parameter is related to the central charge by

${\displaystyle Q=4\cos ^{2}(\pi \beta ^{2})\qquad {\text{with}}\qquad c=13-6\beta ^{2}-6\beta ^{-2}\ .}$

Special values of ${\displaystyle Q}$ include: ^[13]

${\displaystyle Q}$	${\displaystyle c}$	Related statistical model
${\displaystyle 0}$	${\displaystyle -2}$	Uniform spanning tree
${\displaystyle 1}$	${\displaystyle 0}$	Percolation
${\displaystyle 2}$	${\displaystyle {\frac {1}{2}}}$	Ising model
${\displaystyle {\frac {3+{\sqrt {5}}}{2}}}$	${\displaystyle {\frac {7}{10}}}$	Tricritical Ising model
${\displaystyle 3}$	${\displaystyle {\frac {4}{5}}}$	Three-state Potts model
${\displaystyle 2+{\sqrt {2}}}$	${\displaystyle {\frac {25}{28}}}$	Tricritical three-state Potts model
${\displaystyle 4}$	${\displaystyle 1}$	Ashkin–Teller model

The known torus partition function ^[14] suggests that the model is non-rational with a discrete spectrum.

References

1. Moore, Gregory; Seiberg, Nathan (1989). "Classical and quantum conformal field theory". Communications in Mathematical Physics. 123 (2): 177–254. Bibcode:1989CMaPh.123..177M. doi:10.1007/BF01238857. S2CID   122836843.
2. Bakalov, Bojko; Kirillov, Alexander (1998-09-10). "On the Lego-Teichmuller game". arXiv: math/9809057 . Bibcode:1998math......9057B.
3. Teschner, Joerg (2017-08-02). "A guide to two-dimensional conformal field theory". arXiv: 1708.00680v2 [hep-th].
4. P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory, Springer-Verlag, New York, 1997. ISBN   0-387-94785-X.
5. Bazhanov, V.; Lukyanov, S.; Zamolodchikov, A. (1996). "Integrable Structure of Conformal Field Theory, Quantum KdV Theory and Thermodynamic Bethe Ansatz". Communications in Mathematical Physics. 177 (2): 381–398. arXiv: hep-th/9412229 . Bibcode:1996CMaPh.177..381B. doi:10.1007/BF02101898. S2CID   17051784.
6. Vafa, Cumrun (1988). "Toward classification of conformal theories". Physics Letters B. Elsevier BV. 206 (3): 421–426. doi:10.1016/0370-2693(88)91603-6. ISSN   0370-2693.
7. Belavin, A.A.; Polyakov, A.M.; Zamolodchikov, A.B. (1984). "Infinite conformal symmetry in two-dimensional quantum field theory" (PDF). Nuclear Physics B. 241 (2): 333–380. Bibcode:1984NuPhB.241..333B. doi:10.1016/0550-3213(84)90052-X. ISSN   0550-3213.
8. Runkel, Ingo; Watts, Gerard M. T. (2020-01-14). "Fermionic CFTs and classifying algebras". Journal of High Energy Physics. 2020 (6): 25. arXiv: 2001.05055v1 . Bibcode:2020JHEP...06..025R. doi:10.1007/JHEP06(2020)025. S2CID   210718696.
9. Moore, Gregory; Seiberg, Nathan (1989). "Naturality in conformal field theory". Nuclear Physics B. Elsevier BV. 313 (1): 16–40. Bibcode:1989NuPhB.313...16M. doi:10.1016/0550-3213(89)90511-7. ISSN   0550-3213.
10. Witten, E. (1989). "Quantum Field Theory and the Jones Polynomial". Comm. Math. Phys. 121 (3): 351. Bibcode:1989CMaPh.121..351W. doi:10.1007/BF01217730. S2CID   14951363.
11. Andrea Cappelli and Jean-Bernard Zuber (2010), "A-D-E Classification of Conformal Field Theories", Scholarpedia 5(4):10314.
12. Fortuin, C.M.; Kasteleyn, P.W. (1972). "On the random-cluster model". Physica. 57 (4): 536–564. doi:10.1016/0031-8914(72)90045-6. ISSN   0031-8914.
13. Picco, Marco; Ribault, Sylvain; Santachiara, Raoul (2016). "A conformal bootstrap approach to critical percolation in two dimensions". SciPost Physics. 1 (1): 009. arXiv: 1607.07224 . Bibcode:2016ScPP....1....9P. doi: 10.21468/SciPostPhys.1.1.009 . S2CID   10536203.
14. Di Francesco, P.; Saleur, H.; Zuber, J.B. (1987). "Modular invariance in non-minimal two-dimensional conformal theories". Nuclear Physics B. 285: 454–480. Bibcode:1987NuPhB.285..454D. doi:10.1016/0550-3213(87)90349-x. ISSN   0550-3213.

Further reading

• P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory, Springer-Verlag, New York, 1997. ISBN   0-387-94785-X.
• Conformal Field Theory page in String Theory Wiki lists books and reviews.
• Ribault, Sylvain (2014). "Conformal field theory on the plane". arXiv: 1406.4290 [hep-th].