Benjamin Haake | Searcharxiv

arXiv2026

Examples of Invertible Gauging via Orbifold Data, Zesting, and Equivariantisation

We study the gauging of invertible symmetries, particularly in 3 dimensions, using equivariantisation, $G$-crossed braided zesting, and the generalised orbifold construction. We discuss how these methods are related and illustrate them in various examples. We cover all $\mathbb{Z}_2$-symmetries in Dijkgraaf--Witten $\mathbb{Z}_2$-gauge theory $\mathcal{D}(\mathbb{Z}_2)$, the $\mathbb{Z}_2$-symmetries described by Tambara--Yamagami categories, and obstructions to gauging the central symmetry in Chern--Simons $\mathrm{SU}(2)_k$-gauge theory. We introduce zested orbifold data for symmetries related by zesting and show that the two associated orbifold data are Morita-equivalent, i.e.\ they have the same underlying surface defect.

hep-th↗

arXiv2025

2-Group Symmetries of 3-dimensional Defect TQFTs and Their Gauging

A large class of symmetries of topological quantum field theories is naturally described by functors into higher categories of topological defects. Here we study 2-group symmetries of 3-dimensional TQFTs. We explain that these symmetries can be gauged to produce new TQFTs iff certain defects satisfy the axioms of orbifold data. In the special case of Reshetikhin-Turaev theories coming from $G$-crossed braided fusion categories $\mathcal C^\times_G$, we show that there are 0- and 1-form symmetries which have no obstructions to gauging. We prove that gauging the 0-form $G$-symmetry on the neutral component $\mathcal C_e$ of $\mathcal C^\times_G$ produces its equivariantisation $(\mathcal C^\times_G)^G$, which in turn features a generalised symmetry whose gauging recovers $\mathcal C_e$. If $G$ is commutative, the latter symmetry reduces to a 1-form symmetry involving the Pontryagin dual group.

math.QA↗