🔢 mathematics

Diophantine approximation and the subspace theorem

Cet article propose une exposition autonome et accessible du théorème de Roth et du raffinement du théorème de la sous-variété de Schlickewei, fournissant des preuves classiques et simplifiées pour les lecteurs ayant une formation en théorie algébrique des nombres.

Auteurs originaux : Shivani Goel, Rashi Lunia, Anwesh Ray

Publié 2026-07-22

📖 9 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Shivani Goel, Rashi Lunia, Anwesh Ray

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de deviner l'emplacement exact d'un trésor caché sur une carte, mais que vous ne pouvez utiliser que des coordonnées de nombres entiers. Vous pourriez deviner « 3 pas vers l'est, 4 pas vers le nord », mais le trésor se trouve en réalité à un endroit qui nécessite des fractions, comme $\sqrt{2}$ pas. C'est le cœur d'une branche des mathématiques appelée approximation diophantienne. Elle pose une question simple et lancinante : à quel point peut-on se rapprocher d'un nombre irrationnel complexe (comme $\pi$ ou $\sqrt{2}$ ) en utilisant des fractions simples et propres ?

Pendant des siècles, les mathématiciens ont joué à ce jeu de « à quel point est-ce assez proche ? ». Ils ont découvert que, bien qu'il soit possible de s'en approcher de très près, il existe des règles strictes. Certains nombres sont « têtus » et refusent d'être trop bien approximés par des fractions simples. Ce n'est pas seulement un jeu ; c'est une loi fondamentale de l'univers numérique. Si nous comprenons ces limites, nous pouvons résoudre des énigmes anciennes sur quels formes possèdent des solutions entières, prouver que certains nombres sont véritablement « transcendants » (c'est-à-dire qu'ils ne sont pas la racine de toute équation simple), et comprendre l'architecture cachée de l'espace lui-même.

Le document que vous allez lire, intitulé « Diophantine Approximation and the Subspace Theorem », par Shivani Goel, Rashi Lunia et Anwesh Ray, est une classe de maître pour expliquer les règles de ce jeu. Les auteurs ne se contentent pas d'énoncer les règles ; ils vous guident à travers la preuve de leur existence. Ils prennent deux résultats mathématiques massifs et intimidants — le théorème de Roth et le théorème de la sous-forme de Schmidt — et les décomposent en un guide auto-suffisant, étape par étape. Ils nous montrent que si vous tentez d'approximer certains nombres trop parfaitement, vous ne faites pas seulement quelques tentatives chanceuses ; vous heurtez un mur où les solutions cessent simplement d'exister, ou bien elles se retrouvent piégées dans des couloirs très spécifiques et étroits.

Le jeu du « Trop proche pour être confortable »

Commençons par les bases. Imaginez que vous avez une cible, un nombre irrationnel comme $\sqrt{2}$ . Vous lancez des fléchettes vers elle, mais vos fléchettes sont toujours des fractions (comme $1/1$ , $3/2$ , $7/5$ ).

Les anciennes règles : Les premiers mathématiciens comme Dirichlet ont montré que vous pouviez toujours vous rapprocher d'une certaine distance, approximativement $1/q^2$ (où $q$ est le dénominateur de votre fraction).
Les meilleures règles : Plus tard, Hurwitz a amélioré cela, montrant que l'on pouvait s'approcher encore plus près, à $1/(\sqrt{5}q^2)$ .
La zone du « Non » : Puis est venu Liouville, qui a dit : « Attendez, si le nombre est la racine d'une équation polynomiale (un nombre algébrique), vous ne pouvez pas vous approcher arbitrairement près. » Il a prouvé que pour un nombre de degré $d$ , on ne peut pas s'approcher plus près que $1/q^d$ .

Mais la règle de Liouville était un peu lâche. C'était comme dire : « Vous ne pouvez pas vous approcher à moins de 10 pieds », alors que la limite réelle était en fait de 1 pied. Au fil du temps, des mathématiciens comme Thue, Siegel et Gelfond ont resserré les vis, rapprochant la limite de plus en plus de la vérité. Enfin, le théorème de Roth (1955) a porté le coup de grâce. Il a déclaré : « Pour tout nombre algébrique, aussi complexe soit-il, vous ne pourrez jamais vous approcher plus près que $1/q^{2+\epsilon}$ . » En d'autres termes, une fois que vous dépassez la puissance de 2, le jeu est terminé. Vous ne pouvez pas tricher avec le système.

