Géométrie des nombres

En mathématiques, la géométrie des nombres est une discipline qui interprète des problèmes arithmétiques en termes de réseaux discrets et les résout en utilisant des propriétés géométriques. Elle a été fondée à la fin du XIX^e siècle par Hermann Minkowski. Le point de départ est une observation élémentaire : si on dessine un quadrillage dans le plan et un cercle dont le centre est un des sommets du quadrillage, alors, si le cercle est assez grand, son intérieur contient d'autres points du quadrillage. Un trait important de la géométrie des nombres est donc l’interaction entre discret (les points du quadrillage) et continu (l'intérieur du cercle). En changeant le cercle en d'autres figures, en variant la forme du maillage, en généralisant à des dimensions supérieures, on obtient des applications variées, qui concernent l’analyse fonctionnelle, l’approximation diophantienne, la géométrie et l’analyse convexes, l’algorithmique, la combinatoire, la théorie algébrique des nombres, les empilements de sphères, la cristallographie.

Ce théorème concerne l’intersection d’un ensemble convexe et d’un réseau de points dans l’espace ℝ^d, de dimension d ; plus précisément, il dit que si la forme du convexe est assez régulière et si le volume du convexe est assez grand par rapport à celui d’une maille du réseau, le convexe contient plusieurs points du réseau^[1]. Une version plus générale se déduit presque immédiatement du théorème de Blichfeldt^[2].

Le cas le plus simple est celui dans lequel le réseau de points est ℤ^d, c’est-à-dire est formé de tous les points à coordonnées entières. Ce cas met bien en lumière comment le théorème de Minkowski établit « un lien entre les propriétés géométriques d’un ensemble — convexité, symétrie et volume — et une propriété arithmétique, à savoir l’existence d’un point à coordonnées entières^[3] » dans cet ensemble.

L’exemple du carré (en dimension 2) et de ses généralisations en dimension d montre que la borne 2^d ne peut pas être diminuée. Mais il existe une variante du théorème pour les convexes de volume 2^d : dans ce cas, l’adhérence du convexe (autrement dit, le convexe ou sa frontière) contient un point du réseau autre que l’origine.

Par ailleurs, il existe, dans le plan par exemple, des ensembles d’aire plus grande que 4 et qui sont, soit convexes, mais non symétriques par rapport à l’origine, soit symétriques par rapport à l’origine mais non convexes, et qui ne contiennent pas plusieurs points du réseau.

Le théorème se reformule en termes de réseaux autres que celui des points à coordonnées entières.

L’objectif est ici d’utiliser le théorème fondamental de Minkowski pour montrer le théorème d'approximation de Dirichlet, qui dit qu’il est possible d’approcher simultanément un ensemble fini de nombres réels par des nombres rationnels de même dénominateur. Plus précisément^[4],

La preuve est caractéristique de la géométrie des nombres : on reformule le problème en faisant intervenir un ensemble convexe vérifiant les hypothèses du théorème fondamental de Minkowski (ce sera ici un parallélépipède). En appliquant le théorème, on obtient un point à coordonnées entières dans le convexe dont on vérifie qu’il donne la solution cherchée.

Ici, on choisit un nombre réel s < 1, et on considère la région K de ℝⁿ⁺¹ formée de tous les points (y, x₁, x₂, …, x_n) vérifiant les inégalités

${\displaystyle |x_{i}-\alpha _{i}y|\leq s{\text{ pour tous les }}i=1,2,\cdots ,n{\text{ et }}|y|\leq s^{-n}.}$

Cette région forme un parallélépipède, centré à l’origine, qui vérifie les hypothèses du théorème fondamental de Minkowski. En effet, c’est un ensemble convexe, symétrique par rapport à l’origine, et son volume est 2ⁿ⁺¹ (on peut calculer ce volume en transformant ce parallélépipède en un cube, par une transformation linéaire qui préserve les volumes).

La région K contient donc un point à coordonnées entières (forme I du théorème fondamental), (p, p₁, p₂, …, p_n) autre que l’origine (0, 0, …, 0). On vérifie alors que les fractions p_i/p fournissent les approximations voulues. En changeant le nombre s, on obtient même une infinité de solutions.

La géométrie des nombres donne une preuve du théorème classique de Lagrange selon lequel tout nombre entier positif est somme de quatre carrés^[5],[6].

Tout d’abord, la preuve du théorème pour un entier pair se ramène à celle pour un entier impair en n'utilisant qu'un cas très particulier de l'identité des quatre carrés d'Euler^[7]. En effet, si m = x² + y² + z² + w², alors 2m = (x + y)² + (x – y)² + (z + w)² + (z – w)², donc si le théorème est prouvé pour les nombres entiers impairs, on l’obtient par doublements successifs pour tous les entiers positifs.

La preuve pour les entiers impairs, quant à elle, se déduit du théorème de Minkowski (II) et du lemme suivant : pour tout entier m positif impair, il existe des entiers a et b tels que a² + b² + 1 est divisible par m (la preuve de ce lemme repose sur (i) le nombre de résidus quadratiques et le principe des tiroirs lorsque m est premier ; (ii) un argument de récurrence lorsque m est une puissance de premier ; (iii) le théorème des restes chinois pour conclure).

