Un principio heurístico y a veces teoremático que afirma que una propiedad aritmética o geométrica global (existencia de un punto racional, solvencia, isotropía) puede detectarse comprobando las propiedades locales correspondientes en todas las completaciones del cuerpo base.

Principio

Reducir problemas globales a una familia de problemas locales: si un objeto satisface la propiedad especificada en cada completación (archimedeana y no archimedeana), entonces, bajo hipótesis apropiadas, la satisface globalmente; inversamente, un fallo global debe ser testimoniado por una obstrucción local o una obstrucción global visible en el agregado de locales.

Demostración

El teorema de Hasse–Minkowski para formas cuadráticas sobre cuerpos de números: una forma cuadrática es isotrópica sobre el cuerpo de números si y sólo si es isotrópica sobre cada completación (R y todos los p-ádicos). Muchos torseurs bajo ciertos grupos también obedecen principios de Hasse; sin embargo existen contraejemplos.

Aplicación incorrecta

Suponer que el principio siempre se cumple: existen fracasos clásicos (por ejemplo, ciertas curvas de género uno y algunas superficies cúbicas diagonales) donde la solvencia local no implica solvencia global debido a obstrucciones como la obstrucción de Brauer–Manin o obstrucciones de descenso.

Consecuencia

Cuando es válido, reduce infinitas comprobaciones globales a comprobaciones locales finitas y permite algoritmos explícitos y resultados de clasificación; también enfoca la atención en detectar y clasificar obstrucciones cuando falla.

Inversión

La negación destaca las obstrucciones: la solvencia local sin soluciones globales conduce al estudio de la obstrucción de Brauer–Manin, obstrucciones de descenso y otras obstrucciones; comprender la inversión obliga a refinar los datos locales o introducir nuevos invariantes que capturen el fallo global.

Límite

Se cumple plenamente para algunas clases (formas cuadráticas, ciertos espacios homogéneos) y falla en general; se refiere a completaciones de cuerpos locales y excluye fenómenos sensibles a modelos integrales, clases de torsión o condiciones globales de altura que no se localizan fácilmente.

Tensión semántica

Compite con nociones de aproximación débil y con el principio de Brauer–Manin: la tensión está entre esperar una transferencia local-a-global y reconocer obstrucciones globales sutiles que son invisibles localmente pero controlan la realidad aritmética.

Síntesis

El Principio Local–Global es una estrategia guía: probar las completaciones locales para inferir el comportamiento global cuando procede, y cuando falla, usar el patrón de soluciones locales para aislar obstrucciones globales y refinar invariantes aritméticos; es poderoso pero requiere hipótesis precisas y un inventario de posibles obstrucciones.