Introduction to Generalized Symmetries

Abstract: These notes were prepared for a series of intensive lectures delivered at Hokkaido University, Nagoya University, Kyoto University, and Kyushu University. We begin with a brief review of higher-form symmetries, anomalies, and discrete gauge theories, before introducing non-invertible symmetries in $(1+1)$-dimensional systems. The basic structure of fusion categories is then discussed, including a discussion of categorical analogs of discrete gauging and representation theory. We subsequently turn to $(3+1)$-dimensional theories, where several physical applications of non-invertible symmetries are discussed. These notes are intended to be largely self-contained, and require no prior familiarity with subjects such as conformal field theory or lattice models.

• The paper introduces a framework for generalized symmetries that extends traditional QFT symmetry to encompass higher-form, discrete, and non-invertible symmetries.
• The paper systematically employs categorical and cohomological methods to analyze topological defect operators, symmetry TFTs, and associated anomaly inflow.
• The paper validates its framework through concrete examples like the Ising model, demonstrating fusion rules and constraints that emerge in non-invertible settings.

Introduction to Generalized Symmetries: An Expert Overview

The paper "Introduction to Generalized Symmetries" (2603.08798) serves as a comprehensive and technically rigorous review of recent advances in the theory and classification of symmetries well beyond the conventional group-theoretic paradigm. It covers the structure and roles of higher-form symmetries, discrete gauge theories, categorical and fusion algebraic frameworks for non-invertible symmetries, and the practical realization of these concepts in quantum field theory (QFT), lattice models, and topological quantum field theory (TQFT).

From Conventional to Generalized Symmetries

Standard continuous and discrete symmetries in QFT are encoded as global group actions, with local conservation laws derived from Noether's theorem. The associated conserved currents yield topological symmetry operators supported on codimension-1 manifolds. This group-centric framework, while broadly useful, is insufficient for encompassing the recent discoveries that certain QFTs and lattice systems possess symmetry structures whose generators lack inverses—non-invertible symmetries—which profoundly affect the theory’s dynamics and operator content.

This work systematically develops the transition from ordinary ($p=0$) symmetries to higher-form ($p>0$) analogs that act on extended objects (such as line and surface operators), with gauge theories coupled to higher-form background fields and defined by generalized Ward identities. The identification of such symmetries has elucidated the structure of strongly-coupled gauge theories and provided new insights into constraints from 't Hooft anomalies and dualities.

Higher-form and Higher-group Symmetries

For a $p$-form symmetry with associated $(p+1)$-form current, one constructs topological defect operators on codimension-$(p+1)$ submanifolds, acting nontrivially on charged $p$-dimensional objects via topological linking. In Maxwell theory, $U(1)_E^{(1)}$ and $U(1)_M^{(1)}$ one-form symmetries act on Wilson and 't Hooft loops, respectively, with nontrivial mixed 't Hooft anomalies captured elegantly by 5d inflow action.

The generalization to higher-groups is encoded by nontrivial extensions between symmetries of distinct form degrees, with background gauge transformations mixing currents of varying $p$. The paper presents explicit constructions, such as theories with simultaneous $\mathbb{Z}_2$ zero-form and one-form symmetries possessing nontrivial extension classes, leading to higher-group symmetry structures. These are tightly constrained by anomaly inflow and cohomological data.

Discrete Gauge Theory and Cohomological Descriptions

The treatment of discrete gauge theory in this review is mathematically robust, invoking explicit cochain and cocycle formulations. The BF theory construction realizes discrete $\mathbb{Z}_n$ $p$-form gauge theories and their dualities, with boundary conditions and local operator content systematically classified. The paper elucidates the role of Bockstein homomorphism in characterizing cohomological obstructions and discrete anomalies, shedding light on the deep algebraic-topological structure underlying discrete gauge symmetry in QFT.

Moreover, the discrete gauging process is precisely formulated in terms of sums over transition function meshing, directly mapping to the insertion of symmetry defect networks in the path integral, interpolating between the orbifold and non-orbifold (ungauged) sectors.

Non-invertible Symmetries and Fusion Categories

A major focus of the notes is the formal structure of non-invertible symmetries as encoded in fusion categories, which generalize group multiplication to fusion rules possibly admitting multi-object decompositions under fusion, with no requirement for matrix inverses. In $1+1$ dimensions, non-invertible topological defect lines and their fusion encode deep constraints on the spectrum and duality properties of the theory.

