Stable anti-Yetter-Drinfeld modules. (Q1876807)

Let \(H\) be a Hopf algebra with bijective antipode. The definition of anti-Yetter-Drinfeld module is the same as the one of a Yetter-Drinfeld module, with the antipode \(S\) replaced by its inverse \(S^{-1}\). For example, a left-left anti-Yetter-Drinfeld module is a vector space with a left \(H\)-action and a left \(H\)-coaction satisfying the compatibility relation \[ \Delta(hm)=h_{(1)}m_{(-1)}S^{-1}(h_{(3)})\otimes h_{(2)}m_{(0)}. \] Anti-Yetter-Drinfeld modules appear in Hopf-cyclic homology and cohomology, where an additional condition named stability is needed, namely \(m_{(-1)}m_{(0)}=m\), for all \(m\in M\) (in the left-left case). The category of anti-Yetter-Drinfeld modules is not monoidal, but is a so-called \(\mathcal C\)-category over the monoidal category of Yetter-Drinfeld modules. In particular, this means that the tensor product of an anti-Yetter-Drinfeld module and a Yetter-Drinfeld module is again an anti-Yetter-Drinfeld module. Examples of anti-Yetter-Drinfeld modules can be constructed from Hopf-Galois extensions. Anti-Yetter-Drinfeld modules are special cases of entwined modules. As a consequence, we can construct -- in the case where \(H\) is finite dimensional -- the anti-Drinfeld double \(A(H)\), and the category of modules over \(A(H)\) is isomorphic to the category of anti-Yetter-Drinfeld modules.