Résumé technique : Comptage des entiers algébriques de hauteur bornée dans les corps cyclotomiques

1. Énoncé du problème

Ce travail traite du problème du comptage des entiers algébriques et des unités dans les corps cyclotomiques $\mathbb{Q}(\zeta_q)$, où $q = p^r$ est une puissance de nombre premier, sous une borne de hauteur absolue fixée $B$. Contrairement à la conjecture classique de Batyrev-Manin, qui fixe le corps de base et fait varier la borne de hauteur $B \to \infty$, cet article fixe la borne de hauteur $B$ et étudie le comportement asymptotique du comptage lorsque le degré du corps croît (spécifiquement quand $r \to \infty$).

Les auteurs définissent deux fonctions de comptage primaires :

1. Unités : $U(n, B)$, le nombre d'unités dans $\mathbb{Z}[\zeta_n]$ dont la hauteur de Weil logarithmique est $h(\alpha) < B$. Un sous-ensemble d'intérêt est $U_{cyc}(n, B)$, qui ne compte que les unités cyclotomiques.
2. Entiers : $I(q, B)$, le nombre d'entiers algébriques dans $\mathbb{Z}[\zeta_q]$ avec $h(\alpha) \le B$.

L'objectif est d'établir des bornes supérieures et inférieures pour ces quantités à mesure que $q$ croît, en analysant spécifiquement la dépendance vis-à-vis du degré du corps $D = \phi(q)$.

2. Méthodologie

Les preuves reposent sur une combinaison de théorie des nombres algébriques et de comptage de points de réseaux géométriques.

2.1 Cadre géométrique

L'outil géométrique central est le lemme de Davenport [2], qui fournit une borne d'erreur pour le nombre de points de réseau dans un corps compact $P \subset \mathbb{R}^D$ par rapport à son volume. La borne dépend des volumes des projections de $P$ sur les sous-espaces de coordonnées.

• Pour les unités cyclotomiques, le problème est transformé en un comptage de vecteurs entiers $c$ tels que $\|Ac\|_{L_1} < T$, où $A$ est une matrice dérivée des logarithmes des valeurs absolues des conjugués de Galois des générateurs d'unités cyclotomiques.
• Pour les entiers algébriques, les auteurs utilisent l'application de Minkowski $\Phi: K \to \mathbb{R}^D$. L'ensemble des entiers de hauteur bornée est contenu dans une région $R_1$ définie par des contraintes logarithmiques sur les coordonnées. Cette région est approximée par une union de hyper-rectangles (boîtes) $Q(k)$ pour faciliter l'estimation du volume.

2.2 Outils algébriques

• Unités cyclotomiques : Les auteurs utilisent la base explicite des unités cyclotomiques $\xi_a$ (Proposition 1) et leur relation avec le groupe des unités complet via le nombre de classe $h_q^+$. L'action du groupe de Galois sur ces unités est analysée à l'aide de caractères de Dirichlet.
• Analyse spectrale : La matrice $A$ régissant la hauteur des unités est diagonalisée en utilisant des caractères de Dirichlet pairs non triviaux. Les valeurs propres $\lambda_\chi$ sont exprimées en termes de sommes de Gauss $\tau(\chi_f)$ et de fonctions $L$ $L(1, \chi_f)$. La borne inférieure de Siegel pour les fonctions $L$ est employée pour estimer l'ordre de grandeur de ces valeurs propres.
• Estimations de déterminants : Pour le problème de comptage des entiers, le volume des régions transformées implique le déterminant de la matrice d'application de Minkowski. Les auteurs utilisent la formule de Cauchy-Binet et l'inégalité de Hadamard pour borner la somme des carrés des mineurs de la matrice, en exploitant le discriminant connu des corps cyclotomiques.

3. Résultats clés

3.1 Bornes pour les unités cyclotomiques

Le Théorème 1 établit le comportement asymptotique pour les unités cyclotomiques dans $\mathbb{Q}(\zeta_q)$ où $q=p^r$ est une puissance de nombre premier impair.

• Borne supérieure : Le nombre d'unités cyclotomiques satisfait :
  $$U_{cyc}(q, B) \ll_{q^3} \exp\left(C_\epsilon B^{1/3} q^{5/6+\epsilon}\right)$$
  Pour le groupe complet des unités, la borne inclut le nombre de classe du sous-corps réel maximal $h_q^+$ :
  $$U(q, B) \ll_{q^3} \exp\left(C_\epsilon (h_q^+ B)^{1/3} q^{5/6+\epsilon}\right)$$
• Borne inférieure : La Proposition 4 démontre que pour $B$ suffisamment grand, $\log U_{cyc}(q, B) \gg B \log q$, indiquant une borne inférieure polynomiale en $q$.

Les auteurs notent que bien que $h_q^+$ soit difficile à contrôler de manière générale, les preuves numériques et les heuristiques de Cohen-Lenstra suggèrent qu'il est petit (potentiellement constant) pour un $p$ fixé lorsque $r \to \infty$, ce qui impliquerait une borne sous-exponentielle pour le groupe complet des unités dans ce régime.

3.2 Bornes pour les entiers algébriques

Le Théorème 2 fournit une borne supérieure exponentielle pour le nombre d'entiers algébriques de hauteur bornée :
$$\log I(q, B) \ll D(B + 1)$$
où $D = \phi(q)$.

• Borne inférieure : L'article construit une borne inférieure polynomiale en choisissant des coefficients dans la base de puissance $\zeta_q^i$ tels que la somme des valeurs absolues soit bornée, ce qui donne environ $q^{e^B}$ choix.
• Comparaison : Les auteurs observent que dans l'analogue de corps de fonctions $\mathbb{F}_q(t)$, le comptage est exactement $q^{B+1}$, suggérant que le vrai comptage dans le cas des corps de nombres pourrait être polynomial en $q$, bien que la borne supérieure prouvée soit exponentielle dans le degré $D$.

4. Signification et affirmations

L'article affirme fournir les premières bornes asymptotiques pour le nombre d'entiers algébriques et d'unités de hauteur fixe dans les corps cyclotomiques lorsque le degré du corps tend vers l'infini.

• Contraste avec la littérature : Le travail contraste avec les résultats précédents (par exemple, Dubickas [4]) qui fixaient le degré et laissaient la hauteur croître. Ici, la hauteur est fixée et le corps varie.
• Conjecture sous-exponentielle : Bien que les bornes prouvées pour les unités soient exponentielles en $q^{5/6}$, les auteurs conjecturent que la croissance réelle est probablement polynomiale en $q$ (sous-exponentielle par rapport au degré) en se basant sur le comportement du nombre de classe $h_q^+$ et l'analogie avec les corps de fonctions.
• Contribution méthodologique : L'article démontre l'utilité de combiner le lemme de comptage de points de réseau de Davenport avec les propriétés spectrales explicites des unités cyclotomiques (via les caractères de Dirichlet) et des estimations précises de déterminants pour les applications de Minkowski.

Les auteurs maintiennent un ton modeste quant à l'optimalité des bornes, reconnaissant que le facteur exponentiel dans la borne des unités provient de l'incapacité actuelle à contrôler étroitement le nombre de classe $h_q^+$ et des arguments de recouvrement géométrique utilisés pour le comptage des entiers.