Crucially, these notes detail how such category-theoretic symmetries, including Tambara-Yamagami categories and the Ising fusion category, generate non-group-like fusion rules. The pentagon identity for associators is presented as the key coherence condition, with proper attention given to projective fusion data and anomaly cohomology classes.

The process of discrete gauging is generalized in this framework: unitary (separable symmetric Frobenius) algebra objects in fusion categories replace subgroup averaging, with Morita equivalence defining universality classes of such gaugings. The self-duality of the critical Ising model is shown to emerge from the presence of a non-invertible duality generator, underpinned by the structure of the Ising fusion category, and explicitly realized through a half-gauged mesh construction.

Symmetry TFT, Anomaly Inflow, and Representation Theory

The review provides a modern, boundary-centric perspective on anomalies and representation theory using the symmetry TFT ("SymTFT") construction. For any generalized symmetry $\mathcal{C}$, the (2+1)d bulk TQFT encodes the categorical symmetry data; its allowed boundary conditions label distinct (twisted, gauged, etc.) variants of the QFT. Line operators in the bulk SymTFT—corresponding to objects in the Drinfeld center $Z(\mathcal{C})$—furnish the correct analog of symmetry representations, including both untwisted and twisted sectors.

All discrete (and certain mixed) anomalies manifest in the bulk as nontrivial self-braiding or topological spins of lines. For instance, theories with nontrivial Dijkgraaf-Witten twists manifest as bulk double semion TQFTs, for which not all lines can be absorbed at the boundary, directly reflecting anomaly obstruction in the boundary anomaly-matching locus.

Numerical Results, Structural Insights, and Contradictions

The categorical formalism delineated here produces sharp numerical predictions:

• For the Ising model, all fusion multiplicities and quantum dimensions agree with lattice and CFT computations, such as the quantum dimension $\sqrt{2}$ for the non-invertible operator.
• The completeness with which non-invertible duality operators classify dualities (e.g., Kramers-Wannier) is backed by exact identities obtained via categorical and cohomological methods.
• It is shown that all higher-form symmetries must be Abelian, in marked contrast to zero-form symmetries, a consequence of spatial topology.

The notes also clarify previously ambiguous notions, such as the definition of twisted sectors, bulk-boundary correspondence for anomalies, and the physical content of topological operator algebra.

Implications and Future Developments

The categorical and higher-form generalization of symmetry has profound consequences for both practical and foundational physics:

• It enables the classification and construction of nontrivial phases (SPTs, SETs) beyond those achievable via traditional group symmetries.
• Non-invertible symmetries and their associated defect networks impose robust selection rules and operator constraints in interacting and emergent models, with applications in constraining RG flows, deducing possible dualities, and identifying anomalous symmetry patterns in conformal and topological phases.
• The relation of categorical symmetry to topological defect condensation and the algebraic classification of gaugings opens the possibility for systematic extensions in non-Lagrangian QFTs, modular tensor categories, and the modular bootstrap.
• The presented frameworks provide fertile ground for generalizing to higher-dimensions, including symmetry-enriched TQFTs, and interacting higher groupoid actions, and for the analysis of nontrivial phenomena such as non-invertible time-reversal symmetry, topological order, and anyon condensation.

Going forward, the rigorous understanding of quantum phases via their symmetry TFTs, the interplay between higher anomalies and duality symmetries, and the full landscape of gaugings and module categories associated to non-invertible fusion categories represents a central axis of research. Applications span from condensed matter (symmetry-enriched phases, lattice models) to high-energy theory (conformal bootstrap, duality webs, anomalies in nonperturbative QFT), and will undoubtedly guide developments in future quantum matter and quantum information studies.

Conclusion

This review serves as a technically complete and authoritative survey of generalized and non-invertible symmetries, coherently integrating cohomological, gauge-theoretic, and categorical perspectives. Its synthesis of operator-algebraic and geometric-topological frameworks provides a comprehensive toolkit for the modern study of symmetries in quantum field and lattice theories, addressing both their mathematical foundations and their implications for dualities, anomalies, and quantum phases. The theoretical infrastructure described here sets the standard for ongoing and future work in both theoretical physics and mathematics seeking to uncover and exploit the full richness of symmetry far beyond the confines of group theory.