Arithmetical birational invariants of linear algebraic groups over two-dimensional geometric fields
type: Item
instance of: scholarly article
title: Arithmetical birational invariants of linear algebraic groups over two-dimensional geometric fields
zbMATH Open document ID: 1057.11023
author: P. Gille
author: Mikhail Borovoi
author: Boris Kunyavskiĭ
published in: Journal of Algebra
publication date: 2004-10-01T00:00:00Z
review text: Extending results of Colliot-Thélène, Gille and Parimala, the paper aims to compute some invariants of linear algebraic groups over a field~\(k\). These fields are mostly of cohomological dimension~\(2\): they may be global (function field of a surface), local (field of fractions of an excellent local domain) or semi-local (Laurent series over a field of cohomological dimension~\(1\). \(G\) is a connected linear \(k\)-group: in the global case it is assumed that there are no \(E_8\) factors. The invariants computed are \(G(k)/R\), the group of \(R\)-equivalence classes; \(A_\Sigma(G)\), the defect of weak approximation for a set \(\Sigma\) of places (in the global and local cases); the Galois cohomology \(H^1(k,G)\); and the Tate-Shafarevich set Ш\(^1(k,G)\) (in the local case). It is shown that \(G(k)/R\), \(A_\Sigma(G)\) and Ш\(^1(k,G)\) are stably \(k\)-birational invariants of~\(G\). Put \(\Gamma=\text{Gal}(\bar k/k)\) and let \(\pi_1(G)\) be the algebraic fundamental group of the reductive group obtained by dividing out the unipotent radical. The procedure is to look at various functors \({\mathcal H}\) from \(k\)-tori to abelian groups that are trivial on quasi-trivial tori, such as \({\mathcal H}(T)=H^1(k,T)\). Taking \(0\to Q\to P\to \pi_1(G)\to 0\), with \(P\) a permutation module and \(Q\) a coflasque \(\Gamma\)-module, we get a torus \(F_G\) whose cocharacters are~\(Q\): then \({\mathcal H}(F_G)\) is uniquely determined by~\(G\). Given a smooth rational \(k\)-variety \(X\) there is a torus \(S_X\) whose characters are the Picard group of a smooth compactification over the algebraic closure, and \({\mathcal H}(S_X)\) is uniquely determined by \(X\): moreover, it is a \(k\)-stably birational invariant. If \(X=G\), \({\mathcal H}(S_G)={\mathcal H}(T_G)\). For the fields considered, \(G(k)/R=H^1(k,F_G)\) so \(G(k)/R\) is a \(k\)-stably birational invariant. For weak approximation, it is shown that \[ A_\Sigma(G)=\text{coker} (H^1(k,S_G)\to \prod_{v\in \Sigma}…
Mathematics Subject Classification ID: 11E72
Mathematics Subject Classification ID: 14L40
Mathematics Subject Classification ID: 20G25
Mathematics Subject Classification ID: 20G30
zbMATH DE Number: 2105417
zbMATH Keywords: two-dimensional geometric field
zbMATH Keywords: linear algebraic group
zbMATH Keywords: birational invariants
zbMATH Keywords: R-equivalence
zbMATH Keywords: weak approximation
zbMATH Keywords: Tate-Shafarevich kernel
reviewed by: G. K. Sankaran
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2003.10.024
OpenAlex ID: W2107079986
cites work: Q5532660
cites work: Q3999894
cites work: Groupes reductifs
cites work: Complements à l'article: ''Groupes reductifs''
cites work: Abelianization of the second nonabelian Galois cohomology
cites work: Abelian Galois cohomology of reductive groups
cites work: Formulas for the unramified Brauer group of a principal homogeneous space of a linear algebraic group.
cites work: Q3972725
cites work: Q4143495
cites work: Q4509518
cites work: Arithmetic of linear algebraic groups over certain fields of dimension two.
cites work: Q4222180
cites work: Q4427531
cites work: La $R$-équivalence sur les tores
cites work: Principal homogeneous spaces under flasque tori; applications
cites work: La descente sur les variétés rationnelles. II. (The descent on rational varieties. II)
cites work: Q3877792
cites work: Q4093649
cites work: Q4135776
cites work: The \(R\)-equivalence on reductive algebraic groups defined over a global field
cites work: Galois cohomology of quasi-split groups over fields of cohomological dimension \(\leqslant 2\)
cites work: Eine Bemerkung zum schwachen Approximationssatz
cites work: Resolution of singularities of an algebraic variety over a field of characteristic zero. I
cites work: Unramified class field theory of arithmetical surfaces
cites work: Starke Approximation in algebraischen Gruppen. I.
cites work: Stable trace formula: Cuspidal tempered terms
cites work: Q5287502
cites work: Rational functions invariant under a finite Abelian group
cites work: Q5639839
cites work: Q5669427
cites work: Q4208237
cites work: Q3934523
cites work: Q4357486
cites work: Weak approximation, Brauer and \(R\)-equivalence in algebraic groups over arithmetical fields
cites work: Weak approximation, Brauer and \(R\)-equivalence in algebraic groups over arithmetical fields. II.
cites work: A.D. Alexandrov spaces with curvature bounded below
cites work: Groupe de Brauer et arithmétique des groupes algébriques linéaires sur un corps de nombres.
cites work: Schémas en groupes. I: Propriétés générales des schémas en groupes. Exposés I à VIIb. Séminaire de Géométrie Algébrique 1962/64, dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint
cites work: Q5610254
cites work: BIRATIONAL PROPERTIES OF LINEAR ALGEBRAIC GROUPS
cites work: REMARK ON MY PAPER “STABLE EQUIVALENCE OF ALGEBRAIC TORI”
cites work: Q4210019
DOI: 10.1016/J.JALGEBRA.2003.10.024
description: scientific article; zbMATH DE number 2105417