Phénomène où les points rationnels d'une variété définie sur un corps global ne sont pas denses dans le produit de ses complétés (points adéliques) pour la topologie adélique, de sorte qu'on ne peut pas approcher simultanément, par un même point rationnel, des points locaux prescrits en un nombre fini de places.

Principe

Le principe d'approximation faible affirme que, pour certaines variétés, l'immersion diagonale des points rationnels est dense dans le produit des points locaux pour la topologie du produit restreint ; son échec signifie que cette propriété de densité ne tient pas, indiquant une rupture du passage des solutions locales aux approximations globales.

Démonstration

Une courbe de genre un ou certaines surfaces rationnelles peuvent avoir des points sur chaque complété K_v tandis que l'ensemble des points rationnels sur le corps global K n'est pas dense dans le produit ∏_v X(K_v) : par exemple, une courbe affectée d'une obstruction de Brauer–Manin admet des points locaux partout mais empêche l'approximation simultanée en deux places choisies.

Mauvaise application

Confondre l'échec de l'approximation faible avec l'absence totale de point rationnel (la notion concerne la densité et l'approximation simultanée, pas la simple existence) ou supposer que son échec entraîne automatiquement l'échec d'autres principes local–global comme le principe de Hasse sans preuve supplémentaire.

Conséquence

Quand l'approximation faible échoue, on ne peut pas satisfaire arbitrairement des contraintes locales simultanément par une solution globale ; cela limite la construction effective de points globaux avec un comportement local prescrit et signale la présence d'obstructions arithmétiques (par exemple de Brauer–Manin).

Inversion

L'approximation faible est vérifiée : les points rationnels sont denses dans le produit adélique, de sorte que toute donnée locale finie compatible peut être approchée arbitrairement près par un point rationnel global.

Limite

S'applique aux variétés sur corps globaux et à la densité dans le produit restreint des points locaux ; exclut les questions d'approximation forte (liées aux modèles entiers et à l'omission de places) et ne traite pas directement des seules questions d'existence sur un unique complété.

Tension sémantique

Tension entre approximation faible et principe de Hasse ou obstructions de Brauer : des conditions congruentes et la solvabilité locale peuvent laisser penser à une approximation globale possible, alors que des obstructions cohomologiques ou transcendantales peuvent néanmoins empêcher la densité.

Synthèse

L'échec de l'approximation faible exprime que, malgré l'existence de solutions locales en chaque place, les points rationnels ne parviennent pas à approcher simultanément des données locales finies ; c'est le signal d'obstructions globales non triviales au recollement des données locales en une solution unique.