On the Brauer group of \(k[x_ 1,\dots ,x_ n,1/f]\) (Q1120624)

From MaRDI portal





scientific article; zbMATH DE number 4101333
Language Label Description Also known as
default for all languages
No label defined
    English
    On the Brauer group of \(k[x_ 1,\dots ,x_ n,1/f]\)
    scientific article; zbMATH DE number 4101333

      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
      0 references
      0 references

      Identifiers