El Principio Local-Global

El principio local-global cuestiona si una ecuación resoluble sobre los números reales y sobre cada cuerpo p-ádico debe ser ya resoluble sobre los racionales; para las formas cuadráticas la respuesta es afirmativa, lo que encarna el poder de la localización.

Definition

El principio local-global es la heurística de que un problema diofántico tiene una solución sobre un cuerpo global exactamente cuando tiene soluciones sobre todas las completaciones de ese cuerpo; el teorema de Hasse-Minkowski lo confirma para formas cuadráticas sobre los racionales.

Scope

Este tema abarca la noción de lugares de los racionales (el lugar real y un lugar p-ádico por cada primo), el anillo de adeles que ensambla todas las completaciones, el principio de Hasse para la solubilidad, el teorema de Hasse-Minkowski que establece que las formas cuadráticas lo obedecen, la fórmula del producto de soporte y la reciprocidad de Hilbert, y los célebres fallos del principio para formas de grado superior y ciertas curvas cúbicas, que motivan la obstrucción de Brauer-Manin.

Core questions

• ¿Cuáles son los lugares y las completaciones de los racionales, y cómo los codifican los adeles simultáneamente?
• ¿Por qué las formas cuadráticas satisfacen el principio de Hasse, y cómo la fórmula del producto y la reciprocidad de Hilbert hacen que esto funcione?
• ¿Cómo reduce la localización una cuestión de solubilidad global a la verificación de cada completación?
• ¿Cuándo falla el principio y qué obstrucciones explican los fallos?

Key theories

Teorema de Hasse-Minkowski

Una forma cuadrática sobre los racionales representa cero de forma no trivial si y solo si lo hace sobre los reales y sobre cada cuerpo p-ádico, el éxito paradigmático del principio local-global.

Fórmula del producto y reciprocidad de Hilbert

Los símbolos de Hilbert locales de un par de racionales se multiplican a uno sobre todos los lugares; esta fórmula del producto, equivalente a la reciprocidad cuadrática, es el motor detrás de la prueba de Hasse-Minkowski.

Fallos y el punto de vista adélico

El principio puede fallar para formas de grado tres y superior y para curvas de género uno; el marco adélico y la obstrucción de Brauer-Manin explican y miden estos fallos.

Clinical relevance

Los métodos local-globales hacen que muchos problemas diofánticos sean decidibles al reducirlos a un número finito de verificaciones locales, y el marco adélico sustenta la teoría analítica de las formas automorfas y las funciones L que alimentan el programa de Langlands y la teoría computacional de números.

History

Minkowski clasificó las formas cuadráticas racionales en la década de 1890, y Hasse reformuló y extendió la teoría en la década de 1920 utilizando números p-ádicos, formulando el principio local-global. Los adeles e ideles de Chevalley y la tesis de Tate en 1950 situaron el principio dentro de un potente marco armónico-analítico sobre los adeles.

Key figures

• Helmut Hasse
• Hermann Minkowski
• Claude Chevalley
• John Tate

Seminal works

• serre1973

Frequently asked questions

¿Siempre se cumple el principio local-global?

No. Se cumple para formas cuadráticas (Hasse-Minkowski) pero puede fallar para ecuaciones de grado superior y ciertas curvas; tales fallos se estudian a través de obstrucciones como la obstrucción de Brauer-Manin.

¿Qué es un lugar de los racionales?

Un lugar es una clase de equivalencia de valores absolutos: los racionales tienen un lugar arquimediano que da los números reales y un lugar no arquimediano para cada primo que da un cuerpo p-ádico.