Hopf modules, Frobenius functors and (one-sided) Hopf algebras (Q2200957)

The main motivation of this paper is to investigate the property of being Frobenius for some functors related with Hopf modules over a bialgebra in a category of modules over a commutative ring. Let \(\mathbb{K}\) be a commutative ring and let \(B\) a bialgebra over \(\mathbb{K}\). It is well-known that the free Hopf module functor \(-\otimes B\) is an equivalence of categories if and only if \(B\) admits an antipode. This functor always fits into an adjoint triple \(-\otimes_{B}\mathbb{K}\:\dashv \; -\otimes B\; \dashv \; (\;\;)^{coB}\) and then may be an interesting question to ask under which conditions \(-\otimes B\) is a Frobenius functor. The answer to this question can be found in Theorem 3.7 in the following way: The functor \(-\otimes B: {\mathfrak M}_{B}\rightarrow {\mathfrak M}_{B}^{B}\) is a Frobenius functor if and only if \(B\) is a right Hopf algebra with anti-(co)multiplicative right antipode \(S\). Then, as a consequence, the author of the paper under review characterizes one-sided Hopf algebras with anti-(co)multiplicative one-sided antipode as those for which the free Hopf module functor is Frobenius. Finally, In Section 4 the author clarifies some categorical implications of the main result proved in [\textit{B. Pareigis}, J. Algebra 18, 588--596 (1971; Zbl 0225.16008)] and investigates the connection between the Frobenius property for the functor \(-\otimes B: {\mathfrak M}_{B}\rightarrow {\mathfrak M}_{B}^{B}\) and the property of being a \(FH\)-algebra for \(B\) (i.e., B is a bialgebra which is also a Frobenius algebra such that the Frobenius morphism \(\psi\) is a right integral in \(B^{\ast}\)). The main characterisation of the \(FH\)-condition can be found in Theorem 4.14.