Unramified Brauer group of homogeneous spaces with finite stabilizer (Q403342)

From MaRDI portal
Revision as of 16:34, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Unramified Brauer group of homogeneous spaces with finite stabilizer
scientific article

    Statements

    Unramified Brauer group of homogeneous spaces with finite stabilizer (English)
    0 references
    29 August 2014
    0 references
    Let \(k\) be a ground field, with separable closure \(\bar{k}\). Each variety \(V\) gives rise to the complex \[ \operatorname{Br}(k)\longrightarrow\operatorname{Br}(V)\longrightarrow\operatorname{Br}(V_{\bar{k}}) \] of Brauer groups. Its homology \(\operatorname{Br}_{\text{al}}(V)\) is called the \textit{algebraic Brauer group}, which can be identified with the Galois cohomology group \(H^1(k, \operatorname{Pic}(V_{\bar{k}}))\). The unramified part \(\operatorname{Br}_{\text{nr, al}}\) consists, roughly speaking, of the image of the Brauer classes that extend to a smooth compactification \(V\subset X\), where one assumes that \(V\) itself is smooth and geometrically integral. This paper gives descriptions, over various ground fields \(k\), for the unramified algebraic Brauer groups for homogeneous spaces \(V=G\backslash G'\), where \(G'\) is an algebraic group that is semisimple and simply connected, and \(G\) is an algebraic subgroup that is finite. The ground fields are finite, or of characteristic zero, or certain local fields. In this situation, the Galois module \(\operatorname{Pic}(V_{\bar{k}})\) can be identified with the group \(M\) of characters \(G\rightarrow\mathbb{G}_m\). The paper extends work of \textit{M. Borovoi} et al. [Ann. Sci. Éc. Norm. Supér. (4) 46, No. 4, 651--692 (2013; Zbl 1328.14032)], which did not cover the case where \(G\) is finite. For example, the author shows that elements in the unramified algebraic Brauer group correspond to Galois cohomology classes \(\alpha\) such that for each finite field extension \(k\subset k'\), the resulting image \(\alpha'\) in \(H^1(k'((t)), M)\) is orthogonal to kernel of the map \(H^1(k'((t)), G)\rightarrow H^1(k'((t)), G^{\text{ab}})\).
    0 references
    Brauer group
    0 references
    homogeneous spaces
    0 references
    Galois cohomology
    0 references
    finite groups
    0 references

    Identifiers