Das Lokal-Global-Prinzip

Das Lokal-Global-Prinzip fragt, ob eine Gleichung, die über den reellen Zahlen und über jedem p-adischen Körper lösbar ist, bereits über den rationalen Zahlen lösbar sein muss; für quadratische Formen ist die Antwort ja, was die Leistungsfähigkeit der Lokalisierung verkörpert.

Definition

Das Lokal-Global-Prinzip ist die Heuristik, dass ein diophantisches Problem genau dann eine Lösung über einem globalen Körper hat, wenn es Lösungen über allen Vervollständigungen dieses Körpers hat; der Satz von Hasse-Minkowski bestätigt dies für quadratische Formen über den rationalen Zahlen.

Scope

Dieses Thema behandelt den Begriff der Stellen der rationalen Zahlen (die reelle Stelle und eine p-adische Stelle pro Primzahl), den Adelring, der alle Vervollständigungen zusammenführt, das Hasse-Prinzip für die Lösbarkeit, den Satz von Hasse-Minkowski, der besagt, dass quadratische Formen diesem Prinzip gehorchen, die unterstützende Produktformel und die Hilbert-Reziprozität sowie die bekannten Fehlschläge des Prinzips für Formen höheren Grades und bestimmte kubische Kurven, die die Brauer-Manin-Obstruktion motivieren.

Core questions

• Was sind die Stellen und Vervollständigungen der rationalen Zahlen, und wie kodieren Adele diese gleichzeitig?
• Warum erfüllen quadratische Formen das Hasse-Prinzip, und wie ermöglichen die Produktformel und die Hilbert-Reziprozität dies?
• Wie reduziert die Lokalisierung eine globale Lösbarkeitsfrage auf die Überprüfung jeder Vervollständigung?
• Wann versagt das Prinzip, und welche Obstruktionen erklären die Fehlschläge?

Key theories

Satz von Hasse-Minkowski

Eine quadratische Form über den rationalen Zahlen stellt genau dann nicht-trivial Null dar, wenn sie dies über den reellen Zahlen und über jedem p-adischen Körper tut, der paradigmatische Erfolg des Lokal-Global-Prinzips.

Produktformel und Hilbert-Reziprozität

Die lokalen Hilbert-Symbole eines Paares rationaler Zahlen multiplizieren sich über alle Stellen zu eins; diese Produktformel, äquivalent zur quadratischen Reziprozität, ist der Motor hinter dem Beweis von Hasse-Minkowski.

Fehlschläge und die adelische Sichtweise

Das Prinzip kann für Formen dritten und höheren Grades sowie für Kurven vom Geschlecht eins versagen; der adelische Rahmen und die Brauer-Manin-Obstruktion erklären und messen diese Fehlschläge.

Clinical relevance

Lokal-globale Methoden machen viele diophantische Probleme entscheidbar, indem sie diese auf endlich viele lokale Überprüfungen reduzieren, und der adelische Rahmen untermauert die analytische Theorie automorpher Formen und L-Funktionen, die das Langlands-Programm und die algorithmische Zahlentheorie speist.

History

Minkowski klassifizierte rationale quadratische Formen in den 1890er Jahren, und Hasse überarbeitete und erweiterte die Theorie in den 1920er Jahren unter Verwendung p-adischer Zahlen und formulierte das Lokal-Global-Prinzip. Chevalleys Adele und Idele sowie Tates Dissertation im Jahr 1950 betteten das Prinzip in einen mächtigen harmonisch-analytischen Rahmen über den Adelen ein.

Key figures

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

Seminal works

• serre1973

Frequently asked questions

Gilt das Lokal-Global-Prinzip immer?

Nein. Es gilt für quadratische Formen (Hasse-Minkowski), kann aber für Gleichungen höheren Grades und bestimmte Kurven versagen; solche Fehlschläge werden durch Obstruktionen wie die Brauer-Manin-Obstruktion untersucht.

Was ist eine Stelle der rationalen Zahlen?

Eine Stelle ist eine Äquivalenzklasse von Absolutbeträgen: Die rationalen Zahlen haben eine archimedische Stelle, die die reellen Zahlen liefert, und eine nicht-archimedische Stelle für jede Primzahl, die einen p-adischen Körper liefert.