nLab
extended topological quantum field theory

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

Context

Functorial Quantum Field Theory

functorial quantum field theory

Contents

Physics

physics

Contents

Idea

Extended quantum field theory (or many-tiered quantum field theory) is the higher categorical version of functorial quantum field theory:

whereas

  • 1-categorical TQFT may be regarded as a rule that allows one to compute topological invariants Z(Σ) assigned to d-dimensional manifolds by cutting these manifolds into a sequence {Σ i} of d-dimensional composable cobordisms with (d−1)-dimensional boundaries ∂Σ i, e.g. Σ=Σ 2∐ ∂Σ 1=∂Σ 2Σ 1, then assigning quantities Z(Σ i) to each of these and then composing these quantities in some way, e.g. as Z(Σ)=Z(Σ 2)∘Z(Σ 1);

we have that

  • in extended TQFT Z(Σ) may be computed by decomposing Σ into d-dimensional pieces with piecewise smooth boundaries, whose boundary strata are of arbitrary codimension k.

For that reason extended QFT is also sometimes called local or localized QFT. In fact, the notion of locality in quantum field theory is precisely this notion of locality. And, as also discussed at FQFT, this higher dimensional version of locality is naturally encoded in terms of n-functoriality of Z regarded as a functor on a higher category of cobordisms.

The category of extended cobordisms

The definition of a j-cobordism is recursive. A (j+1)-cobordism between j-cobordisms is a compact oriented (j+1)-dimensional smooth manifold with corners whose the boundary is the disjoint union of the target j-cobordism and the orientation reversal of the source j-cobordism. (The base case of the recursion is the empty set, thought of as a (−1)-dimensional manifold.)

nCob d is an n-category with smooth compact oriented (d−n)-manifolds as objects and cobordisms of cobordisms up to n-cobordisms, up to diffeomorphism, as morphisms.

There are various suggestions with more or less detail for a precise definition of a higher category nCob n of fully extended n-dimensional cobordisms.

A very general (and very natural) one consists in taking a further step in categorification: one takes n-cobordisms as n-morphisms and smooth homotopy classes of diffeomorphisms beween them as (n+1)-morphisms. Next one iterates this; see details at (∞,n)-category of cobordisms.

See

Definition

Fix a base ring R, and let C be the symmetric monoidal n-category of n-R-modules.

An n-extended C-valued TQFT of dimension d is a symmetric n-tensor functor Z:nCob d→C that maps

  • smooth compact oriented d-manifolds to elements of R
  • smooth compact oriented (d−1)-manifolds to R-modules
  • cobordisms of smooth compact oriented (d−1)-manifolds to R-linear maps between R-modules
  • smooth compact oriented (d−2)-manifolds to R-linear additive categories
  • cobordisms of smooth compact oriented (d−2)-manifolds to functors between R-linear categories
  • etc …
  • smooth compact oriented (d−n)-manifolds to R-linear (n−1)-categories
  • cobordisms of smooth compact oriented (d−n)-manifolds to (n−1)-functors between R-linear (n−1)-categories

with compatibility conditions and gluing formulas that must be satisfied… For instance, since the functor Z is required to be monoidal, it sends monoidal units to monoidal units. Therefore, the d-dimensional vacuum is mapped to the unit element of R, the (d−1)-dimensional vacuum to the R-module R, the (d−2)-dimensional vacuum to the category of R-modules, etc.

Here n can range between 0 and d. This generalizes to an arbitrary symmetric monoidal category C as codomain category.

Examples

n=1 gives ordinary TQFT.

The most common case is when R=ℂ (the complex numbers), giving unitary ETQFT.

The most common cases for C are

  • C=nHilb(R), the category of n-Hilbert spaces? over a topological field R. As far as we know this is only defined up to n=2.
  • C=nVect(R), the category of n-vector spaces over a field R.
  • C=nMod(R), the (conjectured?) category of n-modules? over a commutative ring R.

Construction of ETQFT’s

  • By generators and relations

  • By path integrals (this is Daniel Freed’s approach)

  • By modular tensor n-categories?

Classification of ETQFT’s

Assume Z:nCob d→nVect(R) is an extended TQFT. Since Z maps the (d−1)-dimensional vacuum to R as an R-vector space, by functoriality Z is forced to map a d-dimensional closed manifold to an element of R. Iterating this argument, one is naturally led to conjecture that, under the correct categorical hypothesis, the behaviour of Z is enterely determined by its behaviour on (d−n)-dimensional manifolds. See details at cobordism hypothesis.

Relation of ETQFT to AQFT

See Urs Schreiber, AQFT from n-functorial QFT.

More on extended QFTs is also at

References

With an eye towards the full extension of Chern-Simons theory:

I changed references to bordism here into references to cobordisms, since there's also a notion of bordism (a back-formation) as dual to cobordism, which is not what we want. (Also Wikipedia implies that ‘bordism’ is a mass noun while ‘cobordism’ is a count noun, and these are count nouns, for what that's worth.) —Toby

Rafael: I obviously used a linear category in the definition as C instead of a general C. Do anyone know how to generalize it? Neither do i know the compatibility conditions and gluing formulas, any good explicit references?

