Structure theorems of \(H_4\)-Azumaya algebras. (Q854906)

Let \(k\) be a field of characteristic not \(2\), \(H\) the 4-dimensional Hopf algebra over \(k\) generated by a group-like of order 2 and a skew-primitive with square zero. Let \(M\) be the monoidal category of finite-dimensional left \(H\)-module algebras. \(H\) has a family \(R_t\) of triangular structures, \(t\) in \(k^+\), the additive group of \(k\). Each \(R_t\) makes \(M\) a braided monoidal category \(M^t\). This paper determines the Azumaya algebras \(A\) in each \(M^t\). Using the ideas of \textit{C. T. C. Wall}, [J. Reine Angew. Math. 213, 187-199 (1964; Zbl 0125.01904)], \(A\) is considered as a central simple graded algebra with a graded differential, whose Brauer group is the direct product of the Brauer group of \(k\) with \(k^+\), explaining where the \(t\) in \(k^+\) come from. The paper starts with some remarks about Yetter-Drinfeld module algebras and Azumaya algebras over a general Hopf algebra with a bijective antipode, proving an important centralizer theorem involving an Azumaya algebra and an Azumaya subalgebra. This is used in a long section studying Azumaya algebras \(A\) in \(M^0\). \(A\) is a graded product of a central simple graded algebra and a quadratic extension of \(k\), which allows a scalar invariant to be associated to \(A\). The technical description of \(A\) is given in two theorems, one for the odd case and one for the even case. This refers to the structure of the center of the central simple graded algebra. The last section determines the Azumaya algebras \(A\) in \(M^t\), where \((H,R^t)\) is a cocycle twist of \((H,R^0)\), so that \(M^t\) and \(M^0\) are equivalent as braided monoidal categories. Again the centralizer theorem is used, and there are two theorems, one for the odd case and one for the even case. Again a scalar invariant is associated to each \(A\).