The near centre of Doi-Hopf module category \(_AM(H)^C\) (Q1585566): Difference between revisions

As known, any strict tensor category \((C,\otimes,I)\) determines a braided tensor category \(Z(C)\) (the center of \(C\)). For a finite-dimensional Hopf algebra \(A\), Drinfeld has proved that \(Z(_AM)\) is equivalent to \(_{D(A)}M\) as a braided tensor category. For a braided tensor category \(C\), the braid \(C_{U,V}\) is a natural isomorphism for any pair of objects \((U,V)\) in \(C\). The aim of this paper is to weaken the mentioned results, that is, weakening the natural isomorphism of the braid \(C_{U,V}\) to a natural transformation, then \(C_{U,V}\) is a prebraid and the category \(C\) with a prebraid is called a prebraided tensor category. Moreover, it is proved that any strict tensor category \(C\) determines a prebraided tensor category \(Z'(C)\) (the near center of \(C\)). The authors give a prebraided tensor structure of the Yetter-Drinfeld category \(_{C\#A}YD^{C\#A}\) for the smash product bialgebra of \(C\) and \(A\), and prove that the near center of the Doi-Hopf module \(_AM(H)^C\) is equivalent to \(_{C\#A}YD^{C\#A}\) as prebraided tensor categories. As corollaries, the prebraided tensor structures of the Yetter-Drinfeld category \(_AYD^A\), the centers of the module category and comodule category are given.