Quasi-elementary \(H\)-Azumaya algebras arising from generalized (anti) Yetter-Drinfeld modules. (Q657587)

Let \(H\) be a Hopf algebra with bijective antipode. It is well-known that Yetter-Drinfeld modules form a braided monoidal category, and we can consider the Brauer group \(\text{BQ}(k,H)\) of Yetter-Drinfeld module Azumaya algebras [\textit{S. Caenepeel, F. Van Oystaeyen} and \textit{Y. Zhang}, K-Theory 8, No. 3, 231-255 (1994; Zbl 0829.16032)]. In the case where \(H\) is finitely generated projective, commutative and cocommutative, we recover the Brauer-Long group \(\text{BD}(k,H)\) of \(H\)-dimodule Azumaya algebras. The structure of the Brauer-Long group is relatively well-understood, but \(\text{BQ}(k,H)\) is a complicated invariant of \(H\), even in the case where the underlying field \(k\) is algebraically closed. A strategy to understand this structure is to look at subgroups of the Brauer group, this goes back to the early days of the Brauer-Long group. In the case where \(H\) is a finite Abelian group algebra, \textit{A. P. Deegan} showed that the automorphism group of \(G\) forms a subgroup of the Brauer-Long group [J. Lond. Math. Soc., II. Ser. 23, 223-240 (1981; Zbl 0475.13005)]. The construction presented in the paper under review can be viewed as a high-tech generalization of Deegan's construction. Consider two Hopf algebra automorphisms \(\alpha\) and \(\beta\) of \(H\). An \((\alpha,\beta)\)-Yetter-Drinfeld module is a vector space \(M\) with a left \(H\)-action and a right \(H\)-coaction subject to the compatibility relation \[ \rho(h\cdot m)=h_{(2)}\cdot m_{[0]}\otimes\beta(h_{(3)})m_{[1]}\alpha(S^{-1}(h_{(1)}), \] for all \(h\in H\) and \(m\in M\). If \(\alpha\) and \(\beta\) are the identity, then we recover the classical definition of Yetter-Drinfeld module. Let \(M\) be a finite dimensional \((\alpha,\beta)\)-Yetter-Drinfeld module. Then \(\text{End}(M)\) is a Yetter-Drinfeld module algebra. The \(H\)-action and \(H\)-coaction are given by the formulas \[ (h\cdot u)(m)=\alpha^{-1}(h_{(1)})\cdot u(\alpha^{-1}(S(h_{(2)})\cdot m) \] and \[ u_{[0]}(m)\otimes u_{[1]}=u(m_{[0]})_{[0]}\otimes S^{-1}(m_{[1]})u(m_{[0]})_{[1]} \] for all \(h\in H\), \(u\in\text{End}(M)\) and \(m\in M\). The main result is that \(\text{End}(M)\) is an \(H\)-Azumaya algebra, that is, it represents an element of \(\text{BQ}(k,H)\). Moreover, the classes in \(\text{BQ}(k,H)\) that are represented by endomorphism rings of finite dimensional \((\alpha,\beta)\)-Yetter-Drinfeld modules, \(\alpha\) and \(\beta\) ranging over all Hopf algebra automorphisms of \(H\), form a new subgroup \(\text{BA}(k,H)\) of \(\text{BQ}(k,H)\).