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.

Central extensions of higher groups: Green-Schwarz mechanism and 2-connections

2-Group Symmetries and M-Theory

On deformation quantization of the space of connections on a two manifold and Chern Simons Gauge Theory

Higher Geometric Structures on Manifolds and the Gauge Theory of Deligne Cohomology

Quantum Groups as Global Symmetries II. Coulomb Gas Construction

Chern correspondence for higher principal bundles

Berry Connections for 2d $(2,2)$ Theories, Monopole Spectral Data & (Generalised) Cohomology Theories

Quantum Groups as Global Symmetries

Higher-group symmetry of (3+1)D fermionic $\mathbb{Z}_2$ gauge theory: logical CCZ, CS, and T gates from higher symmetry

A tale of 2-groups: D$_p$(USp(2N)) theories

One-form symmetries and the 3d $\mathcal{N}=2$ $A$-model: Topologically twisted indices and CS theories

0-Form, 1-Form and 2-Group Symmetries via Cutting and Gluing of Orbifolds

Multi-boundary Entanglement in Chern-Simons Theory with Finite Gauge Groups

Non-invertible and higher-form symmetries in 2+1d lattice gauge theories

Schur Quantization and Complex Chern-Simons theory

5d 2-Chern-Simons theory and 3d integrable field theories

Field theories with higher-group symmetry from composite currents

An operator algebraic approach to symmetry defects and fractionalization

Universal mechanism of (semi-classical) deconfinement and theta-dependence for all simple groups

Universal Non-Invertible Symmetries

Symmetries from outer automorphisms and unorthodox group extensions