Obstrucción de Brauer–Manin

Un mecanismo que detecta el fracaso del principio de Hasse para puntos racionales en variedades sobre cuerpos globales: elementos del grupo de Brauer de una variedad se emparejan con puntos adélicos mediante invariantes locales, y una obstrucción global no trivial (suma no nula de invariantes locales) puede impedir la existencia de puntos racionales aun cuando existan puntos en todas las completac

Un mecanismo que usa elementos del grupo de Brauer de una variedad para obstruir la existencia de puntos racionales aun cuando existan puntos locales en todas las completaciones; concretamente, la evaluación de clases de Brauer en puntos adélicos produce condiciones de compatibilidad cuyo incumplimiento explica contraejemplos al principio de Hasse y afina afirmaciones sobre aproximación débil.