Types of quantum field thories
FQFT and cohomology
Functorial quantum field theory, one of the two approaches of axiomatizing quantum field theory. The other is AQFT. FQFT formalizes the Schrödinger picture of quantum mechanics, while AQFT formalizes the Heisenberg picture.
Much work in quantum field theory is based on arguments using the path integral. While in the physics literature this is usually not a well defined object, it is generally assumed to satisfy a handful of properties, notably the sewing laws. These say, roughly, that the path integral over a domain which decomposes into subdomains and is the same as the path integral over composed with that over .
It was in
that it was realized that
this means that this property can be taken as the defining property of the path integral, thereby circumventing the problem of constructing it as an actual integral;
(Strictly speaking, Atiyah’s original article mentions this functor slightly indirectly only.)
All this was originally formalized in the context of topological quantum field theory only. This is the easiest case that already exhibits all the functoriality that is implied by “FQFT” but by far not the only case (see below).
A pedagogical exposition of how the physicist’s way of thinking about the path integral leads to its definition as a functor is given in
A pedagogical exposition of the notion of quantum field theory as a functor on cobordisms is in
and a review of much of the existing material in the literature is in
The influential work by Moore and Segal on open-closed 2d TFTs is available as
The same topic is studied by Lazariou:
This mostly concentrates on topological quantum field theories, those where the path integral depends only on the diffeomorphism class of the domain it is evaluated on. This is the simplest and by far best understood case. But the idea of functorial FQFT is not restricted to this case.
This was realized in
There the notion of 2-dimensional conformal field theory is axiomatized as a functor on a category of 2-dimensional cobordisms with conformal structure.
(Apparently a similar definition has been given by Kontsevich, but never published.) The details of the category of conformal cobordisms can get a bit technical and slight variations of Segal’s original definition may be necessary. The work by Huang and Kong can be regarded as a further refinement and maybe completion of Segal’s program
Yi-Zhi Huang, Geometric interpretation of vertex operator algebras, Proc. Natl. Acad. Sci. USA, Vol 88. (1991) pp. 9964-9968
Liang Kong, Open-closed field algebras Commun. Math. Physics. 280, 207-261 (2008) (arXiv).
A very concrete construction of functorial CFTs (for the special case of rational CFTs) is provided by the FFRS-formalism.
But one notices that the formalization of quantum field theory as a functor on cobordisms encodes only a small aspect of the full sewing law imagined to be satisfied by the path integral: In a 1-category of -dimensional cobordisms these are glued along -dimensional boundaries. One could imagine more generally a formalization where a given cobordism is allowed to be chopped into arbitrary parts of arbitrary co-dimension such that the path integral can still consistently be evaluated on each of these parts.
This leads to the notion of extended quantum field theory, which is taken to be an -functor on an infinity category of extended cobordisms. Early ideas about a formalization of this approach were given in
Making this precise involves giving a precise definition of an -category of cobordisms. Several approaches exist, such as
There is a long-term project by Stephan Stolz and Peter Teichner which originally tried to refine Segal’s 1-functorial formulation of conformal field theory to a 2-functorial extended FQFT, as indicated in
More recently, Mike Hopkins and Jacob Lurie claimed (Hopkins-Lurie on Baez-Dolan) to have found a complete coherent formalization of topological extended FQFT in the context of (infinity,n)-categories using an (infinity,n)-category of cobordisms. This is described in
An explicit account of this for the 2-dimensional case is presented in
In this context Dan Freed is picking up again his old work on higher algebraic structures in quantum field theory, as described in
where he argued that and how the path integral should assign -categorical objects to domains of codimension , and is re-expressing this in the -functorial context. (Freed speaks of multi-tiered QFT instead of extended QFT.)
Freed’s ideas on how an extended or multi-tiered QFT arises from a path integral coming from a given background field were further formalized in the context of “finite” QFTs in
Simon Willerton, The twisted Drinfeld double of a finite group via gerbes and finite groupoids (arXiv)
Bruce Bartlett, On unitary 2-representations of finite groups and topological quantum field theory, PhD thesis, Sheffield (2008) (arXiv)
There are indications that a complete picture of this involves groupoidification
and, more generally geometric function theory:
a big advancement in the understanding of extended -model QFTs is the discussion in
which realizes -models by homming cobordism cospans into the total spaces (realized as infinity-stack) of background fields and regarding the resulting spans as pull-push operators on suitable geometric functions.
A similar approach to bring the old work by Dan Freed mentioned above in contact with the picture of extended functorial QFT and the Baez-Dolan-Lurie structure theorem is
As usual, the problem of constructing FQFT becomes much more tractable when linear approximations are applied. In homological FQFT and in TCFT the Hom-spaces of the cobordism category (the moduli spaces of cobordisms with given punctures/boundaries) are approximated by complexes of chains on them. This leads to formalization of -functorial QFT in the context of dg-algebra.
|Poisson algebra||Poisson manifold|
|deformation quantization||geometric quantization|
|algebra of observables||space of states|
|Heisenberg picture||Schrödinger picture|
|higher algebra||higher geometry|
|Poisson n-algebra||n-plectic manifold|
|En-algebras||higher symplectic geometry|
|BD-BV quantization||higher geometric quantization|
|factorization algebra of observables||extended quantum field theory|
|factorization homology||cobordism representation|