Making the category of Doi-Hopf modules into a braided monoidal category (Q1127785)

For two bialgebras \(A\) and \(C\) and a Doi-Hopf datum \(G\), a monoidal Doi-Hopf datum \(G=(H,A,C)\) is defined with additional compatibility relations. It is shown that for a monoidal Doi-Hopf datum \(G=(H,A,C)\) over a commutative ring \(k\), the category \(_AM(H)^C\) of left-right \(G\)-Doi-Hopf modules and \(A\)-linear \(C\)-colinear homomorphisms is a monoidal category with structure maps. In this situation, the tensor product of two Doi-Hopf modules is a Doi-Hopf module. If \(A\) or \(C\) equals the ground ring \(k\), the compatibility relation is always fulfilled and the categories \(A\)-mod and comod-\(C\) are monoidal categories. The category of Yetter-Drinfeld modules is a monoidal category as a special case of the result above. Maps between the underlying Hopf algebras, comodule algebras and module coalgebras give rise to functors between categories of Doi-Hopf modules [\textit{S. Caenepeel} and \textit{S. Raianu}, Abelian groups and modules, Math. Appl., Dordr. 343, 73-94 (1995; Zbl 0843.16035)]. If the maps between the algebras and the coalgebras are both bialgebra maps, the authors obtain functors between monoidal categories. Moreover, they study some particular situations and this gives rise to the so-called tensor identities. As an application, the authors prove that the category of Doi-Hopf modules has enough injective objects in the case of \(k\) a field. In a monoidal category \(_AM(H)^C\) of Doi-Hopf modules, the authors define a braiding through a convolution invertible map \(R\colon C\otimes C\to A\otimes A\) satisfying two complicated compatibility relations. In the case where \(C=k\) is trivial, this condition turns out to be equivalent to \((A,R(1\otimes 1))\) being a quasitriangular bialgebra. Similarly, if \(A=k\) is trivial, the definition of a coquasitriangular bialgebra is recovered. Another particular example is the well known braiding on the category of Yetter-Drinfeld modules. Finally, for a monoidal Doi-Hopf datum \((H,A,C)\), if \(C\) is faithfully projective as a \(k\)-module, it is proved that \(_AM(H)^C\) and \(A\# C^*\)-mod are isomorphic as monoidal categories.