Unramified degree three invariants of reductive groups
The notion of a cohomological invariant of an algebraic group was introduced by \textit{J.-P. Serre} [in: Séminaire Bourbaki. Volume 1993/94. Exposés 775--789, 229--257 (Exp. No. 783) (1995; Zbl 0837.12003)]. Let \(G\) be a linear algebraic group over a field \(F\) and \(M\) a Galois module over \(F\). A degree \(d\) invariant of \(G\) assigns to every \(G\)-torsor over a field extension \(K\) of \(F\) an element of the cohomology group \(H ^ d(K, M)\), functorially in \(K\). The paper under review considers the groups \(H ^ d(K) = H ^ d(K, \mathbb Q/\mathbb Z(q-1))\), where \(\mathbb Q/\mathbb Z(d - 1)\) is defined as the Galois module of \((d-1)\)-twisted roots of unity. The \(p\)-part of this module requires special attention if \(p = \text{char}(F) > 0\). The set Inv\(^ d(G)\) of degree \(d\) invariants is an abelian group. An invariant is called normalized, if it takes a trivial torsor to the trivial cohomology class. It is known that \(H ^ d(G)\) is the direct sum of the subgroup NEWLINENEWLINE\noindent \(\mathrm{Inv}^ d(G)_ {norm}\) of normalized invariants and the subgroup of constant invariants (the latter summand is isomorphic to \(H ^ d(F)\)). For any prime number \(p\), denote by \(H ^ d(K, p)\) and \(H ^ d(G, p)\) the \(p\)-components of \(H ^ d(K)\) and Inv\(^ d(G)\), respectively. If \(v\) is a discrete valuation of a field \(K\) trivial on \(F\) with residue field \(F(v)\), then one can define the residue homomorphism \(\partial _ v: H ^ d(K, p) \to H ^ {d-1}(F(v), p)\), for every \(p\neq \text{char}(F)\). An element \(a \in H ^ d(K, p)\) is called unramified with respect to \(v\) if \(\partial _ v(a) = 0\). We write \(H ^ d _ {nr}(K, p)\) for the subgroup of all elements of \(H ^ d(K, p)\) unramified with respect to every discrete valuation of \(K\) trivial on \(F\). An invariant in \(\mathrm{Inv}^ d(G, p)\) is said to be unramified if all of its values over every \(K/F\) belong to \(H ^ d _ {nr}(K, p)\). The group of unramified invariants is denoted by \(\mathrm{Inv}^ d _ {nr}(G, p)\).NEWLINENEWLINEThe research presented in the reviewed paper is motivated by the classical problem of whether the classifying space \(BG\) of the algebraic group \(G\) is stably rational. The author's approach to this problem is based on the Rost-Totaro theorem which asserts that the evaluation at the generic \(G\)-torsor over the function field \(F(BG)\) yields an isomorphism of \(\mathrm{Inv}^ d(G, p)\) upon the subgroup of \(H ^ d(F(BG), p)\) of all elements unramified relative to the discrete valuations associated with the irreducible divisors of \(BG\). This restricts to an isomorphism NEWLINENEWLINE\noindent \(\mathrm{Inv}^ d _ {nr}(G, p) \cong H ^ d _ {nr}(F(BG), p)\). To disprove stable rationality of BG it suffices to show that the map \(H ^ d(F, p) \to H ^ d _ {nr}(F(BG), p)\) is not surjective, for some \(d\) and \(p\) or, equivalently, to find a non-constant unramified invariant of \(G\). The discussed problem is widely open in case \(G\) is connected and \(F\) is algebraically closed. The main result of the reviewed paper shows that then NEWLINENEWLINE\noindent \(\mathrm{Inv}^ 3 _ {nr}(G, p) = H ^ 3 _ {nr}(F(BG), p) = \{0\}\), provided that \(G\) is a split reductive group, \(p \neq \text{char}(F)\), and \(p > 2\) or the commutator subgroup of \(G\) is almost simple. This has been proved by Saltman for the projective linear group \(\mathrm{PGL}_n\) [\textit{D. J. Saltman}, J. Algebra 195, No. 2, 387--422 (1997; Zbl 0937.12002)].
- Unramified degree three invariants for reductive groups of type A
- Degree three cohomological invariants of reductive groups
- Degree three unramified cohomology groups
- Degree three unramified cohomology of adjoint semisimple groups
- Degree three cohomological invariants of semisimple groups
- Degree three unramified cohomology groups and Noether's problem for groups of order 243
- Unipotent Groups in Invariant Theory
- Degree three invariants for semisimple groups of types \(B\), \(C\), and \(D\)
- Degree 3 unramified cohomology of classifying spaces for exceptional groups
- UNIMODULAR GROUPS OF TYPE ℝ3⋊ ℝ
- \(H^3\) and generic matrices
- Chow groups with coefficients
- Cohomological invariants of algebraic tori
- Degree 3 cohomological invariants of split simple groups that are neither simply connected nor adjoint.
- Degree three cohomological invariants of semisimple groups
- Groupe de Brauer et arithmétique des groupes algébriques linéaires sur un corps de nombres.
- scientific article; zbMATH DE number 4043985 (Why is no real title available?)
- scientific article; zbMATH DE number 3785000 (Why is no real title available?)
- scientific article; zbMATH DE number 1201676 (Why is no real title available?)
- scientific article; zbMATH DE number 1959122 (Why is no real title available?)
- scientific article; zbMATH DE number 753830 (Why is no real title available?)
- scientific article; zbMATH DE number 775146 (Why is no real title available?)
- scientific article; zbMATH DE number 1421299 (Why is no real title available?)
- Noether's problem over an algebraically closed field
- The Arason invariant and mod 2 algebraic cycles
- Unramified cohomology of classifying varieties for classical simply connected groups1
- Unramified cohomology of classifying varieties for exceptional simply connected groups
- Unramified cohomology of degree 3 and Noether's problem
- Weight two motivic cohomology of classifying spaces for semisimple groups
- Degree three unramified cohomology of adjoint semisimple groups
- The K-theory of versal flags and cohomological invariants of degree 3
- Unramified degree three invariants for reductive groups of type A
- Degree three invariants for semisimple groups of types \(B\), \(C\), and \(D\)
- Degree 3 unramified cohomology of classifying spaces for exceptional groups
- On Brauer invariants of finite groups
- Versal torsors and retracts
- Vanishing of degree 3 cohomological invariants
- Degree three unramified cohomology groups and Noether's problem for groups of order 243
- Unramified cohomology of classifying varieties for classical simply connected groups1
- Degree three cohomological invariants of reductive groups
- Cohomological invariants of odd degree Jordan algebras
- Cohomological invariants of algebraic tori
- Chinburg's Third Invariant in the Factorisability Defect Class Group
- Invariants of algebraic groups and retract rationality of classifying spaces
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
- Cycle modules and unramified classes over a classifying space
- Chow groups of products of Severi-Brauer varieties and invariants of degree 3
- Envelopes and classifying spaces
- Reciprocity obstruction to strong approximation over \(p\)-adic function fields
This page was built for publication: Unramified degree three invariants of reductive groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q261198)