Sur les Extensions de Galois des Corps Locaux avec un Unique Saut de Ramification Sauvage

Informations Fondamentales

• ID de l'article: 2406.14845
• Titre: Galois Extensions of Local Fields with One Wild Ramification Jump
• Auteur: Samuel Goodman
• Classification: math.NT (Théorie des Nombres)
• Date de publication: Novembre 2025 (arXiv v4)
• Lien de l'article: https://arxiv.org/abs/2406.14845

Résumé

Cet article détermine, pour un entier positif donné $n$ et une extension finie $K/\mathbb{Q}_p$ (d'indice de ramification $e$), le nombre d'extensions de Galois finies $L/K$ possédant un degré d'inertie $f$ et un unique saut de ramification non-négatif en $n$, sous la condition que $(p,e)$ se situe en dehors d'un ensemble fini. Ce travail s'appuie sur le cas de ramification modérée (tamely ramified case), qui constitue un résultat classique de la formule de masse de Serre. L'étude procède en travaillant dans une extension de Lubin-Tate fixée, en exploitant la surjectivité de l'application correspondant au saut de ramification, en reconstruisant la partie $U^1$ du sous-groupe de normes à partir de ses fibres, et en utilisant les propriétés des logarithmes formels et des partitions pour comprendre les interactions entre les fibres.

Contexte et Motivation de la Recherche

Problème de Recherche

Cet article étudie le problème de dénombrement des extensions de corps locaux, en particulier le nombre d'extensions de Galois possédant un unique saut de ramification sauvage (wild ramification jump).

Importance du Problème

1. Généralisation d'un problème classique: Le dénombrement des extensions de ramification modérée est un problème classique, complètement résolu par la formule de masse de Serre. Pour les extensions de ramification modérée de degré $n$, lorsque $p \nmid n$, il existe exactement $\sigma_0(n)$ telles extensions ($\sigma_0(n)$ désignant la somme des diviseurs de $n$ premiers à $p$).
2. Approfondissement de la théorie de la ramification: Les groupes de ramification (ramification groups) constituent un concept central de la théorie du corps de classes local. Les extensions de ramification modérée peuvent être considérées comme des extensions $(-1,0)$ (possédant des sauts de ramification uniquement en $-1$ et $0$). La question naturelle suivante consiste à dénombrer les extensions $(-1,n)$, c'est-à-dire les extensions possédant un unique saut de ramification sauvage.
3. Comportement restrictif: Contrairement au cas de ramification modérée, les extensions de ramification sauvage présentent des restrictions plus fortes, car le degré de ces extensions est borné.

Limitations des Méthodes Existantes

• Approche par la théorie de Kummer: Bien qu'applicable au cas de ramification modérée, cette approche devient rapidement complexe dans le cas de ramification sauvage, impliquant le dénombrement de points fixes sous l'action du groupe de Galois.
• Absence de cadre systématique: Pour les extensions de ramification sauvage générale, il n'existe pas d'outil de dénombrement unifié comparable à la formule de masse de Serre.

Motivation de la Recherche

Cet article vise à établir un cadre systématique pour dénombrer les extensions possédant un unique saut de ramification sauvage, en:

1. Utilisant la théorie du corps de classes local pour transformer le problème en dénombrement de sous-groupes de normes
2. Travaillant dans les extensions de Lubin-Tate pour obtenir un contrôle explicite
3. Comprenant ces sous-groupes via la structure des fibres et la théorie des logarithmes formels

Contributions Principales

1. Résolution complète du cas $n=2$: Pour le cas où le saut de ramification unique se situe en $n=2$, une formule de dénombrement complète est fournie (Théorème 1.2).
2. Réponse quasi-complète pour le cas général: Pour $n$ général, en dehors d'un nombre fini de paires $(p,e)$, une formule de dénombrement explicite est donnée (Théorème 1.1). Les cas non résolus se limitent à un nombre fini de paires $(p,e)$ satisfaisant $p-1 \leq e < n$.
3. Formule en forme fermée pour le cas totalement ramifié: Lorsque $K/\mathbb{Q}_p$ est totalement ramifié, une formule particulièrement élégante en forme fermée est fournie, impliquant la fonction $\zeta$ de l'anneau des polynômes en caractéristique $p$ (Corollaire 1.3).
4. Nouveau cadre technique:
   • Méthode de reconstruction par fibres (fiber reconstruction) pour comprendre la structure des sous-groupes de normes
   • Utilisation des logarithmes formels et de la théorie des partitions pour établir des équations fonctionnelles
   • Introduction du relèvement de Teichmüller dans le cas ramifié
5. Révélation d'un phénomène de dichotomie intéressant: Lorsque $n=2$, il existe une dualité remarquable entre les extensions ramifiées de $p=2$ et celles des autres nombres premiers.

Explication Détaillée de la Méthode

Définition de la Tâche

Entrées:

• Corps local $K/\mathbb{Q}_p$, indice de ramification $e$, degré d'inertie $f'$, corps résiduel $k$
• Entier positif $n$ (position du saut de ramification)
• Entier positif $f$ (degré d'inertie souhaité)

Sorties:

• Nombre d'extensions de Galois $(-1,n)$ $L/K$, où $L/K$ possède un degré d'inertie $f$ et un unique saut de ramification sauvage en $n$

Contraintes:

• Définition des groupes de ramification: $G_i = \{\sigma \in G : \forall \alpha \in O_L, \sigma(\alpha) \equiv \alpha \pmod{m^{i+1}}\}$
• Saut de ramification: $L/K$ possède un saut de ramification en $i$ si et seulement si $G_i \neq G_{i+1}$

Stratégie Globale

L'article emploie une stratégie multi-niveaux:

Premier Niveau: Transformation par la Théorie du Corps de Classes Local (Section 2)

Par la théorie du corps de classes local, les extensions de Galois correspondent à des sous-groupes de normes:

• Proposition 2.2: Pour une tour $M/L/K$, où $M/L$ est abélienne et $L/K$ est galoisienne, soit $H$ le sous-groupe de normes correspondant à $M$. Alors $M/K$ est galoisienne si et seulement si $\sigma(H) = H$ pour tous les $\sigma \in \text{Gal}(L/K)$.

Cela transforme le problème en dénombrement de sous-groupes de normes invariants par Galois.

Deuxième Niveau: Caractérisation dans les Extensions de Lubin-Tate (Section 3)

En travaillant dans l'extension de Lubin-Tate $K_{\pi,n}/K$, dont le groupe de Galois $G \cong O_K^\times/(1+m^n)$.

Proposition 3.1 (Caractérisation clé): Supposons $n \geq k+1$. Une sous-extension $L/K$ possède un unique saut de ramification sauvage en $k$ si et seulement si le sous-groupe correspondant $H \subset G$ satisfait:

1. $H$ contient $(1+m^{k+1})/(1+m^n)$
2. L'application canonique $H \to O_K^\times/(1+m^k)$ est surjective

La clé de cette caractérisation réside dans la condition de surjectivité.

Troisième Niveau: Théorie de la Structure des Fibres (Section 6)

Idée centrale: Utiliser la surjectivité pour reconstruire le sous-groupe $H$ via ses fibres.

Lemme 6.1 (Lemme de Reconstruction par Fibres): Soit $G$ un groupe fini, $S \subset G$ un sous-ensemble, $H \subset G$ un sous-groupe normal. Supposons:

• L'application des classes résiduelles $S \to G/H$ est surjective
• $S_{g_1H} \cdot S_{g_2H} = S_{g_1g_2H}$ (compatibilité des fibres)
• $S_H$ est un sous-groupe de $G$

Alors $S$ est un sous-groupe de $G$.

Ce lemme montre que, pourvu que les fibres satisfassent une condition de compatibilité, on peut reconstruire le sous-groupe entier à partir des fibres.

Quatrième Niveau: Isomorphisme des Domaines de Caractéristique $p$ (Cas $e \geq n$)

Lorsque $e \geq n$, la percée technique clé est:

Lemme 6.3 (Isomorphisme de Teichmüller): L'application $\phi: (1+Tk_0[T])/(1+T^{n+1}k_0[T]) \to (1+m)/(1+m^{n+1})$ définie par $1+\sum_{i=1}^n a_iT^i \mapsto 1+\sum_{i=1}^n a_i'\pi^i$ est un isomorphisme équivariant par Galois.

Ici, $a_i'$ est le relèvement de Teichmüller de $a_i$. Cet isomorphisme transforme le problème d'un corps local de caractéristique mixte en l'anneau des séries formelles en caractéristique $p$, qui possède une meilleure structure algébrique.

Proposition 6.4 (Caractérisation des Fibres): Lorsque $e \geq n$, les données d'un sous-groupe invariant par Galois $H$ équivalent à:

• Un sous-groupe invariant par Galois $h \subset k_0^+$
• Une fonction équivariante par Galois $f: k_0^{n-1} \to k_0/h$ satisfaisant l'équation fonctionnelle: $f(a_1,\ldots,a_{n-1}) + f(b_1,\ldots,b_{n-1}) + \sum_{i=1}^{n-1} a_ib_{n-i} \equiv f(c_1,\ldots,c_{n-1}) \pmod{h}$ où $c_i = a_i + b_i + \sum_{j=1}^{i-1} a_jb_{i-j}$.

Théorie des Logarithmes Formels (Section 4)

Pour comprendre l'équation fonctionnelle ci-dessus, l'article introduit les logarithmes formels:

Lemme 4.1 (Développement Logarithmique): $\log(1+\sum_{i=1}^\infty a_iT^i) = \sum_{n=1}^\infty \left(\sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n a_i^{p_{ni}}\right)T^n$ où $P_n$ est l'ensemble des partitions de $n$, $\ell(p_n)$ est la longueur de la partition, et $m(p_n)$ est le nombre de permutations de la partition.

Définissons $r_n(x_1,\ldots,x_n) = \sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n x_i^{p_{ni}}$.

Lemme 4.4 (Additivité): Soit $z_i = x_i + y_i + \sum_{j=1}^{i-1} x_jy_{i-j}$, alors $r_n(x_1,\ldots,x_n) + r_n(y_1,\ldots,y_n) = r_n(z_1,\ldots,z_n)$

Cela montre que $g(x_1,\ldots,x_{n-1}) = r_n(x_1,\ldots,x_n) - x_n$ satisfait l'équation fonctionnelle requise (à un terme croisé près).

Équations Fonctionnelles sur les Corps Finis (Section 5)

Théorème 5.1 (Théorème Principal de Dénombrement): Soit $k_0/k$ une extension de corps finis, de groupe de Galois $G$, $h \subset k_0^+$ un sous-groupe invariant par Galois, $q=|k|$. Le nombre de fonctions équivariantes par Galois $f: k_0^{n-1} \to k_0^+/h$ satisfaisant l'équation fonctionnelle est: