La propriété d'une équation diophantienne selon laquelle il existe au moins une place v du corps de base pour laquelle l'équation n'admet aucune solution dans la complétion en v (par exemple R ou Q_p), ce qui exclut toute solution rationnelle globale provenant de cette place.

Principe

Une obstruction locale dans une complétion interdit une solution globale rationnelle : la solvabilité dans chaque complétion locale est une condition nécessaire à la solvabilité globale.

Démonstration

Pour une conique ou une forme quadratique, si la conique n'a aucun point sur Q_2 (aucune solution dans Q_2), alors il n'existe aucun point rationnel. Concrètement, une équation qui viole une condition de congruence modulo un premier p donne un témoin v = p d'insolubilité locale.

Mauvaise application

Conclure que l'insolubilité locale en une place implique l'absence de tous types de points algébriques (par exemple des points entiers alors qu'on considère des points rationnels) ou confondre une absence de solution en place archimédienne avec des obstructions p-adiques sans préciser la place.

Conséquence

Une insolubilité locale prouvée fournit une obstruction immédiate et rigoureuse aux solutions rationnelles globales et permet souvent d'éviter des recherches globales exhaustives en éliminant des familles entières de candidats.

Inversion

La solvabilité locale en toutes les places n'implique pas l'existence d'une solution rationnelle globale : il existe des contre‑exemples globaux où toutes les complétions locales admettent des solutions mais où aucune solution rationnelle globale n'existe à cause d'obstructions globales.

Limite

S'applique aux questions de solvabilité évaluées sur les complétions des corps de nombres (réelles, complexes, p‑adiques). Elle ne traite pas des obstructions d'origine analytique (par exemple l'annulation de valeurs L) ni des obstructions arithmétiques plus fines comme le couplage de Brauer–Manin sauf si elles sont explicitement prises en compte.

Tension sémantique

Tension avec « Insolubilité Globale » où l'absence de solutions globales peut résulter soit d'une obstruction locale (ici traitée), soit de phénomènes purement globaux (Brauer–Manin, Tate–Shafarevich) laissant tous les locaux solvables.

Synthèse

L'insolubilité locale consiste à repérer une complétion précise sans solution ; c'est une obstruction concrète et calculable qui exclut définitivement les points rationnels globaux lorsqu'elle existe, tandis que son absence laisse place à des obstructions globales plus subtiles.