Abstract:The recent article [<a class="link-https" data-arxiv-id="2307.12552" href="https://arxiv.org/abs/2307.12552">arXiv:2307.12552</a>] gave local topological order (LTO) axioms for a quantum spin system, showed they held in Kitaev's Toric Code and in Levin-Wen string net models, and gave a bulk boundary correspondence to describe bulk excitations in terms of the boundary net of algebras. In this article, we prove the LTO axioms for Kitaev's Quantum Double model for a finite group $G$. We identify the boundary nets of algebras with fusion categorical nets associated to $(\mathsf{Hilb}(G),\mathbb{C}[G])$ or $(\mathsf{Rep}(G),\mathbb{C}^G)$ depending on whether the boundary cut is rough or smooth respectively. This allows us to make connections to work of Ogata on the type of the cone von Neumann algebras in the algebraic quantum field theory approach to topological superselection sectors. We show that the boundary algebras can also be calculated from a trivial $G$-symmetry protected topological phase ($G$-SPT), and that the gauging map preserves the boundary algebras. Finally, we compute the boundary algebras for the (3+1)D Quantum Double model associated to an abelian group.

C*-basic construction between non-balanced quantum doubles

On the Structure and Representations of Non-Balanced Quantum Doubles

Hopf Algebras with Rigid Dualizing Complexes

Semilattice Graded Weak Hopf Algebra and Its Quantum Double

Quantum Double for a Weak T-Coalgebra

On Quasi-Bicrossed Products of Weak Hopf Algebras

Structure of Quantum Doubles of Finite Clifford Monoids

Construction of a $C^*$-algebraic quantum groupoid from a weak multiplier Hopf algebra

Dual Hopf Algebras from a Quiver and Dual Quiver Quantum Groups

Partial $*$-algebraic quantum groups and Drinfeld doubles of partial compact quantum groups

Rigid dualizing complexes over quantum homogeneous spaces

C^*-algebraic quantum groups arising from algebraic quantum groups

Balanced infinitesimal bialgebras, double Poisson gebras and pre-Calabi-Yau algebras

Compact quantum group C^*-algebras as Hopf algebras with approximate unit

Boundary algebras of the Kitaev Quantum Double model

On Gauge Equivalence of Twisted Quantum Doubles

Isometric actions of compact quantum groups on graph C*-algebras

Quantum Character Theory

Gerstenhaber-Schack Bialgebras

Quantum groupoids associated to universal dynamical R-matrices

The Space of Vector Fields on Q-Groups