Symmetry TFT: Unified Topological Framework
- Symmetry TFT is a (d+1)-dimensional topological quantum field theory that encodes generalized symmetry content and ’t Hooft anomalies of a d-dimensional quantum field theory.
- It utilizes a BF theory framework with continuous and discrete gauge fields to describe symmetry operators, anomaly inflow, and topological manipulations.
- The formalism unifies non-invertible, higher-form, and categorical symmetries, offering concrete insights into dualities, gauging operations, and boundary condition classifications.
A Symmetry Topological Field Theory (Symmetry TFT, or SymTFT) is a -dimensional topological quantum field theory constructed to encode and unify the generalized symmetry content, ’t Hooft anomalies, and topological manipulations of a -dimensional quantum field theory (QFT). Originally formulated for finite group symmetries, the SymTFT paradigm extends naturally to continuous symmetries, higher-form symmetries, categorical/non-invertible symmetries, and subsystem or modulated symmetries. The formalism not only packages the allowed symmetry operators and their algebras but also gives a uniform framework for anomaly inflow, gauging operations, and even the emergence of non-invertible symmetry phenomena. This article gives a technically comprehensive account of the structure, construction, and implications of symmetry TFTs, drawing on recent advances and explicit constructions for continuous symmetries, as well as their connection to higher-form symmetries, anomalies, and non-invertible phenomena (Antinucci et al., 2024, Brennan et al., 2024).
1. Structure of the Symmetry TFT: Universal BF Theory
The symmetry TFT associated to a continuous -form symmetry in -dimensional QFT is constructed as a -dimensional BF theory:
- For a symmetry, introduce a -form gauge field and a -form real gauge field , subject to the action
- accounts for the background field of the -form symmetry, while is a Lagrange multiplier gauging the dual (magnetic) -form symmetry.
- Variants encode different symmetry types: (compact), (non-compact), for coupled systems with mixed Chern-Simons structure.
- In the continuous symmetry case, topological operators in the bulk are parametrized by continuous real parameters :
Their mutual braiding on linking cycles yields
This structure generalizes the finite group Dijkgraaf-Witten/Turaev-Viro models (Antinucci et al., 2024, Brennan et al., 2024).
2. Symmetry Currents, Topological Operators, and Algebra
The boundary interpretation connects and with the currents of the physical theory:
- couples to the conserved current of the -form symmetry via .
- enforces in the bulk, thus constraining to be flat on the boundary. When is dynamical on the boundary, becomes the background field for the dual symmetry.
The bulk supports a continuous spectrum of topological operators whose algebras are controlled by the BF action, including their linking and, when present, higher-order linking as in the presence of Chern-Simons inflow terms (e.g., triple linking in 5d).
Specialization to discrete subgroups by gauging or background choices reduces the continuous labels to or values, yielding finite-group BF theories and their defects.
3. Boundary Conditions, Anomaly Inflow, and Topological Manipulations
Boundary conditions in the symmetry TFT are a central organizing structure:
- Dirichlet on (fixing flat connection): the boundary QFT has ungauged -form symmetry, and the corresponding topological operators (e.g., Wilson lines) are sharp.
- Neumann on (integrate/sum over ): corresponds to gauging the symmetry, and boundary operators are dual (e.g., 't Hooft defects).
‘t Hooft anomalies for a -form symmetry in dimensions are realized as bulk Chern-Simons terms:
$S_\mathrm{anom}=\begin{cases} \frac{ik}{4\pi} \int_{X_3} A_1 \wedge dA_1 & \text{for 2d chiral $U(1)$ anomaly} \ \frac{ik}{24\pi^2} \int_{X_5} A_1 \wedge dA_1 \wedge dA_1 & \text{for 4d chiral anomaly} \ \cdots \end{cases}$
Anomalies manifest as obstructions to certain gapped boundary conditions: if the bulk-plus-boundary system does not exhibit gauge-invariance for some topological sectors, the symmetry is anomalous and cannot be consistently gauged (Antinucci et al., 2024, Brennan et al., 2024).
All inflow anomaly terms can be combined into a higher-dimensional "Anomaly Polynomial TFT". The boundary condition dictionary for gauging discrete subgroups, and the mapping between boundary gaugings, is encoded in "dynamical gauging" operations: e.g., gluing in new bulk SymTFTs and coupling via mixed terms, which transmutes the TFT to that of the dual magnetic symmetry.
4. Non-invertible Symmetry Realizations: The Chiral Symmetry
Continuous symmetry SymTFTs encode not only ordinary invertible symmetries, but also non-invertible cases. A principal example is the 4d theory with two symmetries and a mixed ABJ anomaly (e.g., dynamically gauged, global, with anomaly ):
- The corresponding 5d action is
After gauging , the SymTFT describes a non-invertible chiral symmetry:
The spectrum includes
Non-invertibility arises because would-be defects of require "dressing" with lower-dimensional TFTs (e.g., minimal or gauge theory), giving rise to condensation defects and non-invertible fusion rules (Antinucci et al., 2024, Brennan et al., 2024).
This framework provides a concrete, uniform realization of non-invertible categorical symmetries in local QFTs, and links to mechanisms such as fusion categories and generalized modular invariants.
5. Generalization to Non-Abelian and Higher-Form Symmetries
The symmetry TFT framework generalizes to non-Abelian continuous groups and to higher-form (or mixed-form) symmetries:
- For non-Abelian , the SymTFT has the schematic BF-type form:
Here is a -connection and is an adjoint -form whose e.o.m. imposes vanishing curvature.
- All familiar features such as global form, 2-group mixing, and discrete quotients can be addressed by coupling to discrete sectors and combining with Turaev-Viro type constructions (Brennan et al., 2024).
Higher-form and mixed-symmetry cases are handled by replacing the connection and Lagrange multiplier fields by differential forms of appropriate degree, with consistent assignment of gauge transformations.
6. Physical and Mathematical Implications
Symmetry TFTs provide a unifying organizational principle for:
- Encoding symmetry defect spectra and their braiding, including the physics of continuous labels, extended operator algebras, and higher-linking invariants.
- Anomaly inflow and the obstruction to symmetry gauging.
- The explicit correspondences between gauging, duality, and condensation of symmetries (including both invertible and non-invertible cases).
- The classification of boundary conditions in symmetry-protected/topological and symmetry-enriched phases by Lagrangian algebras in the bulk topological operator algebra.
- Implementation of the “sandwich” or “relative” construction for the embedding of QFTs as boundary conditions in higher-dimensional topological phases (Antinucci et al., 2024, Brennan et al., 2024).
These structures are essential for the proper formulation of dualities (e.g., electric/magnetic, Kramers-Wannier), understanding constraints on RG flows, and classifying all possible symmetry-enriched and anomaly-laden phases of quantum field theories.
7. Connections to Geometry, String Theory, and Generalizations
Symmetry TFTs are deeply intertwined with geometric engineering in string/M/F-theory:
- Reduction of topological sectors of $11$D supergravity on the link of a singularity yields SymTFTs that encode the full spectrum of higher-form symmetries and anomalies in lower-dimensional field theories (Apruzzi et al., 2021).
- The universal structure and anomaly content match explicit field-theoretic, holographic, and geometric computations in a broad variety of contexts (6D SCFTs, 5D KK theories, etc.).
- The formalism extends, with modification, to lattice modulated, subsystem, and even spacetime symmetries, thus