Le grand mouvement du document : De la 1D à la multidimension

Le document de Goel, Lunia et Ray fait quelque chose de brillant. Il prend la règle unidimensionnelle de Roth (approximer un seul nombre) et l'explose dans des dimensions supérieures. C'est là qu'intervient le théorème de la sous-forme de Schmidt.

Imaginez que vous ne lancez plus seulement des fléchettes sur un seul nombre sur une ligne. Vous essayez d'approximer tout un système de nombres, ou un point dans un espace multidimensionnel, en utilisant des équations linéaires.

La configuration : Vous avez un ensemble de formes linéaires (pensez à elles comme à différentes façons de mesurer votre position).
La condition : Si vous trouvez un point où toutes ces mesures sont simultanément « trop petites » (trop proches de zéro), quelque chose d'étrange se produit.
Le résultat : Le théorème de la sous-forme dit que toutes ces solutions « trop parfaites » ne peuvent pas être dispersées aléatoirement partout. Au lieu de cela, elles doivent toutes se cacher à l'intérieur d'une union finie de sous-espaces propres.

Qu'est-ce que cela signifie en langage courant ?
Imaginez que vous cherchez un type d'oiseau spécifique dans une vaste forêt. Vous avez une règle : « Si vous trouvez un oiseau qui chante une note aussi basse et vole aussi haut, c'est une espèce rare. »

Sans le théorème : Vous pourriez vous attendre à ce que ces oiseaux rares soient dispersés de manière aléatoire dans toute la forêt.
Avec le théorème : Le théorème prouve que ces oiseaux ne peuvent pas être dispersés de manière aléatoire. Ils sont contraints de vivre uniquement dans des vallées spécifiques et étroites (sous-espaces). Si vous regardez en dehors de ces vallées, vous ne les trouverez jamais.

Le document fournit une preuve « auto-suffisante » de cela. Il ne dit pas seulement « c'est vrai » ; il construit la preuve à partir de zéro en utilisant des outils tels que les fonctions de hauteur (une façon de mesurer la « complexité » ou la « taille » d'un nombre), le lemme de Siegel (un outil pour trouver des solutions cachées dans de grands systèmes d'équations) et le lemme de Roth (une façon de mesurer à quel point un polynôme s'annule en un point).

Comment ils l'ont prouvé : L'astuce du « Polynôme auxiliaire »

Les auteurs nous guident à travers une stratégie astucieuse en plusieurs étapes pour prouver ces théorèmes. C'est comme une histoire de détective où le détective tend un piège.

