Counting Frobenius extensions over local function fields

Résumé Technique : Dénombrement des extensions de Frobenius sur les corps de fonctions locaux

1. Problématique et Contexte

Le papier s'inscrit dans le cadre de la théorie des nombres et de la géométrie algébrique, visant à déterminer le comportement asymptotique du nombre d'extensions de corps de fonctions locaux de caractéristique $p$, comptées selon leur exposant de discriminant.

• Contexte général : La question centrale est de savoir combien d'extensions $K/k$ existent avec un groupe de Galois donné $G$ et un discriminant borné par $X$, lorsque $X \to \infty$. Pour les corps de nombres, cela relève de la conjecture de Malle. Pour les corps de fonctions globaux de caractéristique coprime à $|G|$, des résultats existent (Wright, Ellenberg-Venkatesh).
• Le cas difficile : L'article se concentre sur les corps de fonctions locaux de caractéristique $p$ où $p$ divise l'ordre du groupe de Galois ($p \mid |G|$). Dans ce cas "sauvage" (wild ramification), le nombre total d'extensions est infini, et le comportement asymptotique diffère radicalement du cas "tame" (coprime).
• Objet d'étude : Les auteurs étudient les extensions dont le groupe de Galois est un sous-groupe du groupe affine $AGL_1(p) \cong C_p \rtimes C_d$, où $d$ est premier à $p$. Cela inclut des groupes non abéliens importants comme $S_3$, les groupes diédraux d'ordre $2p$, et divers groupes de Frobenius.

2. Méthodologie

La stratégie repose sur une analyse fine de la structure des modules de Galois et de la théorie d'Artin-Schreier.

• Structure de la tour de corps : On considère une tour $M/L/F$ où :
  • $F$ est un corps de fonctions local de caractéristique $p$.
  • $L/F$ est une extension cyclique de degré $d$ ($p \nmid d$), donc tamement ramifiée.
  • $M/L$ est une extension de degré $p$ (ou plus généralement une extension élémentaire abélienne), décrite par la théorie d'Artin-Schreier.
• Théorie d'Artin-Schreier et Modules :
  • Les extensions $M/L$ sont paramétrées par les sous-espaces vectoriels de $L/\wp(L)$, où $\wp(x) = x^p - x$.
  • L'ensemble $L/\wp(L)$ possède une structure naturelle de module sur l'anneau de groupe $\mathbb{F}_p[C_d]$ (où $C_d = \text{Gal}(L/F)$).
  • Les auteurs décomposent ce module en sous-modules associés aux facteurs irréductibles de $X^d - 1$ dans $\mathbb{F}_p[X]$.
• Classification des groupes de Galois :
  • En fonction du sous-espace choisi dans la décomposition du module, le groupe de Galois de la clôture galoisienne $M/F$ est isomorphe à un groupe semi-direct $G_p(d, I) \cong M_I \rtimes C_d$, où $M_I$ est un module cyclique sur $\mathbb{F}_p[C_d]$.
  • L'ensemble $I$ détermine quels facteurs irréductibles participent à la génération de l'extension.
• Calcul du discriminant :
  • L'exposant du discriminant est calculé explicitement en fonction des valuations des générateurs d'Artin-Schreier $\alpha$.
  • Une formule clé relie le discriminant de l'extension totale à la somme des conducteurs des sous-extensions, pondérée par les degrés des facteurs irréductibles.
• Analyse Asymptotique :
  • Le problème de dénombrement est transformé en un problème de comptage de vecteurs dans ces modules avec une borne sur la valuation.
  • Les auteurs utilisent des séries de Dirichlet pour encoder le nombre d'extensions.
  • L'analyse des pôles de ces séries (méthode de Potthast adaptée) permet d'extraire le terme dominant asymptotique.

3. Résultats Principaux

Les résultats sont énoncés sous la forme de théorèmes asymptotiques pour deux types de comptage :