La suite est une application du théorème fondamental de Minkowski (II). On considère d’une part le réseau L dans l’espace à 4 dimensions, ℝ⁴, formé des points (mx + az + bw, my + bz – aw, z, w), avec a et b fixés vérifiant le lemme, et x, y, z, w, prenant toutes les valeurs entières. Ce réseau a pour volume m².

Par ailleurs, on considère l’ensemble des points de ℝ⁴ tels que (mx + az + bw)² + (my + bz – aw)² + z² + w² < 2m. Ils forment une sphère (dans un espace à 4 dimensions), de rayon √2m et donc de « volume » 2π²m². Puisque π² > 8, on est dans les conditions du théorème de Minkowski : la sphère est un ensemble convexe, symétrique par rapport à l’origine, de volume assez grand pour contenir un point non nul du réseau : on obtient ainsi des entiers x, y, z, w tels que 0 < (mx + az + bw)² + (my + bz – aw)² + z² + w² < 2m.

Mais grâce au choix de a et b, il est facile de vérifier que (mx + az + bw)² + (my + bz – aw)² + z² + w² est toujours un multiple entier de m, lorsque x, y, z et w sont entiers. Le seul multiple entier de m qui soit strictement compris entre 0 et 2m est m lui-même, donc (mx + az + bw)² + (my + bz – aw)² + z² + w² = m. Cela fournit une représentation de l’entier positif impair m comme une somme de quatre carrés entiers, comme souhaité.

Cet exemple illustre bien la manière dont les propriétés discrètes et continues interfèrent pour fournir le résultat : les points de la sphère (représentant l’aspect continu du problème) vérifient une inégalité (la condition « < 2m ») qui devient une égalité (« = m ») lorsqu’on impose que certaines inconnues soient à valeurs entières (aspect discret).

Une preuve analogue permet de montrer que tout nombre premier de la forme 4n + 1 est la somme des carrés de deux entiers^[8],[9].

Les deux exemples d’applications précédents font intervenir des formes algébriques (c’est-à-dire des polynômes homogènes), formes linéaires dans le premier cas, formes quadratiques dans le deuxième. La géométrie des nombres permet plus généralement d’étudier les valeurs aux points entiers de telles formes, en particulier de majorer leurs minima^[10].

La preuve repose sur le théorème fondamental de Minkowski appliqué au parallélépipède défini par ${\displaystyle |\xi _{i}|\leq \tau _{i}}$ pour tout i, dont le volume est 2ⁿ.

Dans cet énoncé, Γ désigne la fonction gamma, qui intervient ici parce que ses valeurs donnent les volumes des sphères en toute dimension (et de certains transformés comme les ellipsoïdes). La preuve du théorème repose encore une fois sur le théorème fondamental de Minkowski, mais appliqué cette fois à l’ellipsoïde défini par ${\displaystyle Q(x_{1},x_{2},\cdots ,x_{n})\leq \lambda }$, pour un nombre réel ${\displaystyle \lambda }$ bien choisi.

Une autre gamme d’applications concerne les propriétés des corps de nombres algébriques. Le principe^[11] est de plonger un corps de nombres K (c’est-à-dire une extension algébrique de degré d du corps des nombres rationnels ℚ) dans ℝ^d, de telle sorte que les idéaux de l'anneau de ses entiers correspondent à des réseaux de ℝ^d. On est alors dans une situation qui permet d’appliquer le théorème de Minkowski.

On considère un corps de nombres K de degré d, on peut le représenter comme K = ℚ(Θ), où Θ est un entier algébrique vérifiant une équation de degré d à coefficients entiers. On peut plonger K dans le corps ℂ des complexes de d façons différentes, correspondant aux différentes racines de l’équation vérifiée par Θ, s réelles et 2t complexes, groupées deux par deux par conjugaison, avec d = s + 2t. Par exemple, si Θ est solution de l’équation X³ – 2 = 0, il y a trois plongements, un plongement réel qui envoie Θ sur la racine réelle ³√2, deux plongements complexes conjugués l’envoyant sur j ³√2 ou j^{2 3}√2, où j est une racine cubique de 1, différente de 1 ; dans ce cas, donc, s = t = 1.

On définit alors un morphisme de groupes de K dans ℝ^s × ℂ^t, un élément de K étant envoyé sur ses s plongements réels et t plongements complexes (un par paire de conjugués). Dans l’exemple, l’élément a + bΘ + cΘ² de K est envoyé sur l’élément (a + b³√2 + c³√4, a + bj ³√2 + cj^{2 3}√4) de ℝ × ℂ.

En séparant partie réelle et partie imaginaire, on obtient un morphisme injectif de K dans ℝ^s × ℝ^2t = ℝ^d. On peut montrer^[12] que l’image par ce morphisme d’un sous-groupe additif de K, de type fini (par exemple l’anneau des entiers de K, ou un idéal) est un réseau de ℝ^d.

De plus^[13], si I est un idéal non nul de l’anneau des entiers de K, le volume de la maille du réseau associé dans ℝ^d est : 2^–tN(I)√|Δ|, où Δ est le discriminant du corps de nombres.

