Computations of higher elliptic units in optimal settings

Résumé Technique : Calculs d'unités elliptiques supérieures dans des contextes optimaux

Énoncé du problème
Cet article traite de la construction d'unités elliptiques généralisées au-dessus de corps de nombres $K$ de degré $n \geq 3$ possédant exactement une place complexe. Le travail vise à fournir une description analytique des extensions abéliennes de ces corps, offrant ainsi une solution conjecturale au 12ème problème de Hilbert pour cette classe spécifique de corps de nombres. Alors que la construction des unités elliptiques pour les corps quadratiques imaginaires est bien établie via la fonction $\theta$ et la multiplication complexe, l'extension à des degrés supérieurs nécessite l'utilisation d'analogues de dimension supérieure. Plus précisément, l'article se concentre sur l'évaluation de « fonctions Gamma elliptiques supérieures » ($G_r$) en des points algébriques spécifiques pour générer des unités dans des corps de classes de rayons étroits.

Méthodologie
L'auteur emploie un cadre computationnel et conjectural basé sur les composants suivants :

1. Fonctions Gamma elliptiques supérieures : La construction utilise les fonctions $G_r(z, \tau_0, \dots, \tau_r)$, définies par des produits infinis et satisfaisant des propriétés modulaires liées à $SL_{r+2}(\mathbb{Z})$. Ces fonctions généralisent la fonction $\theta$ de Jacobi ($G_0$) et la fonction Gamma elliptique ($G_1$).
2. Contextes optimaux : Pour rendre la conjecture traitable et les calculs réalisables, l'article restreint l'attention à des « contextes optimaux ». Ce sont des configurations spécifiques du corps de nombres $K$, du module $\mathfrak{f}$ et des unités fondamentales $\varepsilon_1, \dots, \varepsilon_{n-2}$ qui satisfont plusieurs hypothèses restrictives :
   • Le groupe des unités totalement positives congruentes à 1 modulo $\mathfrak{f}$ coïncide avec le groupe de toutes les unités totalement positives ($O_{K}^{+, \times} = O_{\mathfrak{f}}^{+, \times}$).
   • L'anneau résiduel $\mathcal{O}_K/\mathfrak{f}$ est cyclique.
   • Le « contenu » des systèmes d'unités est égal à 1, et les « idéaux de débordement » associés sont premiers entre eux avec l'indice de lissage.
   • Le corps de nombres $K$ ne contient aucun sous-corps propre.
3. Procédure d'évaluation : Dans ces contextes optimaux, les unités elliptiques supérieures sont construites comme des produits finis de rapports de fonctions $G_{n-2}$ lissées. Les paramètres d'évaluation ($z_\rho, \tau_{j,\rho}$) sont dérivés de :
   • Un ensemble compatible de « points de base » (idéaux auxiliaires).
   • Les idéaux de débordement associés aux permutations des unités fondamentales.
   • Un idéal de lissage $\mathfrak{a}$ de norme première $N$.
     L'unité résultante $u_{k,b}$ est définie par un produit sur le groupe symétrique $S_{n-2}$, avec le nombre de termes minimisé à $(n-2)!$.
4. Techniques de calcul :
   • Évaluation de fonction : Puisque la définition par produit infini de $G_r$ n'est pas adaptée à un calcul direct, l'auteur utilise une expansion en série (Proposition 3.6 dans [Nis01]) valide dans une « bande centrale ». L'algorithme implique une « étape de réorientation » (utilisant les propriétés d'inversion pour mapper les paramètres vers le demi-plan supérieur) et une « étape de translation » (utilisant la pseudo-périodicité pour mapper la variable elliptique dans la bande centrale).
   • Algorithme de recherche : Un algorithme de criblage (Algorithme 1) itère à travers des polynômes pour identifier des corps de nombres et des unités fondamentales qui satisfont les conditions optimales, filtrant spécifiquement pour de petites valeurs de débordement afin d'assurer la faisabilité computationnelle.
   • Vérification : Des calculs numériques de haute précision (1000 chiffres) sont effectués à l'aide de PARI/GP. Les résultats sont vérifiés en vérifiant si les nombres complexes calculés sont des racines de polynômes à coefficients dans $K$ (en utilisant l'algorithme LLL via lindep et algdep) et en confirmant la formule limite de Kronecker.

