Degree three cohomological invariants of reductive groups
type: Item
instance of: scholarly article
title: Degree three cohomological invariants of reductive groups
zbMATH Open document ID: 1374.12006
DOI: 10.4171/CMH/393
author: Donald Laackman
author: Alexander Merkurjev
published in: Commentarii Mathematici Helvetici
publication date: 2016-10-21T00:00:00Z
reviewed by: Piotr Krasoń
Mathematics Subject Classification ID: 12G05
Mathematics Subject Classification ID: 20G10
Mathematics Subject Classification ID: 11E72
zbMATH DE Number: 6642222
zbMATH Keywords: split reductive group
zbMATH Keywords: Galois cohomology
zbMATH Keywords: invariants
zbMATH Keywords: character group
MaRDI profile type: Publication
cites work: Degree 3 Cohomological Invariants of Groups that are Neither Simply Connected nor Adjoint
cites work: Cohomological invariants of algebraic tori
cites work: Q4357476
cites work: Equivariant intersection theory (With an appendix by Angelo Vistoli: The Chow ring of \({\mathcal M}_2\))
cites work: Q3516073
cites work: The Arason invariant and mod 2 algebraic cycles
cites work: Q4416651
cites work: Classes de Chern et classes de cycles en cohomologie de Hodge-Witt logarithmique
cites work: Geometric methods for cohomological invariants
cites work: Complexe de de\thinspace Rham-Witt et cohomologie cristalline
cites work: Applications of weight-two motivic cohomology
cites work: Q3972764
cites work: Weight two motivic cohomology of classifying spaces for semisimple groups
cites work: Unramified degree three invariants of reductive groups
cites work: Degree three cohomological invariants of semisimple groups
cites work: Q3871006
cites work: Chow groups with coefficients
cites work: Torsion in \(K_ 2\) of fields
cites work: Q4946334
full work available at URL: https://doi.org/10.4171/cmh/393
OpenAlex ID: W2511826573
Recommended article: Degree three cohomological invariants of semisimple groups
Recommended article: Unramified degree three invariants of reductive groups
Recommended article: Degree three unramified cohomology groups
Recommended article: Unramified degree three invariants for reductive groups of type \(A\)
Recommended article: Cohomological invariants of simply connected groups of rank \(3\)
Recommended article: Degree three unramified cohomology of adjoint semisimple groups
Recommended article: Vanishing of degree 3 cohomological invariants
Recommended article: Galois cohomology in degree three and homogeneous varieties
Recommended article: Degree 3 Cohomological Invariants of Groups that are Neither Simply Connected nor Adjoint
Recommended article: ON COHOMOLOGY GROUPS OF THREE-DIMENSIONAL COMPLEX ASSOCIATIVE ALGEBRAS
review text: Let \(G\) be a linear algebraic group defined over a field \(F\). Consider two functorsNEWLINENEWLINE(1) \(G\)-torsors : \({\mathrm{Fields}}_{F} \rightarrow {\mathrm{Sets}},\)NEWLINENEWLINEwhere \({\mathrm{Fields}}_{F}\) denotes the category of fields extensions of \(F.\) The functor takes a field \(K\) to the set of isomorphism classes of \(G\)-torsors over \({\mathrm{Spec}K}.\)NEWLINENEWLINE(2) \( {\Phi} : {\mathrm{Fields}}_{F} \rightarrow {\mathrm{abelian \,\, Groups}}.\)NEWLINENEWLINEThen the \({\Phi}\)-invariant of \(G\) is a morphism of functors \(I: G-{\mathrm{torsors}} \rightarrow {\Phi}\) viewed as functors to Sets. The group of \({\Phi}\)-invariants \({\mathrm{Inv}}(G,{\Phi})\) contains a subgroup of normalized invariants \({\mathrm{Inv}}(G,{\Phi})_{\mathrm{norm}}\) i.e. such that \(I(E)=0\) for every trivial \(G\)-torsor. In the paper the authors consider the cohomology functors \({\Phi}\) taking a field \(K/F\) to the Galois cohomology \(H^{n}(K, {\mathbb Q}/{\mathbb Z}(j))\) and denote by \({\mathrm{Inv}}^{n}(G, {\mathbb Q}/{\mathbb Z}(j))\) the group of cohomological invariants of \(G\) of degree \(n\) with coefficients in \({\mathbb Q}/{\mathbb Z}(j).\) The main result of the paper is the followingNEWLINENEWLINETheorem. Let \(G\) be a split reductive group \(T\subset G\) a split maximal torus, \(W\) the Weyl group and \(C\) the kernel of the universal cover of the commutator subgroup of \(G.\) Then there is an exact sequence NEWLINE\[NEWLINE 0\rightarrow C^{*}{\otimes}F^{\times} \rightarrow {\mathrm{Inv}}^{3}(G, {\mathbb Q}/{\mathbb Z}(2))_{\mathrm{norm}}\rightarrow S^{2}(T^{*})^{W}/{\mathrm{Dec}(G)} \rightarrow 0.NEWLINE\]
description: scientific article; zbMATH DE number 6642222