Modular categories and Hopf algebras (Q5949400)

The notion of modular category was introduced by Turaev in order to construct some topological invariants of 3-manifolds. Etingof and Gelaki used this notion to solve Kaplansky's sixth conjecture on semisimple quasi-triangular Hopf algebras. Later, it was pointed out by Schneider that to prove this result one can avoid modular categories by using the class equation theorem due to Kac and Zhu. In their proof Etingof and Gelaki used properties of a certain matrix which appears in a modular category. In the present paper, the author shows that these properties follow directly from the orthogonality relations of Hopf algebra characters. As a consequence, the author formulates the main theorem for weakly factorizable Hopf algebras. Moreover, the author analyzes the connection of modularity and the Drinfeld map. He shows that a semisimple ribbon Hopf algebra \(H\) is modular if and only if the Drinfeld map \(\Phi\colon H^*\to H\) induces an algebra isomorphism \(C_q(H)@>\cong>>Z(H)\), where \[ C_q(H)=\{f\in H^*\mid f(xy)=f(yS^2(x)),\;x,y\in H\} \] and \(Z(H)\) denotes the center. In this case, \(H\) is cosemisimple and \(S^2=\text{id}\).