Abstract:We study the fusion 3-categorical symmetries for quantum theories in (3+1)d with self-duality defects. Such defects have been realized physically by half-space gauging in theories with 1-form symmetries $A[1]$ for an abelian group $A$, and have found applications in the continuum and the lattice. These fusion 3-categories will be called (generalized) Tambara-Yamagami fusion 3-categories $(\mathbf{3TY})$. We consider the Brauer-Picard and Picard 4-groupoids to construct these categories using a 3-categorical version of the extension theory introduced by Etingof, Nikshych and Ostrik. These two 4-groupoids correspond to the construction of duality defects either directly in 4d, or from the 5d Symmetry Topological Field Theory (SymTFT). The Witt group of non-degenerate braided fusion 1-categories naturally appears in the aforementioned 4-groupoids and represents enrichments of standard duality defects by (2+1)d TFTs. Our main objective is to study graded extensions of the fusion 3-category $\mathbf{3Vect}(A[1])$. Firstly, we use invertible bimodule 3-categories and the Brauer-Picard 4-groupoid. Secondly, we use that the Brauer-Picard 4-groupoid of $\mathbf{3Vect}(A[1])$ can be identified with the Picard 4-groupoid of its Drinfeld center. Moreover, the Drinfeld center of $\mathbf{3Vect}(A[1])$, which represents topological defects of the SymTFT, is completely described by a sylleptic strongly fusion 2-category formed by topological surface defects of the SymTFT. These are classified by a finite abelian group equipped with an alternating 2-form. We relate the Picard 4-groupoid of the corresponding braided fusion 3-categories with a generalized Witt group constructed from certain graded braided fusion 1-categories using a twisted Deligne tensor product. We perform explicit computations for $\mathbb{Z}/2$ and $\mathbb{Z}/4$ graded $\mathbf{3TY}$ categories.

Higher Central Charges and Witt Groups

Higher Witt Groups for 2-Categories I: Centralizers

Cartan Invariants for the Witt Superalgebra W(2) in Positive Characteristic

From the global signature to higher signatures

Rational RG flow, extension, and Witt class

On a class of fusion 2-category symmetry: condensation completion of braided fusion category

Classification of certain weakly integral fusion categories

The walled Brauer category and stable cohomology of $\mathrm{IA}_n$

Semistable Higgs bundles, periodic Higgs bundles and representations of algebraic fundamental groups

Polar Brauer categories, infinitesimal braids and Lie superalgebra representations

Higher-order signature cocycles for subgroups of mapping class groups and homology cylinders

A braided monoidal $(\infty,2)$-category of Soergel bimodules

On $\mathbb{Z}/2\mathbb{Z}$ permutation gauging

Tautological characteristic classes II: the Witt class

Weyl group twists and representations of quantum affine Borel algebras

Higher cup products on hypercubic lattices: Application to lattice models of topological phases

Higher Genus FJRW Invariants of a Fermat Cubic

Nondegenerate extensions of near-group braided fusion categories

Integral Metaplectic Modular Categories

Fusion 3-Categories for Duality Defects

Lusztig sheaves and integrable highest weight modules in symmetrizable case