Die Eigenschaft einer diophantischen Gleichung, dass es mindestens eine Stelle v des Grundkörpers gibt, für die die Gleichung in der Vervollständigung bei v (z. B. R oder Q_p) keine Lösung besitzt und somit jede globale rationale Lösung, die dort existieren müsste, ausschließt.

Prinzip

Eine lokale Obstruktion in einer Vervollständigung verhindert eine globale rationale Lösung: Lösbarkeit in allen lokalen Vervollständigungen ist eine notwendige Bedingung für globale Lösbarkeit.

Demonstration

Bei einer Kegelschnittgleichung oder quadratischen Form: hat die Kegelschnittgleichung keinen Punkt über Q_2 (keine Lösung in Q_2), so existiert kein rationaler Punkt. Konkret liefert das Scheitern einer Kongruenzbedingung modulo p ein Beispiel v = p für lokale Unlösbarkeit.

Fehlanwendung

Aus der lokalen Unlösbarkeit an einer Stelle zu schließen, dass alle Arten algebraischer Punkte ausgeschlossen sind (z. B. ganzzahlige Punkte statt rationale Punkte) oder archimedische und p‑adische Obstruktionen ohne Angabe der Stelle zu verwechseln.

Konsequenz

Eine nachgewiesene lokale Unlösbarkeit ergibt sofort eine rigorose Obstruktion gegen globale rationale Lösungen und kann umfassende globale Suchen vermeiden, indem ganze Klassen von Kandidaten ausgeschlossen werden.

Umkehrung

Lokal lösbar in allen Stellen zu sein garantiert nicht die Existenz einer globalen rationalen Lösung: Es gibt globale Gegenbeispiele, bei denen alle lokalen Vervollständigungen Lösungen haben, aber aufgrund globaler Obstruktionen keine rationale Lösung existiert.

Abgrenzung

Gilt für Lösbarkeitsfragen über Vervollständigungen von Zahlkörpern (reell, komplex, p‑adisch). Behandelt nicht analytische Obstruktionen (z. B. das Verschwinden von L‑Werten) oder feinere arithmetische Obstruktionen wie den Brauer–Manin‑Ansatz, sofern diese nicht ausdrücklich einbezogen sind.

Semantische Spannung

Spannung mit „Globale Unlösbarkeit“, bei der das Fehlen globaler Lösungen entweder aus einer lokalen Obstruktion (hier beschrieben) oder aus rein globalen Phänomenen (Brauer–Manin, Tate‑Shafarevich) resultieren kann, die alle lokalen Lösungen zulassen.

Synthese

Lokale Unlösbarkeit bedeutet, eine bestimmte Vervollständigung ohne Lösung zu identifizieren; sie ist eine konkrete, berechenbare Obstruktion, die globale rationale Punkte ausschließt, während ihr Fehlen weitere globale Hindernisse offenlässt.