Variations on the smash product with applications to group-graded rings (Q1903698)

Let \(H\) be a bialgebra over a commutative ring \(k\). A triple \((H,B,C)\) is called a smash data (resp. an opposite smash data) if \(B\) is a right \(H\)-comodule algebra and \(C\) is a left (resp. right) \(H\)-module coalgebra. For such a set-up it is possible to define a generalized smash product \(\#(H;C,B)\) (resp. \(\#^{\text{op}}(H;C,B)\)), which matches with some previously known constructions: the usual smash product \(B\#H^*\) when \(H\) is finitely generated projective and \(C=H\), the smash product \(R\#A\) of a \(G\)-graded ring \(R\) and the \(G\)-set \(A\) (here \(H=kG\), \(B=R\) and \(C=kA\)), the generalized smash product \(B\#C^*\) when \(C\) is finitely generated projective. Generalizing the theory of modules graded by \(G\)-sets, it is shown that for projective \(C\) there is a full embedding of the category \({}_BM^C\) of Hopf modules in the category of left \(\#(H;C,B)\)-modules. If moreover \(C\) is finitely generated, this becomes an isomorphism of categories. If \(H\) is a Hopf algebra, then \(B\otimes C\) can be regarded together with two actions and two coactions on it, and this gives three matrix descriptions of smash product algebras. Two duality theorems are proved: 1) If \(H\) is a Hopf algebra, \(A\#_\sigma H\) is a crossed product with invertible \(\sigma\), and \(K\) a left coideal subalgebra of \(H\), then \(\#^{\text{op}}(H/K^+H,A\#_\sigma H)\simeq\text{End}_{A\#_\sigma K-}(A\#_\sigma H)^{\text{op}}\); 2) If \(H\) is an anti-Hopf algebra, \(A \#_\sigma H\) a crossed product with invertible \(\sigma\) and \(K\) a left coideal subalgebra of \(H\), then \(\#(H/HK^+,A\#_\sigma H)\simeq\text{End}_{-A\#_\sigma K}(A\#_\sigma H)\).