Biinvertible actions of Hopf algebras (Q690040)

Let \(H\) be a Hopf algebra over a field \(k\). An action of \(H\) on an algebra \(R\) over \(k\) is a measuring of \(R\) by the coalgebra \(H\), and to a measuring of \(R\) by \(H\) corresponds a linear transformation \(\phi\) of \(H\) into the ring \(\text{End}(R)\) of linear operators on the vector space \(R\). The action is called biinvertible if \(\phi\) has an inverse and anti- inverse in the convolution algebra \(\text{Hom}(H,\text{End}(R))\); and the action is called fully biinvertible if every \(H\)-stable ideal of \(R\) is also stable under the anti-measurings of \(R\) determined by the convolution inverse and anti-inverse of \(\phi\). The \(H\)-analogue of the (left, right, symmetric) Martindale quotient ring is obtained by replacing the filter of ideals which have zero annihilator with the filter of \(H\)-stable ideals which have zero annihilator. The author's purpose is to prove that a fully biinvertible crossed product action of \(H\) on an algebra \(R\) can be extended to the \(H\)-analogue of the Martindale quotient of \(R\), and the crossed product of \(H\) with this quotient is naturally embedded in the Martindale quotient of the crossed product of \(H\) with \(R\). The author's method is to introduce the more general notion of an action which is twisted with respect to a convolution invertible element \(\sigma\) of \(\text{Hom}(H \otimes H,R)\) and to study the \(H\)-analogues of Martindale quotients for twisted actions of \(H\). A crossed product action is a twisted action for which \(\sigma\) satisfies a normalized cocycle condition, and twisted actions for a group algebra \(kG\) arise from representations of \(G\) in the group of outer automorphisms of an algebra \(R\).