Obstruction de Brauer–Manin

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 exi

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.