Abstract:Following the general theory of categorified quantum groups developed by the author previously (<a class="link-https" data-arxiv-id="2304.07398" href="https://arxiv.org/abs/2304.07398">arXiv:2304.07398</a>), we construct the 2-Drinfel'd double associated to a finite group $N=G_0$. For $N=\mathbb{Z}_2$, we explicitly compute the braided 2-categories of 2-representations of certain version of this 2-Drinfel'd double, and prove that they characterize precisely the 4d toric code and its spin-$\mathbb{Z}_2$ variant. This result relates the two descriptions (categorical vs. field theoretical) of 4d gapped topological phases in existing literature and, perhaps more strikingly, displays the first ever instances of higher Tannakian duality for braided 2-categories. In particular, we show that particular twists of the underlying 2-Drinfel'd double is responsible for much of the higher-structural properties that arise in 4d topological orders.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the mathematical description of topological phases and their excited states in the 4 - dimensional Kitaev model. Specifically, the author hopes to reveal the structure and properties of 4 - dimensional topological phases by constructing the Drinfel’d double 2 - algebra $D(\mathbb{B}\mathbb{Z}_2)$ of the finite group $\mathbb{Z}_2$ and studying its 2 - representation 2 - category $2\text{Rep}(D(\mathbb{B}\mathbb{Z}_2))$. ### Main problems 1. **Constructing the Drinfel’d double 2 - algebra**: - Construct the Drinfel’d double 2 - algebra $D(\mathbb{B}\mathbb{Z}_2)$ of the finite group $\mathbb{Z}_2$. - Explicitly calculate the tensor product and braiding structure of the 2 - representation 2 - category $2\text{Rep}(D(\mathbb{B}\mathbb{Z}_2))$ of $D(\mathbb{B}\mathbb{Z}_2)$. 2. **Description of the 4 - dimensional Kitaev model**: - Define the “Monster 2 - BF theory” related to $D(\mathbb{B}\mathbb{Z}_2)$ and construct its partition function on 4 - manifolds. - Introduce additional topological action terms and explain them as twists of the $D(\mathbb{B}\mathbb{Z}_2)$ symmetry. 3. **Properties of excited states**: - Study the excited states of the 4 - dimensional Kitaev model (without twists) by explicitly calculating the braiding and singlet/fusion structures in $2\text{Rep}(D(\mathbb{B}\mathbb{Z}_2))$. - Prove that the 4 - dimensional Kitaev model (without twists) cannot describe any non - degenerate gapped topological phase because the symmetric Müger center $Z_2(2\text{Rep}(D(\mathbb{B}\mathbb{Z}_2)))$ is non - trivial. 4. **Properties after introducing twists**: - Re - examine the fusion rules and braiding structures by introducing twists. - Prove the braiding equivalence relationship between the 2 - representation 2 - category of the twisted version of the Drinfel’d double 2 - algebra $D(\mathbb{B}\mathbb{Z}_2)$ and the two braided singlet 2 - categories $R$ and $S$ studied in the literature. ### Specific formulas - **Construction of the Drinfel’d double 2 - algebra**: - The tensor product and braiding structure of the 2 - representation 2 - category $2\text{Rep}(D(\mathbb{B}\mathbb{Z}_2))$ of $D(\mathbb{B}\mathbb{Z}_2)$. - For example, for $y\in\mathbb{Z}_2$ and $x\in\mathbb{Z}_2$, we have: \[ \Delta_{-1}(y)=y\otimes y,\quad\Delta^1_0(x)=x\otimes x,\quad\Delta_0(x)=p(x)\otimes x + x\otimes p(x) \] - **Partition function of the 4 - dimensional Kitaev model**: - The partition function $Z(X)$ can be expressed as: \[ Z(X)=\sum_{A,\Sigma}\exp\left(\int_X\text{Tr}(F\wedge\Sigma)\right) \] - where $A$ is the connection form and $\Sigma$ is the 2 - connection form.

2-Drinfel'd double symmetry of the 4d Kitaev model

Categorical Quantum Groups and Braided Monoidal 2-Categories

The Center of Monoidal Bicategories in 3+1D Dijkgraaf-Witten Theory

Knot invariants and higher representation theory I: diagrammatic and geometric categorification of tensor products

Electric-magnetic duality and $\mathbb{Z}_2$ symmetry enriched Abelian lattice gauge theory

Boundary algebras of the Kitaev Quantum Double model

Cotorsion pairs and t-structures in a 2−Calabi-Yau triangulated category 1

T-Structures and Torsion Pairs in A 2-Calabi-yau Triangulated Category

Fusion 3-Categories for Duality Defects

Electric-magnetic duality and Z 2 symmetry enriched Abelian lattice gauge theory

Drinfel'd Doubles, Twists and All That... in Stringy Geometry and M Theory

The center of monoidal 2-categories in 3+1D Dijkgraaf-Witten theory

Twisted K-theory constructions in the case of a decomposable Dixmier-Douady class II: Topological and equivariant models

Higher categorical symmetries and gauging in two-dimensional spin systems

Quantum geometric Wigner construction for $D(G)$ and braided racks

Universal Non-Invertible Symmetries

Noninvertible Gauge Symmetry in (2+1)d Topological Orders: A String-Net Model Realization

Ground state degeneracy on torus in a family of $\mathbb{Z}_N$ toric code

Higher-Dimensional Algebra IV: 2-Tangles