On the Brauer group of \(k[x_ 1,\dots ,x_ n,1/f]\) (Q1120624)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Brauer group of \(k[x_ 1,\dots ,x_ n,1/f]\) |
scientific article |
Statements
On the Brauer group of \(k[x_ 1,\dots ,x_ n,1/f]\) (English)
0 references
1989
0 references
Let k be an algebraically closed field of positive characteristic p, let \(f_ 1,...,f_ m\) be linear polynomials in \(k[x_ 1,...,x_ n]\), and let \(R=k[x_ 1,...,x_ n][f_ 1^{-1},...,f_ m^{-1}]\). The author describes a bipartite graph \(\Gamma\) such that the Brauer group B(R) is isomorphic to the cycle space \(H_ 1(\Gamma,{\mathbb{Q}}/{\mathbb{Z}})\) of \(\Gamma\) with coefficients in \({\mathbb{Q}}/{\mathbb{Z}}\). If \(\nu >1\) is an integer relatively prime to p, then the cup product induces a homomorphism \(\beta:\quad H^ 1(R,{\mathbb{Z}}/\nu)\otimes H^ 1(R,{\mathbb{Z}}/\nu)\to_{\nu}B(R),\) the subgroup of elements of order dividing \(\nu\) in B(R). The author shows that \(\beta\) is surjective and describes generators for the kernel of \(\beta\). If the \(f_ i\) are not linear, then \(\beta\) may not be injective, as the author shows in two examples. If \(f=x^{\nu}-y^{\nu -1}z\) and \(R=k[x,y,z,f^{-1}]\), then B(R) is isomorphic to \({\mathbb{Z}}/\nu\) and \(\beta =0\). Also there is a coordinate ring of the complement of four conics in an affine plane, for which \(\beta\) is not surjective.
0 references
bipartite graph
0 references
Brauer group
0 references
cycle space
0 references