Ein heuristisches und teils theorematisches Prinzip, das behauptet, dass eine globale arithmetische oder geometrische Eigenschaft (Existenz eines rationalen Punktes, Lösbarkeit, Isotropie) durch Prüfung der entsprechenden lokalen Eigenschaften an allen Komplettierungen des Grundkörpers festgestellt werden kann.

Prinzip

Globale Probleme auf eine Familie lokaler Probleme reduzieren: Erfüllt ein Objekt die geforderte Eigenschaft in jeder Komplettierung (archimedisch und nicht-archimedisch), so erfüllt es unter geeigneten Hypothesen die Eigenschaft global; umgekehrt muss ein globales Scheitern durch eine lokale Obstruktion oder eine global sichtbare Obstruktion im Aggregat der Lokalen nachweisbar sein.

Demonstration

Der Hasse–Minkowski-Satz für quadratische Formen über Zahlkörpern: Eine quadratische Form ist über dem Zahlkörper isotrop genau dann, wenn sie über jeder Komplettierung (R und alle p-adischen Körper) isotrop ist. Viele Torsoren unter bestimmten Gruppen gehorchen ebenfalls Hasse-Prinzipien; es gibt jedoch Gegenbeispiele.

Fehlanwendung

Anzunehmen, das Prinzip gelte immer: Es gibt klassische Gegenbeispiele (z. B. gewisse Kurven vom Geschlecht eins und bestimmte diagonale kubische Flächen), bei denen lokale Lösbarkeit nicht globale Lösbarkeit impliziert, etwa wegen der Brauer–Manin-Obstruktion oder anderer Descent-Obstruktionen.

Konsequenz

Wenn es gilt, reduziert es unendlich viele globale Prüfungen auf endlich viele lokale Prüfungen und ermöglicht explizite Algorithmen und Klassifikationsergebnisse; es lenkt auch den Fokus auf das Erkennen und Klassifizieren von Obstruktionen, wenn es versagt.

Umkehrung

Die Negation hebt Obstruktionen hervor: lokale Lösbarkeit ohne globale Lösung führt zur Untersuchung der Brauer–Manin-Obstruktion, von Descent-Obstruktionen und anderen Hemmnissen; das Verstehen der Umkehr zwingt zur Verfeinerung der lokalen Daten oder zur Einführung neuer Invarianten, die das globale Versagen erfassen.

Abgrenzung

Gilt vollständig für bestimmte Klassen (quadratische Formen, bestimmte homogene Räume) und versagt allgemein; bezieht sich auf Komplettierungen lokaler Körper und schließt Phänomene aus, die sensitiv gegenüber integralen Modellen, Torsionsklassen oder globalen Höhenbedingungen sind, die sich nicht einfach lokalisieren lassen.

Semantische Spannung

Widerspricht in gewisser Weise der Schwachen-Approximation-Notion und dem Brauer–Manin-Prinzip: Die Spannung liegt zwischen der Erwartung eines lokalen-zu-globalen Transfers und der Erkenntnis subtiler globaler Obstruktionen, die lokal unsichtbar sind, aber die arithmetische Realität bestimmen.

Synthese

Das Lokal–Globale Prinzip ist eine leitende Strategie: lokale Komplettierungen prüfen, um globales Verhalten abzuleiten, wenn zulässig, und bei Versagen das Muster lokaler Lösungen zur Isolierung globaler Obstruktionen nutzen und arithmetische Invarianten verfeinern; es ist mächtig, verlangt aber präzise Hypothesen und ein Inventar möglicher Obstruktionen.