Le Piège (Polynôme auxiliaire) : Les auteurs supposent le contraire de ce qu'ils veulent prouver. Ils supposent qu'il existe infiniment nombreuses de solutions qui sont « trop belles pour être vraies » (des solutions qui violent les règles).
Construire le filet : En utilisant un outil appelé lemme de Siegel, ils construisent un objet mathématique spécial appelé « polynôme auxiliaire ». Pensez à ce polynôme comme à un immense filet invisible. Ils le conçoivent de telle sorte qu'il ait une « hauteur » très faible (il n'est pas trop complexe) mais qu'il soit forcé d'être nul à tous les points « trop bons ».
La contradiction : Voici la magie. Ils utilisent le lemme de Roth pour montrer que si ce polynôme est nul à tous ces points, il doit être extrêmement plat (s'annulant à un ordre élevé). Mais la façon dont ils ont construit le filet signifie qu'il ne peut pas être aussi plat, à moins d'être nul partout.
La révélation : Si le polynôme est nul partout, cela signifie que les points « trop bons » n'existent pas réellement de la manière dont nous le pensions. Ou, s'ils existent, ils sont si contraints qu'ils doivent tous résider sur des lignes ou des plans spécifiques (sous-espaces).

Le document détaille ce processus avec une précision rigoureuse. Il montre comment gérer la « hauteur » de ces polynômes, comment compter le nombre de solutions, et comment utiliser le deuxième théorème de Minkowski (une règle géométrique sur l'empilement de formes dans l'espace) pour prouver que les solutions ne peuvent pas s'insérer ailleurs que dans ces sous-espaces.

Pourquoi cela importe (même si vous n'êtes pas mathématicien)

Vous pourriez vous demander : « Qui se soucie de savoir si les solutions de certaines équations se cachent dans des sous-espaces ? »
Le document explique que cela ne concerne pas seulement les nombres. Cela concerne la structure de la réalité.

Équations diophantiennes : Ce sont des équations où nous ne nous intéressons qu'aux réponses en nombres entiers. Le théorème de la sous-forme nous aide à prouver que pour beaucoup d'équations complexes, il n'existe qu'un nombre fini de solutions entières. Il nous dit quand un puzzle est soluble et quand il est impossible.
Théorie de la transcendance : Cela aide à prouver que certains nombres (comme $e$ ou $\pi$ ) ne sont pas seulement irrationnels, mais « transcendants », ce qui signifie qu'ils ne peuvent pas être la solution de n'importe quelle équation polynomiale à coefficients entiers.
Distribution de points : Cela nous indique comment les points sont distribués dans l'espace. Si vous avez une règle disant que « les points doivent être proches de ces lignes », le théorème vous dit exactement où ces points peuvent et ne peuvent pas se trouver.

L'essentiel

Ce document est un « manuel d'utilisation » pour certains des outils les plus puissants de la théorie des nombres moderne. Il prend le théorème de la sous-forme, un résultat qui semble magique car il force le chaos à l'ordre, et explique exactement comment la magie opère.

Les auteurs, Goel, Lunia et Ray, ont fait un travail fantastique pour dépouiller la complexité inutile afin de révéler la logique centrale. Ils nous montrent que l'univers des nombres possède un squelette rigide. Vous pouvez bouger, vous pouvez approximer, mais vous ne pouvez pas briser les os. Si vous tentez de vous approcher trop près de la vérité avec des fractions simples, l'univers vous force à rester sur un chemin spécifique.

Le document ne se contente pas de l'affirmer ; il le prouve. Chaque étape est étayée par la logique, chaque hypothèse est testée, et la conclusion finale est inattaquable. C'est un rappel que même dans le monde abstrait des nombres, il existe des lois aussi inébranlables que la gravité, et ce document est une magnifique carte pour les comprendre.

Résumé Technique : Approximation Diophantienne et le Théorème des Sous-espaces

Énoncé du Problème
Le document traite du problème fondamental de l'approximation diophantienne : quantifier la précision avec laquelle les nombres algébriques irrationnels peuvent être approximés par des nombres rationnels. Alors que les résultats classiques de Dirichlet et de Hurwitz établissent des bornes pour les nombres irrationnels généraux, le défi central consiste à déterminer les limites d'approximation pour les nombres algébriques de degrés supérieurs. Le théorème de Liouville a fourni une borne initiale dépendant du degré du nombre algébrique, mais celle-ci a été plus tard affinée par Thue, Siegel et Dyson, aboutissant au théorème de Roth, qui affirme que pour tout nombre algébrique $\alpha$ et tout $\epsilon > 0$ , l'inégalité $|\alpha - p/q| < 1/q^{2+\epsilon}$ n'admet que finiment de solutions. Le problème s'étend aux dimensions supérieures via le théorème des sous-espaces de Schmidt, qui généralise le résultat de Roth aux systèmes de formes linéaires, stipulant que les solutions à certaines inégalités résident dans une union finie de sous-espaces propres.

Méthodologie
Les auteurs fournissent une exposition autonome des preuves du théorème de Roth et du raffinement de Schlickewei du théorème des sous-espaces de Schmidt. La méthodologie repose sur des techniques classiques de la théorie algébrique des nombres et de la géométrie des nombres, structurée comme suit :

Préliminaires : Le document établit le cadre nécessaire impliquant les valeurs absolues sur les corps de nombres, la formule du produit et les fonctions de hauteur (hauteur de Weil et hauteur logarithmique). Il utilise les propriétés de ces hauteurs, y compris le théorème de Northcott (finitude des points de hauteur et de degré bornés) et le théorème de Kronecker.
Polynômes Auxiliaires : Une technique centrale consiste en la construction de polynômes auxiliaires de hauteur contrôlée qui s'annulent à un ordre élevé en des points spécifiques. Ceci est réalisé en utilisant le lemme de Siegel pour résoudre des systèmes d'équations linéaires sur des corps de nombres.
Théorie de l'Indice : Les auteurs emploient le concept d'« indice » d'un polynôme en un point, qui mesure l'ordre d'annulation par rapport aux degrés pondérés. La clé de l'argument réside dans l'interaction entre une borne inférieure de l'indice (dérivée des propriétés d'annulation du polynôme en un point construit) et une borne supérieure (dérivée de la hauteur du polynôme et de la proximité du point avec le nombre algébrique).
Arguments de Contradiction : Les preuves procèdent par l'absurde. En supposant l'existence d'une infinité de solutions aux inégalités diophantiennes, les auteurs construisent une séquence de points et de polynômes auxiliaires associés. En analysant l'indice de ces polynômes aux points de solution, ils dérivent une contradiction entre les bornes inférieure et supérieure, prouvant ainsi la finitude des solutions.
Géométrie Adélique : Pour le théorème des sous-espaces, la méthodologie passe au cadre adélique. Les auteurs définissent des « domaines d'approximation » dans l'anneau des adèles $K_A$ . Ils utilisent le second théorème de Minkowski pour analyser les minima successifs de ces domaines. La preuve implique une induction sur le rang de l'espace vectoriel engendré par les solutions, en utilisant des wronskiens généralisés pour établir l'indépendance linéaire et un lemme de Roth généralisé pour contrôler la non-annulation des dérivées.

Contributions Clés et Résultats
Le document présente des preuves rigoureuses de deux résultats fondamentaux :

Théorème de Roth : Les auteurs prouvent que pour un corps de nombres $K$ , un ensemble fini de places $S$ , et un nombre algébrique $\alpha$ , il n'existe que finiment de $\beta \in K$ satisfaisant $\prod_{v \in S} \min(1, |\beta - \alpha|_v) < H(\beta)^{-2-\epsilon}$ . La preuve suit l'approche classique impliquant la construction d'un polynôme auxiliaire en $m$ variables, l'application du lemme de Siegel, et la dérivation d'une contradiction via des estimations d'indice (Lemme de Roth).
Raffinement de Schlickewei du Théorème des Sous-espaces de Schmidt : Le document prouve que pour un ensemble fini de places $S$ $S$ et des formes linéaires linéairement indépendantes $L_{v,i}$ $L_{v, i}$ , les solutions à l'inégalité $\prod_{v \in S} \prod_{i=0}^n |L_{v,i}(x)|_v < H(x)^{-n-1-\epsilon}$ $\prod_{v \in S} \prod_{i = 0}^{n} ∣ L_{v, i} (x) ∣_{v} < H (x)^{- n - 1 - ϵ}$ résident dans une union finie de sous-espaces linéaires propres. La preuve adapte les arguments originaux de Schmidt, en incorporant la généralisation de Schlickewei aux complétions sur un ensemble fini de places. Elle utilise :
- Domaines d'Approximation : Définition de régions adéliques où les solutions doivent se trouver.
- Second Théorème de Minkowski : Pour borner le volume et les minima successifs de ces domaines.
- Lemme d'Evertse : Une simplification de la preuve originale de Schmidt, utilisée pour construire une base de vecteurs avec des valuations contrôlées.
- Lemme de Roth Généralisé : Pour établir des résultats de non-annulation pour des polynômes multivariés auxiliaires sur des sous-espaces spécifiques.

Signification
Le document sert de référence condensée et simplifiée pour ces résultats fondamentaux, rendant les preuves accessibles aux lecteurs possédant un bagage en théorie algébrique des nombres. Il met l'accent sur les arguments classiques trouvés dans les travaux de Bombieri, Gubler, Hindry, Silverman et Schmidt, tout en intégrant des raffinements modernes tels que le lemme d'Evertse. Les auteurs notent que l'exposition provient de cours dispensés lors d'un atelier, visant à fournir un chemin clair et autonome à travers la machinerie complexe requise pour prouver le théorème de Roth et le théorème des sous-espaces. Le travail ne propose pas de nouvelles applications ou de propositions expérimentales, mais consolide plutôt les fondements théoriques de ces théorèmes, qui ont des implications profondes pour les équations diophantiennes, la théorie de la transcendance et la distribution des points rationnels et entiers sur les variétés.

Le jeu du « Trop proche pour être confortable »

Le grand mouvement du document : De la 1D à la multidimension

Comment ils l'ont prouvé : L'astuce du « Polynôme auxiliaire »

Pourquoi cela importe (même si vous n'êtes pas mathématicien)

L'essentiel

Articles similaires