A duality theorem for crossed products of Hopf algebras (Q1185956)

Let \(H\) be a Hopf algebra, \(A\) an associative algebra over a field \(k\), \(\sigma\) an invertible cocycle of \(H\times H\) to \(A\), \(A\#_ \sigma H\) the corresponding crossed product. Let \(U\) be a left \(H\)-submodule subalgebra of \(H^*\). Then, under certain technical assumptions of a finite nature, the author constructs an algebra isomorphism between two algebras denoted \(A\#_ \sigma H\#^{op}U\) and \(A\otimes (H\#^{op}U)\). The first algebra is a new construction, which replaces the algebra \((A\#_ \sigma H)\# U\) in previous results where \(U\) is a Hopf subalgebra of the dual Hopf algebra \(H^ o\). The author's result thus generalizes previous results showing that \((A\#_{\sigma} H)\# U\) is isomorphic to \(A\otimes (H\#U)\), \(U\) a Hopf subalgebra of \(H^ o\), which were obtained under certain restrictions, e.g. \(\sigma\) is trivial or \(H\) is finite-dimensional [\textit{R. J. Blattner} and \textit{S. Montgomery}, J. Algebra 95, 153-172 (1985; Zbl 0589.16010); Pac. J. Math. 137, No. 1, 37-54 (1989; Zbl 0675.16017)]. In a final section, the author shows that his finiteness assumptions are necessary for his duality isomorphism to be natural in \(A\), in the case when \(\sigma\) is trivial and \(U=H^*\).