Closing the gap around the essential minimum of height functions with linear programming

1. Problématique

L'article s'intéresse au calcul du minimum essentiel ($\text{ess}(h)$) de fonctions de hauteur sur les points algébriques d'une variété quasi-projective, et plus spécifiquement sur la droite affine $\mathbb{A}^1(\mathbb{Q}) = \mathbb{Q}$.

• Définition : Le minimum essentiel d'une fonction de hauteur $h$ est la borne inférieure des limites inférieures des hauteurs le long de suites génériques de points algébriques (suites qui échappent éventuellement à tout sous-ensemble fermé de Zariski propre).
• Difficulté : Bien que des bornes inférieures et supérieures soient connues pour de nombreuses fonctions de hauteur (comme la hauteur de Weil, la hauteur de Zhang-Zagier ou la hauteur de Faltings), il est notoirement difficile de calculer la valeur exacte du minimum essentiel ou même de l'approcher avec une précision arbitraire. Les méthodes existantes tendent à stagner, laissant un « écart » non résolu entre la meilleure borne inférieure et la meilleure borne supérieure.
• Objectif : L'objectif est de démontrer que ces deux méthodes de bornage sont en fait duales l'une de l'autre dans le sens de la programmation linéaire, et que l'égalité forte (strong duality) tient, fermant ainsi l'écart autour du minimum essentiel.

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie du potentiel, la théorie des nombres (distribution des entiers algébriques) et l'optimisation convexe (programmation linéaire).

A. Cadre des fonctions de hauteur

L'étude se concentre sur les fonctions de hauteur $h_g$ associées à une fonction de Green $g : \mathbb{C} \to \mathbb{R}$. Une fonction de Green est continue, invariante par conjugaison complexe et vérifie une croissance logarithmique à l'infini ($g(z) = \log|z| + o(\log|z|)$).
La hauteur d'un nombre algébrique $\alpha$ est définie par :
$$h_g(\alpha) = \frac{1}{\deg(\alpha)} \left( \log|c_\alpha| + \sum_{\beta \in O(\alpha)} g(\beta) \right)$$
où $O(\alpha)$ est l'orbite galoisienne de $\alpha$.

B. Les deux approches classiques (Bornes)

1. Borne inférieure (Méthode de Smyth) : Elle repose sur l'inégalité issue de la formule des produits. Pour tout polynôme $Q \in \mathbb{Z}[x]$ et coefficients positifs $a_i$, on a :
   $$\text{ess}(h_g) \ge \inf_{z \in \mathbb{C}} \left( g(z) - \sum a_i \log|Q_i(z)| \right)$$
   Le supremum de ces bornes définit le problème dual $D(g)$.
2. Borne supérieure (Approche par les mesures) : Elle utilise la convergence des orbites galoisiennes d'entiers algébriques vers des mesures de probabilité. Si une suite d'entiers algébriques converge faiblement vers une mesure $\mu$, alors la limite des hauteurs est $\int g \, d\mu$. Le problème primal $P(g)$ consiste à minimiser cette intégrale sur l'ensemble des mesures admissibles $\mathcal{P}^{\log}_{\mathbb{Z}}(\mathbb{C})$.

C. L'apport de la Programmation Linéaire

Les auteurs formalisent ces deux problèmes comme un couple de problèmes de programmation linéaire infini-dimensionnelle :

• Problème Primal ($P(g)$) : Minimiser $\int g \, d\mu$ sous contraintes de positivité sur les intégrales de $\log|Q|$.
• Problème Dual ($D(g)$) : Maximiser la borne inférieure d'une fonction ajustée par des combinaisons linéaires de $\log|Q_i|$.

La clé de la méthodologie réside dans l'utilisation de la convergence log-faible (log-weak convergence) pour les mesures, qui est la topologie appropriée pour les mesures à support non compact intégrables par rapport à $\log^+|z|$. Ils introduisent également une technique de « troncation adoucie » (sweetened truncation) pour approximer les mesures non compactes par des mesures à support compact tout en préservant les contraintes de positivité.

3. Contributions Clés et Résultats Principaux

A. Caractérisation des mesures limites (Théorème B)

Les auteurs étendent le théorème récent de Smith et d'Orloski-Sardari (qui caractérisait les mesures limites d'orbites galoisiennes pour des supports compacts) au cas non compact.

