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

Abstract

Following the general theory of categorified quantum groups developed by the author previously (arxiv:2304.07398), 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.

29 pages, 2 figures (v2: minor clarification adjustments to some paragraphs; v3: final version accepted to JHEP)

References in corpus (11)

• On the classification of topological orders
• Algebraic higher symmetry and categorical symmetry -- a holographic and entanglement view of symmetry
• Twisted Gauge Theory Model of Topological Phases in Three Dimensions
• Framed Wilson Operators, Fermionic Strings, and Gravitational Anomaly in 4d
• Minimal nondegenerate extensions
• Tensor network approach to electromagnetic duality in (3+1)d topological gauge models
• Defects in the 3-dimensional toric code model form a braided fusion 2-category
• Gapped boundaries and string-like excitations in (3+1)d gauge models of topological phases
• The Morita Theory of Fusion 2-Categories
• Braided zesting and its applications
• (2-)Drinfel'd Double and (2-)BF Theory

Cited by in corpus (2)

• Higher Gauge Theory and Integrability
• Finite 2-group gauge theory and its 3+1D lattice realization