Rafael: I am very tired because it is very late. Please check and expand this page, i am not counting very good with my eyes half closed neither am i an expert on ETQFT.

Urs Schreiber: notice that I had a bit on extended QFT over at FQFT. Maybe some of the material needs to be merged. i have now at least added links back and forth.

Rafael: Yes, for the merge. I think of a subsection here construction of ETQFTs and a pointer to the relation between ETQFT to AQFT. I also think you are much better to include the construction of ETQFTs in Nonabelian cocycles and their sigma model QFTs than me.

Revised on January 22, 2012 01:08:24 by Urs Schreiber (82.113.99.227)
Edit | Back in time (21 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: HomePage, Timeline of category theory and related mathematics, physics, BV-BRST formalism, 2-spectral triple, brane, conformal field theory, AQFT, quantum field theory, FQFT, generalized tangle hypothesis, smooth Lorentzian space, (infinity,n)-category of cobordisms, extended cobordism, Jacob Lurie, physicscontents, topological T-duality, T-duality, AKSZ sigma-model, sigma-model, string theory, higher category theory and physics, path integral, On the Classification of Topological Field Theories, Dijkgraaf-Witten theory, orientifold, Green-Schwarz mechanism, FFRS-formalism, topological quantum field theory, quantum anomaly, cobordism hypothesis, QFT with defects, gauge theory, electromagnetism, electromagnetic field, Kalb-Ramond field, electric charge, magnetic charge, Yang-Mills theory, Yang-Mills field, HQFT, integrable system, quantization, geometric quantization, cobordism category, 2009 September changes, extended topological quantum field theory, classical physics, classical mechanics, 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, (2,1)-dimensional Euclidean field theories and tmf, (2,1)-dimensional Euclidean field theory, 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, action functional, supersymmetry, Lagrangian, Euler-Lagrange equation, Jordan algebra, Chern-Simons theory, 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, thermodynamics, dilaton, 0-dimensional TQFT, Bell's theorem, Dyson formula, gauge fixing, target space, S-duality, net of C-star-systems, conformal net, Haag-Kastler axioms, Topological Quantum Field Theories from Compact Lie Groups, Wightman axioms, quantum operation, modular theory, supersymmetric quantum mechanics, Bisognano-Wichmann theorem, topological Yang-Mills theory, density matrix, quantum information, hermitian matrix, Maslov index, Osterwalder-Schrader theorem, superselection theory, quantum mechanics in terms of dagger-compact categories, Geometric and topological structures related to M-branes, Stokes phenomenon, optics, deformation quantization, graphical quantum channel, quantum state, Kerr spacetime, standard model of particle physics, observable, phase space, mathematical physics, The Dirac Electron, variational calculus, DHR category, Gleason's theorem, books and reviews in mathematical physics, Kochen-Specker theorem, PCT theorem, spin-statistics theorem, Reeh-Schlieder theorem, general relativity, 2d TQFT, TCFT, A-model, B-model, state, Fell's theorem, no-go theorem, black hole, fermion, boson, gauge group, Dirac charge quantization and generalized differential cohomology, conserved current, AdS-CFT, Courant sigma-model, Bekenstein-Hawking entropy, generalized second law of thermodynamics, Wess-Zumino-Witten model, Schwarzschild spacetime, 11-dimensional supergravity, kilogram, dual heterotic string theory, variational bicomplex, Calabi-Yau object, quantum gravity, Einstein-Hilbert action, Avogadro constant, holographic principle of higher category theory, Kaluza-Klein mechanism, gauge transformation, gravitino, graviton, BF-theory, cosmological constant, SCFT, electric-magnetic duality, quantization via the A-model, holographic principle, Mathematical Theory of Quantum Fields, quantum electrodynamics, relativistic particle, Green-Schwarz action functional, Euclidean quantum field theory, Stone-von Neumann theorem, Yetter model, superparticle, Landau-Ginzburg model, quantum sheaf cohomology, second quantization, heterotic string theory, kinematics and dynamics, S-matrix, charge sector, Haag's theorem, causal locality, string, sewing constraint, photon, time slice axiom, charge, picture of mechanics, path integral as a pull-push transform, homological quantum field theory, Noether's theorem, 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, Quantization of Gauge Systems, Noether identities, gaugino, Bohr topos, Gruppenpest, gluon, gauge boson, Three Roles of Quantum Field Theory, fermionic path integral, worldvolume, background gauge field, particle, timelike curve, Lorentz force, Nambu-Goto action, differential T-duality, Einstein equation, 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, 4-dimensional supergravity, black brane, higher dimensional Chern-Simons theory, c-theorem, contents of contents, Kapustin-Witten TQFT, instanton, 3-dimensional supergravity, Yang-Mills instanton, moment of inertia, 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, modular functor, Seiberg duality, 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, physics resources, higher dimensional WZW model, 1-dimensional Chern-Simons theory, 4d WZW model, p-adic physics, quantum observable, coset WZW model, 1d WZW model, quantum hadrodynamics, observable universe