$\alpha$-monogeneity of pure number fields: criterion and density

Résumé Technique : $\alpha$-monogénéité des corps de nombres purs

Énoncé du Problème
L'article étudie la condition sous laquelle l'ordre naturel $\mathbb{Z}[\alpha]$ est l'ordre maximal (l'anneau des entiers complet $\mathcal{O}_K$) pour un corps de nombres pur $K = \mathbb{Q}(\alpha)$, où $\alpha$ est une racine du polynôme irréductible $X^n - m$ avec $n \ge 2$ et $m \in \mathbb{Z} \setminus \{0\}$. Cette propriété est nommée $\alpha$-monogénéité. Les auteurs la distinguent de la monogénéité générale du corps (où $\mathcal{O}_K = \mathbb{Z}[\theta]$ pour un certain $\theta$), notant que si l' $\alpha$-monogénéité implique la monogénéité du corps, la réciproque n'est pas nécessairement vraie pour le générateur spécifique $\alpha$. L'objectif principal est d'établir un critère précis pour l' $\alpha$-monogénéité et de calculer la densité naturelle des paramètres $m$ satisfaisant cette condition au sein de la famille des corps purs de degré $n$.

Méthodologie
Les auteurs emploient une combinaison de théorie algébrique des nombres et de théorie analytique des nombres :

1. Critères locaux via le théorème de l'indice de Dedekind : L'outil algébrique central est le critère de l'indice de Dedekind, qui détermine quand un nombre premier $p$ divise l'indice $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$. Les auteurs l'appliquent au polynôme spécifique $f(X) = X^n - m$.
2. Identité discriminant-indice : Ils utilisent l'identité $\text{disc}(f) = [\mathcal{O}_K : \mathbb{Z}[\alpha]]^2 \text{disc}(\mathcal{O}_K)$ pour localiser les diviseurs premiers possibles de l'indice au sein de l'ensemble des nombres premiers divisant $mn$.
3. Analyse des valuations : À travers des lemmes élémentaires impliquant les valuations $p$-adiques ($\nu_p$), les auteurs réduisent la condition de divisibilité de l'indice pour les nombres premiers $p|n$ au comportement de l'expression $m^{p} - m$ (spécifiquement $\nu_p(m^p - m)$).
4. Calculs de densité : La composante analytique implique le calcul de la densité naturelle des entiers $m$ satisfaisant les conditions locales dérivées. Cela utilise la fonction de Möbius pour le comptage des nombres sans facteur carré, le théorème des restes chinois pour combiner les contraintes locales, et les principes d'inclusion-exclusion sur les nombres premiers divisant $n$. Les auteurs affinent également ces résultats pour les progressions arithmétiques et traduisent les décomptes de paramètres en décomptes de corps ordonnés par le discriminant.

Contributions Clés et Résultats

1. Critère Nécessaire et Suffisant (Théorème 1.2 & 2.7) :
   L'article fournit une preuve courte et autonome que $\mathbb{Z}[\alpha] = \mathcal{O}_K$ si et seulement si :

   • $m$ est sans facteur carré.
   • Pour tout nombre premier $p$ divisant $n$, $\nu_p(m^p - m) = 1$.

   Ce résultat spécialise le critère relatif de Smith pour les extensions radicales à la famille pure $X^n - m$. Les auteurs identifient explicitement le support premier de l'indice $[\mathcal{O}_K : \mathbb{Z}[\alpha]]$ comme étant :
   $$\{p : \nu_p(m) \ge 2\} \cup \{p \mid n : \nu_p(m^p - m) \ge 2\}$$

