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

    Identifiers