nLab conformal field theory

Redirected from "conformal field theories".
Contents

Context

Algebraic QFT

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Functorial QFT

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

Recall that a TQFT is an FQFT defined on the (,n)(\infty,n)-category of cobordisms whose morphisms are plain cobordisms and diffeomorphisms between these.

In a conformal quantum field theory the cobordisms are equipped with a conformal structure (a Riemannian metric structure modulo pointwise rescaling): conformal cobordisms.

A conformal field theory (CFT) is accordingly a functor on such a richer category of conformal cobordisms. See the discussion at FQFT for more details.

The conformally invariant quantum field theories have fields for whom the correlation functions have a specific behaviour accounting for the conformal dimension of the fields. This kind of constraints coming from conformal invariance, leads to constraints on the possible behaviour of correlation functions; this has being formulated in 1971 by Polyakov as a conformal bootstrap program: the conformal invariance should be sufficient to classify consistent conformal QFTs directly from the analysis of symmetries, rather than computing the Feynman diagram perturbation series from some action functional; this avoids the usual problems with regularization and renormalization.

Precisely in 2-dimensions is the representation theory of the conformal group exceptionally interesting. In d>2d \gt 2, the global transformations, i.e. the elements of the conformal group, are given by the Poincare algebra, dilations and special conformal transformations. In 22 dimensions, there are additionaly infinitely many local generators of conformal transformations whose commutation relations are given by the Virasoro algebra. This circumstance enables Belavin, Polyakov and Zamolodchikov to make a breakthrough in the bootstrap program in 1984 (what also helped a 1984-1985 revolution in string theory). There are well-developed tools for handling the theory locally (conformal nets, vertex operator algebras) and at least in the rational conformal field theory case there are complete classification results for the full theories (defined on cobordisms of all genera).

For this reason often in the literature the term “CFT” often implicitly refers to 2d CFT.

22-dimensional conformal field theories have two major applications:

  • they describe critical phenomena on surfaces in condensed matter physics;

  • they are the building blocks used in string theory

In the former application it is mostly the local behaviour of the CFT that is relevant. This is encoded in vertex operator algebras.

In the string theoretic applications the extension of the local theory to a full representation of the 2d conformal cobordism category is crucial. This extension is called solving the sewing constraints .

Abstract

In the definition paragraph we will show how to define a conformal field theory using the axiomatic approach of Wightman resp. Osterwalder-Schrader. There are several approaches to axiomatically define conformal field theory, the said approach is not the most “popular” or “elegant” one. There are two reasons to consider the Wightman approach however: If one is already familiar with the Wightman approach, it helps to put conformal field theories into context. The second reason is that several notions often used by physicists can be easily and rigorously defined and explained using this approach. Therefore, it may serve as a bridge between mathematicians and physics literature.

2d CFT on the plane

Definition in Terms of the Osterwalder-Schrader Axioms

A definition of conformal field theories can be formulated using the appropriate version of the Osterwalder–Schrader axioms, that is by a system of axioms of the correlation functions. From the correlation functions it is then possible to deduce the existence of field operators in the sense of the Wightman axioms, that is fields aka field operators are operator valued distributions. Both the Hilbert space and the field operators are therefore not defined in the axioms, but reconstructed from the correlations functions defined in the first three axioms.

Let

M n:={(z 1,...,z n) n:z iz jforij} M_n := \{(z_1, ..., z_n) \in \mathbb{C}^n : z_i \neq z_j \; \text{for} \; i \neq j \}

be the space of configuration points. Let B 0B_0 be a countable index set and B:= nB 0 nB := \bigcup_{n \in \mathbb{N}} B_0^{n}.

The correlation functions are a family (G i) iB(G_i)_{i \in B} of continuous and polynomially bound functions

G i 1,...,i n:M n G_{i_1, ..., i_n}: M_n \to \mathbb{C}
Axiom 1

locality

For all indexes (i 1,...,i n)(i_1, ..., i_n), configuration points (z 1,...,z n)(z_1, ..., z_n) and permutations π:{1,...,n}{1,...,n}\pi: \{1,..., n \} \to \{1,..., n \} one has

G (i 1,...,i n)(z 1,...,z n)=G (π(i 1),...,π(i n))(π(z 1),...,π(z n)) G_{(i_1,..., i_n)}(z_1,..., z_n) = G_{(\pi(i_1),..., \pi(i_n))}(\pi(z_1),..., \pi(z_n))

In this context, covariance is meant with respect to the Euclidean group E=E 2E = E_2.

Axiom 2

covariance

