Co-Frobenius Hopf algebras: Integrals, Doi-Koppinen modules and injective objects (Q1818869): Difference between revisions

Let \(H\) be a Hopf algebra over a field \(k\) and consider a right \(H\) comodule algebra \(A\) and a left \(H\) module coalgebra \(C\). The paper is devoted to the study of the category \(_A\mathbb{M}^C\) of Doi-Koppinen modules [see \textit{Y. Doi}, J. Algebra 153, No. 2, 373-385 (1992; Zbl 0782.16025) and \textit{M. Koppinen}, J. Pure Appl. Algebra 104, No. 1, 61-80 (1995; Zbl 0838.16035)] under the assumption that \(C\) enjoys some extra conditions, like being semiperfect, quasi co-Frobenius or co-Frobenius [see \textit{B. I. Lin}, J. Algebra 49, 357-373 (1977; Zbl 0369.16010) and \textit{J. Gómez Torrecillas} and \textit{C. Năstăsescu}, J. Algebra 174, No. 3, 909-923 (1995; Zbl 0833.16038)]. In these cases, the rational part \({C^*}^{\text{rat}}\) of \(C^*=\text{Hom}_k(C,k)\) does not depend on the side, which is used to prove that the largest rational module \(M^{\text{rat}}\) of any left \(C^*\)-module \(M\) can be computed as \(M^{\text{rat}}{C^*}^{\text{rat}}M\). This gives the main tool developed in the paper: An exact functor \(t\colon{_{A\#C^*}\mathbb{M}}\to{_A\mathbb{M}^C}\) from the category of left modules over the smash product \(A\#C^*\) to the category of Doi-Koppinen modules is supplied. An explicit description of the right adjoint to \(t\) is given in Section 3, which allows to extend to the Doi-Koppinen setting a result proved for comodule categories by \textit{C. Năstăsescu} and the reviewer [Theorem 2.3 in loc. cit.]. Two applications of these techniques are given in Section 4. It is proved that the forgetful functor \({_A\mathbb{M}^C}\to{_A\mathbb{M}}\) preserves injective objects of finite support (a Doi-Koppinen module \(M\) is said to have finite support if its coefficient subcoalgebra in \(C\) is finite-dimensional). Finally, an easy coalgebraic proof of the uniqueness of integrals is given [see \textit{J. B. Sullivan}, J. Algebra 19, 426-440 (1971; Zbl 0239.16006) for the original proof].