Bases des modules de Galois associés dans les extensions sauvagement ramifiées générales et dans les extensions élémentaires abéliennes de degré $p^2$

Informations fondamentales

• ID de l'article: 2511.20634
• Titre: Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree $p^2$
• Auteurs: Mikhail V. Bondarko, Kirill S. Ladny, Konstantin I. Pimenov
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 26 novembre 2025
• Lien de l'article: https://arxiv.org/abs/2511.20634

Résumé

Cet article étudie les ensembles d'éléments de l'anneau de groupe $k[G]$ (où $G=\text{Gal}(K/k)$) dans les extensions sauvagement ramifiées $K/k$ de corps de valuation discrète complets, ensembles qui conviennent à la construction de bases pour divers modules et ordres de Galois associés. Dans le cas où $G=(\mathbb{Z}/p\mathbb{Z})^2$ (où $p$ est la caractéristique du corps résiduel), les auteurs parviennent à calculer l'action des éléments $(σ_1-1)^i(σ_2-1)^j$ (avec $0\le i,j\le p-1$) sur la filtration de valuation, où $σ_1,σ_2$ sont des générateurs de $G$. Si les sauts de ramification de $K/k$ sont distincts modulo $p^2$, ces éléments fournissent effectivement les bases "suffisamment bonnes" requises.

Contexte et motivation de la recherche

1. Problème fondamental

Cet article étudie le problème de la construction de bases explicites pour les modules de Galois associés (associated Galois modules). Pour une extension galoisienne $K/k$, on définit les modules de Galois associés par : $C_i = \{f \in K[G] : \min_{x\in K^*}(v(f(x))-v(x)) \geq i\}$$A_i = C_i \cap k[G]$

Le problème principal est de trouver une description concrète de tous les $A_i$, en particulier de construire des bases "bonnes" qui conviennent à tous les $A_i$.

2. Importance de la recherche

Les modules de Galois associés sont étroitement liés aux ordres de Galois associés (associated Galois orders). Depuis le travail fondateur de Leopoldt en 1959, l'étude des ordres associés a été un sujet important de la théorie algébrique des nombres. L'ordre de Galois associé est défini par : $A(O) = \{f \in k[G] : f(O_K) \subset O_K\}$

L'importance de l'étude des modules de Galois associés se manifeste par :

• Applications arithmétiques : Le Théorème 1.1.2 montre les connexions entre les modules de Galois associés et la cohomologie galoisienne des groupes formels, qui ont des applications importantes dans la théorie de Kummer
• Théorie de la structure : Comprendre la structure de $A_i$ aide à comprendre l'ordre associé $A(O)$, car $A_0 \subset A(O) \subset A_{1-n}$
• Théorie de la ramification : Ces modules codent les informations de ramification de l'extension

3. Limitations des méthodes existantes

• La plupart des résultats connus se concentrent sur la ramification modérée ou des cas particuliers (comme les extensions cycliques)
• Dans le cas de ramification sauvage sans résultats de liberté, les calculs des ordres associés sont très rares (comme mentionné dans la Remarque 1.2.3)
• Pour les extensions générales de $p$-groupes, il manque une méthode systématique pour construire les bases des modules de Galois associés

4. Motivation de cet article

Cet article vise à :

• Développer une théorie générale pour construire les "bases graduées indépendantes" (graded bases) des modules de Galois associés
• Donner des calculs complets dans le cas $G=(\mathbb{Z}/p\mathbb{Z})^2$
• Généraliser les résultats au cas relatif (impliquant un sous-corps $k_0 \subset k$)
• Étudier les relations avec les relèvements modérés (tame lifts)

Contributions principales

