Hasse Helmut

Imaginez une équation de géométrie algébrique écrite avec des nombres rationnels. Pour savoir si elle possède une solution rationnelle non nulle, le principe de Hasse compare trois sortes de vérifications : sur la droite réelle, puis dans les systèmes de nombres p-adiques, un pour chaque nombre premier. Ici, « local » désigne chacune de ces vérifications, tandis que « global » désigne la solution rationnelle recherchée.

Pour les formes quadratiques à coefficients rationnels, Hasse-Minkowski affirme que ces tests locaux suffisent : une solution existe globalement si et seulement si elle existe dans tous les cadres locaux requis.

Le principe local-global de Hasse-Minkowski est un critère d'existence pour les formes quadratiques à coefficients rationnels. Une forme quadratique est une expression homogène de degré deux en plusieurs variables ; dans le cas binaire, on peut écrire q(x,y) = ax² + bxy + cy², où a, b et c sont rationnels. Une solution rationnelle non nulle est un couple rationnel (x,y) qui n'est pas le couple (0,0) et qui vérifie q(x,y) = 0.

Le théorème affirme qu'une telle solution rationnelle existe si et seulement si la forme possède une solution non nulle dans le corps des réels et dans chacun des corps p-adiques, pour tout nombre premier p. Les nombres p-adiques forment des systèmes où deux nombres sont d'autant plus proches que leur différence est fortement divisible par p ; ils fournissent les tests locaux associés à p. La conclusion porte sur une solution rationnelle commune, et non sur une collection de solutions locales nécessairement identiques.

Cette équivalence est particulière à ce cadre : elle ne transforme pas automatiquement tout problème d'équation en problème local-global. Le nom Hasse-Minkowski rappelle l'attribution historique du résultat à Helmut Hasse et Hermann Minkowski.

Considérons la forme quadratique q(x,y) = x² − y². Le couple rationnel non nul (1,1) fournit une solution de q(x,y) = 0 ; le couple (5/3, 4/3) permet ensuite de vérifier une identité distincte, q(x,y) = 1.

Données : pour la solution q(x,y) = 0, x = 1 et y = 1 ; pour l'identité complémentaire, x = 5/3, y = 4/3 et q(x,y) = x² − y².

q(5/3,4/3) = (5/3)² − (4/3)²
q(5/3,4/3) = 25/9 − 16/9
q(5/3,4/3) = 9/9 = 1.

Le couple (1,1) n'est pas nul et vérifie q(1,1) = 0 : il réalise donc l'objet recherché par le théorème. Le calcul donnant exactement 1 pour (5/3,4/3) reste une identité de contrôle distincte ; ici, on ne prétend pas avoir effectué tous les tests locaux, que le théorème permet d'utiliser pour décider si une solution rationnelle globale existe.

La figure rend visible la même identité comme différence de deux carrés : les deux coordonnées rationnelles produisent les valeurs 25/9 et 16/9, dont l'écart vaut 1.

En théorie des nombres, on commence par examiner une forme quadratique sur les réels et dans les corps p-adiques associés aux nombres premiers. Ces vérifications locales peuvent révéler une obstruction avant toute recherche de solution rationnelle.

Pour une forme quadratique rationnelle relevant du théorème, l'absence d'obstruction locale dans chacun de ces cadres autorise la conclusion globale : une solution rationnelle non nulle existe. Le geste pertinent consiste donc à distinguer un test local isolé de l'ensemble des tests requis.

Dans l'exemple, le calcul q(1,1) = 0 montre directement une solution rationnelle non nulle, tandis que q(5/3,4/3) = 1 est une identité de contrôle distincte. Le théorème intervient surtout lorsque cette solution n'est pas connue : on examine alors les cadres locaux requis avant de conclure globalement.

Le principe local-global n'est pas une simple vérification sur les nombres réels. Le critère concerne les réels et chacun des corps p-adiques, pour tout nombre premier p ; une solution réelle seule ne tranche donc pas le problème rationnel. Le cas qui sépare les deux lectures est une forme ayant une solution réelle mais une obstruction dans un cadre p-adique.

Il ne faut pas non plus confondre Hasse-Minkowski avec la conjecture de Collatz. Le premier est un théorème d'existence pour certaines formes quadratiques rationnelles ; la seconde est une conjecture sur l'itération de la règle pair ou impair jusqu'à la valeur 1.

Le critère ne s'applique pas sans hypothèses à toute équation. Il vise ici les formes quadratiques à coefficients rationnels et la recherche d'une solution rationnelle non nulle. Si les coefficients ne sont pas rationnels, ou si l'objet étudié n'est pas une forme quadratique, il faut un autre résultat ; l'équivalence ne peut pas être prolongée par analogie.

Le mot « local » peut aussi induire une fausse conclusion. Une solution trouvée dans chaque cadre local peut avoir des coordonnées différentes selon le cadre ; le théorème conclut à l'existence d'une solution rationnelle globale, pas à l'identité de ces solutions locales. Il faut donc vérifier l'ensemble des nombres premiers pertinents, et non choisir seulement quelques valeurs de p.

Enfin, la condition « non nulle » est essentielle. Le couple (0,0) annule toute forme quadratique homogène et ne fournit aucune information sur l'existence recherchée ; il doit être exclu avant de conclure.

Le principe de Hasse-Minkowski ouvre sur une idée plus large de la théorie des nombres : comparer un problème global, posé sur les rationnels, avec des problèmes locaux adaptés à chaque nombre premier et aux nombres réels. Cette stratégie aide à repérer les obstructions et à comprendre pourquoi certaines formes quadratiques échappent à une résolution directe.