Hopf-Galois structures on ambiskew polynomial rings (Q2073919)

Hopf-Galois structures go back to \textit{S. U. Chase} and \textit{M. E. Sweedler} [Hopf algebras and Galois theory. Berlin-Heidelberg-New York: Springer-Verlag (1969; Zbl 0197.01403)]. For a commutative ring \(R\) with identity element 1 and an \(R\)-Hopf algebra \(H\) which is a finitely generated projective \(R\)-module, they gave in [loc. cit.] conditions under which a commutative \(R\)-algebra \(B\) may be called an \(H\)-Galois extension of a subalgebra \(A\). \textit{H. F. Kreimer} and \textit{M. Takeuchi} [Indiana Univ. Math. J. 30, 675--692 (1981; Zbl 0451.16005)] generalized this concept to the noncommutative setting. In [J. Pure Appl. Algebra 217, No. 1, 59--74 (2013; Zbl 1275.16024)] \textit{K. A. Brown} and \textit{M. Macauley} gave necessary and sufficient conditions for an ambiskew polynomial algebra \(A\) over a Hopf \(k\)-algebra \(R\) to possess the structure of a Hopf algebra extending that of \(R\). In the paper under review the authors generalize these results in two directions \begin{itemize} \item[(A)] they discuss the extension of the Hopf algebra structure on \(R\) to a generalized ambiskew polynomial algebra \(A\); \item[(B)] they further extend this to the case when \(R\) is a Hopf-Galois object over some Hopf algebra. \end{itemize} In the last section of the article, several examples are provided including the Hopf-Galois objects over the Hopf algebra \(U_q(\mathfrak{sl}_2)\).