En choisissant un convexe convenable et on appliquant le théorème fondamental, on peut alors prouver que^[14] :

La norme N(α) est en effet le produit des conjugués de α, c'est-à-dire des composantes de l'image de α dans ℝ^d. On peut en déduire que tout idéal non nul est équivalent à un idéal dont la norme est inférieure à (2/π)^t√|Δ|.

Puisqu'il n'existe qu'un nombre fini d'idéaux de norme donnée, on obtient ainsi une démonstration du théorème :

Un choix plus raffiné du convexe permet même d'améliorer ces résultats. Par exemple^[15] :

Ces bornes peuvent être utilisées pour calculer explicitement le nombre de classes dans de nombreux cas^[16].

Mais elles donnent aussi directement un corollaire important^[17] :

Par conséquent, le discriminant d'un corps de degré n > 1 est, en valeur absolue, strictement supérieur à 1 et il a donc des diviseurs premiers : tout corps de nombres (différent de ℚ) a des premiers ramifiés.

La géométrie des nombres permet aussi de décrire la structure du groupe des unités. Le principal problème est que ce groupe est multiplicatif ; afin de pouvoir l’interpréter en termes de réseau (groupe additif), il faut donc utiliser les logarithmes. On définit une application de ℝ^s × ℂ^t dans ℝ^s+t en envoyant chaque composante sur le logarithme de sa valeur absolue (pour les s premières composantes, réelles) ou le logarithme du carré de son module (pour les t composantes complexes) ; pour les éléments dont aucune composante n’est nulle, cette application est bien définie. En la composant avec le morphisme de K dans ℝ^s × ℂ^t défini plus haut, on obtient un morphisme du groupe multiplicatif de K dans ℝ^s+t, qu’on appelle sa représentation logarithmique^[18]. Les unités sont les éléments de norme +1 ou –1, ce qui se traduit par une condition linéaire dans ℝ^s+t quand on passe à la représentation logarithmique : autrement dit, l’image des unités se trouve dans un hyperplan (de dimension s + t – 1). Une étude plus fine permet de montrer que cette image est vraiment de dimension s + t – 1, et fournit une preuve du théorème des unités de Dirichlet^[19].

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

• La formule de Leibniz ${\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{2n+1}}={\frac {1}{1}}-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+{\frac {1}{9}}-\cdots ={\frac {\pi }{4}}.}$ peut être prouvée par des méthodes géométriques, suivant une méthode initialement découverte par David Hilbert^[20],[21].

• G. H. Hardy et E. M. Wright (trad. de l'anglais par François Sauvageot, préf. Catherine Goldstein), Introduction à la théorie des nombres [« An Introduction to the Theory of Numbers »] [détail de l’édition], chapitre 24 (« Géométrie des nombres »).
• (en) Harris Hancock, Development of the Minkowski Geometry of Numbers, Dover, 1964 (1^re éd. 1939).
• (en) John W. S. Cassels, An Introduction to the Geometry of Numbers, Berlin, Göttingen, Heidelberg, Springer, coll. « Grundlehren der mathematischen Wissenschaften » (n^o 99), 1971 (1^re éd. 1959), 344 p. (lire en ligne).
• (en) Harvey Cohn, A Classical Invitation to Algebraic Numbers and Class Fields, New York, Heidelberg, Berlin, Springer, coll. « Universitext », 1978, 328 p. (ISBN 978-3-540-90345-1).
• (en) Ian N. Stewart et David O. Tall (en), Algebraic Number Theory, London, Chapman & Hall, 1979, 257 p. (ISBN 978-0-470-26660-1).
• (en) Peter M. Gruber (en) et Cornelis G. Lekkerkerker, Geometry of Numbers, Groningen et Amsterdam, London, Wolters-Noordhoff et North-Holland, coll. « Bibliotheca Mathematica » (n^o 8), 1987, 2^e éd. (1^re éd. 1969, 510 p.), 731 p. (lire en ligne).
• (en) Carl Ludwig Siegel et Komaravolu Chandrasekharan, Lectures on the Geometry of Numbers, Springer, 1989, 160 p. (lire en ligne).
• (en) Carl Douglas Olds, Anneli Lax et Giuliana Davidoff, The Geometry of Numbers, Washington, MAA, coll. « The Anneli Lax New Mathematical Library » (n^o 41), 2000, 174 p. (ISBN 978-0-88385-643-7, lire en ligne) ;
• (en) Jiří Matoušek, Lectures on Discrete Geometry [détail des éditions].
• (en) Tinne Hoff Kjeldsen, « From measuring tool to geometrical object : Minkowski's development of the concept of convex bodies », Archive for History of Exact Sciences, vol. 62, n^o 1,‎ 2008, p. 59-89.
• Sébastien Gauthier, « La géométrie dans la géométrie des nombres : histoire de discipline ou histoire de pratiques à partir des exemples de Minkowski, Mordell et Davenport », Revue d'histoire des mathématiques, vol. 15, n^o 2,‎ 2009, p. 183-230 (lire en ligne).

• Portail des mathématiques