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 completaciones locales.

Principio

Evaluar clases del grupo de Brauer en puntos adélicos para obtener invariantes locales en Q/Z; la suma de dichos invariantes sobre todas las plazas debe anularse para que un punto adélico sea aproximable por puntos racionales, de modo que un emparejamiento no nulo define una obstrucción a la existencia o densidad de puntos racionales.

Demostración

Para una variedad proyectiva V sobre un cuerpo de números, construir una clase de Brauer algebraica explícita y evaluarla sobre el producto de puntos locales: si cada evaluación local produce invariantes cuya suma en Q/Z es no nula, entonces V no tiene punto racional a pesar de tener puntos en todas las completaciones, mostrando una obstrucción de Brauer–Manin efectiva.

Aplicación incorrecta

Suponer que la obstrucción de Brauer–Manin es siempre la única obstrucción para puntos racionales; descuidar elementos trascendentes del grupo de Brauer o calcular incorrectamente los invariantes locales puede conducir a falsos negativos o positivos sobre la solvencia racional.

Consecuencia

La obstrucción aporta una condición cohomológica necesaria para la existencia de puntos racionales y refina los argumentos de descenso: explica numerosos contraejemplos al principio local-global y guía la búsqueda de puntos racionales identificando clases adélicas para probar y descartando familias adélicas imposibles.

Inversión

La inversión falla cuando el emparejamiento de Brauer–Manin se anula (no hay obstrucción) y, sin embargo, no existen puntos racionales, lo cual muestra la insuficiencia de Brauer–Manin por sí sola y apunta a obstrucciones más profundas (por ejemplo, procedentes de recubrimientos no abelianos o fenómenos tipo Tate–Shafarevich).

Límite

Se aplica a variedades sobre cuerpos globales donde el grupo de Brauer puede definirse y evaluarse en puntos adélicos; no captura obstrucciones puramente locales y puede ser incompleta cuando intervienen elementos trascendentes o obstrucciones cohomológicas de orden superior.

Tensión semántica

Tensión entre obstrucciones cohomológicas detectadas por el grupo de Brauer y obstrucciones de descenso más geométricas: aunque Brauer–Manin es computable en muchos casos y explica muchos fracasos del principio de Hasse, existen ejemplos donde resulta insuficiente, planteando dudas sobre su completitud como teoría de obstrucciones.

Síntesis

La obstrucción de Brauer–Manin usa el grupo de Brauer y mapas de invariantes locales para transformar la información local en una prueba cohomológica global: un emparejamiento global no nulo obstruye puntos racionales, proporcionando un diagnóstico poderoso de los fracasos del principio de Hasse y dejando abierta la posibilidad de obstrucciones complementarias cuando el emparejamiento se anula.