Two-sided two-cosided Hopf modules and Doi-Hopf modules for quasi-Hopf algebras. (Q1419001)

Let \(H\) be a quasi-bialgebra and \(U\) a right \(H\)-comodule algebra. The authors introduce the category of two-sided \((U,H)\)-Hopf modules. In the case where \(H\) is a finite dimensional quasi-Hopf algebra, this category is proved to be isomorphic to a category of relative Hopf modules over the smash product \(U\overline\#H^*\) and the dual \(H^*\). This second category is known to be isomorphic to a category of modules over a double smash product. If \(H\) is a quasi-bialgebra and \(U\) is a right \(H\)-comodule algebra, it is proved that the category of two-sided \((U,H)\)-Hopf modules is isomorphic to the category of coalgebras over a certain comonad. Doi-Hopf modules are defined in the quasi-bialgebra framework, and they are shown to be comodules over a certain coring. Two-sided two-cosided Hopf modules are studied and connected to Doi-Hopf modules.