Strongly inner actions, coactions, and duality theorems (Q2367072)

Let \(H\) be a Hopf algebra with bijective antipode \(S\) over a commutative ring \(k\), and \(M\) a right \(H\)-module. Then \(\text{End}(M)\) is a right \(H\)-module algebra over \(k\) with \(H\)-action \((\varphi\leftarrow h) (m)= \sum_{(h)} \varphi (m\leftarrow \overline{S}(h_{(2)})) \leftarrow (h_{(1)})\). (\(\overline{S}\) is the composition inverse of \(S\).) This \(H\)-action on \(\text{End}(M)\) is strongly inner so that \(H\# \text{End}(M)\cong H\otimes \text{End}(M)\). Similarly, if \(M\) is a finitely generated projective \(k\)-module and a left \(H\)-comodule, then \(\text{End}(M)\) is a left \(H\)-comodule algebra, the left \(H\)-coaction is strongly inner, and \(\text{End}(M) \# H\cong \text{End}(M) \otimes H\). In this paper, we exploit the above observation to examine some well- known duality results, along with some new examples, from the point of view that the duality involves an endomorphism ring and a strongly inner action or coaction.