Unramified Brauer group of homogeneous spaces with finite stabilizer (Q403342): Difference between revisions

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}})\).