Abstract:We define an exactly solvable model for 2+1D topological phases of matter on a triangulated surface derived from a crossed module of semisimple finite-dimensional Hopf algebras, the `Hopf-algebraic higher Kitaev model'. This model generalizes both the Kitaev quantum double model for a semisimple Hopf algebra and the full higher Kitaev model derived from a 2-group, and can hence be interpreted as a Hopf-algebraic discrete higher gauge theory. We construct a family of crossed modules of semisimple Hopf algebras, $(\mathscr{F}_{\mathbb{C}}(X) \otimes \mathbb{C}E \xrightarrow{\partial} \mathscr{F}_{\mathbb{C}}(Y) \rtimes \mathbb{C} G, \triangleright)$, that depends on four finite groups, $E,G,X$ and $Y$. We calculate the ground-state spaces of the resulting model on a triangulated surface when $G=E=\{1\}$ and when $Y=\{1\}$, prove that those ground-state spaces are canonically independent of the triangulations, and so depend only on the underlying surface; and moreover we find a 2+1D TQFT whose state spaces on surfaces give the ground-state spaces. These TQFTs are particular cases of Quinn's finite total homotopy TQFT and hence the state spaces assigned to surfaces are free vector spaces on sets of homotopy classes of maps from a surface to homotopy finite spaces, in this case obtained as classifying spaces of finite groupoids and finite crossed modules of groupoids. We leave it as an open problem whether the ground-state space of the Hopf-algebraic higher Kitaev model on a triangulated surface is independent of the triangulation for general crossed modules of semisimple Hopf algebras, whether a TQFT always exists whose state space on a surface gives the ground-state space of the model, and whether the ground-state space of the model obtained from $E,G,X,Y$ can always be given a homotopical explanation.

From gauge to higher gauge models of topological phases

Non-invertible and higher-form symmetries in 2+1d lattice gauge theories

Excitations in the Higher Lattice Gauge Theory Model for Topological Phases I: Overview

Tube algebras, excitations statistics and compactification in gauge models of topological phases

Excitations in the Higher Lattice Gauge Theory Model for Topological Phases II: The (2+1)-Dimensional Case

Higher-group symmetry in finite gauge theory and stabilizer codes

Quantized Topological Terms in Weakly Coupled Gauge Theories and Their Connection to Symmetry Protected Topological Phases

Gapless symmetry-protected topological phases and generalized deconfined critical points from gauging a finite subgroup

Exactly solvable models for U(1) symmetry-enriched topological phases

Topology in 2D non-Abelian Lattice Gauge Theories

Classification of topological phases with finite internal symmetries in all dimensions

(3+1)D path integral state sums on curved U(1) bundles and U(1) anomalies of (2+1)D topological phases

Gauging on the lattice and gapped/gapless topological phases

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

Hamiltonian models for topological phases of matter in three spatial dimensions

Intertwined order of generalized global symmetries

Exactly solvable models for 2+1D topological phases derived from crossed modules of semisimple Hopf algebras

Topological phases with generalized global symmetries

Higher categorical symmetries and gauging in two-dimensional spin systems