Mécanisme détectant l'échec du principe de Hasse pour l'existence de points rationnels sur des variétés définies sur des corps globaux : des éléments du groupe de Brauer d'une variété s'apparient avec les points adéliques via des invariants locaux, et une obstruction globale non triviale (somme non nulle des invariants locaux) peut interdire des points rationnels même si des points locaux existent partout.

Principe

Évaluer des classes du groupe de Brauer sur des points adéliques pour obtenir des invariants locaux dans Q/Z ; la somme de ces invariants sur toutes les places doit être nulle pour qu'un point adélique soit approchable par des points rationnels, de sorte qu'un appariement non nul définit une obstruction à l'existence ou à la densité des points rationnels.

Démonstration

Pour une variété projective V sur un corps de nombres, construire une classe algébrique explicite du groupe de Brauer et l'évaluer sur le produit des points locaux : si les évaluations locales donnent des invariants dont la somme dans Q/Z est non nulle, alors V n'admet pas de point rationnel malgré l'existence de points sur chaque complétion, illustrant une obstruction de Brauer–Manin effective.

Mauvaise application

Prétendre que l'obstruction de Brauer–Manin est toujours la seule obstruction aux points rationnels ; négliger les éléments transcendants du groupe de Brauer ou calculer incorrectement les invariants locaux peut conduire à des faux négatifs ou à des faux positifs sur la solvabilité rationnelle.

Conséquence

L'obstruction fournit une condition cohomologique nécessaire pour l'existence de points rationnels et affine les arguments de descente : elle explique de nombreux contre-exemples au principe local-global et guide la recherche de points rationnels en identifiant des classes adéliques à tester et en éliminant d'emblée des familles adéliques impossibles.

Inversion

La réciproque peut échouer : l'appariement de Brauer–Manin peut s'annuler (pas d'obstruction) tandis que les points rationnels n'existent toujours pas, ce qui montre l'insuffisance de Brauer–Manin seul et signale des obstructions plus profondes (par exemple provenant de recouvrements non abéliens ou de phénomènes de Tate–Shafarevich).

Limite

S'applique aux variétés sur corps globaux où le groupe de Brauer se définit et s'évalue sur les points adéliques ; elle ne capture pas les obstructions purement locales et peut être incomplète lorsque des éléments transcendants ou des obstructions cohomologiques d'ordre supérieur interviennent.

Tension sémantique

Tension entre les obstructions cohomologiques détectées par le groupe de Brauer et les obstructions de descente plus géométriques : si Brauer–Manin est calculable dans de nombreux cas et explique de nombreux échecs du principe de Hasse, il existe des exemples où il est insuffisant, posant la question de sa complétude comme théorie d'obstruction.

Synthèse

L'obstruction de Brauer–Manin utilise le groupe de Brauer et les applications d'invariant local pour transformer l'information locale en un test cohomologique global : un appariement global non nul empêche l'existence de points rationnels, offrant un diagnostic puissant des échecs du principe de Hasse tout en laissant place à des obstructions complémentaires lorsque l'appariement s'annule.