M. Borovoi, J.-L. Colliot-Thélène, A. N. Skorobogatov
Duke Math. J. 141 (2), 321-364, (1 February 2008) DOI: 10.1215/S0012-7094-08-14124-9
KEYWORDS: 14G05, 11G99, 12G05, 11E72, 14F22, 14K15, 14M17, 20G99
Let be a field of characteristic zero, and let be an algebraic closure of . For a geometrically integral variety over , we write for the function field of . If has a smooth -point, the natural embedding of multiplicative groups admits a Galois-equivariant retraction.
In the first part of this article, equivalent conditions to the existence of such a retraction are given over local and then over global fields. Those conditions are expressed in terms of the Brauer group of .
In the second part of the article, we restrict attention to varieties that are homogeneous spaces of connected but otherwise arbitrary algebraic groups, with connected geometric stabilizers. For local or global, and for such a variety , in many situations but not all, the existence of a Galois-equivariant retraction to ensures the existence of a -rational point on . For homogeneous spaces of linear algebraic groups, the technique also handles the case where is the function field of a complex surface.
Soient un corps de caractéristique nulle et une clôture algébrique de . Pour une -variété géométriquement intègre, on note le corps des fonctions de . Si possède un -point lisse, le plongement naturel de groupes multiplicatifs admet une rétraction équivariante pour l'action du groupe de Galois de sur .
Dans la première partie de l'article, sur les corps locaux puis sur les corps globaux, on donne des conditions équivalentes à l'existence d'une telle rétraction équivariante. Ces conditions s'expriment en terme du groupe de Brauer de la variété .
Dans la seconde partie de l'article, on considère le cas des espaces homogènes de groupes algébriques connexes, non nécessairement linéaires, avec groupes d'isotropie géométriques connexes. Pour local ou global, pour un tel espace homogène , dans beaucoup de cas mais pas dans tous, l'existence d'une rétraction équivariante à implique l'existence d'un point -rationnel sur . Pour les espaces homogènes de groupes linéaires, la technique permet aussi de traiter le cas où est un corps de fonctions de deux variables sur les complexes