Gapped boundary theory of the twisted gauge theory model of three-dimensional topological orders

Abstract

We extend the twisted gauge theory model of topological orders in three spatial dimensions to the case where the three spaces have two dimensional boundaries. We achieve this by systematically constructing the boundary Hamiltonians that are compatible with the bulk Hamoltonian. Given the bulk Hamiltonian defined by a gauge group G and a four-cocycle ω in the fourth cohomology group of G over U (1), a boundary Hamiltonian can be defined by a subgroup K of G and a three-cochain α in the third cochain group of K over U (1). The boundary Hamiltonian to be constructed must be gapped and invariant under the topological renormalization group flow (via Pachner moves), leading to a generalized Frobenius condition. Given K, a solution to the generalized Frobenius condition specifies a gapped boundary condition. We derive a closed-form formula of the ground state degeneracy of the model on a three-cylinder, which can be naturally generalized to three-spaces with more boundaries. We also derive the explicit ground-state wavefunction of the model on a three-ball. The ground state degeneracy and ground-state wavefunction are both presented solely in terms of the input data of the model, namely, {G, ω, K, α}.

Defects in the 3-dimensional toric code model form a braided fusion 2-category

“…♦ Remark 5.3. More general construction of gapped boundaries of 3d twisted gauge theories can be found in [33]. ♦…”

Entanglement entropy, quantum fluctuations, and thermal entropy in topological phases

“…Although our study was done for the (extended) QD model only, we believe our results can be extended to other models of topological phases, such as the twisted quantum double model [26,30], the Levin-Wen model [6,[40][41][42][43] in two dimensions, and the twisted gauge theory model in three dimensions [44,45]. In such extensions, however, the dimension of group representations should be extended to the quantum dimensions of the anyons.…”

’t Hooft Anomalies of Discrete Gauge Theories and Non-abelian Group Cohomology

“…The corresponding lattice Hamiltonian models have been constructed in e.g. [WWH15,CCW17a,CCW17b,WLHW18]. They are classified by group cohomology.…”