2. Densité Naturelle des Paramètres $\alpha$-monogénés (Théorème 1.1 & 3.6) :
   Les auteurs calculent la densité naturelle $\delta_n$ des paramètres $m$ pour lesquels $\mathbb{Z}[\alpha]$ est maximal. Pour l'ensemble $M_n^+(T) = \{1 \le m \le T : X^n - m \text{ irréductible}, \mathbb{Z}[\alpha] = \mathcal{O}_K\}$, le décompte asymptotique est :
   $$M_n^+(X) = \delta_n X + O_n(X^{1/2})$$
   où la densité est donnée par :
   $$\delta_n = \frac{6}{\pi^2} \prod_{p \mid n} \frac{p}{p+1}$$
   Par rapport à l'ensemble des entiers positifs sans facteur carré, la densité est $\prod_{p \mid n} \frac{p}{p+1}$.

3. Affinement par Progression Arithmétique (Corollaire 3.10) :
   L'article étend le résultat de densité aux progressions arithmétiques $m \equiv a \pmod q$. Il fournit des facteurs locaux explicites $\lambda_p(q, a)$ qui ajustent la densité en fonction de la valuation $p$-adique du module $q$ et de la classe de reste $a$. Cela permet d'identifier les progressions où les obstructions locales sont automatiquement satisfaites (Corollaire 3.12).

4. Indépendance des Obstructions Locales (Proposition 3.15) :
   Les auteurs démontrent que les ensembles d'obstructions locales aux nombres premiers distincts divisant $n$ sont statistiquement indépendants par rapport à l'ensemble des entiers sans facteur carré. La densité des paramètres échouant à des conditions locales spécifiques pour un sous-ensemble de nombres premiers $T \subseteq \{p : p \mid n\}$ est le produit des densités de défaillance locales individuelles.

5. Décomptes de Corps Ordonnés par le Discriminant (Théorème 1.4 & 3.13) :
   En exploitant le fait que $\mathbb{Z}[\alpha] = \mathcal{O}_K$ implique que le discriminant du corps est égal au discriminant du polynôme, les auteurs convertissent les décomptes de paramètres en décomptes de classes d'isomorphisme de corps ordonnés par le discriminant $Y$.
   $$N_n(Y) \sim \begin{cases} \delta_n X & \text{si } n \text{ est impair} \\ 2\delta_n X & \text{si } n \text{ est pair} \end{cases}$$
   où $X = (Y/n^n)^{1/(n-1)}$.

6. Comparaison avec la Monogénéité du Corps (Corollaire 1.3) :
   L'article clarifie la relation entre l' $\alpha$-monogénéité et la monogénéité générale du corps. Pour $n=2$, les conditions diffèrent considérablement (par exemple, $m \not\equiv 1 \pmod 4$). Pour $n \ge 3$, l'ensemble des paramètres sans facteur carré où le corps est monogène mais $\mathbb{Z}[\alpha] \neq \mathcal{O}_K$ a une densité relative nulle au sein des entiers sans facteur carré. Ainsi, pour $n \ge 3$, la densité $\delta_n$ représente efficacement la densité des corps purs monogènes de degré $n$.

Signification et Revendications
Les auteurs affirment que leur travail offre une « preuve courte » de l'équivalence pour la famille pure en utilisant uniquement le critère de l'indice de Dedekind, évitant ainsi des mécanismes plus complexes utilisés dans des contextes plus larges. La principale signification réside dans la fourniture d'une théorie de densité exacte pour la famille à un paramètre $X^n - m$. Contrairement aux travaux précédents qui pourraient s'être concentrés sur des degrés spécifiques ou utilisé des critères relatifs pour des extensions radicales générales, cet article livre un critère local-global complet et une formule de densité précise dépendant uniquement du radical de $n$.

L'article note modestement que bien que les résultats soient spécifiques à la famille pure, ils résolvent complètement la question de l' $\alpha$-monogénéité pour cette classe. De plus, en établissant que les cas « exceptionnels » (où le corps est monogène mais pas via $\alpha$) ont une densité nulle pour $n \ge 3$, les auteurs affirment que leur densité $\delta_n$ sert de densité absolue de paramètres positifs pour la véritable monogénéité du corps pour les degrés $n \ge 3$. Le travail contribue également à la compréhension des modèles d'obstruction locale, montrant leur indépendance et fournissant des outils pour construire des progressions arithmétiques où la monogénéité est garantie.