O Princípio Local-Global

O princípio local-global questiona se uma equação solúvel sobre os números reais e sobre cada corpo p-ádico deve ser solúvel sobre os racionais; para formas quadráticas a resposta é sim, incorporando o poder da localização.

Definition

O princípio local-global é a heurística de que um problema diofantino tem uma solução sobre um corpo global exatamente quando tem soluções sobre todas as completações desse corpo; o teorema de Hasse-Minkowski o confirma para formas quadráticas sobre os racionais.

Scope

Este tópico abrange a noção de lugares dos racionais (o lugar real e um lugar p-ádico por primo), o anel de adeles que reúne todas as completações, o princípio de Hasse para solubilidade, o teorema de Hasse-Minkowski que as formas quadráticas o obedecem, a fórmula do produto de suporte e a reciprocidade de Hilbert, e as célebres falhas do princípio para formas de grau superior e certas curvas cúbicas, que motivam a obstrução de Brauer-Manin.

Core questions

• Quais são os lugares e completações dos racionais, e como os adeles os codificam simultaneamente?
• Por que as formas quadráticas satisfazem o princípio de Hasse, e como a fórmula do produto e a reciprocidade de Hilbert fazem isso funcionar?
• Como a localização reduz uma questão de solubilidade global à verificação de cada completação?
• Quando o princípio falha, e quais obstruções explicam as falhas?

Key theories

Teorema de Hasse-Minkowski

Uma forma quadrática sobre os racionais representa zero de forma não trivial se e somente se o faz sobre os reais e sobre cada corpo p-ádico, o sucesso paradigmático do princípio local-global.

Fórmula do produto e reciprocidade de Hilbert

Os símbolos de Hilbert locais de um par de racionais se multiplicam para um sobre todos os lugares; esta fórmula do produto, equivalente à reciprocidade quadrática, é o motor por trás da prova de Hasse-Minkowski.

Falhas e o ponto de vista adélico

O princípio pode falhar para formas de grau três e superior e para curvas de gênero um; a estrutura adélica e a obstrução de Brauer-Manin explicam e medem essas falhas.

Clinical relevance

Os métodos local-globais tornam muitos problemas diofantinos decidíveis, reduzindo-os a um número finito de verificações locais, e a estrutura adélica sustenta a teoria analítica de formas automórficas e funções L que alimenta o programa de Langlands e a teoria computacional dos números.

History

Minkowski classificou as formas quadráticas racionais na década de 1890, e Hasse reformulou e estendeu a teoria na década de 1920 usando números p-ádicos, formulando o princípio local-global. Os adeles e ideles de Chevalley e a tese de Tate em 1950 colocaram o princípio dentro de uma poderosa estrutura harmônico-analítica sobre os adeles.

Key figures

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

Seminal works

• serre1973

Frequently asked questions

O princípio local-global sempre se mantém?

Não. Ele se mantém para formas quadráticas (Hasse-Minkowski), mas pode falhar para equações de grau superior e certas curvas; tais falhas são estudadas através de obstruções como a obstrução de Brauer-Manin.

O que é um lugar dos racionais?

Um lugar é uma classe de equivalência de valores absolutos: os racionais têm um lugar arquimediano que dá os números reais e um lugar não-arquimediano para cada primo que dá um corpo p-ádico.