The construction of observable algebra in field algebra of $G$-spin models determined by a normal subgroup

Abstract

Let $G$ be a finite group and $H$ a normal subgroup. Starting from $G$-spin models, in which a non-Abelian field ${\mathcal{F}}_H$ w.r.t. $H$ carries an action of the Hopf $C^*$-algebra $D(H;G)$, a subalgebra of the quantum double $D(G)$, the concrete construction of the observable algebra ${\mathcal{A}}_{(H,G)}$ is given, as $D(H;G)$-invariant subspace. Furthermore, using the iterated twisted tensor product, one can prove that the observable algebra ${\mathcal{A}}_{(H,G)}=\cdots\rtimes H\rtimes\hat{G}\rtimes H\rtimes\hat{G}\rtimes H\rtimes\cdots$, where $\hat{G}$ denotes the algebra of complex functions on $G$, and $H$ the group algebra.