A conformal field theory (CFT) is a quantum field theory that is invariant under conformal transformations. In two dimensions, there is an infinite-dimensional algebra of local conformal transformations, and conformal field theories can sometimes be exactly solved or classified.
Conformal field theory has important applications[1] to condensed matter physics, statistical mechanics, quantum statistical mechanics, and string theory. Statistical and condensed matter systems are indeed often conformally invariant at their thermodynamic or quantum critical points.
In quantum field theory, scale invariance is a common and natural symmetry, because any fixed point of the renormalization group is by definition scale invariant. Conformal symmetry is stronger than scale invariance, and one needs additional assumptions to argue that it should appear in nature. The basic idea behind its plausibility is that local scale invariant theories have their currents given by
T\mu\xi\nu
\xi\nu
T\mu
d
\mu | |
T | |
\mu |
d-1
Under some assumptions it is possible to completely rule out this type of non-renormalization and hence prove that scale invariance implies conformal invariance in a quantum field theory, for example in unitary compact conformal field theories in two dimensions.
While it is possible for a quantum field theory to be scale invariant but not conformally invariant, examples are rare.[2] For this reason, the terms are often used interchangeably in the context of quantum field theory.
The number of independent conformal transformations is infinite in two dimensions, and finite in higher dimensions. This makes conformal symmetry much more constraining in two dimensions. All conformal field theories share the ideas and techniques of the conformal bootstrap. But the resulting equations are more powerful in two dimensions, where they are sometimes exactly solvable (for example in the case of minimal models), in contrast to higher dimensions, where numerical approaches dominate.
The development of conformal field theory has been earlier and deeper in the two-dimensional case, in particular after the 1983 article by Belavin, Polyakov and Zamolodchikov.[3] The term conformal field theory has sometimes been used with the meaning of two-dimensional conformal field theory, as in the title of a 1997 textbook.[4] Higher-dimensional conformal field theories have become more popular with the AdS/CFT correspondence in the late 1990s, and the development of numerical conformal bootstrap techniques in the 2000s.
The global conformal group of the Riemann sphere is the group of Möbius transformations
PSL2(C)
\partial\mu\xi\nu+\partial\nu\xi\mu=\partial ⋅ \xiη\mu,~
\partial\bar{z
\xi(z)
n\partial | |
z | |
z |
Strictly speaking, it is possible for a two-dimensional conformal field theory to be local (in the sense of possessing a stress-tensor) while still only exhibiting invariance under the global
PSL2(C)
\mu | |
T | |
\mu |
Global conformal symmetry in two dimensions is a special case of conformal symmetry in higher dimensions, and is studied with the same techniques. This is done not only in theories that have global but not local conformal symmetry, but also in theories that do have local conformal symmetry, for the purpose of testing techniques or ideas from higher-dimensional CFT. In particular, numerical bootstrap techniques can be tested by applying them to minimal models, and comparing the results with the known analytic results that follow from local conformal symmetry.
See main article: Two-dimensional conformal field theory.
In a conformally invariant two-dimensional quantum theory, the Witt algebra of infinitesimal conformal transformations has to be centrally extended. The quantum symmetry algebra is therefore the Virasoro algebra, which depends on a number called the central charge. This central extension can also be understood in terms of a conformal anomaly.
It was shown by Alexander Zamolodchikov that there exists a function which decreases monotonically under the renormalization group flow of a two-dimensional quantum field theory, and is equal to the central charge for a two-dimensional conformal field theory. This is known as the Zamolodchikov C-theorem, and tells us that renormalization group flow in two dimensions is irreversible.
In addition to being centrally extended, the symmetry algebra of a conformally invariant quantum theory has to be complexified, resulting in two copies of the Virasoro algebra. In Euclidean CFT, these copies are called holomorphic and antiholomorphic. In Lorentzian CFT, they are called left-moving and right moving. Both copies have the same central charge.
The space of states of a theory is a representation of the product of the two Virasoro algebras. This space is a Hilbert space if the theory is unitary.This space may contain a vacuum state, or in statistical mechanics, a thermal state. Unless the central charge vanishes, there cannot exist a state that leaves the entire infinite dimensional conformal symmetry unbroken. The best we can have is a state that is invariant under the generators
Ln\geq
(Ln)n\inZ
L-1,L0,L1
See main article: Conformal symmetry.
For a given spacetime and metric, a conformal transformation is a transformation that preserves angles. We will focus on conformal transformations of the flat
d
Rd
R1,d-1
If
x\tof(x)
\mu | |
J | |
\nu(x) |
=
\partialf\mu(x) | |
\partialx\nu |
\mu | |
J | |
\nu(x) |
=\Omega(x)
\mu | |
R | |
\nu(x), |
\Omega(x)
\mu | |
R | |
\nu(x) |
The conformal group is locally isomorphic to
SO(1,d+1)
SO(2,d)
x\mu\toλx\mu.
This also includes special conformal transformations. For any translation
Ta(x)=x+a
Sa=I\circTa\circI,
I
I\left(x\mu\right)=
x\mu | |
x2 |
.
In the sphere
Sd=Rd\cup\{infty\}
0
infty
infty
0
The commutation relations of the corresponding Lie algebra are
\begin{align}[] [P\mu,P\nu]&=0,\\[] [D,K\mu]&=-K\mu,\\[] [D,P\mu]&=P\mu,\\[] [K\mu,K\nu]&=0,\\[] [K\mu,P\nu]&=η\mu\nuD-iM\mu\nu, \end{align}
where
P
D
K\mu
M\mu\nu
η\mu\nu
In Minkowski space, the conformal group does not preserve causality. Observables such as correlation functions are invariant under the conformal algebra, but not under the conformal group. As shown by Lüscher and Mack, it is possible to restore the invariance under the conformal group by extending the flat Minkowski space into a Lorentzian cylinder. The original Minkowski space is conformally equivalent to a region of the cylinder called a Poincaré patch. In the cylinder, global conformal transformations do not violate causality: instead, they can move points outside the Poincaré patch.
In the conformal bootstrap approach, a conformal field theory is a set of correlation functions that obey a number of axioms.
The
n
\left\langleO1(x1) … On(xn)\right\rangle
xi
O1,...,On
\partial | |
x1 |
\left\langleO1(x1) … \right\rangle=\left\langle
\partial | |
x1 |
O1(x1) … \right\rangle
We focus on CFT on the Euclidean space
Rd
xi ≠ xj
Any conformal transformation
x\tof(x)
O(x)\to\pif(O)(x)
f\to\pif
\left\langle\pif(O1)(x1) … \pif(On)(xn)\right\rangle=\left\langleO1(x1) … On(xn)\right\rangle.
\pif
\Delta
\rho
\pif(O)(x)=\Omega(x')-\Delta\rho(R(x'))O(x'), where x'=f-1(x).
\Omega(x)
R(x)
f
\rho
\pif(O)(x)=\Omega(x')-\DeltaO(x')
\rho
\pif(O\mu)(x)=\Omega(x')-\Delta
\nu(x') | |
R | |
\mu |
O\nu(x')
A primary field that is characterized by the conformal dimension
\Delta
\rho
\Delta
Derivatives (of any order) of primary fields are called descendant fields. Their behaviour under conformal transformations is more complicated. For example, if
O
\pif(\partial\muO)(x)=\partial\mu\left(\pif(O)(x)\right)
\partial\muO
O
The collection of all primary fields
Op
\Deltap
\rhop
The invariance of correlation functions under conformal transformations severely constrain their dependence on field positions. In the case of two- and three-point functions, that dependence is determined up to finitely many constant coefficients. Higher-point functions have more freedom, and are only determined up to functions of conformally invariant combinations of the positions.
The two-point function of two primary fields vanishes if their conformal dimensions differ.
\Delta1 ≠ \Delta2\implies\left\langleO1(x1)O2(x2)\right\rangle=0.
i ≠ j\implies\left\langleOiOj\right\rangle=0
\left\langleO(x1)O(x2)\right\rangle=
1 | ||||||||||||
|
,
\ell
\left\langle
O | |
\mu1,...,\mu\ell |
(x1)
O | |
\nu1,...,\nu\ell |
(x2)\right\rangle=
| ||||||||||||||
|
,
I\mu,\nu(x)
I\mu,\nu(x)=η\mu\nu-
2x\mux\nu | |
x2 |
.
The three-point function of three scalar primary fields is
\left\langleO1(x1)O2(x2)O3(x3)\right\rangle=
C123 | ||||||||||||||||||
|
,
xij=xi-xj
C123
\ell
\left\langleO1(x1)O2(x2)O
\mu1,...,\mu\ell |
(x3)\right\rangle=
| ||||||||||||||||||
|
,
V\mu=
| ||||||||||||||||||||||||||||
|x12||x13||x23| |
.
Four-point functions of scalar primary fields are determined up to arbitrary functions
g(u,v)
u=
| ||||||||||||||||
|
, v=
| ||||||||||||||||
|
.
\left\langle
4O | |
\prod | |
i(x |
i)\right\rangle=
| ||||||||||||||||
|
g(u,v).
The operator product expansion (OPE) is more powerful in conformal field theory than in more general quantum field theories. This is because in conformal field theory, the operator product expansion's radius of convergence is finite (i.e. it is not zero). Provided the positions
x1,x2
x2
The operator product expansion of two fields takes the form
O1(x1)O2(x2)=\sumkc12k(x1-x2)Ok(x2),
where
c12k(x)
If all fields are primary or descendant, the sum over fields can be reduced to a sum over primaries, by rewriting the contributions of any descendant in terms of the contribution of the corresponding primary:
O1(x1)O2(x2)=\sumpC12pPp(x1-x2,\partial
x2 |
)Op(x2),
where the fields
Op
C12p
Pp(x1-x2,\partial
x2 |
)
Viewing the OPE as a relation between correlation functions shows that the OPE must be associative. Furthermore, if the space is Euclidean, the OPE must be commutative, because correlation functions do not depend on the order of the fields, i.e.
O1(x1)O2(x2)=O2(x2)O1(x1)
The existence of the operator product expansion is a fundamental axiom of the conformal bootstrap. However, it is generally not necessary to compute operator product expansions and in particular the differential operators
Pp(x1-x2,\partial
x2 |
)
Using the OPE
O1(x1)O2(x2)
\left\langle
4 | |
\prod | |
i=1 |
Oi(xi)\right\rangle=\sumpC12pCp34
(s) | |
G | |
p |
(xi).
(s) | |
G | |
p |
(xi)
Op
Oi
\left\langleO1O2Op\right\rangle
\left\langleO3O4Op\right\rangle
Op
Using the OPE
O1(x1)O4(x4)
O1(x1)O3(x3)
\left\langle
4 | |
\prod | |
i=1 |
Oi(xi)\right\rangle=\sumpC14pCp23
(t) | |
G | |
p |
(xi) =\sumpC13pCp24
(u) | |
G | |
p |
(xi).
Conformal blocks obey the same conformal symmetry constraints as four-point functions. In particular, s-channel conformal blocks can be written in terms of functions
(s) | |
g | |
p |
(u,v)
O1(x1)O2(x2)
|x12|<min(|x23|,|x24|)
xi
A conformal field theory in flat Euclidean space
Rd
\{(\Deltap,\rhop)\}
\{Cpp'p''\}
A conformal field theory is unitary if its space of states has a positive definite scalar product such that the dilation operator is self-adjoint. Then the scalar product endows the space of states with the structure of a Hilbert space.
In Euclidean conformal field theories, unitarity is equivalent to reflection positivity of correlation functions: one of the Osterwalder-Schrader axioms.
Unitarity implies that the conformal dimensions of primary fields are real and bounded from below. The lower bound depends on the spacetime dimension
d
\Delta\geq
12(d-2). | |
In a unitary theory, three-point structure constants must be real, which in turn implies that four-point functions obey certain inequalities. Powerful numerical bootstrap methods are based on exploiting these inequalities.
A conformal field theory is compact if it obeys three conditions:
\Delta\inR
\Delta
\Delta=0
(The identity field is the field whose insertion into correlation functions does not modify them, i.e.
\left\langleI(x) … \right\rangle=\left\langle … \right\rangle
It is believed that all unitary conformal field theories are compact in dimension
d>2
4-\epsilon
A conformal field theory may have extra symmetries in addition to conformal symmetry. For example, the Ising model has a
Z2
A generalized free field is a field whose correlation functions are deduced from its two-point function by Wick's theorem. For instance, if
\phi
\Delta
\left\langle
4\phi(x | |
\prod | |
i) |
\right\rangle=
1 | |
|x12|2\Delta|x34|2\Delta |
+
1 | |
|x13|2\Delta|x24|2\Delta |
+
1 | |
|x14|2\Delta|x23|2\Delta |
.
\phi1,\phi2
\langle\phi1\phi2\rangle=0
\Delta1 ≠ \Delta2
\langle\phi1(x1)\phi1(x2)\phi2(x3)\phi2(x4)\rangle=
1 | ||||||||||||||
|
.
\phi
\phi
\phi\phi
\phi\phi
\langle\phi\phi\phi\phi\rangle
2\Delta+2N
Similarly, it is possible to construct mean field theories starting from a field with non-trivial Lorentz spin. For example, the 4d Maxwell theory (in the absence of charged matter fields) is a mean field theory built out of an antisymmetric tensor field
F\mu
\Delta=2
Mean field theories have a Lagrangian description in terms of a quadratic action involving Laplacian raised to an arbitrary real power (which determines the scaling dimension of the field). For a generic scaling dimension, the power of the Laplacian is non-integer. The corresponding mean field theory is then non-local (e.g. it does not have a conserved stress tensor operator).
The critical Ising model is the critical point of the Ising model on a hypercubic lattice in two or three dimensions. It has a
Z2
l{M}(4,3)
d\geq4
The critical Potts model with
q=2,3,4, …
Sq
q=2
q
The critical Potts model may be constructed as the continuum limit of the Potts model on d-dimensional hypercubic lattice. In the Fortuin-Kasteleyn reformulation in terms of clusters, the Potts model can be defined for
q\inC
q
The critical O(N) model is a CFT invariant under the orthogonal group. For any integer
N
d=3
N=1
N=1
The O(N) CFT can be constructed as the continuum limit of a lattice model with spins that are N-vectors, discussed here.
Alternatively, the critical
O(N)
\varepsilon\to1
d=4-\varepsilon
\varepsilon=0
N
\Delta=1
0<\varepsilon<1
When N is large, the O(N) model can be solved perturbatively in a 1/N expansion by means of the Hubbard–Stratonovich transformation. In particular, the
N\toinfty
Some conformal field theories in three and four dimensions admit a Lagrangian description in the form of a gauge theory, either abelian or non-abelian. Examples of such CFTs are conformal QED with sufficiently many charged fields in
d=3
d=4
See main article: Phase transition. Continuous phase transitions (critical points) of classical statistical physics systems with D spatial dimensions are often described by Euclidean conformal field theories. A necessary condition for this to happen is that the critical point should be invariant under spatial rotations and translations. However this condition is not sufficient: some exceptional critical points are described by scale invariant but not conformally invariant theories. If the classical statistical physics system is reflection positive, the corresponding Euclidean CFT describing its critical point will be unitary.
Continuous quantum phase transitions in condensed matter systems with D spatial dimensions may be described by Lorentzian D+1 dimensional conformal field theories (related by Wick rotation to Euclidean CFTs in D+1 dimensions). Apart from translation and rotation invariance, an additional necessary condition for this to happen is that the dynamical critical exponent z should be equal to 1. CFTs describing such quantum phase transitions (in absence of quenched disorder) are always unitary.
See main article: String theory. World-sheet description of string theory involves a two-dimensional CFT coupled to dynamical two-dimensional quantum gravity (or supergravity, in case of superstring theory). Consistency of string theory models imposes constraints on the central charge of this CFT, which should be c=26 in bosonic string theory and c=10 in superstring theory. Coordinates of the spacetime in which string theory lives correspond to bosonic fields of this CFT.
See main article: AdS/CFT correspondence. Conformal field theories play a prominent role in the AdS/CFT correspondence, in which a gravitational theory in anti-de Sitter space (AdS) is equivalent to a conformal field theory on the AdS boundary. Notable examples are d = 4, N = 4 supersymmetric Yang–Mills theory, which is dual to Type IIB string theory on AdS5 × S5, and d = 3, N = 6 super-Chern–Simons theory, which is dual to M-theory on AdS4 × S7. (The prefix "super" denotes supersymmetry, N denotes the degree of extended supersymmetry possessed by the theory, and d the number of space-time dimensions on the boundary.)