Algebras graded by discrete Doi-Hopf data and the Drinfeld double of a Hopf group-coalgebra. (Q1946644)

Let \(k\) be a field, \(\mathcal C\) a monoidal category and \(H\) a bialgebra in \(\mathcal C\). A (right-right) Doi-Hopf datum is a triple \((H,A,C)\) where \(A\) is a right \(H\)-comodule algebra and \(C\) a right \(H\)-module coalgebra. An \((H,A,C)\)-Doi-Hopf module is an object \(M\in\mathcal C\) together with a right \(A\)-action \(\gamma_M\) and a right \(\mathcal C\)-coaction \(\rho_M\) such that \(\rho_M\gamma_M=(\gamma_M\otimes C)(M\otimes\psi)(\rho_M\otimes A)\), where \(\psi=(A\otimes\gamma_C)(c_{C,A}\otimes A)(C\otimes\rho_A)\colon C\otimes A\to A\otimes C\) is the entwining morphism and \(c\) is the braiding. \((G,\Lambda,X)\) in \(\mathcal Sets\) is called a discrete Doi-Hopf datum if \(G\) and \(\Lambda\) are monoids with a monoid map \(\gamma\colon\Lambda\to G\) and a right \(G\)-set \(X\). The authors study Doi-Hopf data and Doi-Hopf modules for Hopf group coalgebras as defined by \textit{S. Caenepeel} and \textit{M. De Lombaerde}, [Commun. Algebra 34, No. 7, 2631-2657 (2006; Zbl 1103.16024)]. Let \((G,\Lambda,X)\) be a discrete Doi-Hopf datum. Then an algebra graded by \((G,\Lambda,X)\) is given by using a smash product type construction, and it is shown that the category of graded modules over this algebra is isomorphic to the category of Doi-Hopf modules. The results are applied to the category of Yetter-Drinfeld modules over a Hopf group coalgebra and to the construction of the Drinfeld double. Moreover, a quasitriangular graded Hopf algebra is defined and it is shown that the Drinfeld double is such a quasitriangular graded Hopf algebra.