Unramified algebraic Brauer group of homogeneous spaces (Q2353487): Difference between revisions

The algebraic Brauer group \(\mathrm {Br}_{\mathrm{al}}(V)\) for a \(k\)-variety \(V\) is the homology of the complex \[ \mathrm {Br}(k)\rightarrow\mathrm {Br}(V)\rightarrow\mathrm {Br}(V_{\bar{k}}). \] The unramified algebraic Brauer group \(\mathrm {Br}_{\mathrm{nr,al}}(V)\subset\mathrm {Br}_{\mathrm{al}}(V)\) is the subgroup generated by those Brauer classes on \(V\) that become trivial on \(V_{\bar{k}}\) and can be extended over every discrete valuation ring of the function field \(k(V)\) [\textit{J. L. Colliot-Thélène}, Proc. Symp. Pure Math. 58, 1--64 (1995; Zbl 0834.14009)]. Using formulas from [J. Algebra 411, 129--181 (2014; Zbl 1368.14033)], the author establishes some formulas and descriptions for the unramified algebraic Brauer group of certain homogeneous spaces \(V=G/G'\) in terms of certain elements in \(H^1(k, \hat{G}^{\mathrm{ab}})\), mainly when the ground field \(k\) is finite or of characteristic zero. Here \(\hat{G}^{\mathrm{ab}}\) is the character group of \(G\). This hinges on the following fact: Let \(G\) be a \(k\)-group that is an extension of a finite group \(F\) of order \(n\) by a torus \(T\) that is split by a field extension of degree \(d\). Suppose there is a finite subgroup \(H_0\subset G\) that surjects onto \(F=G/T\). Let \(H\subset G\) be the \(k\)-subgroup generated by \(H_0\) and all elements of \(T\) that become elements of \(H_0\cap T\) after multiplication with \(m=nd\). Suppose further that \(m\) is prime to the characteristic \(p\geq 0\). Then for every field extension \(k\subset k'\), the canonical map \(H^1(k',H)\rightarrow H^1(k',G)\) is surjective.