Degree three unramified cohomology of adjoint semisimple groups
type: Item
instance of: scholarly article
title: Degree three unramified cohomology of adjoint semisimple groups
author: Alexander Merkurjev
published in: Mathematische Zeitschrift
publication date: 2018-08-28T00:00:00Z
review text: \par Let \(G\) be an adjoint semisimple algebraic group over a field \(F\), and let \(F(G)\) denote the function field of \(G\). Let \(Z\) be the kernel of a simply connected cover \(\tilde{G} \to G\). Assume that \(|Z|\) is not divisible by the characteristic of \(F\). Let \(\mu_n\) denote the \(n\)th roots of unity in \(F_{\mathrm{sep}}\). For a field extension \(K/F\), let \(H^d(K)\) denote the Galois cohomology \(\operatorname{colim} H^d\left(K,\mu_n^{\otimes(d-1)}\right)\), where the colimit is taken over all \(n\) prime to the characteristic of \(F\). The unramified cohomology \(H^d(K)_{\mathrm{nr}}\) is the subgroup of all elements that map to zero under every residue homomorphsim \(H^d(K) \to H^{d-1}(\kappa(\nu))\) for a discrete valuation \(\nu\) of \(K\) trivial on \(F\), with \(\kappa(\nu)\) denoting the residue field. The goal of the paper is to determine the degree 3 reduced unramified cohomology \(\bar{H}^3(F(G))_{\mathrm{nr}} := H^3(F(G))_{\mathrm{nr}}/H^3(F)\). The author shows that there are precisely two cases, one where \(G\) is a projective unitary group (type \(^2A_n\) with \(n \equiv 3 \mod 4\)) and one where \(G\) is a projective orthogonal group (type \(^2D_n\) with \(n \geq 3\) odd), where \(\bar{H}^3(F(G))_{\mathrm{nr}}\) is non-zero. In both cases the cohomology group is cyclic of order 2. If the group \(G\) was rational, the cohomology would be zero, so these groups with non-trivial cohomology give new examples of non-rational algebraic groups. The proof makes use of the group of homomorphic cohomological invariants on \(G\) (with \(G\) considered as a functor from field extensions of \(F\) to groups). It is first shown that \(\bar{H}^3(F(G))_{\mathrm{nr}}\) lies within the subgroup of degree 3 cohomological invariants in \(\bar{H}^3(F(G))\). Then the degree 3 cohomological invariants are identified with a quotient of the Galois cohomology group \(H^2(F,Z^{\circ})\), where \(Z^{\circ}\) denotes the group dual to \(Z\). This latter connect…
reviewed by: Christopher P. Bendel
Mathematics Subject Classification ID: 20G15
Mathematics Subject Classification ID: 20G10
Mathematics Subject Classification ID: 14L10
zbMATH DE Number: 6928354
zbMATH Keywords: non-rational group
zbMATH Keywords: adjoint semisimple algebraic group
zbMATH Keywords: Galois cohomology
zbMATH Keywords: unramified cohomology
zbMATH Keywords: cohomological invariants
MaRDI profile type: Publication
full work available at URL: s00209-017-1989-6
OpenAlex ID: W2772392159
cites work: Cohomological invariants and \(R\)-triviality of adjoint classical groups.
cites work: Cohomological invariants of algebraic tori
cites work: Steenrod operations in Chow theory
cites work: Q4222180
cites work: Q3516073
cites work: The Arason invariant and mod 2 algebraic cycles
cites work: Q5609457
cites work: The Rost invariant has trivial kernel for quasi-split groups of low rank
cites work: Rost invariant of the center, revisited
cites work: Q4416651
cites work: On the Brauer group of a semisimple algebraic group
cites work: On the Brauer group of the product of a torus and a semisimple algebraic group
cites work: Applications of weight-two motivic cohomology
cites work: Q4210545
cites work: The construction of weight-two arithmetic cohomology
cites work: Q3972764
cites work: Q4870231
cites work: \(R\)-equivalence and rationality problem for semisimple adjoint classical algebraic groups
cites work: Q4208237
cites work: Invariants of algebraic groups
cites work: Unramified elements in cycle modules
cites work: Weight two motivic cohomology of classifying spaces for semisimple groups
cites work: Q4636127
cites work: The multipliers of similitudes and the Brauer group of homogeneous varieties.
cites work: Q4436189
cites work: Graded Hermitian forms and Springer's theorem
cites work: Chow groups with coefficients
cites work: Q5648549
cites work: Représentations linéaires irréductibles d'un groupe réductif sur un corps quelconque.
cites work: Q4946334
cites work: Q3845400
DOI: 10.1007/S00209-017-1989-6
description: scientific article; zbMATH DE number 6928354