Infinite Moments of Class Groups for Solvable Fields with a Normal Abelian Subgroup

Résumé Technique : Moments Infinis des Groupes de Classes pour les Corps Solvables avec un Sous-groupe Abelien Normal

Énoncé du Problème
L'article étudie la distribution statistique des groupes de classes des corps de nombres, en se concentrant spécifiquement sur les « moments » de ces groupes. Le problème central abordé est le phénomène de « probabilité nulle » et de « moments infinis » pour certaines parties $p$ des groupes de classes. Alors que les heuristiques de Cohen-Lenstra-Martinet prédisent des distributions de probabilité spécifiques pour les groupes de classes des corps de nombres, ces heuristiques échouent souvent ou nécessitent une modification lorsque le groupe de Galois est résoluble et contient un sous-groupe abélien normal, particulièrement lorsque le nombre premier $p$ divise l'ordre de ce sous-groupe.

Plus précisément, l'article vise à prouver que, sous certaines conditions sur l'ordonnancement des corps de nombres (en utilisant des discriminants généralisés) et sur la structure du groupe de Galois, la probabilité que le rang $p$ du groupe de classes soit borné par n'importe quel entier $r$ est nulle. Par conséquent, la valeur attendue du nombre d'homomorphismes du groupe de classes vers $\mathbb{Z}/p\mathbb{Z}$ (le moment $\mathbb{Z}/p\mathbb{Z}$) est infinie. Cela contraste avec le comportement d'autres sous-groupes de Sylow $p$ où les heuristiques de Cohen-Lenstra prédisent généralement des moments finis.

Méthodologie
L'auteur emploie une combinaison de techniques de la théorie algébrique des nombres, de la théorie de la classe et de la théorie analytique des nombres. La méthodologie procède à travers les étapes suivantes :

1. Algèbres de Galois et Spécifications Locales : L'article utilise le cadre des $(G, F)$-algèbres de Galois pour généraliser la notion d'extensions de corps. Cela permet une définition précise des « spécifications locales » aux nombres premiers, qui encodent le comportement de ramification des extensions. L'auteur établit une correspondance entre les classes d'isomorphisme des algèbres de Galois et les classes de conjugaison d'homomorphismes continus du groupe de Galois absolu vers $G$.

2. Discriminants Généralisés : Une fonction de comptage pour les corps de nombres est définie via un « discriminant généralisé ». Celui-ci est construit à l'aide d'une fonction de poids $c_G: G \to \mathbb{R}_{\ge 0}$ qui assigne des valeurs aux éléments du groupe de Galois en fonction de leur ordre et de leur classe de conjugaison. Le discriminant généralisé d'une extension de corps est le produit des contributions locales déterminées par les générateurs d'inertie de l'extension à chaque nombre premier.

3. Bornes de Ramification Restreinte : Un composant technique clé est la dérivation de bornes supérieures pour le nombre de solutions aux problèmes de ramification restreinte pour les extensions solvables. En décomposant un groupe résoluble $G$ en une tour de quotients abéliens, l'auteur applique itérativement la borne de Minkowski. Cela produit une estimation pour le nombre de corps avec une spécification locale fixée, bornée par une puissance du discriminant (ou du discriminant généralisé) et la taille du groupe de classes des corps intermédiaires.

4. Comptage de Corps et Analyse de Moments : L'auteur analyse le comportement asymptotique de la fonction de comptage $N_{C, C}(X)$ (le nombre de corps avec un discriminant généralisé inférieur à $X$) et des sous-familles $N_{C, C}^\gamma(X)$ (corps ayant exactement $\gamma$ nombres premiers ramifiés satisfaisant des conditions d'inertie spécifiques). En comparant les taux de croissance de ces fonctions de comptage, l'auteur démontre que les corps possédant un nombre plus élevé de nombres premiers ramifiés spécifiques dominent la distribution.

5. Application aux Rangs des Groupes de Classes : En utilisant les bornes établies sur le comptage de corps, l'auteur applique un résultat de travaux antérieurs (Wang [22]) qui lie le rang $p$ du groupe de classes au nombre de nombres premiers avec des générateurs d'inertie spécifiques. Si l'ensemble des corps avec un grand nombre de ces nombres premiers croît suffisamment vite par rapport à l'ensemble total des corps, le rang $p$ est forcé d'être élevé, conduisant aux résultats de probabilité nulle et de moments infinis.