For every index iB 0i \in B_0 there are conformal weights h i,h i¯h_i, \overline{h_i} \in \mathbb{R} (h i¯\overline{h_i} is completly independent from h ih_i, it is not the complex conjugate, this notation is widly used in the physics literature so we use it here, too) such that for n1n \ge 1, wEw \in E and w i:=w(z i)w_i := w(z_i), h j:=h i jh_j := h_{i_j} one has

G (i 1,...,i n)(z 1,z i¯,...,z n,z n¯)=(dwdz(z j)) h j(dwdz(z j)¯) h j¯G (i 1,...,i n)(w 1,w 1¯...,w n,w n¯) G_{(i_1,..., i_n)}(z_1, \overline{z_i}, ..., z_n, \overline{z_n}) = \prod (\frac{dw}{dz} (z_j))^{h_j} (\overline{\frac{dw}{dz}(z_j)})^{\overline{h_j}} G_{(i_1,..., i_n)}(w_1, \overline{w_1}..., w_n, \overline{w_n})

The s i:=h ih i¯s_i := h_i - \overline{h_i} are called conformal spin (for the index ii) and d i:=h i+h i¯d_i := h_i + \overline{h_i} is the scaling dimension. As an axiom 2.2 we assume that all conformal spins and scaling dimensions are integers.

For the next axiom, which is about reflection positivity, we need some notation:

We write zz \in \mathbb{C} as z=t+iyz = t + iy and identify yy as the space coordinate and tt as (imaginary) time. So, time reflection θ\theta is simply:

θ: \theta: \mathbb{C} \to \mathbb{C}
θ:z=t+iyt+iy=z¯ \theta: z = t + iy \mapsto -t + iy = - \overline{z}

Let 𝒮( n)\mathcal{S}(\mathbb{C}^n) be the space of Schwartz functions and

M n +:={(z 1,...,z n)M n:Re(z i)>0} M_n^+ := \{ (z_1, ..., z_n) \in M_n: \operatorname{Re}(z_i) \gt 0 \}
𝒮 0 +:= \mathcal{S}_0^+ := \mathbb{C}
𝒮 n +:={f𝒮( n):Supp(f)M n +} \mathcal{S}_n^+ := \{f \in \mathcal{S}(\mathbb{C}^n): \operatorname{Supp}(f) \subset M_n^+ \}

Finally let 𝒮 +̲\underline{ \mathcal{S}^+ } the space of all sequences f̲=(f i) iB\underline{f} = (f_i)_{i \in B} with f i𝒮 n +f_i \in \mathcal{S}_n^+ fpr iB 0 ni \in B_0^n with only finitely many entries 0\ne 0.

Axiom 3

reflection positivity

There is a map

*:B 0B 0 *: B_0 \to B_0

with * 2=id B 0*^2 = id_{B_0} that extends to a map

*:BB *: B \to B
*:ii * *: i \mapsto i^*

so that

  1. G i(z)=G i *(θ(z))=G i *(z¯)G_i(z) = G_{i^*}(\theta(z)) = G_{i^*}(- \overline{z})

  2. f̲,f̲0\langle \underline{f}, \underline{f} \rangle \ge 0 for all f̲𝒮 +̲\underline{f} \in \underline{\mathcal{S}^+}

The scalar product f̲,f̲\langle \underline{f}, \underline{f} \rangle is defined as

i,jB,m,n M n+mG i *j(θ(z 1),...,θ(z n),w 1,...,w n)f i(z)¯f j(w)d nzd mw \sum_{i, j \in B, m, n \in \mathbb{N} } \int_{M_{n+m}} G_{i^* j} (\theta(z_1), ...,\theta(z_n), w_1, ..., w_n) \overline{f_i(z)} f_j(w) d^n z d^m w
Proposition

Both a Hilbert space and the field operators of the theory can be (re-) constructed from axioms 1, 2 and 3.

TODO: Details

Axiom 4

scaling covariance

The correlation functions satisfy the covariance condition also for dilatations w(z)=e t(t),tw(z) = e^t (t), t \in \mathbb{R}.

Explicitly, the last condition says that

G i(z 1,...,z n)=(e t) h 1+h 1¯+...+h n+h n¯G i(e t(z 1),...,e t(z n)) G_i(z_1, ..., z_n) = (e^t)^{h_1 + \overline{h_1} +...+ h_n + \overline{h_n}} G_i(e^t(z_1), ..., e^t(z_n))

Given axioms 1-4, the 2-point functions can be fully classified, see below.

Axiom 5

existence of the energy-momentum tensor

There are four fields T μ,ν,μ.ν{0,1}T_{\mu, \nu}, \mu. \nu \in \{0, 1\} with the following properties:

