Hecke actions on Brauer groups (Q1082377)

Let S be a commutative ring, B(S) its Brauer group, G the group of automorphisms of S, \({\mathbb{Z}}G\) the group ring of G over \({\mathbb{Z}}\), \({\mathfrak H}_ G\) the Hecke category (i.e. the category in which the objects are \({\mathbb{Z}}G\)-modules \({\mathbb{Z}}G/H={\mathbb{Z}}G\otimes_{{\mathbb{Z}}H}{\mathbb{Z}}\) for subgroups H of G and the morphisms are \({\mathbb{Z}}G\)-module homomorphisms). In accordance to DeMeyer there exists the action of G on the Brauer group B(S). By using Amitsur cohomology DeMeyer extended this action to the étale cohomology groups of the ring \(H^ n(S,G_ m)\) with coefficients in the group of units \(G_ m\). On the other hand, Roggenkamp and Scott constructed a contravariant additive functor from \({\mathfrak H}_ G\) to the category of abelian groups (their functor sends \({\mathbb{Z}}G/H\) to \(Pic(S^ H).\) The paper under review gives a connection between the above results. The author defines a contravariant additive functor from \({\mathfrak H}_ G\) to the category of abelian groups which sends \({\mathbb{Z}}G/H\) to \(B(S^ H)\) when S/R is a Galois extension with (finite) group G. In the case when 0 and 1 are the only idempotents of R this functor extends to \({\mathfrak H}_{Gal(S/R)}\) when S is the separable closure of R. By using Čech étale cohomology the author shows that there exists a contravariant additive functor \(\Phi^ n: {\mathfrak H}_ G\to abeliangroups\) such that \(\Phi^ n({\mathbb{Z}}G/H)=H^ n(S^ H,G_ m)\). In particular, in the case S/R is Galois one has the extension of the results of Roggenkamp and Scott and since \(Hom_ G({\mathbb{Z}}G,{\mathbb{Z}}G)={\mathbb{Z}}G\) one also gets DeMeyer's action of \({\mathbb{Z}}G\) on B(S).