Symmetry Defect Operators in QFT
- Symmetry defect operators are extended objects in quantum field theory that embody generalized symmetries and classify topological phases.
- They leverage the SymTFT framework and higher category theory to establish bijections between defect charges and gapped boundary conditions.
- These operators facilitate the analysis of fusion rules, anomaly constraints, and symmetry breaking, with applications in duality defects and lattice formulations.
Symmetry defect operators are extended objects in quantum field theory (QFT) and statistical mechanics, intrinsically linked to the modern understanding of generalized symmetries. They serve as both diagnostics and organizational tools for the intricate interplay between symmetries, anomalies, and topological phases in local and nonlocal operator algebras. Their mathematical formulation and physical role are rigorously encoded using higher category theory, topological field theory (TFT), and operator algebra frameworks, leading to a unified classification of defect charges, fusion rules, and anomaly constraints.
1. Generalized Symmetries and the Topological Framework
The concept of symmetry defect operators arises naturally in the formalism of generalized global symmetries, which encompasses not only conventional 0-form symmetries (acting on local point operators) but also q-form symmetries, acting on extended objects of higher codimension (Copetti, 2024). In this scheme, a symmetry is encoded as a fusion category (or higher-fusion category for higher-form symmetries), whose simple objects correspond to topological defect operators of various codimensions.
When a QFT admits a generalized symmetry, the theory supports a class of "codimension- defects" (typically supported on submanifolds of dimension ) on which the symmetry acts nontrivially. The systematic treatment of their charges and fusion algebra is made fully transparent by embedding the QFT into a "Symmetry Topological Field Theory" (Symmetry TFT, or SymTFT) , a -dimensional TFT whose spaces of states, boundary conditions, and operator content encode all representations, fusion data, and anomalies of the symmetry (Copetti, 2024, Kaidi et al., 2022).
2. Characterization of Defect Charges via Symmetry TFT
A distinguished accomplishment of the SymTFT framework is a precise, computable dictionary between defect charges and boundary conditions of the dimensionally reduced TFT. For a codimension- defect in a -dimensional QFT with symmetry category , one considers the following construction (Copetti, 2024):
- Excision: Excision of a small tubular neighborhood around the defect replaces the defect with a boundary condition on .
- Boundary Data: The resulting boundary is denoted .
- Dimensional Reduction: One dimensionally reduces on to obtain a reduced -dimensional SymTFT .
The main result is a bijection:
The higher representations (charges) of of codimension are in one-to-one correspondence with the set of gapped boundary conditions for on .
In particular, Lagrangian algebras in the modular tensor category describing the reduced SymTFT label the possible defect charges; the intersection with the symmetry boundary specifies the spectrum ("symmetry multiplet") of local and extended defect excitations (Copetti, 2024).
3. Fusion, Multiplet Structure, and Symmetry Breaking
The category-theoretic structure underlying symmetry defect operators determines their fusion, condensation, and the action of symmetry lines and junctions:
- Fusion: Fusion of defects corresponds to the tensor product of representations; the fusion rules among boundary conditions in the reduced SymTFT map directly to the fusion of corresponding defect charges.
- Multiplet Structure: The space of operator multiplets living on or attached to the defect is encoded in the category .
- Spontaneous Symmetry Breaking: When contains nontrivial simple objects, some symmetry defects cannot terminate on , realizing spontaneous symmetry breaking on the defect (Copetti, 2024).
This formalism encompasses both invertible and non-invertible (e.g., duality-like) symmetries. In non-invertible cases, the defect symmetry categories are higher-fusion categories, and fusion becomes non-invertible (Heckman et al., 2022, Kaidi et al., 2022).
4. Anomalies and Obstructions to Symmetric Defects
A key insight is the role of 't Hooft anomalies in constraining the realizability of symmetric defects:
- Anomalies and Boundary Conditions: A global symmetry with 't Hooft anomaly precludes the existence of a gapped (fully symmetric) boundary for the SymTFT. Equivalently, a codimension- defect preserving the full symmetry category can be defined if and only if the dimensionally reduced anomaly on vanishes: .
- Anomaly Inflow: Absence of a symmetric boundary forces the defect worldvolume to support an anomaly inflow term, ensuring anomaly matching for all codimensions (Copetti, 2024).
5. Concrete Examples and Computational Methods
The translation of these structural insights into explicit classifications and computations is realized in various scenarios:
(A) Surface Charges and Duality Defects
For 3+1d theories with abelian one-form symmetry and "S-duality," the SymTFT is a 5d twisted Dijkgraaf–Witten theory; reduction on yields a 3d TFT where symmetric surface defects correspond to Lagrangian subgroups invariant under the duality automorphism. The Gukov–Witten operators, their fusion and braiding, and the context for non-invertible duality surfaces are all captured by the boundary algebra of the reduced SymTFT (Copetti, 2024).
(B) Defect Operators and the -Function
The scaling dimensions, -functions, and OPE coefficients of defect operators (creation, domain wall, etc.) are accessible to numerical computations via wavefunction overlaps in lattice regularizations, as demonstrated for the 3d Ising model (Zhou et al., 2023).
6. Operator Algebraic and Geometric Approaches
Alternative frameworks recast the superselection theory of symmetry defects as -crossed braided tensor categories (relevant for 2+1d SET phases), where defect sectors correspond to transportable endomorphisms of the quasi-local operator algebra, and fusion, braiding, and symmetry fractionalization are computed algebraically (Kawagoe et al., 2024). In string-theoretic approaches, brane configurations on noncompact cycles realize both the defects and their dual symmetry operators, encoding the linking and fusion rules geometrically (Heckman et al., 2022).
7. Applications and Outlook
The organizational power of the SymTFT and associated categorical boundary formalism yields:
- Computable and universal classification of defect charges for all codimensions, including both group-like and non-invertible symmetries.
- Systematic treatment of anomalies, symmetry breaking, and the possible infrared (gapped or gapless) phases on defects.
- Interface fusion rules and the assembly of higher categories of extended operators.
- Route to generalizations involving continuous symmetries, more intricate junctions, and analysis of gapless SPTs on defects.
Current and future directions include extending the formalism to mixed discrete/continuous symmetries, higher categorical structures (e.g., 3-representations via reductions on products of spheres), and analysis of defects in intrinsically non-invertible symmetry scenarios (e.g., in strongly coupled conformal and topological phases) (Copetti, 2024, Heckman et al., 2022, Kawagoe et al., 2024).
Table: Summary of Key Correspondences
| Concept | Mathematical Object | Reference |
|---|---|---|
| Codimension- defect charge | Gapped boundary of | (Copetti, 2024) |
| SymTFT construction | -dim. TFT (Drinfeld center of symmetry cat.) | (Copetti, 2024, Kaidi et al., 2022) |
| Anomaly obstruction for symmetric defect | Vanishing of in | (Copetti, 2024) |
| Fusion of defects | Tensor product of boundary module categories | (Copetti, 2024, Kawagoe et al., 2024) |
| Defect operator multiplet structure | Intersection | (Copetti, 2024) |
Symmetry defect operators thus provide the universal organizing principle for how generalized symmetries act on and classify all extended operators in quantum field theories, with far-reaching implications for the structure of phases, anomalies, and topological order.