Symmetry:

T μ,ν=T ν,μ,T μ,ν(z) *=T ν,μ(θ(z)) T_{\mu, \nu} = T_{\nu, \mu}, \; T_{\mu, \nu}(z)^* = T_{\nu, \mu}(\theta (z))
tT μ,0+ yT μ,1=0 \partial_t T_{\mu, 0} + \partial_y T_{\mu, 1} = 0

T μ,νT_{\mu, \nu} has scaling dimension 2 and the conformal spin ss is restricted by

s(T 00T 11±2iT 01)=±2 s(T_{00} - T_{11} \pm 2i \; T_{01}) = \pm 2

The energy momentum tensor allows us to define two densly defined operators L n,L n¯L_{-n}, \overline{L_{-n}} that both define unitary representations of the Virasoro algebra.

Proposition

Lüscher & Mack 1975

T is holomorphic. Therefore, the operators

L n:=12πi |ζ|=1T(ζ)ζ n+1dζ L_{-n} := \frac{1}{2 \pi i} \oint_{| \zeta | = 1} \frac{T(\zeta)}{\zeta^{n+1}} d\zeta

and

L n¯:=12πi |ζ|=1T¯(ζ)ζ n+1dζ \overline{L_{-n}} := \frac{1}{2 \pi i} \oint_{| \zeta | = 1} \frac{\overline{T}(\zeta)}{\zeta^{n+1}} d\zeta

are well defined and satisfy the commutation relations of two commuting Virasoro algebras with the same central charge.

Definition

primary field

A conformal field ψ i,iB 0\psi_i, i \in B_0, is called a primary field if

[L n,ψ i]=z n+1 zψ i(z)+h i(n+1)z nψ i(z) [L_n, \psi_i] = z^{n+1} \partial_z \psi_i(z) + h_i (n+1) z^n \psi_i(z)

and likewise for z¯\overline{z}.

So, primary fields are the fields whose correlation functions are covariant “infinitesimally” with respect to all holomorphic functions, the “infinitesimal symmetry” expressed in the definition.

The fields are operator valued distributions and cannot be multiplied in general. The possibility of multiplication of fields evaluated at different points and some control of the singularities of this product are part of the axioms of conformal field theory:

Pseudodefinition

operator product expansion

An operator product expansion (OPE) for a family of fields means that there is for all fields and all z 1z 2z_1 \neq \z_2 a relation of the form

ψ i(z 1)ψ j(z 2) kB 0C ijk(z 1z 2) h kh ih jψ k(z 2) \psi_i(z_1) \psi_j(z_2) \sim \sum_{k \in B_0} C_{ijk} (z_1 - z_2)^{h_k - h_i - h_j} \psi_k(z_2)

Here \sim means modulo regular functions.

A rigorous interpretation of an OPE would interpret the given relation as a relation of e.g. matrix elements or vacuum expectation values.

An OPE is called associative if the expansion of a product of more than two fields does not depend on the order of the expansion of the products of two factors. Since the OPE has no interpretation as defining products of operators, or more generally the product in a ring, the notion of associativity does not refer to the associativity of a product in a ring, as the term may suggest.

Axiom 6

existence of associative operator product expansion

The primary fields have an associative OPE.

Many formal calculations of physicists in CFT involving OPE can be justified by using vertex operator algebras, so that vertex operator algebras have become a standard way to formulate CFT.

Properties

Proposition

Any 2-point function satisfying axioms 1-4 has the following form:

G ij(z 1,z 2)=C ij(z 1z 2) (h i+h j)(z 1¯z 2¯) (h i¯+h j¯) G_{ij}(z_1, z_2) = C_{ij} (z_1 - z_2)^{-(h_i + h_j)} (\overline{z_1} - \overline{z_2})^{-(\overline{h_i} + \overline{h_j})}

with some constant C ijC_{ij} \in \mathbb{C}.

2d CFT on surfaces or arbitrary genus

Conformal anomaly

The Liouville cocycle appears when one moves from genuine representations of 2-dimensional conformal cobordisms to projective representations. The obstruction for such a projective representation to be a genuine representation is precisely given by the central charge cc; when c0c\neq 0, one says that the conformal field theory has a conformal anomaly.

CFT in AQFT language

In AQFT conformal field theory is modeled in terms of local nets that are conformal nets.

Full versus chiral CFT

some discussion of full vs. chiral CFT goes here… then:

The following result establishes which pairs of vertex operator algebras can appear as the left and right chiral parts of a full field algebra in the sense of (Huang-Kong 05), etc. (see vertex operator algebra).

