Eine heuristische und oft formalisierte Aussage in arithmetischen und algebraischen Zusammenhängen, wonach eine globale Eigenschaft eines Objekts (über einem globalen Körper oder Ring) genau dann gilt, wenn die entsprechende Eigenschaft in jeder relevanten lokalen Komplettierung oder Lokalisierung gilt; konkret heißt das, globale Lösbarkeit, Isomorphieklasse oder cohomologische Verschwindung ist äquivalent zur entsprechenden Familie lokaler Aussagen.

Prinzip

Reduktion globaler Fragen auf Überprüfungen an allen lokalen Stellen oder Lokalisierungen; die ordnende Regel ist, dass Hindernisse für eine globale Aussage als Fehler an einer oder mehreren lokalen Stellen oder als kohärente adelebedingte Einschränkung erkennbar sind.

Demonstration

Hasse–Minkowski-Satz für quadratische Formen über den rationalen Zahlen: Eine quadratische Form über Q stellt genau dann nichttrivial Null dar über Q, wenn sie über R und über jede p-adische Komplettierung Q_p Null darstellt; die globale Existenz einer rationalen Lösung wird durch die Familie der lokalen Lösungen bestimmt.

Fehlanwendung

Annehmen, dass die lokale Lösbarkeit an jeder einzelnen Komplettierung automatisch eine globale Lösung liefert, ohne globale Obstruktionen oder Kompatibilitätsbedingungen zu berücksichtigen (beispielsweise Missachtung nichttrivialer Elemente einer Tate–Shafarevich-Gruppe oder adelescher Reziprozitätsbedingungen).

Konsequenz

Wenn das Prinzip gilt, lassen sich globale Eigenschaften durch (oft endliche) lokale Rechnungen überprüfen; es erlaubt auch das Zusammenfügen lokaler Daten zur Konstruktion globaler Objekte bei erfüllter Kompatibilität.

Umkehrung

Das Scheitern des Prinzips zeigt sich durch lokal gültige Daten, die zu keinem globalen Objekt zusammenfügen: überall lokale Lösungen, aber keine globale Lösung (Gegenbeispiele zum Hasse-Prinzip).

Abgrenzung

Gilt in Kontexten mit einer wohldefinierten Lokalisierungs- oder Komplettierungsstruktur (Zahlkörper, Funktionenkörper, lokale Ringe, Adeles); gilt nicht automatisch für beliebige globale Probleme (topologisch oder kombinatorisch) und kann versagen, wenn kohomologische Endlichkeits- oder Reziprozitätsannahmen fehlen.

Semantische Spannung

Steht in Spannung zu Begriffen wie Descent und Patching: anders als kategoriale Descent-Theorien, die Klebedaten und Čech-Kohomologie verwenden, behauptet das Lokal–Global-Prinzip eine Äquivalenz von Existenzaussagen über Lokalisierungen statt der expliziten Konstruktion von Klebemorphismen.

Synthese

Das Lokal–Globales Prinzip fasst zusammen, dass eine globale arithmetische oder algebraische Eigenschaft durch eine kohärente Familie lokaler Eigenschaften beschrieben wird; es ist sowohl praktisches Reduktionsprinzip als auch Diagnoseinstrument für globale Obstruktionen.