Abstract:It is well-known that gauging a finite 0-form symmetry in a quantum field theory leads to a dual symmetry generated by topological Wilson line defects. These are described by the representations of the 0-form symmetry group which form a 1-category. We argue that for a d-dimensional quantum field theory the full set of dual symmetries one obtains is in fact much larger and is described by a (d-1)-category, which is formed out of lower-dimensional topological quantum field theories with the same 0-form symmetry. We study in detail a 2-categorical piece of this (d-1)-category described by 2d topological quantum field theories with 0-form symmetry. We further show that the objects of this 2-category are the recently discussed 2d condensation defects constructed from higher-gauging of Wilson lines. Similarly, dual symmetries obtained by gauging any higher-form or higher-group symmetry also form a (d-1)-category formed out of lower-dimensional topological quantum field theories with that higher-form or higher-group symmetry. A particularly interesting case is that of the 2-category of dual symmetries associated to gauging of finite 2-group symmetries, as it describes non-invertible symmetries arising from gauging 0-form symmetries that act on (d-3)-form symmetries. Such non-invertible symmetries were studied recently in the literature via other methods, and our results not only agree with previous results, but our approach also provides a much simpler way of computing various properties of these non-invertible symmetries. We describe how our results can be applied to compute non-invertible symmetries of various classes of gauge theories with continuous disconnected gauge groups in various spacetime dimensions. We also discuss the 2-category formed by 2d condensation defects in any arbitrary quantum field theory.

Diffeomorphism covariance of the canonical Barbero-Immirzi-Holst triad theory

A New Approach to the Study of Noether Invariants and Symmetry Algebras

Counting Lattice Points by means of the Residue Theorem

Diffeomorphism Symmetry in Quantum Gravity Models

Trace and diffeomorphism anomalies of the classical Liouville theory, Virasoro algebras, Weyl-gauging and all that

Homotopy Invariant in Time-Reversal and Twofold Rotation Symmetric Systems

Exploring Non-Invertible Symmetries in Free Theories

Diffeomorphism invariance of geometric descriptions of Palatini and Ashtekar gravity

Manifestly covariant canonical quantization of gravity and diffeomorphism anomalies in four dimensions

Diffeomorphisms of the 4-sphere, Cerf theory and Montesinos twins

Universal Non-Invertible Symmetries

Generalized Symmetries and Anomalies of 3d N=4 SCFTs

A generalized 4d Chern-Simons theory

Anomalies of Non-Invertible Symmetries in (3+1)d

Generalized symmetries and anomalies of 3d $\mathcal{N}=4$ SCFTs

The geometry of W3 algebra: a twofold way for the rebirth of a symmetry

Four-manifolds and Symmetry Categories of 2d CFTs

Kac-Moody symmetry in the light front of gauge theories

Unifying Constructions of Non-Invertible Symmetries

Exact Diffeomorphism in Warped Space

(3+1)D path integral state sums on curved U(1) bundles and U(1) anomalies of (2+1)D topological phases