nLab
FQFT

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Physics

physics, mathematical physics

Surveys, textbooks and lecture notes

theory (physics), model (physics)

Functorial quantum field theory

functorial quantum field theory

Contents

Contents

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.

Idea

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 Σ 1 and Σ 2 is the same as the path integral over Σ 1 composed with that over Σ 2.

Formalization of sewing and locality in terms of functoriality

It was in

  • Michael Atiyah, Topological quantum field theory, Publications Mathématiques de l’IHÉS, 68 (1988), p. 175-186

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;

  • this property can be conveniently axiomatized by saying that the path integral is a functor from a suitable category whose morphisms are cobordisms to a category of vector spaces.

(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

  • Kevin Walker, TQFTs (pdf)

A pedagogical exposition of the notion of quantum field theory as a functor on cobordisms is in

  • John Baez, Quantum quandaries: a Category-Theoretic perspective (arXiv)

and a review of much of the existing material in the literature is in

  • Bruce H. Bartlett, Categorical Aspects of Topological Quantum Field Theories (arXiv).

The influential work by Moore and Segal on open-closed 2d TFTs is available as

The same topic is studied by Lazariou:

  • C. I. Lazariou?, On the structure of open-closed topological field theory in two dimensions

Non-topological FQFTs (especially conformal)

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

  • Graeme Segal, The definition of conformal field theory, in: Topology, Geometry and quantum field theory, London. Math. Soc. LNS 308, edited by U. Tillmann, Cambridge Univ. Press 2004, 247-343

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.

Extended (multi-tiered) FQFT

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 n-dimensional cobordisms these are glued along (n−1)-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

  • John Baez and Jim Dolan, Higher-dimensional algebra and Topological Quantum Field Theory (arXiv) .

Making this precise involves giving a precise definition of an ∞-category of cobordisms. Several approaches exist, such as

  • Eugenia Cheng and Nick Gurski, Towards an n-category of cobordisms, Theory and Applications of Categories, Vol. 18, 2007, No. 10, pp 274-302. (tac)

or

  • Marco Grandis, Collared cospans, cohomotopy and TQFT (Cospans in Algebraic Topology, II), Dip. Mat. Univ. Genova, Preprint 555 (2007). (pdf)

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

  • Stephan Stolz and Peter Teichner, What is an elliptic object? (pdf).

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

  • Chris Schommer-Pries, The Classification of Two-Dimensional Extended Topological Field Theories, PhD thesis, Berkeley, 2009 (pdf)

see also

(extended) FQFT from background fields: σ-models

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 n-categorical objects to domains of codimension n, 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

  • Jeffrey Morton, Extended TQFTs and Quantum Gravity (arXiv)

and, more generally geometric function theory:

a big advancement in the understanding of extended σ-model QFTs is the discussion in

  • David Ben-Zvi, John Francis, David Nadler, Integral Transforms and Drinfeld Centers in Derived Geometry (arXiv)

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

Super QFT

See

homological FQFT (and TCFT)

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.

duality between algebra and geometry in physics:

algebrageometry
Poisson algebraPoisson manifold
deformation quantizationgeometric quantization
algebra of observablesspace of states
Heisenberg pictureSchrödinger picture
AQFTFQFT
higher algebrahigher geometry
Poisson n-algebran-plectic manifold
En-algebrashigher symplectic geometry
BD-BV quantizationhigher geometric quantization
factorization algebra of observablesextended quantum field theory
factorization homologycobordism representation

Revised on May 15, 2013 00:04:51 by Urs Schreiber (131.174.41.96)
Edit | Back in time (39 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: HomePage, Timeline of category theory and related mathematics, higher category theory, physics, BV-BRST formalism, gnarly problems in physics, 2-spectral triple, bi-brane, brane, conformal field theory, algebra, AQFT, quantum field theory, FQFT, vertex operator algebra, geometry, 2008 changes, generalized tangle hypothesis, smooth Lorentzian space, (infinity,n)-category of cobordisms, multispan, span trace, hyperstructure, extended cobordism, cobordism, Cospans in Algebraic Topology, Jacob Lurie, physicscontents, 2009 January changes, dagger-category, topological T-duality, T-duality, AKSZ sigma-model, supermanifold, why (infinity,1)-categories?, geometric infinity-function theory, sigma-model, GUT, higher algebra, string theory, Chris Schommer-Pries, higher category theory and physics, exercise in groupoidification - the path integral, manifold, string field theory, path integral, Quantization as a Kan Extension, factorization algebra, On the Classification of Topological Field Theories, Dijkgraaf-Witten theory, Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology, orientifold, Green-Schwarz mechanism, FFRS-formalism, topological quantum field theory, local net, Oberwolfach Workshop, June 2009 -- Abstracts, quantum anomaly, cobordism hypothesis, QFT with defects, sphere, gauge theory, electromagnetism, electromagnetic field, Kalb-Ramond field, electric charge, magnetic charge, field strength, Yang-Mills theory, Yang-Mills field, HQFT, integrable system, transversal maps, quantization, geometric quantization, BPS state, cobordism category, 2009 September changes, extended topological quantum field theory, Poisson manifold, classical physics, elliptic cohomology, higher geometry, cobordism cohomology theory, classical mechanics, Riemannian manifold, force, wave, bordism categories following Stolz-Teichner, Gromov-Witten invariants, functorial quantum field theory - contents, Axiomatic field theories and their motivation from topology, Geometric Models for Elliptic Cohomology, (1,1)-dimensional Euclidean field theories and K-theory, geometric model for elliptic cohomology, What is an elliptic object?, (2,1)-dimensional Euclidean field theories and tmf, partition function, (2,1)-dimensional Euclidean field theory, complex supermanifold, modular forms from partition functions, D'Auria-Fre formulation of supergravity, supergravity, classical field theory, Supergravity and Superstrings - A Geometric Perspective, Poisson sigma-model, quantum mechanics, Gregory Moore, action functional, supersymmetry, Lagrangian, Euler-Lagrange equation, Jordan algebra, Chern-Simons theory, quantum harmonic oscillator, perturbation theory, renormalization, Hamiltonian, gravity, gravity as a BF theory, first-order formulation of gravity, Plebanski formulation of gravity, landscape of string theory vacua, Hamiltonian mechanics, Reshetikhin-Turaev construction, spectral triple, multisymplectic geometry, classical limit, topological chiral homology, pseudo-Riemannian manifold, thermodynamics, dilaton, Riemann surface, Banach manifold, 0-dimensional TQFT, Bell's theorem, Birkhoff-von Neumann theorem, Dyson formula, Thom spectrum, gauge fixing, target space, manifold with boundary, S-duality, net of C-star-systems, applications of (higher) category theory, conformal net, tubular neighbourhood, infinity-Chern-Simons theory - contents, Pontrjagin-Thom collapse map, Seiberg-Witten theory, Serre-Swan theorem, canonical morphism, Haag-Kastler axioms, Topological Quantum Field Theories from Compact Lie Groups, entanglement, Wightman axioms, quantum operation, modular theory, supersymmetric quantum mechanics, Bisognano-Wichmann theorem, topological Yang-Mills theory, Isbell duality, density matrix, quantum information, hermitian matrix, Maslov index, Wick rotation, Osterwalder-Schrader theorem, superselection theory, finite quantum mechanics in terms of dagger-compact categories, Geometric and topological structures related to M-branes, semiclassical approximation, Stokes phenomenon, optics, deformation quantization, extremal quantum channel, graphical quantum channel, Gelfand-Naimark-Segal construction, quantum state, Kerr spacetime, string topology, closed time-like curve, standard model of particle physics, observable, phase space, mathematical physics, Thom isomorphism, normal bundle, transgression, smooth manifold, The Dirac Electron, variational calculus, DHR category, Gleason's theorem, books and reviews in mathematical physics, special relativity, Kochen-Specker theorem, PCT theorem, spin-statistics theorem, perturbative quantum field theory, Reeh-Schlieder theorem, n-plectic geometry, general relativity, Lagrangian correspondences and category-valued TFT, 2d TQFT, TCFT, A-model, B-model, state, Fell's theorem, Witten genus, genus, cobordism ring, no-go theorem, black hole, 3-manifold, fermion, boson, manifolds and cobordisms - contents, gauge group, differential cobordism cohomology, Dirac charge quantization and generalized differential cohomology, conserved current, AdS-CFT, Courant sigma-model, Bekenstein-Hawking entropy, generalized second law of thermodynamics, phenomenology, Wess-Zumino-Witten model, beta-gamma system, Schwarzschild spacetime, 11-dimensional supergravity, kilogram, dual heterotic string theory, variational bicomplex, Calabi-Yau object, parallel transport, quantum gravity, Einstein-Hilbert action, Avogadro constant, holographic principle of higher category theory, Kaluza-Klein mechanism, mapping class group, Chern-Simons element, smooth structure, gauge transformation, differentiable manifold, surface, paracompact manifold, gravitino, graviton, BF-theory, cosmological constant, SCFT, electric-magnetic duality, B-bordism, torus, circle, quantization via the A-model, holographic principle, Mathematical Theory of Quantum Fields, Poisson n-algebra, quantum electrodynamics, relativistic particle, Green-Schwarz action functional, Euclidean quantum field theory, Thom's transversality theorem, Stone-von Neumann theorem, plane, symmetric space, mechanical system, Yetter model, (infinity,n)-category of spans, superparticle, Poisson algebra, Landau-Ginzburg model, quantum sheaf cohomology, second quantization, heterotic string theory, kinematics and dynamics, S-matrix, coordinate system, charge sector, Chern-Simons gravity, Haag's theorem, causal locality, string, sewing constraint, photon, time slice axiom, charge of a conserved current, picture of mechanics, path integral as a pull-push transform, atlas, homological quantum field theory, Noether's theorem, diffeomorphism group, reductions deformations resolutions in physics, spinning particle, Peierls bracket, Mathematical Topics Between Classical and Quantum Mechanics, Renormalization and Effective Field Theory, configuration space, effective quantum field theory, complex manifold, Quantization of Gauge Systems, Noether identities, gaugino, Bohr topos, Gruppenpest, gluon, gauge boson, correlator, Three Roles of Quantum Field Theory, fermionic path integral, embedding of smooth manifolds, worldvolume, background field, particle, timelike curve, Lorentz force, Nambu-Goto action, differential T-duality, Einstein equation, infinite-dimensional manifold, submanifold, fundamental particle, superstring, Fermi theory of beta decay, T-fold, Quantum Fields and Strings, second law of thermodynamics, Cauchy surface, self-dual higher gauge theory, what to contribute, mechanics, QCD, Dirac interaction picture, classical state, Jordan-Lie-Banach algebra, Local Quantum Physics -- Fields, Particles, Algebras, spinning string, supersymmetry and Calabi-Yau manifolds, spontaneously broken symmetry, sigma-model -- exposition of classical sigma-models, sigma-model -- exposition of higher gauge theories as sigma-models, sigma-model -- exposition of quantum sigma-models, sigma-model -- exposition of a general abstract formulation, sigma-model -- exposition of second quantization of sigma-models, criticism of string theory, 4-dimensional supergravity, higher geometric quantization, black brane, higher dimensional Chern-Simons theory, c-theorem, contents of contents, hole argument, D-brane, Kapustin-Witten TQFT, instanton, 3-dimensional supergravity, Yang-Mills instanton, moment of inertia, 6d Chern-Simons theory, Characteristic forms and geometric invariants, Yang-Mills instanton Floer homology, vacuum, 6d (2,0)-supersymmetric QFT, universality class, Geometric Algebra, rigid body dynamics, angular momentum, angular velocity, Euler-Arnold equation, Foundations of Mechanics, Hamiltonian dynamics on Lie groups, symplectic field theory, higher symplectic geometry, 3d quantum gravity, symplectic infinity-groupoid, geometric quantization of symplectic groupoids, Wick's lemma, ABJM theory, modular functor, space of states (in geometric quantization), event horizon, Seiberg duality, counterterm, Steady State, effective action functional, collective field theory, false vacuum, flux, higher spin gauge theory, super Yang-Mills theory, 7-dimensional supergravity, N=4 D=4 super Yang-Mills theory, gauged supergravity, higher gauge field, branched manifold, physics resources, Feynman diagram, 2-framing, higher dimensional WZW model, 1-dimensional Chern-Simons theory, 4d WZW model, quantum lattice system, String bordism, minimal coupling, Kirchhoff's laws, Born-Oppenheimer approximation, on-shell recursion, Freund-Rubin compactification, p-adic physics, quantum observable, coset WZW model, 1d WZW model, quantum hadrodynamics, Hopf fibration, braid group statistics, higher electric background charge coupling, M-theory on G2-manifolds, infinite-dimensional Chern-Simons theory, observable universe, generalized Calabi-Yau manifold, N=2 D=4 super Yang-Mills theory, N=4 D=3 super Yang-Mills theory, 3d Chern-Simons theory, factorization homology, convenient manifold, topological automorphic form, teleparallel gravity, thermodynamic limit, Planck's constant, ILH manifold, Isbell duality - table, Stein manifold, spin bordism, framed manifold, signature genus, Kervaire invariant, general covariance, quantum cosmology, Hilbert manifold, technicolor, string phenomenology, Higgs field, The Geometry of Physics - An Introduction, Maxwell's equations, Harmonic oscillator, KLT relations, AGT correspondence, Einstein-Yang-Mills-Dirac-Higgs theory, C-star algebraic deformation quantization, Dirac charge quantization, geometrization conjecture, kinetic action, instanton in QCD, G2-MSSM, magnetic field, MSSM, holomorphic Chern-Simons theory, cosmology, moduli stabilization, scattering amplitude, Turaev-Viro model, standard model of cosmology, open/closed string duality, model (in theoretical physics), particle physics, string theory results applied elsewhere, twistor string theory, quark-gluon plasma, elliptization conjecture, low-dimensional topology, cosmic inflation, Einstein-Maxwell theory, cosmic microwave background radiation, geometric quantization by push-forward, dark matter, higher gauge transformation, Einstein-Yang-Mills theory, geometry of physics, factorization algebra of observables, motivation for higher differential geometry, theory (physics), matter, generalized G2-manifold, confinement, virtual particle, projective manifold, electric field, Liouville integrable system, field (physics), Levin-Wen model, prequantum field theory, super Riemann surface, quark, QFT on non-commutative spacetime, MOND, BPTS-instanton, nuclear force, superposition, Aharonov-Bohm effect, ghost field, duality in physics, 7d Chern-Simons theory, electromagnetic potential, closed manifold, continuum mechanics, 5d Chern-Simons theory, self-dual Yang-Mills theory, non-Hausdorff manifold, electromagnetic field strength, higgsino, 2d Chern-Simons theory, electron, geometric quantization of non-integral forms, prequantum 0-bundle, hyperbolic manifold, Einstein-Yang-Mills-Dirac theory, neutrino, electroweak field, interaction, 4d Chern-Simons theory, Guillemin-Sternberg geometric quantization conjecture, free field theory, extended Lagrangian, renormalization scheme, Factorization algebras in perturbative quantum field theory, Moyal quantization, level (Chern-Simons theory), Chern-Simons invariant, field bundle, effect algebra, local quantum field theory, principle of least action, light, scalar field, Big Bang, W-boson, extended geometric quantization of 2d Chern-Simons theory, quantum decoherence, Hilbert's sixth problem, 4d TQFT, gravitational constant, semiclassical state, phase and phase space in physics, boundary field theory, 1d Dijkgraaf-Witten theory, 3-category of fermionic conformal nets