Dijkgraaf–Witten theory

Dijkgraaf–Witten theory
Name	Dijkgraaf–Witten theory
Field	Topological quantum field theory
Introduced	1990
Introduced by	Robbert Dijkgraaf, Edward Witten

Dijkgraaf–Witten theory is a three-dimensional topological quantum field theory formulated by Robbert Dijkgraaf and Edward Witten that assigns topological invariants to three-manifolds using finite gauge groups. It combines ideas from Chern–Simons theory, group cohomology, and lattice gauge theory to produce exactly solvable models relevant to both mathematical topology and condensed matter physics. The theory influenced subsequent work in topological order, quantum computation, and the classification of symmetry-protected phases studied by institutions such as Institute for Advanced Study and research groups around Massachusetts Institute of Technology.

Introduction

Dijkgraaf–Witten theory was introduced in a paper by Robbert Dijkgraaf and Edward Witten as an exactly solvable model in three dimensions built from a finite gauge group and a cohomology class. The construction draws on prior developments in Chern–Simons theory, the path integral approach used by Richard Feynman, and algebraic topology techniques associated with Henri Poincaré and Emmy Noether. Early applications connected to classification problems pursued at Princeton University and collaborative projects involving Perimeter Institute researchers.

Mathematical formulation

The core data of the theory are a finite group G and a class [ω] in H^3(G, U(1)), where group cohomology computations trace back to work by Samuel Eilenberg and Saunders Mac Lane. The partition function on a closed three-manifold M is a sum over flat G-connections weighted by the evaluation of ω on the associated homotopy data, linking to foundational concepts from Poincaré conjecture-era topology and techniques used in Alexander Grothendieck’s algebraic topology program. The lattice presentation uses triangulations and assigns U(1)-valued 3-cocycles to 3-simplices, invoking methods reminiscent of constructions by John Milnor and René Thom in piecewise-linear topology. State-sum formulations parallel the constructions of Vladimir Turaev and Oleg Viro for quantum invariants of knots and 3-manifolds, while the cohomological input connects to calculations in the tradition of Henri Cartan.

Examples and computations

For G = Z/nZ, explicit cohomology classes in H^3(Z/nZ, U(1)) can be written down and the partition function on lens spaces L(p,q) computed, echoing computations familiar from work on Lens space invariants by John H. Conway and William Thurston. Nonabelian examples such as G = S_3 or G = D_n produce richer invariant spectra, comparable to analyses in studies by Michael Atiyah on topological field theories and by groups at University of California, Berkeley. On manifolds with boundary, the Hilbert spaces are finite-dimensional and can be identified with spaces appearing in lattice models investigated by Xiao-Gang Wen and Paul Fendley.

Relation to topological quantum field theory

Dijkgraaf–Witten theory fits into the axiomatic framework of topological quantum field theory developed by Michael Atiyah and further formalized in work by Graeme Segal and Jacob Lurie. As a 3‑dimensional TQFT, it provides functorial assignments from the Cobordism hypothesis-style category of bordisms to finite-dimensional vector spaces, reflecting categorical structures studied at Institut des Hautes Études Scientifiques and in seminars at Mathematical Sciences Research Institute. The state-sum nature relates to modular tensor categories and constructions by Andrei Kirillov Jr. and Vladimir Drinfeld used in quantum topology.

Connections to group cohomology and category theory

The use of H^3(G, U(1)) places the theory squarely within group cohomology traditions established by Eilenberg–Mac Lane and computational frameworks refined by researchers such as Daniel Quillen. This cohomological datum also admits reinterpretation in terms of braided fusion categories and pointed tensor categories studied by Pavel Etingof and Victor Ostrik. Monoidal category techniques and higher categorical perspectives developed by Jacob Lurie and John Baez help link Dijkgraaf–Witten models to higher gauge theories and the classification of anomalies examined in work at CERN and university research groups worldwide.

Physical interpretations and applications

Physically, Dijkgraaf–Witten models realize topological phases of matter, including symmetry-protected topological phases that were characterized in influential studies by Xiao-Gang Wen and collaborators at Perimeter Institute. They provide exactly solvable lattice Hamiltonians analogous to the Kitaev toric code introduced by Alexei Kitaev and inform proposals for fault-tolerant quantum computation pursued at Google and Microsoft Research. In high-energy contexts, Dijkgraaf–Witten theory offers toy models for studying global anomalies and discrete gauge dynamics relevant to discussions at CERN and in string theory seminars at California Institute of Technology.

Extensions and generalizations

Generalizations include higher-dimensional Dijkgraaf–Witten-type theories classified by higher group cohomology, developments pursued by researchers at Perimeter Institute and Institute for Advanced Study, and continuum higher gauge theories influenced by work of John Baez and Urs Schreiber. Connections to equivariant cohomology, orbifold constructions explored in Edward Witten’s later work, and relations to symmetry-enriched topological orders studied by groups at Harvard University extend the utility of the construction. Categorified and homotopical extensions tie into the broader program of higher TQFTs explored by Jacob Lurie and collaborators.

Category:Topological quantum field theory