Fusion 3-Categories for Duality Defects

=== DRAFT ===

Technical Summary: Fusion 3-Categories for Duality Defects

Problem Statement
The paper addresses the mathematical classification and construction of fusion 3-categories that characterize duality symmetries in (3+1)-dimensional quantum field theories (QFTs). Specifically, it focuses on theories possessing a finite abelian 1-form symmetry $A[1]$ that are self-dual under gauging. While duality symmetries in (1+1)d (generalizing Kramers-Wannier duality) are well-described by Tambara-Yamagami (TY) fusion 1-categories, and (2+1)d analogs by fusion 2-categories, the (3+1)d case requires the framework of fusion 3-categories. The central challenge is to construct these "generalized Tambara-Yamagami" (3TY) categories, which involve non-invertible duality defects, and to understand their categorical structure, including fusion rules and graded extensions, without relying solely on background fields or lattice constructions.

Methodology
The authors employ a dual approach utilizing extension theory for higher fusion categories and the interplay between boundary and bulk (Symmetry Topological Field Theory, or SymTFT) perspectives:

1. Extension Theory via Brauer-Picard 4-Groupoids:

   • The construction of $G$-graded extensions of a fusion 3-category $\mathcal{C}$ is framed via homotopy classes of maps $BG \to B\text{BrPic}(\mathcal{C})$, where $\text{BrPic}(\mathcal{C})$ is the Brauer-Picard space of invertible $\mathcal{C}$-bimodule 3-categories.
   • The primary object of study is $\mathcal{C} = 3\text{Vect}(A[1])$, the fusion 3-category of $A[1]$-graded 3-vector spaces.
   • The authors utilize the equivalence between the Brauer-Picard 4-groupoid of $\mathcal{C}$ and the Picard 4-groupoid of its Drinfeld center $Z(\mathcal{C})$.

2. SymTFT and Drinfeld Centers:

   • The Drinfeld center $Z(3\text{Vect}(A[1]))$ is identified with the category of topological defects in a (4+1)d Dijkgraaf-Witten SymTFT.
   • This center is described as the condensation completion of a sylleptic strongly fusion 2-category, $2\text{Vect}_\varsigma((A \oplus \hat{A})[0])$, where $\varsigma$ is a canonical syllepsis derived from the alternating 2-form on $A \oplus \hat{A}$.

3. Generalized Witt Groups and Crossed Braided Structures:

   • The Picard 4-groupoid of the Drinfeld center is related to a generalized Witt group, $\text{Witt}(A \oplus \hat{A}, \varsigma)$, constructed from $A$-graded braided fusion 1-categories equipped with a twisted Deligne tensor product.
   • The authors introduce crossed braided fusion 3-categories as an intermediate step. They assert that $G$-graded extensions of $\mathcal{C}$ correspond to $G$-crossed braided extensions of $Z(\mathcal{C})$, and that the equivariantization of the latter yields the Drinfeld center of the former.

Key Contributions and Results

• Classification of 3TY Categories:

  • $G = \mathbb{Z}/2$: For $A = \mathbb{Z}/2$, the paper constructs $\mathbb{Z}/2$-graded extensions (3TY categories). The non-trivial graded component is determined by an invertible bimodule 3-category of order 2. These are classified by a non-degenerate braided fusion 1-category $B$ of order 2 in the Witt group, a class $\tau \in H^5(\mathbb{Z}/2; \mathbb{C}^\times)$, and a twist class $\sigma$.
  • $G = \mathbb{Z}/4$: For $A = \mathbb{Z}/n$ with $n > 2$, the duality symmetry is $\mathbb{Z}/4$ rather than $\mathbb{Z}/2$. The authors construct "generalized 3TY" categories as $\mathbb{Z}/4$-graded extensions. The order 4 property arises from invertible bimodules associated with quadratic forms $q$ where the induced bilinear form is anti-symmetric and non-degenerate.

• Explicit Computation of Fusion Rules:

  • The paper derives explicit fusion rules for objects in these extended categories. For the $\mathbb{Z}/4$ case, the fusion of defects in different graded components (e.g., $D^{(1)}_3 \times D^{(1)}_3$) is computed, revealing how they map to condensation defects or other graded components.
  • The fusion rules for $\mathbb{Z}/2$-graded 3TY categories are detailed, showing how stacking 3d TFTs (classified by Witt classes) on top of duality defects generates new defects in the non-trivial graded sector.

• Generalized Witt Group Computations:

  • The authors perform explicit computations for the group $\text{Witt}(\mathbb{Z}/2 \oplus \mathbb{Z}/2, s)$ with a non-trivial syllepsis $s$.
  • They identify the subgroup of pointed objects, $\text{Witt}_{pt}$, and show that the quotient $\text{Witt}_{pt}(\mathbb{Z}/2 \oplus \mathbb{Z}/2, s)/\text{Witt}_{pt}$ (modulo trivial Witt classes) is isomorphic to the symmetric group $S_4$.
  • They explicitly categorize elements of orders 2, 3, and 4 within this group, providing concrete examples of the graded premetric groups that generate them.

• Crossed Braided Extensions:

  • The paper constructs the underlying 3-category for the $\mathbb{Z}/2$-crossed braided extension of the Drinfeld center $Z(3\text{Vect}(\mathbb{Z}/2[1]))$. This involves identifying the specific $B$-central module 2-categories that form the non-trivial graded component.

Significance and Claims
The paper claims to provide a rigorous mathematical framework for understanding duality defects in (3+1)d theories, unpacking categorical structures that were previously only partially understood or realized physically.

• Unification of Perspectives: It establishes a clear correspondence between the boundary extension theory (via Brauer-Picard spaces) and the bulk SymTFT perspective (via Picard spaces of Drinfeld centers), demonstrating how the generalized Witt group naturally arises in this context.
• Explicit Data: Unlike previous works that might rely on abstract existence or lattice realizations, this paper provides explicit cohomological data (obstruction classes in $H^3, H^4, H^5, H^6$) and concrete fusion rules for the resulting 3-categories.
• Novelty in Higher Categories: It extends the Tambara-Yamagami paradigm from 1-categories to 3-categories, highlighting that for $n > 2$, the grading group is $\mathbb{Z}/4$ rather than $\mathbb{Z}/2$, a fact noted in physics literature but here derived categorically.
• Modest Limitations: The authors explicitly state that while they construct the crossed braided extensions and identify the underlying 3-categories, the final step of equivariantization (gauging the 0-form symmetry to obtain the full Drinfeld center of the extended theory) remains a challenge. They leave the explicit construction of the full equivariantized 3-category for future work, noting the difficulty in identifying the specific extensions of module 2-categories involved.

In summary, the paper successfully constructs the graded extension data for duality symmetries in (3+1)d using higher categorical tools, computes specific examples for $\mathbb{Z}/2$ and $\mathbb{Z}/4$ cases, and relates these structures to generalized Witt groups, while acknowledging that the full reconstruction of the SymTFT center via equivariantization is an open technical hurdle.