Un mécanisme utilisant des éléments du groupe de Brauer d'une variété pour obstruer l'existence de points rationnels alors même que des points locaux existent partout ; concrètement, l'évaluation des classes de Brauer sur des points adéliques produit des conditions de compatibilité dont l'échec explique des contre-exemples au principe de Hasse et affine les énoncés d'approximation faible.

Principe

Des accouplements entre les points adéliques d'une variété et son groupe de Brauer produisent des contraintes de réciprocité : des valeurs non triviales en ces évaluations peuvent exclure des points globaux tout en laissant la solubilité locale intacte, de sorte que les obstructions arithmétiques sont détectées cohomologiquement par des résidus et des invariants locaux.

Démonstration

Pour une variété projective lisse V sur un corps de nombres, un élément α dans Br(V) définit des applications d'évaluation V(A_K) → Q/Z en envoyant un point adélique sur la somme des invariants locaux du tiré en arrière de α ; si aucun point adélique n'évalue trivialement alors V n'a pas de point rationnel malgré l'existence de points locaux partout — une obstruction de Brauer–Manin au principe de Hasse.

Mauvaise application

Supposer que tout échec du principe de Hasse est expliqué par l'obstruction de Brauer–Manin classique sans vérifier l'existence d'éléments transcendants du groupe de Brauer, d'obstructions de descente ou d'autres obstructions issues de cohomologie de degré supérieur ou de phénomènes non abéliens, ce qui conduit à des explications incomplètes ou fausses.

Conséquence

Quand elle est correctement identifiée, l'obstruction de Brauer–Manin filtre les points adéliques, explique de nombreux échecs du principe de Hasse et de l'approximation faible, et fournit des obstructions calculables utilisées en études arithmétiques explicites et en arguments de descente.

Inversion

La vue inversée affirmerait que les accouplements de Brauer n'obstruent jamais de points globaux si des points locaux existent, ignorant les résidus cohomologiques et les lois de réciprocité qui produisent des obstructions arithmétiques réelles ; ce déni passerait à côté d'exemples connus où Brauer–Manin prédit l'absence de points.

Limite

S'applique aux variétés sur corps globaux dont le groupe de Brauer est accessible ; elle ne saisit pas automatiquement les obstructions provenant de la cohomologie non ramifiée de degré supérieur, de la descente non abélienne ou d'échecs analytiques des principes local-globaux, et sa portée prédictive dépend de la connaissance du sous-groupe pertinent de Br(V).

Tension sémantique

Tension avec les obstructions de descente et de cohomologie supérieure : Brauer–Manin est une obstruction cohomologique abélienne qui suffit parfois mais doit parfois être complétée par des obstructions non abéliennes ou de degré supérieur pour expliquer pleinement l'absence de points rationnels.

Synthèse

L'obstruction de Brauer–Manin est un test cohomologique : en évaluant des classes de Brauer sur des points adéliques et en sommant leurs invariants locaux on obtient des contraintes de réciprocité pouvant exclure des points rationnels globaux alors même que des solutions locales existent, organisant ainsi une grande famille d'obstructions arithmétiques.