Finite group factorizations and braiding

From MaRDI portal



Abstract: We compute the quantum double, braiding and other canonical Hopf algebra constructions for the bicrossproduct Hopf algebra H associated to the factorization of a finite group into two subgroups. The representations of the quantum double are described by a notion of bicrossed bimodules, generalising the cross modules of Whitehead. We also show that self-duality structures for the bicrossproduct Hopf algebras are in one-one correspondence with factor-reversing group isomorphisms. The example Z6Z6 is given in detail. We show further that the quantum double D(H) is the twisting of D(X) by a non-trivial quantum cocycle, where X is the associated double cross product group.


It is known that to every factorization \(X=GM\) of a finite group into two subgroups \(G,M\) is associated a generally non-commutative and non-cocommutative Hopf algebra \(kM \vartriangleright \vartriangleleft k(G)\), which is a bicrossproduct of group Hopf algebra \(kM\) and algebra \(k(G)\) of functions on \(G\). The dual Hopf algebra \(H^*\) is of the same general form, namely \(k(M) \vartriangleright \vartriangleleft kG\). It is shown in the paper that basis-preserving isomorphisms \(H\to H^*\) are in one to one correspondence with factor reversing group automorphisms. The authors compute quantum double \(D(H)\), braiding \(H\otimes H \to H\otimes H\), and other canonical Hopf algebra constructions for \(H\). Representations of the quantum double are described by a notion of bicrossed bimodules, generalizing cross modules of Whitehead. It is shown that \(D(H)\) is the twisting of the double \(D(X)\) of the group algebra by a quantum cocycle \(F\). It consists of leaving the algebra unchanged but conjugating the coproduct by \(F\). The example \(Z_6Z_6\) is given in detail.




Cited in
(30)








This page was built for publication: Finite group factorizations and braiding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1913942)