nLab
topological quantum field theory

Context

Quantum field theory

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

A topological quantum field theory is a quantum field theory which – as a functorial quantum field theory – is a functor on a flavor of the (∞,n)-category of cobordisms Bord n SBord_n^S, where the n-morphisms are cobordisms without any non-topological further structure SS – for instance no Riemannian metric structure – but possibly some “topological structure”, such as Spin structure or similar.

For more on the general idea and its development, see FQFT and extended topological quantum field theory.

Remark

Often topological quantum field theories are just called topological field theories and accordingly the abbreviation TQFT is reduced to TFT. Strictly speaking this is a misnomer, which is however convenient and very common. It should be noted, however, that TQFTs may have classical counterparts which would better deserve to be called TFTs. But they are not usually.

Non-topological QFTs

In contrast to topological QFTs, non-topological quantum field theories in the FQFT description are nn-functors on nn-categories Bord n SBord^S_n whose morphisms are manifolds with extra SS-structure, for instance

Examples

Homotopy QFTs

These somehow lie between the previous two types. There is some simple extra structure in the form of a ‘characteristic map’ from the manifolds and bordisms to a ‘background space’ XX. In many of the simplest examples, this is taken to be the classifying space of a group, but this is not the only case that can be considered. The topic is explored more fully in HQFT.

Literature

An introduction to 2D TQFTs can be found in

  • Joachim Kock, Frobenius algebras and 2D topological quantum field theories, No. 59 of LMSST, Cambridge University Press, 2003., (full information here).

Further literature includes:

On the cobordism theorem:

Revised on May 2, 2014 01:45:13 by Urs Schreiber (185.37.147.12)