The elementary obstruction and homogeneous spaces
type: Item
instance of: scholarly article
title: The elementary obstruction and homogeneous spaces
zbMATH Open document ID: 1135.14013
DOI: 10.1215/S0012-7094-08-14124-9
author: Alexei N. Skorobogatov
author: Mikhail Borovoi
author: Jean-Louis Colliot-Thélène
published in: Duke Mathematical Journal
publication date: 2008-02-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0611700
full work available at URL: https://projecteuclid.org/euclid.dmj/1200601794
review text: The main object of the paper under review is the elementary obstruction \(ob(X)\) for the existence of a (smooth) rational point on a geometrically integral variety \(X\) defined over a field \(k\) of characteristic zero. This obstruction, first introduced and studied by \textit{J.-L.~Colliot-Thélène and J.-J.~Sansuc} [Duke Math. J. 54, 375--492 (1987; Zbl 0659.14028)], is defined as the class in \({\text{Ext}}^1_{\mathfrak g}(\bar k(X)^*/\bar k^*, \bar k^*)\) of the extension of \(\mathfrak g\)-modules \(1\to \bar k^*\to \bar k(X)^* \to \bar k(X)^*/\bar k^*\to 1\) (here \(\mathfrak g\) stands for the absolute Galois group of \(k\)). The authors' goal is to determine for which fields \(k\) and \(k\)-varieties \(X\) this obstruction is the only one. This turns out to be true for any homogeneous space \(X\) of a connected algebraic group \(G\) (with connected geometric stabilizer) in the following cases: \(k\) is a \(p\)-adic field; or (provided \(G\) is linear) a ``good'' field of cohomological dimension 2; or a number field (provided \(G\) is linear and \(X\) has points in the real completions of \(k\)); or a totally imaginary number field (assuming finiteness of the Tate--Shafarevich group of the maximal abelian variety quotient of \(G\)). They show that some of these results are sharp by exhibiting a striking example of a \(G\)-torsor \(X\) defined over \(\mathbb Q\) with vanishing elementary obstruction which has points everywhere locally but has no \(\mathbb Q\)-points (in their construction \(G\) is an extension of an elliptic curve by \(SL_1(D)\) where \(D\) denotes the Hamilton quaternions).
Mathematics Subject Classification ID: 14G05
Mathematics Subject Classification ID: 11E72
Mathematics Subject Classification ID: 14F22
Mathematics Subject Classification ID: 14K15
Mathematics Subject Classification ID: 14M17
Mathematics Subject Classification ID: 20G99
Mathematics Subject Classification ID: 11G99
Mathematics Subject Classification ID: 12G05
zbMATH DE Number: 5237684
zbMATH Keywords: elementary obstruction
zbMATH Keywords: Brauer group
zbMATH Keywords: homogeneous space
Wikidata QID: Q57395846
reviewed by: Boris Kunyavskiĭ
MaRDI profile type: MaRDI publication profile
arXiv ID: math/0611700
cites work: Abelianization of the second nonabelian Galois cohomology
cites work: The Brauer-Manin obstructions for homogeneous spaces with connected or abelian stabilizer.
cites work: A cohomological obstruction to the Hasse principle for homogeneous spaces
cites work: Q4698646
cites work: Arithmetic of linear algebraic groups over 2-dimensional geometric fields
cites work: Groupe de Picard et groupe de Brauer des compactifications lisses d’espaces homogènes
cites work: Q4427531
cites work: Real components of algebraic varieties and étale cohomology
cites work: Q4880966
cites work: La descente sur les variétés rationnelles. II. (The descent on rational varieties. II)
cites work: Brauer–Manin obstruction for integral points of homogeneous spaces and representation by integral quadratic forms
cites work: Q4542308
cites work: Algebraic points on cubic hypersurfaces
cites work: The period-index problem for the Brauer group of an algebraic surface
cites work: Families of rationally simply connected varieties over surfaces and torsors for semisimple groups
cites work: Q4658939
cites work: Q4407869
cites work: Dualität bei abelschen Varietäten über reell abgeschlossenen Körpern.
cites work: Rational points in Henselian discrete valuation rings
cites work: Q5588355
cites work: Q5644088
cites work: The Manin obstruction for torsors under connected algebraic groups
cites work: Local-global principles for 1-motives
cites work: Duality theorems for curves over p-adic fields
cites work: On the passage from local to global in number theory
cites work: Q3360281
cites work: Q3871006
cites work: Q3754095
cites work: Hodge cycles, motives, and Shimura varieties
cites work: Q5628266
cites work: Some Basic Theorems on Algebraic Groups
cites work: Groupe de Brauer et arithmétique des groupes algébriques linéaires sur un corps de nombres.
cites work: Real and étale cohomology
cites work: Q3277020
cites work: Q3710637
cites work: Torsors and rational points
cites work: Q5589027
cites work: Divisors on real algebraic varieties without real points
cites work: Lichtenbaum-Tate duality for varieties over p-adic fields
cites work: Q4210019
cites work: Brauer-Manin obstruction to weak approximation on abelian varieties
cites work: On Albanese torsors and the elementary obstruction
cites work: Q3739277
Recommended article: The Homotopy Obstructions in Complete Intersections
Recommended article: A structure theorem for homogeneous spaces
Recommended article: A cohomological obstruction to the Hasse principle for homogeneous spaces
Recommended article: Q3702130
Recommended article: Q4725351
Recommended article: Q3615942
Recommended article: The elementary obstruction and the Weil restriction
Recommended article: Homogeneous spaces and equivariant embeddings

The elementary obstruction and homogeneous spaces (Recommended article)
Recommended article: Q4139331
Similarity Score: 0.8714415
Recommender Run: Recommender Run 3

The elementary obstruction and homogeneous spaces (Recommended article)
Recommended article: On affinely closed, homogeneous spaces
Similarity Score: 0.87089175
Recommender Run: Recommender Run 3