Auch genannt Lokal–Global-Prinzip: die Heuristik und für bestimmte Klassen das Theorem, dass eine diophantische Gleichung genau dann eine rationale (globale) Lösung hat, wenn sie in allen Komplettierungen der Rationalen (den reellen Zahlen und allen Q_p) lösbar ist, unter Beachtung notwendiger Verträglichkeit an verzweigten Stellen.

Prinzip

Globale Lösbarkeit lässt sich in manchen Fällen durch Prüfung der Lösbarkeit in allen lokalen Komplettierungen erkennen; lokal-zu-global-Abbildungen und Reziprozitätsbedingungen machen lokale Voraussetzungen für bestimmte Familien (insbesondere quadratische Formen und Kegelschnitte) entscheidend.

Demonstration

Kegelschnitte über Q erfüllen das Hasse-Prinzip: eine quadratische Form in drei Variablen besitzt genau dann eine nichttriviale rationale Nullstelle, wenn sie über R und über Q_p für jedes Prim p nichttriviale Nullstellen hat. Demgegenüber liefern Selmer-Kurven klassische Gegenbeispiele, bei denen lokale Lösbarkeit nicht zu einem rationalen Punkt führt.

Fehlanwendung

Zu glauben, das Hasse-Prinzip gelte stets für beliebige diophantische Gleichungen; das Ignorieren globaler Obstruktionen (wie der Brauer–Manin-Obstruktion) oder das Nichtprüfen der Verträglichkeit lokaler Lösungen über die Stellen hinweg führt zu falschen Schlüssen.

Konsequenz

Wenn gültig, reduziert es globale Existenzfragen auf eine endliche (oder zumindest handhabbare) Menge lokaler Prüfungen, macht arithmetische Probleme zugänglicher und verbindet lokale Invarianten mit der globalen Klassifikation.

Umkehrung

Der Fehlschlag ist kennzeichnend: überall lokale Lösungen bei gleichzeitig fehlender globaler rationaler Lösung deuten auf eine arithmetische Obstruktion (Brauer–Manin, Descent-Obstruktionen) hin, und zeigen, dass lokale Daten nicht immer die globale Existenz bestimmen.

Abgrenzung

Gilt vollständig für quadratische Formen und Kegelschnitte und in weiteren Fällen unter zusätzlichen Hypothesen; es gilt nicht allgemein für Gleichungen höheren Grades, und seine Anwendbarkeit hängt von lokal–globalen Reziprozitätssätzen und der Kontrolle von Obstruktionen ab.

Semantische Spannung

Wird oft mit schwacher Approximation (Dichte rationaler Punkte in adeleschen Punkten) oder mit bloßer lokaler Lösbarkeit verwechselt; das Hasse-Prinzip ist eine stärkere Aussage zur Existenz eines globalen Punktes aus lokalen Punkten und unterscheidet sich von Approximation oder reiner Lokalprüfbarkeit.

Synthese

Das Hasse-Prinzip stellt die Suche nach rationalen Lösungen als lokal–globales Problem dar: bei bestimmten Familien garantiert die Verträglichkeit der Lösungen über alle Komplettierungen einen rationalen Punkt, während Scheitern auf intrinsische globale Obstruktionen hinweist, die das Verständnis diophantischer Lösbarkeit vertiefen.