Contributions clés

• Conjecture simplifiée : L'article présente une forme simplifiée d'une conjecture générale (initialement détaillée dans la thèse de doctorat de l'auteur [Mor26c]) concernant l'algébricité des valeurs spéciales des fonctions $G_{n-2}$. Cette version simplifiée est adaptée spécifiquement aux « contextes optimaux », réduisant la complexité des paramètres d'évaluation et la taille du produit.
• Construction explicite : L'auteur fournit des formules explicites pour les paramètres d'évaluation $z_\rho$ et $\tau_{j,\rho}$ en termes d'unités fondamentales, d'idéaux de débordement et d'idéaux auxiliaires.
• Cadre de calcul : L'article détaille les algorithmes spécifiques requis pour calculer ces unités, y compris la gestion de la « bande centrale » pour les fonctions $G_r$ et la recherche systématique de corps de nombres satisfaisant les conditions optimales restrictives.
• Preuve numérique : L'auteur fournit des preuves numériques étendues soutenant la conjecture pour des corps de nombres de degrés 3, 4, 5 et 6.

Résultats
L'article présente six exemples spécifiques où la conjecture est testée :

1. Degré 3 (Cubique) : Deux exemples sont fournis. Un avec un groupe de classes trivial ($q=11$) et un autre avec un grand groupe de classes ($q=3$). Dans les deux cas, il est montré que les valeurs calculées sont des racines de polynômes relatifs définissant le corps de classe de rayon, et la formule limite de Kronecker est vérifiée.
2. Degré 4 (Quartique) : Deux exemples sont discutés. Un avec un groupe de classes trivial ($q=2$) et un autre avec un groupe de classes non trivial ($q=7$). Les calculs confirment que les valeurs génèrent les extensions abéliennes attendues.
3. Degré 5 (Quintique) : Un exemple avec $q=3$ est présenté, impliquant un produit de 6 fonctions $G_3$ lissées. Le temps de calcul est noté comme variant considérablement selon la taille des idéaux de débordement.
4. Degré 6 : Une discussion d'un exemple de degré 6 est fournie. Bien que la liste complète des paramètres soit trop volumineuse pour être incluse, l'article confirme que l'unité calculée correspond à la racine d'un polynôme réciproque de haut degré définissant le corps de classe.

Les calculs montrent systématiquement que les nombres complexes construits sont des unités algébriques dans les corps de classes de rayons attendus et satisfont la formule limite de Kronecker prédite :
$$N\zeta'_{\mathfrak{f}}(c, 0) - \zeta'_{\mathfrak{f}}(ac, 0) = \log |u_c|^2$$

Signification et affirmations
L'article affirme fournir une « forme simplifiée » d'une conjecture sur la construction d'unités elliptiques généralisées, rendant le problème accessible au calcul dans des cas spécifiques. La principale signification réside dans :

• Problème de Hilbert : Offrir une méthode analytique concrète (via les fonctions $G_{n-2}$) pour générer des extensions abéliennes pour des corps de nombres possédant exactement une place complexe, un cas pour lequel aucune solution générale n'est actuellement connue.
• Extension de travaux antérieurs : Étendre la construction des unités elliptiques conjecturales pour les corps cubiques complexes (par Bergeron, Charollois et García [BCG23]) à des degrés supérieurs ($n=4, 5, 6$).
• Soutien empirique : Fournir la première preuve numérique substantielle de l'algébricité de ces unités elliptiques supérieures dans les degrés 4, 5 et 6, soutenant la conjecture plus large selon laquelle ces valeurs sont effectivement des unités algébriques.

L'auteur note que les « contextes optimaux » sont restrictifs et que trouver de tels corps devient de plus en plus difficile à mesure que le degré augmente (par exemple, aucun exemple de degré 7 satisfaisant toutes les conditions n'a été trouvé). L'article ne prétend pas prouver l'algébricité de ces valeurs, mais plutôt démontrer leur existence et leurs propriétés par calcul de haute précision, soutenant ainsi la conjecture sous-jacente.