Aussi appelé principe local–global : heuristique et, pour certaines classes, théorème disant qu'une équation diophantienne admet une solution rationnelle (globale) précisément lorsqu'elle admet des solutions sur toutes les complétions des rationnels (R et tous les Q_p), à condition de compatibilité aux places ramifiées.

Principe

La solvabilité globale peut parfois se détecter en testant la solvabilité dans toutes les complétions locales ; les applications local–global et les contraintes de réciprocité rendent les conditions locales décisives pour certaines familles (notamment les formes quadratiques et les coniques).

Démonstration

Les coniques sur Q satisfont le principe de Hasse : une forme quadratique en trois variables a un zéro rationnel non trivial si et seulement si elle a des zéros non triviaux sur R et sur Q_p pour chaque premier p. En revanche, des courbes de Selmer fournissent des contre-exemples classiques où la solvabilité locale n'implique pas de point rationnel.

Mauvaise application

Supposer que le principe de Hasse est toujours valable pour des équations diophantiennes quelconques ; négliger les obstructions globales (comme l'obstruction de Brauer–Manin) ou ne pas vérifier la compatibilité des solutions locales entre les places conduit à des conclusions erronées.

Conséquence

Lorsqu'il est valable, il réduit les questions d'existence globale à un ensemble fini (ou du moins gérable) de vérifications locales, rendant des problèmes arithmétiques plus accessibles et reliant invariants locaux à la classification globale.

Inversion

Le mode d'échec est important : l'existence de solutions locales partout sans solution rationnelle globale signale une obstruction d'ordre arithmétique (Brauer–Manin, obstructions de descente), montrant que les données locales ne déterminent pas toujours l'existence globale.

Limite

S'applique pleinement aux formes quadratiques et aux coniques et à d'autres classes sous hypothèses supplémentaires ; il ne tient pas universellement pour les équations de degré supérieur, et son applicabilité dépend de théorèmes de réciprocité local–globale et du contrôle des obstructions.

Tension sémantique

Souvent confondu avec l'approximation faible (densité des points rationnels dans les points adéliques) ou avec la simple solvabilité locale ; le principe de Hasse est une affirmation plus forte sur l'existence d'un point global à partir de points locaux, distincte de l'approximation ou des seules conditions locales.

Synthèse

Le principe de Hasse formule la recherche de solutions rationnelles comme un problème local–global : pour certaines familles la compatibilité des solutions sur toutes les complétions garantit un point rationnel, tandis que les échecs mettent en lumière des obstructions globales qui affinent la compréhension de la solvabilité diophantienne.