When is a cleft extension \(H\)-Azumaya? (Q2502117): Difference between revisions

Let \(H\) be a finite-dimensional dual quasi-triangular Hopf algebra over a field \(k\) with \(r\)-form \(r\) in the dual space of \(H\otimes H\). The category \(M^H\) of finite-dimensional right \(H\)-comodules is braided monoidal. An algebra \(A\) in this category is an \(H^{op}\)-comodule algebra, and has an opposite algebra \(A'\) in the category. \(A\) is called Azumaya if certain maps from smash-like products of \(A\) and \(A'\) to \(\text{End}(A)\) are isomorphisms. An \(H\)-cleft extension \(B\) of \(k\) is a right \(H\)-comodule algebra \(B\) with coinvariants \(k\) such that there is a convolution invertible map from \(H\) to \(B\). These cleft extensions are parametrized by certain left 2-cocycles \(s\) on \(H\otimes H\). The cleft extension \(A_s\) corresponding to \(s\) is also a left comodule algebra for Doi's twisted Hopf algebra \(H'\) involving \(s\) and its convolution inverse. \(H'\) has an \(r\)-form \(r'\) which is the convolution product \(st^*r^*s^{-1}\), \(t\) the twist map. \(r'\) defines a map from \((H')^{op}\) to \((H')^*\). The main theorem of the paper is that this map is bijective if and only if \(H_s\) is \((H,r)\)-Azumaya. This generalizes the commutative cocommutative case [\textit{S. Caenepeel}, Brauer groups, Hopf algebras and Galois theory. K-Monographs in Mathematics 4. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0898.16001)]. A dual version of the main theorem is given for quasi-triangular Hopf algebras. The numerical details of the main theorem are worked out for \(H=E(n)\), generated by an involution and by \(n\) skew-primitive elements which anticommute.