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.

Invariants of r-spin TQFTs and non-semisimplicity

Fully extended $\boldsymbol{r}$-spin TQFTs

Topological field theory on r-spin surfaces and the Arf invariant

The spin-statistics theorem for topological quantum field theories

Quantum Singularity Theory for A_r-1 and R-Spin Theory

Non compact (2+1)-TQFTs from non-semisimple spherical categories

Skein (3+1)-TQFTs from non-semisimple ribbon categories

Topological field theories on open-closed $r$-spin surfaces

Adinkras and Pure Spinors

Invertibility of Condensation Defects and Symmetries of 2 + 1d QFTs

Invariant tensors for the spin representation of so(7)

A mathematical theory of topological invariants of quantum spin systems

$\mathbb Z_2$-Harmonic Spinors and 1-forms on Connected sums and Torus sums of 3-manifolds

Tannakian QFT: from spark algebras to quantum groups

Universal Non-Invertible Symmetries

Non-semisimple topological field theory and $\widehat{Z}$-invariants from $\mathfrak{osp}(1 \vert 2)$

Strange higher-spin topological systems in 3D

Topological Noetherianity of the infinite half-spin representations

Generalized Symmetries in 2D from String Theory: SymTFTs, Intrinsic Relativeness, and Anomalies of Non-invertible Symmetries