1. Introduction du concept d'indépendance graduée (§3.1) : Définition des ensembles graded-independent et des bases graduées, qui constituent un nouveau cadre pour la construction de bases des modules de Galois associés
2. Théorème principal (Théorème 1.2.1/3.3.2) : Pour $G \cong (\mathbb{Z}/p\mathbb{Z})^2$, lorsque les sauts de ramification sont distincts modulo $p^2$, on donne une description explicite de $A_l$ : $A_l = \langle \pi_k^{[(l-d-H(i,j)-1)/n]+1}(σ_1-1)^i(σ_2-1)^j \mid 0 \leq i,j \leq p-1 \rangle_o$ où $H: \mathbb{Z}^2 \to \mathbb{Z}$ est une fonction linéaire par morceaux
3. Calcul des fonctions $d$ et $\rho$ (Théorème 3.3.2) : Calcul précis du "degré" de $(σ_1-1)^i(σ_2-1)^j$ et de son image dans l'anneau gradué
4. Théorie relative (§4.1) : Développement de la théorie des modules de Galois associés relatifs $A_i^0 = A_i \cap k_0[G]$, généralisant les résultats principaux au cas où les sauts de ramification sont identiques modulo $p$ mais distincts modulo $p^2$
5. Théorie des bases diagonales (§4.2) : Introduction du concept de bases diagonales (diagonal bases) et preuve que les relèvements modérés produisent des bases diagonales (Théorème 4.2.7)
6. Cadre algorithmique : Fourniture d'un algorithme pour calculer tous les ordres associés $A_0(i,j) = \{f \in k_0[G]: f(M^i) \subset M^j\}$

Explication détaillée des méthodes

Définition de la tâche

Étant donnée une extension galoisienne totalement ramifiée $K/k$ de corps de valuation discrète complets, de degré $n=p^2$, avec groupe de Galois $G=(\mathbb{Z}/p\mathbb{Z})^2$, l'objectif est :

1. Construire une base $B$ de $k[G]$ telle que pour chaque $i \in \mathbb{Z}$, on puisse lire directement de $B$ une base de $A_i$
2. Calculer les fonctions $d: K[G]\backslash\{0\} \to \mathbb{Z}$ et $\rho: K[G]\backslash\{0\} \to R_{K/k}$

Cadre technique fondamental

1. Isomorphisme $\phi: K\otimes_k K \to K[G]$

C'est l'outil clé de toute la théorie (Théorème 2.2.2) : $\phi(x\otimes y) = x\sum_{σ\in G} σ(y)σ$

Propriétés clés :

• $C_{i+d} = \phi(X_i)$, où $X_i = \sum_{j\in\mathbb{Z}} M^j \otimes M^{i-j}$
• $\phi$ préserve une structure multiplicative particulière : $\phi(α)*\phi(β) = \phi(αβ)$
• On peut étudier la filtration de $C_i$ via la filtration de $K\otimes_k K$

2. Théorie de l'indépendance graduée (§3.1)

Définition (Définition 3.1.1) :

• Pour $B \subset K[G]\backslash\{0\}$, on définit $B_i = \{f\in B: d(f) \equiv i \bmod n\}$
• $B$ est graduée-indépendante (graded-independent) si pour tous $i\in\mathbb{Z}$, l'ensemble $\rho(B_i) \subset R_{K/k}$ est linéairement indépendant sur $k$
• $B$ est une base graduée (graded base) si $B$ est graduée-indépendante et engendre $k[G]$

Propriété clé (Proposition 3.1.2) : $C_i \cap (\bigoplus_{b\in B} k\cdot b) = \bigoplus_{b\in B} \pi_k^{[(i-d-d(b)-1)/n]+1}b \cdot o$

Cela signifie qu'une base graduée détermine complètement la structure de tous les $A_i$.

3. Calcul des compositions courtes (§3.2)

Résultat général (Théorème 3.2.2) : Pour $\prod = \prod_{i=1}^a (σ_i-1)$, où $a < p$ : $p_{\sum}(\prod) \sim \sum_{j=0}^{n-1} (\prod_{l=1}^a (j-lh))X^j$

Quand $h\neq 0$ : $p_{\sum}(\prod) \sim (X^h-1)^{n-a-1}$

Cela donne $d(\prod) = \sum h(σ_i) - d$.

Critère d'indépendance graduée (Théorème 3.2.2(3)) : Sous des conditions appropriées (les valuations $p$-adiques des sauts de ramification sont croissantes), l'ensemble $B = \{\prod(σ_i-1)^{n_i}: \sum n_i < p\}$ est graduée-indépendant.

4. Calcul complet pour $G=(\mathbb{Z}/p\mathbb{Z})^2$ (§3.3)

Soit $K = K_1K_2$, où $K_i/k$ sont des extensions de degré $p$ avec sauts de ramification $h_2 > h_1 > 0$.

Paramètres clés (Proposition 3.3.1) :

• Sauts de ramification correspondant à $σ_1, σ_2$ : $h_1$ et $\tilde{h}_2 = ph_2 - (p-1)h_1$
• Profondeur de ramification : $d = (p-1)(ph_2 + h_1)$

Fonction linéaire par morceaux $H$ :