Homomorphisms and rigid isomorphisms of twisted group doubles (Q2188405): Difference between revisions

If \(G\) is a finite group, and \(\omega \in Z^3(G,U(1))\) is a 3-cocycle of \(G\) with values in the circle group \(U(1)\), \textit{R. Dijkgraaf} et al. [Nucl. Phys. B, Proc. Suppl. 18B, No. 2, 60--72 (1991; Zbl 0957.81670)] introduced a quasi-Hopf algebra \(\mathcal{D}^{\omega}(G)\) over the complex numbers, called the twisted double, which has proved to be of great interest in mathematical physics. If \(\omega\) is the trivial 3-cocycle, \(\mathcal{D}^{\omega}(G)\) is the usual Drinfeld double \(\mathcal{D}(G)\). The aim of the paper is to discuss quasi-bialgebra morphisms between two such twisted doubles \(\mathcal{D}^{\omega}(G)\) and \(\mathcal{D}^{\eta}(H)\). The idea of the investigation is to associate to a morphism \(\mathcal{D}^{\omega}(G)\rightarrow \mathcal{D}^{\eta}(H)\) a quadruple of morphisms of certain kinds. The properties of the components of this quadruple are discussed, and then used to classify those quasi-bialgebra isomorphisms which also naturally determine an isomorphism of Hopf algebras \(\mathcal{D}(G)\rightarrow \mathcal{D}(H)\). As an application, \(\Aut(\mathcal{D}^{\omega}(G))\) is described in the case where \(\omega \in Z^3(G/Z(G),U(1))\).