BF theory

BF theory
Name	BF theory
Field	Theoretical physics
Introduced	1980s
Related	Topological quantum field theory, Chern–Simons theory, General relativity

BF theory BF theory is a class of topological quantum field theories introduced in the 1980s that pair a connection field with a bivector field to produce action functionals invariant under large families of gauge transformations. The theory has close ties to Edward Witten, Michael Atiyah, Graeme Segal, Simon Donaldson, and developments in topological quantum field theory that connect to knot invariants, manifold invariants, and quantization programs. BF models have been applied in contexts ranging from discrete approaches to loop quantum gravity to relations with Chern–Simons theory and serve as a testing ground for techniques in functional integration, gauge fixing, and algebraic topology.

Introduction

BF theory arises in the study of gauge-invariant actions formulated on a principal bundle with structure group such as SU(2), SO(3,1), SL(2,C), or U(1). Early mathematical structures influencing BF constructions include work by Atiyah–Bott on moduli of flat connections, results by Graeme Segal on field theories, and insights from Witten on topological quantum field theories. Researchers such as Thiemann, Rovelli, Baez, Smolin, and Ponzano investigated BF models for insights into discrete quantization, spin foam models, and state-sum invariants. The formulation connects to classical results in differential geometry by Cartan, Élie Cartan, and later developments by Chern and Simons.

Mathematical formulation

The basic BF action on an n-dimensional manifold M couples a Lie-algebra-valued (n−2)-form B to the curvature F(A) of a connection A on a principal G-bundle, where G may be SU(N), SO(N), Spin(N), or U(1). Mathematically, BF constructions draw on techniques from Hodge theory, de Rham cohomology, and the theory of principal bundles as developed by Kobayashi–Nomizu. The field equations enforce flatness conditions similar to the moduli problems considered by Atiyah–Bott and yield moduli spaces related to representation varieties studied by Culler–Shalen and Goldman. Gauge symmetries involve both ordinary gauge transformations from groups like Gauge Group of G and additional shift symmetries reminiscent of structures in the work of Noether and BRST cohomology developed by Becchi, Rouet, Stora, and Tyutin.

Examples and variants

Standard examples include abelian BF theory with structure group U(1) and nonabelian BF theory with groups such as SU(2), SL(2,R), or SO(3,1). Variants include massive deformations related to the Proca mechanism, coupling to matter fields studied by Kugo and Ojima, and higher-form generalizations connected to p-form electrodynamics investigated by Henneaux and Teitelboim. Discrete versions include Turaev–Viro type state-sum models inspired by work of Turaev and Viro, and spin foam formulations influenced by Perez, Baez, Barrett, and Crane. Topological twists and dimensional reductions relate BF theory to Donaldson theory, Seiberg–Witten theory, and two-dimensional models examined by Gawedzki and Kontsevich.

Quantization and path integral

Quantization approaches for BF theory employ path integral methods pioneered in contexts by Faddeev–Popov and the BRST framework of Becchi–Rouet–Stora and Tyutin. Perturbative quantization yields expansions tied to Feynman diagrammatics used by Feynman and renormalization insights by Wilson and Zimmermann, while nonperturbative quantizations use combinatorial state-sum constructions developed by Turaev, Viro, Reshetikhin–Turaev, and Barrett–Westbury. Canonical quantization connects to the loop representation championed by Rovelli and Smolin and algebraic methods by Ashtekar and Isham. Regularization techniques borrow from the heat kernel methods of Seeley and DeWitt and from spectral flow analyses by Atiyah–Patodi–Singer.

Relationship to gravity and topological field theories

Constrained BF models produce formulations equivalent to classical gravity in dimensions three and four through imposition of simplicity constraints as explored by Plebanski, Holst, and Immirzi. In three dimensions BF theory with gauge group ISO(2,1) or SO(2,1) reproduces 3D gravity results elucidated by Witten and Deser–Jackiw–'t Hooft. In four dimensions constrained BF constructions underpin spin foam models by Barrett–Crane, EPRL, and FK and engage with canonical variables developed by Ashtekar–Barbero and investigations by Thiemann. Connections to other topological theories, notably Chern–Simons theory on manifolds with boundary and Rozansky–Witten theory, reflect deep relationships uncovered by Elitzur, Moore, and Seiberg.

Observables and invariants

Observables in BF theory include Wilson loop-like holonomy functionals and surface observables associated to the B-field, analogous to constructions studied by Wilson and Polyakov. Expectation values compute topological invariants related to Reidemeister torsion and Ray–Singer analytic torsion as developed by Reidemeister and Ray–Singer. State-sum evaluations yield manifold invariants connected to Reshetikhin–Turaev and Turaev–Viro invariants, and to quantum group constructions of Drinfeld and Jimbo. Knot and link invariants appearing in BF-related boundary theories trace to the work of Jones, Kauffman, and Witten on knot polynomials.

Applications and physical implications

BF theory underlies discrete quantum gravity proposals studied by Ponzano–Regge and has influenced canonical and covariant quantization programs pursued by Rovelli, Smolin, Perez, and Baez. In condensed matter physics, BF actions appear in effective descriptions of topological phases such as fractional quantum Hall effect models analyzed by Laughlin and Wen, and in descriptions of topological order investigated by Kitaev and Sato. BF constructions serve as toy models in discussions of holography influenced by Maldacena and Susskind, and provide arenas for testing dualities inspired by Seiberg–Witten duality and Montonen–Olive duality. Mathematical applications touch geometric representation theory pursued by Beilinson–Drinfeld and quantization of moduli spaces studied by Goldman and Fock–Rosly.

Category:Topological quantum field theory