Topological quantum field theory

Topological quantum field theory
Name	Topological quantum field theory
Discipline	Mathematical physics
Introduced	1988
Key people	Michael Atiyah, Graeme Segal, Edward Witten, Vladimir Turaev, Maxim Kontsevich

Topological quantum field theory is a class of quantum field theories in which correlation functions and observables depend only on topological features of the underlying manifold rather than on local geometric data. Originating from interactions among researchers in Mathematical physics, Differential geometry, Algebraic topology, and Quantum field theory, this subject links constructions from Michael Atiyah, axiomatic formulations by Graeme Segal, and examples from Edward Witten to produce invariants of manifolds and categories. TQFTs are studied both as rigorous mathematical objects and as effective descriptions of physical systems such as topologically ordered phases and anyonic excitations in condensed matter.

Introduction

A TQFT assigns algebraic data to topological spaces in a way compatible with gluing: to a closed (d−1)-manifold it assigns a vector space, and to a d-dimensional cobordism it assigns a linear map between vector spaces. This formulation, axiomatized by Michael Atiyah and influenced by proposals of Graeme Segal and constructions of Edward Witten, provides manifold invariants and functorial correspondences between topology and algebra. Early motivations came from relations to invariants introduced by Vladimir Turaev, state sum models of Konrad Walker and constructions inspired by Maxim Kontsevich and Gelfand–Fuks type ideas.

Mathematical formalism

The Atiyah axioms formulate a TQFT as a symmetric monoidal functor from a cobordism category to the category of finite-dimensional vector spaces. This perspective uses objects and morphisms drawn from Cobordism theory and produces functorial assignments that respect tensor products and duals; it connects to algebraic structures such as Frobenius algebras, modular tensor categories, and Hopf algebras. In two dimensions, the structure corresponds to commutative Frobenius algebras linked to work by Friedrich Hirzebruch and Jean-Pierre Serre in cobordism and characteristic classes. Higher-dimensional axioms employ techniques from Homotopy theory and constructions inspired by Alexander Grothendieck’s ideas on functoriality.

State-sum constructions, notably those inspired by the Turaev–Viro model and the Reshetikhin–Turaev approach built from quantum groups like Vladimir Drinfeld’s quantum enveloping algebras, provide rigorous lattice realizations. The formalism often uses modular tensor categories introduced in the study of conformal blocks associated to Giovanni Felder and Yakov Faddeev-type algebras, while extended TQFT frameworks employ higher categories akin to concepts from Jacob Lurie and John Baez.

Examples and classifications

Prominent examples include three-dimensional TQFTs giving rise to invariants such as the Jones polynomial and Witten’s interpretation via Chern–Simons theory leading to relations with Knot theory and the Alexander polynomial. Two-dimensional TQFTs classify via Frobenius algebras, with relations to the work of Isaac Newton’s legacy in calculus via modern algebraic treatments by Pierre Deligne and Jean-Louis Loday. Four-dimensional examples include Donaldson and Seiberg–Witten type invariants influenced by ideas from Simon Donaldson and Nathan Seiberg, though fully topological four-dimensional field theories require subtleties addressed by researchers such as Edward Witten and Ciprian Manolescu.

Classification results for low-dimensional TQFTs exploit modular tensor categories studied by Alexander Kirillov Jr. and connections to number-theoretic structures explored by Don Zagier and Barry Mazur. State-sum models like Dijkgraaf–Witten theories are classified by group cohomology linked to Kenneth Brown and cohomological methods developed by Henri Cartan lineage.

Physical applications and interpretations

In condensed matter physics, TQFTs model topological phases of matter and anyon statistics relevant to proposals by Frank Wilczek and applications in Quantum computation as envisioned by Alexei Kitaev. Chern–Simons TQFTs capture effective descriptions of the fractional quantum Hall effect studied in experiments connected to laboratories such as Bell Labs and theoretical proposals from Robert Laughlin. TQFTs also appear in low-energy limits of gauge theories studied by Gerard ’t Hooft and play roles in dualities investigated by Edward Witten and Nathan Seiberg in supersymmetric contexts.

Relation to category theory and algebraic topology

TQFTs are inherently categorical: symmetric monoidal functors, modular tensor categories, and higher categories provide the language for rigorous formulations. This connects to the cobordism hypothesis formulated and proved in large part by Jacob Lurie, building on ideas of John Baez and James Dolan. Algebraic topology supplies tools such as generalized cohomology theories, bordism groups traced to work by René Thom and Frank Adams, and homotopical methods developed in the school of J. Peter May.

Computational and experimental aspects

Computationally, state-sum and lattice realizations allow numerical calculations of manifold invariants, while skein-theoretic algorithms based on the Jones polynomial and quantum group methods enable knot invariant computations. Experimental signatures of TQFTs appear in interferometry experiments probing anyonic braiding in systems engineered in institutions like Microsoft Research collaborations and nanofabrication centers at IBM Research. Quantum simulation proposals leverage ideas from Alexei Kitaev and Seth Lloyd to implement TQFT-like dynamics on quantum processors.

Historical development and key contributors

The subject crystallized in the late 1980s and early 1990s with foundational contributions from Michael Atiyah (axioms), Edward Witten (Chern–Simons and physical realizations), and algebraic constructions by Vladimir Turaev and Nicolai Reshetikhin. Subsequent advances came from Graeme Segal, Maxim Kontsevich, Jacob Lurie, and John Baez who developed categorical and homotopical frameworks. Important cross-disciplinary influences include work of Simon Donaldson, Nathan Seiberg, and Alexei Kitaev linking topology to physical phenomena and quantum information.

Category:Mathematical physics