También llamado principio local–global: la heurística y, para algunas clases, el teorema que afirma que una ecuación diofántica tiene una solución racional (global) precisamente cuando tiene soluciones en todas las completaciones de los racionales (R y todos los Q_p), con compatibilidad necesaria en las plazas ramificadas.

Principio

La solvencia global puede, en ocasiones, detectarse comprobando la solvencia en todas las completaciones locales; las aplicaciones local–global y las restricciones de reciprocidad hacen que las condiciones locales sean decisivas para ciertas familias (notablemente formas cuadráticas y cónicas).

Demostración

Las cónicas sobre Q satisfacen el principio de Hasse: una forma cuadrática en tres variables tiene un cero racional no trivial si y solo si tiene ceros no triviales sobre R y sobre Q_p para cada primo p. En contraste, curvas de Selmer dan contraejemplos clásicos donde la solvencia local no implica un punto racional.

Aplicación incorrecta

Suponer que el principio de Hasse siempre se cumple para ecuaciones diofánticas arbitrarias; omitir obstrucciones globales (como la obstrucción de Brauer–Manin) o no verificar la compatibilidad de las soluciones locales entre las plazas conduce a conclusiones falsas.

Consecuencia

Cuando es válido, reduce preguntas de existencia global a un conjunto finito (o al menos manejable) de comprobaciones locales, haciendo más tratables los problemas aritméticos y conectando invariantes locales con la clasificación global.

Inversión

El modo de fallo es significativo: la existencia de soluciones locales en todas partes sin solución racional global indica una obstrucción de naturaleza aritmética (Brauer–Manin, obstrucciones por descenso), mostrando que los datos locales no determinan necesariamente la existencia global.

Límite

Se aplica plenamente a formas cuadráticas y cónicas y a otras clases bajo hipótesis adicionales; no se sostiene de forma universal para ecuaciones de grado mayor, y su aplicabilidad depende de la disponibilidad de teoremas local–global y del control de obstrucciones.

Tensión semántica

A menudo se confunde con la aproximación débil (densidad de puntos racionales en puntos adelicos) o con la mera solvencia local; el principio de Hasse es una afirmación más fuerte sobre la existencia de un punto global dado puntos locales, distinto de la aproximación o de la sola solvencia local.

Síntesis

El principio de Hasse enmarca la búsqueda de soluciones racionales como un problema local–global: para ciertas familias, la compatibilidad de soluciones en todas las completaciones garantiza un punto racional, mientras que los fallos exponen obstrucciones globales intrínsecas que refinan nuestra comprensión de la solvencia diofántica.