• Résultat : Une mesure $\mu \in \mathcal{P}^{\log}(\mathbb{C})$ est limite log-faible d'orbites galoisiennes d'entiers algébriques si et seulement si elle est invariante par conjugaison et satisfait $\int \log|Q| \, d\mu \ge 0$ pour tout $Q \in \mathbb{Z}[x] \setminus \{0\}$.
• Conséquence : L'ensemble de ces mesures est convexe et admet un sous-ensemble dénombrable dense (construit via des applications rationnelles spécifiques).

B. Dualité Forte (Théorème D et Théorème 6.5)

C'est le résultat central de l'article.

• Théorème : Pour toute fonction de Green $g$, on a l'égalité :
  $$D(g) = \text{ess}(h_g) = P(g)$$
• Signification : L'écart entre les meilleures bornes inférieures et supérieures est nul. Le minimum essentiel est exactement la valeur optimale de ces problèmes de programmation linéaire duaux.

C. Réalisation par des entiers algébriques (Théorème A)

Contrairement à des situations où le minimum n'est atteint que par des suites de points rationnels ou des mesures limites, les auteurs prouvent que :

• Il existe une suite d'entiers algébriques distincts $(\alpha_n)$ telle que $h_g(\alpha_n)$ converge monotonement décroissante vers $\text{ess}(h_g)$.
• L'ensemble des valeurs de hauteur sur les entiers algébriques $h_g(\mathbb{Z})$ est dense dans l'intervalle $[\text{ess}(h_g), +\infty)$.

D. Exemple de non-atteinte de la mesure optimale (Section 6.4)

Les auteurs montrent que, bien que la valeur du minimum soit atteinte par une suite d'entiers, la mesure de probabilité réalisant l'intégrale minimale dans le problème primal n'existe pas toujours dans l'ensemble des mesures limites (contre-exemple dû à Nuno Hultberg). Cela illustre la subtilité de la dualité dans ce contexte infini-dimensionnel.

E. Calculabilité (Théorème E)

Si la fonction de Green $g$ est calculable (au sens de la théorie de la calculabilité de Turing, avec des asymptotiques effectives), alors le nombre réel $\text{ess}(h_g)$ est un nombre réel calculable.

• Cela signifie qu'il existe un algorithme théorique capable de produire des approximations rationnelles de $\text{ess}(h_g)$ avec une précision arbitraire, en générant simultanément des suites de bornes inférieures et supérieures convergentes.

4. Applications Spécifiques

1. Hauteur de Faltings : Les résultats s'appliquent à la hauteur de Faltings des courbes elliptiques. Ils prouvent que le minimum essentiel de cette hauteur peut être atteint par une suite générique de $j$-invariants de courbes elliptiques ayant bonne réduction partout (après extension finie).
2. Pente maximale asymptotique : L'article établit l'égalité entre le minimum essentiel et la pente maximale asymptotique ($\hat{\mu}$) des fibrés en droites adéliques, reliant ainsi la théorie de la hauteur à la géométrie d'Arakelov.

5. Signification et Impact

• Résolution d'un problème ouvert : Ce travail résout théoriquement le problème de la convergence des méthodes de bornage pour le minimum essentiel, prouvant qu'elles convergent vers la même limite.
• Nouveau cadre unificateur : En identifiant le problème comme un cas de dualité forte en programmation linéaire, les auteurs unifient des résultats dispersés (Smyth, Yuan, Zhang, Ballaÿ) sous un même formalisme.
• Calculabilité : L'apport le plus surprenant est la preuve de la calculabilité du minimum essentiel. Bien que l'algorithme décrit soit théorique et non pratique (en raison de la taille de l'espace de recherche), il établit que le problème est fondamentalement soluble par un ordinateur, ouvrant la voie à de futures méthodes numériques efficaces.
• Géométrie d'Arakelov : Le papier renforce le lien entre la distribution des points de petite hauteur, la théorie du potentiel et la géométrie des fibrés en droites métriques, fournissant des outils puissants pour l'étude des conjectures de type Vojta ou Mordell.

En résumé, ce papier transforme un problème analytique difficile en un problème d'optimisation bien posé, prouvant que la « lacune » autour du minimum essentiel n'est qu'une illusion due à l'insuffisance des méthodes de calcul, et non une propriété intrinsèque de la géométrie arithmétique.