The Category of Anyon Sectors for Non-Abelian Quantum Double Models

We study Kitaev's quantum double model for arbitrary finite gauge group in infinite volume, using an operator-algebraic approach. The quantum double model hosts anyonic excitations which can be identified with equivalence classes of 'localized and transportable endomorphisms', which produce anyonic excitations from the ground state. Following the Doplicher-Haag-Roberts (DHR) sector theory from AQFT, we organize these endomorphisms into a braided monoidal category capturing the fusion and braiding properties of the anyons. We show that this category is equivalent to <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow><mml:msub><mml:mi>Rep</mml:mi> <mml:mi>f</mml:mi></mml:msub> <mml:mi>D</mml:mi> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>G</mml:mi> <mml:mo>)</mml:mo></mml:mrow> </mml:mrow> </mml:math> , the representation category of the quantum double of <i>G</i>. This establishes for the first time the full DHR structure for a class of 2d quantum lattice models with non-abelian anyons.