The category of partial Doi-Hopf modules and functors.
Let \(H\) be a Hopf algebra, \(A\) an algebra and \(C\) a coalgebra, all over a field. The usual notions of \(A\) being a right \(H\)-comodule algebra and \(C\) being a right \(H\)-module coalgebra are weakened by replacing properties of unit elements of \(A\) and \(H\) in the first case, and of \(H\) in the second case, by more general technical properties. This gives the notions of partial coactions and partial actions. They generalize notions of partial group actions. Their definitions were introduced by \textit{S. Caenepeel} and \textit{K. Janssen} using notions of partial entwining structures [Commun. Algebra 36, No. 8, 2923-2946 (2008; Zbl 1168.16021)]. A partial Doi-Hopf datum is a triple \((H,A,C)\), \(A\) a partial right \(H\)-comodule algebra, \(C\) a partial right \(A\)-module coalgebra. A partial Doi-Hopf module \(M\) is a right \(A\)-module with a map of \(M\) to \(M\otimes C\) satisfying certain conditions. This generalizes the usual notion of Doi-Hopf module given by \textit{Y. Doi} [J. Algebra 153, No. 2, 373-385 (1992; Zbl 0782.16025)].NEWLINENEWLINE The paper under review generalizes a result of \textit{S. Caenepeel} and \textit{S. Raianu} for induced functors on Doi-Hopf modules to the case of partial Doi-Hopf modules [Abelian groups and modules. Proceedings of the Padova conference 1994. Math. Appl., Dordr. 343, 73-94 (1995; Zbl 0843.16035)]. Let \((\mathcal M(H)^C)_A\) be the category of partial Doi-Hopf modules for the partial Doi-Hopf datum \((H,A,C)\). Let \((H',A',C')\) be another partial Doi-Hopf datum. Given morphisms from \(H\) to \(H'\), \(A\) to \(A'\) and \(C\) to \(C'\), the authors define an induction functor from \((\mathcal M(H)^C)_A\) to \((\mathcal M(H')^{C'})_A'\), and prove that it has a right adjoint. They define a normalized \(A\)-integral as a map from \(C\otimes C\) to \(A\) satisfying certain conditions, and show that there is one if and only if the forgetful functor from \((\mathcal M(H)^C)_A\) to \(\mathcal M(H)_A\) is separable. Finally, a Maschke-type theorem for partial Doi-Hopf modules is proved.
- Partial group (co)actions of Hopf group coalgebras
- Doi-Hopf modules associated to comodule coalgebras.
- scientific article; zbMATH DE number 1741757
- Partial actions of weak Hopf algebras on coalgebras
- Separable functors for the category of Doi-Hopf modules. II
- Partial corepresentations of Hopf algebras
- Algebras graded by discrete Doi-Hopf data and the Drinfeld double of a Hopf group-coalgebra.
- On the cohomology of Doi-Hopf modules.
- Relative projectivity and relative injectivity in the category of Doi-Hopf modules. II
- On the structure of the B-cocleft module coalgebra
- Co-Frobenius Hopf algebras: Integrals, Doi-Koppinen modules and injective objects
- Recent developments around partial actions
- Partial corepresentations of Hopf algebras
- Separable functors for the category of Doi-Hopf modules. II
- Separable functors for the category of Doi Hom-Hopf modules.
- A Maschke type theorem of partial entwined modules
- The category of partial H-Hopf group modules.
- RELATIVE PROJECTIVITY AND RELATIVE INJECTIVITY IN THE CATEGORY OF DOI–HOPF MODULES
- scientific article; zbMATH DE number 2158348 (Why is no real title available?)
- Separable functors for the category of Doi-Hopf -modules.
This page was built for publication: The category of partial Doi-Hopf modules and functors.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q361750)