Definition

Two modular tensor categories CC and DD are said to have the same Witt class if there exist two spherical categories SS and TT such that we have an equivalence of ribbon categories

C𝒵(S)D𝒵(T) C \boxtimes \mathcal{Z}(S) \simeq D \boxtimes \mathcal{Z}(T)

Here 𝒵(S)\mathcal{Z}(S) is the category whose objects are pairs (Z,z)(Z, z) consisting of an object ZSZ \in S and a natural isomorphism z X:ZXXZz_X : Z \otimes X \stackrel{\simeq}{\to} X \otimes Z, such that for al objects X,YSX, Y \in S we have

ZXY z XY XYZ z xId Idz y 1 XZY \array{ Z \otimes X \otimes Y &&\stackrel{z_{X \otimes Y}}{\to}&& X \otimes Y \otimes Z \\ & {}_{\mathllap{z_x \otimes Id}}\searrow && \nearrow_{Id \otimes \mathrlap{z_y^{-1}}} \\ && X \otimes Z \otimes Y }

This becomes a monoidal category itself by setting

(Z,z)(W,w):=(ZW,zw). (Z,z) \otimes (W,w) := (Z \otimes W, z \otimes w) \,.
Theorem

(Michael Müger)

If SS is a spherical category then 𝒵(S)\mathcal{Z}(S) is a modular tensor category.

Theorem

(Michael Müger)

If CC is a modular tensor category then there is an equivalence of ribbon categories

𝒵CC¯ \mathcal{Z} \stackrel{\simeq}{\leftarrow} C \boxtimes \bar C

An inverse functor is explicitly constructed by (Jin-Cheng Guu) and (Ying Hong Tham?) in (Guu, Tham 21) using graphical calculus. The functor exists for the non-modular case, but it is then just an ambidextrous adjoint.

Examples

References

General

The mathematical axioms of CFT, as well as its relevance for surface phenomena goes back to

Monographs:

See also:

With emphases on braid group representations constituted by conformal blocks via the Knizhnik-Zamolodchikov equation:

  • Toshitake Kohno, Conformal field theory and topology, transl. from the 1998 Japanese original by the author. Translations of Mathematical Monographs 210. Iwanami Series in Modern Mathematics. Amer. Math. Soc. (2002) [AMS:mmono-210]

Introduction and surveys:

For a discussion of mathematical formalization (vertex operator algebras, conformal nets, functorial QFT) see

For a survey of perspectives in CFT with an eye towards string theory see various contributions in

Discussion in relation to the AdS-CFT correspondence:

CFT on complex curves/surfaces of arbitrary genus

For chiral 2d CFT:

Formulation by conformal nets

For further references see conformal net.

Formulation in full AQFT

Formulation in full AQFT on curved spacetimes:

D=2D=2 CFT as functorial field theory

Discussion of D=2 conformal field theory as a functorial field theory, namely as a monoidal functor from a 2d conformal cobordism category to Hilbert spaces:

  • Graeme Segal, The definition of conformal field theory, in: K. Bleuler, M. Werner (eds.), Differential geometrical methods in theoretical physics (Proceedings of Research Workshop, Como 1987), NATO Adv. Sci. Inst., Ser. C: Math. Phys. Sci. 250 Kluwer Acad. Publ., Dordrecht (1988) 165-171 [[doi:10.1007/978-94-015-7809-7]]

and including discussion of modular functors:

  • Graeme Segal, Two-dimensional conformal field theories and modular functors, in: Proceedings of the IXth International Congress on Mathematical Physics, Swansea, 1988, Hilger, Bristol (1989) 22-37.

  • Graeme Segal, The definition of conformal field theory, in: Ulrike Tillmann (ed.), Topology, geometry and quantum field theory , London Math. Soc. Lect. Note Ser. 308, Cambridge University Press (2004) 421-577 [[doi:10.1017/CBO9780511526398.019, pdf, pdf]]

General construction for the case of rational 2d conformal field theory is given by the

See also:

A different but closely analogous development for chiral 2d CFT (vertex operator algebras, see there for more):

Discussion of the case of Liouville theory:

Early suggestions to refine this to an extended 2-functorial construction:

A step towards generalization to 2d super-conformal field theory:

Discussion of 2-functorial chiral 2d CFT:

Formulation by algebra in modular tensor categories

For full CFT, The special case of rational CFT has been essentially entirely formalized and classified. The classification result for full rational 2d CFT was given by Fjelstad–Fuchs–RunkelSchweigert

Last revised on July 31, 2024 at 19:51:02. See the history of this page for a list of all contributions to it.