Computing the Brauer-Long group of a Hopf algebra. I: The cohomological theory (Q2277027)

Let R be a commutative ring and H a finitely generated projective, commutative and cocommutative Hopf algebra over R. An R-algebra A is called an H-dimodule algebra if A has compatible H-module algebra and H- comodule algebra structures. A Brauer group, BD(R,H), of equivalence classes of such algebras was defined by \textit{F. W. Long} [J. Algebra 30, 559-601 (1974; Zbl 0282.16007)], and is called the Brauer-Long group. In general BD(R,H) is a nonabelian group containing Br(R) as a normal subgroup, and may be nontrivial even for R an algebraically closed field. Until now, the main focus of study in this area has been BD(R,G), i.e. H is the group algebra RG, G a finite abelian group. Now, this paper provides a cohomological description of \(BD^ s(R,H)\), a subgroup of BD(R,H) generated by groups of Galois H-objects and Galois \(H^*\)- objects and Br(R). The approach is motivated by the methods used by the author and the reviewer in the case \(H=RG\) [Trans. Am. Math. Soc. 324, No.2, 747-775 (1991; see the following review)], but of course, for general H, the situation is more complicated. As an application, for R a commutative domain of characteristic not 2 and H a Hopf algebra of rank 2, BD(R,H) is completely described. Lastly, the author shows that \(BD(R,H)=B_{\theta}(R,H\otimes H^*)\), \(\theta\) a Hopf algebra map from \(H\otimes H^*\) to itself, and \(B_{\theta}(\cdot)\) a generalization of the graded Brauer group proposed by Orzech, thus generalizing an observation of \textit{L. N. Childs} [Trans. Am. Math. Soc. 204, 137-160 (1975; Zbl 0308.13005)]. Finally we note that the author has submitted results describing BD(R,H) via a short exact sequence \(1\to BD^ s(R,H)\to BD(R,H)\to {\mathcal O}(R,H)_{\min},\) \({\mathcal O}(R,H)_{\min}\subset Aut_{Hopf}(H\otimes H^*)\), similar to the sequence describing BD(R,G).