Lois de réciprocité supérieures et points rationnels

Abstract:

Soit $K=\mathbb {C}((x,y))$ ou $K=\mathbb {C}((x))(y)$. Soit $G$ un $K$-groupe algébrique linéaire connexe. Il a été établi que si $G$ est $K$-rationnel, c’est-à-dire de corps des fonctions transcendant pur sur $K$, si un espace principal homogène sous $G$ a des points rationnels dans tous les complétés de $K$ par rapport aux valuations de $K$, alors il a un point rationnel. Nous montrons ici qu’en général l’hypothèse de $K$-rationalité ne peut être omise. Nous utilisons pour cela une obstruction d’un nouveau type, fondée sur les lois de réciprocité supérieure sur un schéma de dimension deux. Nous donnons aussi une famille d’espaces principaux homogènes pour laquelle cette obstruction raffinée à l’existence d’un point rationnel est la seule obstruction.

Abstract Let $K=\mathbb {C}((x,y))$ or $K=\mathbb {C}((x))(y)$. Let $G$ be a connected linear algebraic group over $K$. Under the assumption that the $K$-variety $G$ is $K$-rational, i.e. that the function field is purely transcendental, it was proved that a principal homogeneous space of $G$ has a rational point over $K$ as soon as it has one over each completion of $K$ with respect to a valuation. In this paper we show that one cannot in general do without the $K$-rationality assumption. To produce our examples, we introduce a new type of obstruction. It is based on higher reciprocity laws on a 2-dimensional scheme. We also produce a family of principal homogeneous spaces for which the refined obstruction controls exactly the existence of rational points.