On the unit equation $\varepsilon+\delta=n$ in cubic fields

Résumé technique : Sur l'équation des unités $\varepsilon + \delta = n$ dans les corps cubiques

Énoncé du problème
L'article étudie l'équation des unités $\varepsilon + \delta = n$ dans le contexte des corps numériques cubiques, où $\varepsilon$ et $\delta$ sont des unités dans l'anneau des entiers $\mathcal{O}_L$ d'un corps cubique $L$, et $n$ est un entier non nul. Cette équation correspond à la recherche de points $L$ sur la courbe ponctuée $X = \mathbb{P}^1 \setminus \{0, n, \infty\}$. Plus précisément, les auteurs se concentrent sur l'ensemble des « nouveaux » points, noté $X(\mathcal{O}_L)^{\text{new}}$, qui sont des points définis sur $L$ mais pas sur une extension strictement plus petite de $\mathbb{Q}$. La question centrale est le comportement statistique de ces solutions lorsque les corps cubiques sont ordonnés par leur discriminant absolu.

Méthodologie
Les auteurs emploient une combinaison de paramétrisation algébrique explicite et de statistiques arithmétiques.

1. Paramétrisation des solutions :
   L'article établit d'abord une correspondance entre les solutions de l'équation des unités et les racines de polynômes cubiques spécifiques.

• Pour $n \geq 3$, le Lemme 5 démontre que si $L = \mathbb{Q}(\varepsilon)$ est un corps cubique, le polynôme minimal de $\varepsilon$ doit être de la forme $X^3 + aX^2 - (n^2 + an)X + 1$ pour un certain entier $a$.
• Pour $n=2$ et $n=1$, les Lemmes 6 et 7 fournissent des paramétrisations explicites similaires, identifiant des familles spécifiques de polynômes cubiques dont les racines engendrent les corps concernés.
• Les auteurs analysent également le cas quadratique (Section 2), prouvant que pour tout $n$, il n'existe que de nombreux corps quadratiques contenant des solutions, contrastant ainsi avec le cas cubique.

2. Statistiques arithmétiques et théorie de Galois :
   Pour prouver le résultat statistique, les auteurs utilisent un théorème récent (Théorème 8) dérivé de leur travail précédent [6] et des résultats de Bhargava, Taniguchi et Thorne [1]. Ce théorème fournit un critère pour déterminer quand une famille de corps cubiques définie par un polynôme $F(t, X)$ constitue un ensemble « mince » (c'est-à-dire 0 % de tous les corps cubiques ordonnés par discriminant).

• Les auteurs construisent un polynôme bivarié $F(T, X)$ basé sur les paramétrages trouvés dans les lemmes.
• Ils analysent le discriminant de $F$ par rapport à $X$, noté $\Delta_X(F)$. Ils factorisent ce discriminant en $g(T) \cdot h(T)^2$, où $g(T)$ est sans carré.
• La preuve repose sur la vérification de deux conditions pour $g(T)$ :
  1. $g(T)$ n'a pas de racines rationnelles (vérifié via l'étude d'une courbe de genre 1 associée $E: Y^2 + Y = X^3$).
  2. Le groupe de Galois $G = \text{Gal}(g)$ contient un élément qui agit librement sur les racines de $g$.

Contributions principales et résultats
L'article présente deux résultats principaux concernant l'équation $\varepsilon + \delta = n$ :

• Théorème 3(I) : Il existe une infinité de corps cubiques $L$ pour lesquels l'ensemble des nouveaux points $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}}$ est non vide. Ceci est établi par la construction explicite de familles infinies de corps cubiques via les paramétrages dans les Lemmes 5, 6 et 7.
• Théorème 3(II) : Lorsque les corps cubiques sont ordonnés par discriminant absolu, 100 % d'entre eux satisfont $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}} = \emptyset$.
  • Ce résultat est prouvé en montrant que la famille de corps cubiques générée par les solutions de l'équation des unités tombe dans l'ensemble « mince » décrit par le Théorème 8.
  • Les auteurs vérifient que pour $n \geq 3$, le polynôme discriminant $g(T)$ n'a pas de racines rationnelles et que son groupe de Galois contient un élément sans point fixe. Les cas $n=1$ et $n=2$ sont notés comme étant similaires mais plus élémentaires.

Signification et affirmations
L'article positionne ses conclusions comme une preuve supplémentaire soutenant la « conjecture de stabilité diophantienne statistique pour les courbes hyperboliques » (Conjecture 1), qui postule que pour une courbe hyperbolique $X$, l'ensemble des points $L$-nouveaux est vide pour 100 % des extensions $L$ dans une famille admissible.

• Cohérence avec la conjecture : Le résultat confirme que pour la courbe hyperbolique spécifique $\mathbb{P}^1 \setminus \{0, n, \infty\}$, la conjecture est vérifiée pour la famille des corps cubiques.
• Contraste avec les corps quadratiques : Les auteurs soulignent une différence distincte entre les corps quadratiques et cubiques. Alors que l'analogue quadratique du Théorème 3(II) est trivialement vrai (car il n'existe que de nombreux corps quadratiques finis), le cas cubique nécessite un argument statistique non trivial pour montrer que les solutions sont rares (densité 0) malgré le fait qu'elles soient infinies en nombre.
• Modestie : Les auteurs présentent leur travail comme apportant une « preuve supplémentaire » à la conjecture plus large plutôt que comme une preuve complète de la conjecture pour toutes les courbes hyperboliques. Ils font explicitement référence à leur travail précédent [6] pour le cadre général et le cas spécifique de $n=1$ (Théorème 2), notant que le présent article généralise cela à des entiers non nuls $n$ arbitraires.

L'article conclut en notant que le code de calcul (Magma) utilisé pour vérifier les propriétés des polynômes discriminants est disponible dans un dépôt public.