A. Comptage sur $pd$ points (Extensions non galoisiennes ou vues comme permutations)
Pour un groupe $G_p(d, I)$ agissant sur $pd$ points (le degré de l'extension $M/F$) :

• Le nombre d'extensions $Z_{pd}(F, G_p(d, I); x)$ avec un exposant de discriminant $\le x$ satisfait :
  $$Z_{pd}(F, G_p(d, I); x) \sim \beta_I(x) q^{ax}$$
  où $a = \frac{\ell(I)}{pd}$ et $\beta_I(x)$ est une fonction périodique (période $(p-1)pd$).
• Observation clé : Le taux de croissance exponentielle dépend uniquement de l'ordre du groupe et de la structure du sous-module, mais pas de la nature spécifique du groupe au-delà de sa taille et de son action.

B. Comptage sur $p^{\ell(I)}d$ points (Extensions galoisiennes / Clôtures galoisiennes)
Pour le même groupe considéré comme groupe de permutations sur les plongements de la clôture galoisienne (degré $p^{\ell(I)}d$) :

• Le nombre d'extensions galoisiennes $Z_{p^{\ell(I)}d}(F, G_p(d, I); x)$ satisfait :
  $$Z_{p^{\ell(I)}d}(F, G_p(d, I); x) \sim \tilde{\beta}_I(x) q^{\tilde{a}x}$$
  où l'exposant est $\tilde{a} = \frac{p-1}{pd} \cdot \frac{\ell(I)}{p^{\ell(I)}-1}$.
• Ce résultat généralise les cas précédents connus (comme les groupes diédraux ou $S_3$) à une large classe de groupes de Frobenius.

Points saillants des résultats :

1. Dépendance à la structure : Le comportement asymptotique dépend de l'ensemble $I$ (qui détermine le sous-groupe de $\mathbb{F}_p[C_d]$ utilisé), ce qui se traduit par une fonction oscillante $\beta_I(x)$, mais l'exposant principal $a$ ou $\tilde{a}$ est déterminé par des invariants globaux.
2. Correction de la conjecture de Malle : Les résultats montrent que pour les groupes dont l'ordre est divisible par $p$, l'exposant $a(G)$ prédit par la conjecture de Malle (développée pour les corps de nombres et le cas tame) est incorrect. Les auteurs fournissent les exposants corrects pour ce cas sauvage.
3. Fonctions périodiques : La présence de fonctions périodiques $\beta_I(x)$ et $\tilde{\beta}_I(x)$ est caractéristique des comptages sur les corps de fonctions locaux en caractéristique $p$, reflétant la structure discrète des valuations.

4. Contributions et Significativité

• Résolution de cas non abéliens : C'est l'un des premiers travaux à fournir des formules asymptotiques précises pour des groupes non abéliens (comme $S_3$, $D_{2p}$) en caractéristique $p$ divisant l'ordre du groupe.
• Méthodologie unifiée : Le papier établit un cadre général pour traiter les tours d'extensions $C_p \rtimes C_d$ en exploitant la décomposition des modules d'Artin-Schreier. Cette approche est applicable à d'autres groupes de type Frobenius.
• Lien avec la théorie des modules : En reliant explicitement la structure du module $\mathbb{F}_p[C_d]$ aux invariants arithmétiques (discriminant, groupe de Galois), les auteurs offrent une compréhension structurelle profonde du phénomène de ramification sauvage.
• Impact sur la conjecture de Malle : Les résultats contredisent ou précisent la conjecture de Malle dans le cas "wild" (caractéristique divisant l'ordre), montrant que le comportement asymptotique est plus complexe et dépend de la structure fine du groupe de Galois et de son action sur les résidus.

En conclusion, ce papier fournit une description complète et rigoureuse de la distribution des discriminants pour une classe importante d'extensions galoisiennes sur les corps de fonctions locaux, comblant une lacune significative dans la théorie du comptage des extensions en caractéristique positive.