Description
I will describe a uniform construction to gauge a discrete invertible symmetry S in possibly non-topological (D+1)-dimensional quantum systems with higher-categorical and possibly non-invertible symmetries. The symmetry in the theory obtained after gauging contains a sub-category of universal topological defects, which we term as Theta defects. These defects are universal in the sense that they exist in any system that can be obtained by gauging the symmetry S of some other system. These are equivalent to the D-category of lower (<= D dimensional) dimensional quantum systems with S-symmetry. The non-universal symmetry defects within the gauged theory termed Twisted Theta defects correspond to an S-gauging of non-trivial defects in the pre-gauged theory stacked with lower (<= D dimensional) dimensional TQFTs. I will exemplify this construction by gauging invertible 0-form symmetries in quantum theories with 2-categorical symmetries in 2+1 dimensions. The 0-form groups I will discuss will be Z4, Z2 x Z2 and S3.
