El fenómeno en el que los puntos racionales de una variedad sobre un cuerpo global no son densos en el producto de sus completaciones (puntos adélicos) para la topología adélica, de modo que no cabe aproximar simultáneamente por un mismo punto racional los puntos locales prescritos en un número finito de lugares.

Principio

La aproximación débil postula que para determinadas variedades la inmersión diagonal de los puntos racionales es densa en el producto de puntos locales para la topología del producto restringido; su fallo indica que esta propiedad de densidad no se cumple, mostrando la ruptura del paso de soluciones locales a aproximaciones globales.

Demostración

Una curva de género uno o ciertas superficies racionales pueden tener puntos sobre cada completación K_v mientras que el conjunto de puntos racionales sobre el campo global K no es denso en ∏_v X(K_v). Por ejemplo, una curva con una obstrucción de Brauer–Manin puede admitir puntos locales en todas las plazas pero impedir la aproximación simultánea en dos plazas dadas.

Aplicación incorrecta

Confundir el fallo de la aproximación débil con la ausencia total de puntos racionales (el concepto trata de densidad y aproximación simultánea, no de mera existencia) o suponer que su fallo implica automáticamente el fallo de otros principios local–global como el principio de Hasse sin más evidencia.

Consecuencia

Cuando la aproximación débil falla, no se pueden satisfacer arbitrariamente condiciones locales simultáneas por una sola solución global; esto limita la construcción práctica de puntos globales con comportamiento local prescrito y señala la presencia de obstrucciones aritméticas (por ejemplo, Brauer–Manin).

Inversión

La aproximación débil se cumple: los puntos racionales son densos en el producto adélico, por lo que cualquier tupla finita de datos locales compatibles puede ser aproximada arbitrariamente bien por un punto racional global.

Límite

Se aplica a variedades sobre cuerpos globales y a la densidad en el producto restringido de puntos locales; excluye preguntas sobre aproximación fuerte (relacionada con modelos enteros y omisión de un conjunto de lugares) y no trata directamente cuestiones de existencia en una única completación.

Tensión semántica

Existe tensión entre la aproximación débil y el principio de Hasse o las obstrucciones de Brauer: condiciones congruentes y solvabilidad local pueden sugerir posible aproximación global, pero obstrucciones cohomológicas o trascendentes pueden impedir la densidad.

Síntesis

El fallo de la aproximación débil expresa que, a pesar de la existencia de soluciones locales en todas las plazas, los puntos racionales no logran aproximar simultáneamente datos locales finitos; es la señal de obstrucciones globales no triviales para ensamblar datos locales en una única solución global.