Hecke actions on Brauer groups (Q1082377): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(84)90021-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2044760680 / rank | |||
Normal rank |
Revision as of 20:56, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hecke actions on Brauer groups |
scientific article |
Statements
Hecke actions on Brauer groups (English)
0 references
1984
0 references
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).
0 references
Brauer group
0 references
group of automorphisms
0 references
Hecke category
0 references