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.

Principio

Las parejas entre los puntos adélicos de una variedad y su grupo de Brauer generan restricciones de reciprocidad: valores no triviales en estas evaluaciones pueden impedir puntos globales mientras la solubilidad local permanece, de modo que las obstrucciones aritméticas se detectan cohomológicamente a través de residuos e invariantes locales.

Demostración

Para una variedad suave proyectiva V sobre un cuerpo de números, un elemento α en Br(V) define aplicaciones de evaluación V(A_K) → Q/Z que envían un punto adélico a la suma de invariantes locales del tirado atrás de α; si ningún punto adélico evalúa trivialmente entonces V no tiene punto racional pese a poseer puntos locales en todas las completaciones — una obstrucción de Brauer–Manin al principio de Hasse.

Aplicación incorrecta

Suponer que todo fallo del principio de Hasse se explica por la obstrucción clásica de Brauer–Manin sin comprobar la existencia de elementos trascendentes del grupo de Brauer, obstrucciones de descenso u otras obstrucciones procedentes de cohomología de grado superior o fenómenos no abelianos, conduce a explicaciones incompletas o erróneas.

Consecuencia

Cuando se identifica correctamente, la obstrucción de Brauer–Manin filtra puntos adélicos, explica muchos fallos del principio de Hasse y de la aproximación débil, y proporciona obstrucciones calculables usadas en investigaciones aritméticas explícitas y en argumentos de descenso.

Inversión

La inversión sería afirmar que los emparejamientos de Brauer nunca impiden puntos globales si existen puntos locales, ignorando los residuos cohomológicos y las leyes de reciprocidad que producen obstrucciones aritméticas reales; tal negación pasaría por alto contraejemplos conocidos donde Brauer–Manin predice ausencia de puntos.

Límite

Se aplica a variedades sobre cuerpos globales cuyo grupo de Brauer sea accesible; no captura automáticamente obstrucciones que provienen de cohomología no ramificada de grado superior, descentes no abelianos o fallos analíticos de principios local-globales, y su poder predictivo depende del conocimiento del subgrupo pertinente de Br(V).

Tensión semántica

Existe tensión con las obstrucciones de descenso y de cohomología superior: Brauer–Manin es una obstrucción cohomológica abeliana que a veces basta pero en ocasiones debe ser complementada por obstrucciones no abelianas o de orden superior para explicar completamente la ausencia de puntos racionales.

Síntesis

La obstrucción de Brauer–Manin es una prueba cohomológica: evaluando clases de Brauer en puntos adélicos y sumando invariantes locales se obtienen restricciones de reciprocidad que pueden excluir puntos racionales globales aunque existan soluciones locales, organizando así una familia principal de obstrucciones aritméticas.