Contributions Clés et Résultats

• Théorème 1.11 (Cas Résoluble Général) : Pour un groupe de permutation transitif $G$ contenant un sous-groupe abélien normal $N$ tel que $\gcd(|N|, |G/N|) = 1$, et pour un discriminant généralisé défini par une fonction de poids où le poids minimum est atteint uniquement par des éléments dans $N$ d'ordre divisible par $p$, l'article prouve :

  • La probabilité que le rang $p$ du groupe de classes soit $\le r$ est 0 pour tout entier non négatif $r$.
  • Le moment $\mathbb{Z}/p\mathbb{Z}$ du groupe de classes est infini.
    Ce résultat s'applique aux corps ordonnés par des discriminants généralisés associés à la structure du groupe.

• Théorème 1.12 (Corps Cubiques Non-Galois) : L'article applique la théorie générale aux corps cubiques non-galois ordonnés par le produit des nombres premiers ramifiés. En reliant ces corps à des extensions de Galois $S_3$ et en utilisant les résultats connus sur les moments des groupes de classes pour les corps quadratiques (Davenport-Heilbronn) et les résultats de comptage de corps pour les corps cubiques ordonnés par le radical du discriminant (Shankar et Thorne), l'auteur prouve :

  • Pour les corps cubiques non-galois ordonnés par le produit des nombres premiers ramifiés, le moment $\mathbb{Z}/3\mathbb{Z}$ du groupe de classes est infini.
  • La probabilité que le rang $3$ soit borné est nulle.

• Bornes Supérieures pour les Extensions Solvables : L'article fournit des bornes explicites pour le nombre d'extensions solvables avec ramification restreinte (Théorème 4.6 et Proposition 5.6). Ces bornes sont exprimées en termes du discriminant et de la structure de la tour du groupe de Galois, montrant que le nombre de tels corps croît polynomialement avec le discriminant.

• Produit des Nombres Premiers Ramifiés : L'auteur étend l'analyse au cas où la fonction de comptage est le produit des nombres premiers ramifiés (Théorème 6.8 et 6.9). Sous une hypothèse concernant les moments des groupes de classes des corps de base dans une tour (Hypothèse 6.5), l'auteur prouve que le phénomène de moment infini persiste même lorsque l'ordonnancement est basé sur le produit des nombres premiers ramifiés plutôt que sur le discriminant standard.

Signification et Revendications
L'article affirme fournir une preuve rigoureuse du phénomène de « moment infini » pour les groupes de classes dans des contextes solvables spécifiques, confirmant une différence qualitative dans la distribution de la partie $p$ du groupe de classes lorsque $p$ divise l'ordre d'un sous-groupe abélien normal.

• Motivation : Le travail est motivé par l'échec des heuristiques originales de Cohen-Lenstra à prédire le comportement de la partie 2 des groupes de classes dans les corps quadratiques (un phénomène connu de « probabilité nulle » pour un rang borné) et par la conjecture de Gerth qui en découle. L'article étend cette observation aux groupes résolubles généraux et à d'autres nombres premiers.
• Portée : Les résultats sont conditionnés par l'existence de fonctions de poids appropriées et, dans le cas du produit des nombres premiers ramifiés, par une hypothèse concernant les moments des groupes de classes des corps intermédiaires.
• Application Spécifique : L'article souligne explicitement le cas des corps cubiques non-galois. Il affirme que pour ces corps, lorsqu'ils sont ordonnés par le produit des nombres premiers ramifiés, le moment $\mathbb{Z}/3\mathbb{Z}$ est infini. Ce résultat repose sur la combinaison de son cadre général avec les résultats existants sur les corps quadratiques et le comptage de corps cubiques.

L'article ne propose pas de nouvelles applications expérimentales ou de directions futures au-delà des preuves mathématiques présentées. Sa signification réside dans l'unification de la compréhension des statistiques des groupes de classes à travers différents types d'extensions solvables et de fonctions d'ordonnancement, démontant que le comportement de « moment infini » est une caractéristique robuste sous des conditions de groupe et d'arithmétique spécifiques.