Ein Phänomen in der arithmetischen Geometrie und Zahlentheorie, bei dem eine diophantische Gleichung oder eine arithmetische Varietät in jeder Komplettierung eines globalen Körpers (z. B. in allen p-adischen Körpern und in den reellen/komplexen Komplettierungen) Lösungen besitzt, jedoch keinen rationalen Punkt über dem globalen Körper selbst hat.

Prinzip

Lokale Lösbarkeit garantiert keine globale Lösbarkeit; globale arithmetische Invarianten und Reziprozitätsgesetze können Obstruktionen erzeugen, die bei kompletionsweisen Prüfungen verborgen bleiben.

Demonstration

Eine Kurve vom Geschlecht eins, die über R und über Q_p für jedes Prim p Punkte hat, aber keinen rationalen Punkt über Q; alle lokalen Prüfungen sind erfolgreich, während ein globales kohomologisches Invariant die Existenz einer rationalen Lösung verhindert.

Fehlanwendung

Davon auszugehen, dass das Prüfen von Lösungen in allen Komplettierungen eines Zahlkörpers ausreicht, um die Existenz einer globalen rationalen Lösung zu folgern, und deshalb alle weiteren globalen Prüfungen zu unterlassen.

Konsequenz

Das Auftreten einer Lokal–Global-Obstruktion zwingt zur Anwendung globaler Methoden (Kohomologie, Abstiegsverfahren, Reziprozitätspaarungen), um das Versagen des Hasse-Prinzips zu erklären und rationale Punkte oder deren Nicht-Existenz zu charakterisieren.

Umkehrung

Wenn eine diophantische Gleichung eine globale rationale Lösung hat, so hat sie notwendigerweise Lösungen in jeder Komplettierung; die Umkehrung kann im Fall einer Obstruktion fehlschlagen.

Abgrenzung

Gilt für arithmetische Fragestellungen über globalen Körpern (Zahlkörper, Funktionenkörper von Kurven über endlichen Körpern); betrifft nicht rein lokale analytische Approximationen oder Probleme über nicht-globalen Körpern.

Semantische Spannung

Steht im Wettbewerb mit dem Hasse-Prinzip und lokal‑zu‑globalen Heuristiken: beide verlassen sich auf lokale Daten, aber eine Lokal–Global-Obstruktion betont verborgene globale Invarianten, die die Heuristik brechen.

Synthese

Die Lokal–Global-Obstruktion bezeichnet die Diskrepanz zwischen kompletionsweiser Lösbarkeit und globaler Lösbarkeit: lokale Informationen können überall konsistent sein, während ein globales Invariant (häufig kohomologisch) eine globale rationale Lösung verhindert und globale Methoden zur Erklärung und Behandlung des Fehlens erzwingt.