Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree $p^2$

Basic Information

• Paper ID: 2511.20634
• Title: Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree $p^2$
• Authors: Mikhail V. Bondarko, Kirill S. Ladny, Konstantin I. Pimenov
• Classification: math.AG (Algebraic Geometry)
• Publication Date: November 26, 2025
• Paper Link: https://arxiv.org/abs/2511.20634

Abstract

This paper investigates sets of elements in the group ring $k[G]$ (where $G=\text{Gal}(K/k)$) for wildly ramified extensions $K/k$ of complete discrete valuation fields, which are suitable for constructing bases of various associated Galois modules and orders. In the case $G=(\mathbb{Z}/p\mathbb{Z})^2$ (where $p$ is the characteristic of the residue field), the authors can compute the action of elements $(σ_1-1)^i(σ_2-1)^j$ ($0\le i,j\le p-1$) on the valuation filtration, where $σ_1,σ_2$ are generators of $G$. When the ramification jumps of $K/k$ are distinct modulo $p^2$, these elements indeed provide the desired "sufficiently good" bases.

Research Background and Motivation

1. Core Problem

This paper investigates the problem of constructing explicit bases for associated Galois modules. For a Galois extension $K/k$, the associated Galois modules are defined as: $C_i = \{f \in K[G] : \min_{x\in K^*}(v(f(x))-v(x)) \geq i\}$$A_i = C_i \cap k[G]$

The main problem is to find concrete descriptions of all $A_i$, particularly to construct "good" bases suitable for all $A_i$.

2. Research Significance

Associated Galois modules are closely related to associated Galois orders. Since Leopoldt's pioneering work in 1959, the study of associated orders has been an important topic in algebraic number theory. Associated orders are defined as: $A(O) = \{f \in k[G] : f(O_K) \subset O_K\}$

The significance of studying associated Galois modules is manifested in:

• Arithmetic Applications: Theorem 1.1.2 demonstrates the connection between associated Galois modules and Galois cohomology of formal groups, which has important applications in Kummer theory
• Structure Theory: Understanding the structure of $A_i$ helps clarify the structure of associated orders $A(O)$, since $A_0 \subset A(O) \subset A_{1-n}$
• Ramification Theory: These modules encode ramification information of the extension

3. Limitations of Existing Methods

• Most known results focus on tame ramification or special cases (such as cyclic extensions)
• Computations of associated orders in wildly ramified cases without freeness results are extremely rare (as mentioned in Remark 1.2.3)
• For general $p$-group extensions, there lacks a systematic method to construct bases of associated Galois modules

4. Motivation of This Paper

This paper aims to:

• Develop a general theory to construct "graded independent bases" of associated Galois modules
• Provide complete computations in the case $G=(\mathbb{Z}/p\mathbb{Z})^2$
• Generalize results to the relative setting (involving subfields $k_0 \subset k$)
• Study relationships with tame lifts

Core Contributions

1. Introduction of Graded Independence Concept (§3.1): Defines graded-independent sets and graded bases, providing a new framework for constructing bases of associated Galois modules
2. Main Theorem (Theorem 1.2.1/3.3.2): For $G \cong (\mathbb{Z}/p\mathbb{Z})^2$, when ramification jumps are distinct modulo $p^2$, provides explicit description of $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$ where $H: \mathbb{Z}^2 \to \mathbb{Z}$ is a piecewise linear function
3. Computation of Functions $d$ and $\rho$ (Theorem 3.3.2): Precisely computes the "degree" of $(σ_1-1)^i(σ_2-1)^j$ and its image in the graded ring
4. Relative Theory (§4.1): Develops theory of relative associated Galois modules $A_i^0 = A_i \cap k_0[G]$, generalizing main results to cases where ramification jumps are equal modulo $p$ but distinct modulo $p^2$
5. Diagonal Bases Theory (§4.2): Introduces the concept of diagonal bases and proves that tame lifts produce diagonal bases (Theorem 4.2.7)
6. Algorithmic Framework: Provides an algorithm for computing all associated orders $A_0(i,j) = \{f \in k_0[G]: f(M^i) \subset M^j\}$

Detailed Methodology

Task Definition

Given a fully ramified Galois extension $K/k$ of complete discrete valuation fields with degree $n=p^2$ and Galois group $G=(\mathbb{Z}/p\mathbb{Z})^2$, the objectives are:

1. Construct a basis $B$ of $k[G]$ such that for each $i \in \mathbb{Z}$, one can directly read off a basis of $A_i$ from $B$
2. Compute functions $d: K[G]\backslash\{0\} \to \mathbb{Z}$ and $\rho: K[G]\backslash\{0\} \to R_{K/k}$

Core Technical Framework

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

This is the key tool of the entire theory (Theorem 2.2.2): $\phi(x\otimes y) = x\sum_{σ\in G} σ(y)σ$

Key properties:

• $C_{i+d} = \phi(X_i)$, where $X_i = \sum_{j\in\mathbb{Z}} M^j \otimes M^{i-j}$
• $\phi$ preserves certain multiplicative structure: $\phi(α)*\phi(β) = \phi(αβ)$
• One can study the filtration of $C_i$ through the filtration of $K\otimes_k K$

2. Graded Independence Theory (§3.1)

Definition (Definition 3.1.1):

• For $B \subset K[G]\backslash\{0\}$, define $B_i = \{f\in B: d(f) \equiv i \bmod n\}$
• $B$ is graded-independent if for all $i\in\mathbb{Z}$, the set $\rho(B_i) \subset R_{K/k}$ is linearly independent over $k$
• $B$ is a graded base if $B$ is graded-independent and generates $k[G]$

Key Property (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$

This means a graded base completely determines the structure of all $A_i$.

3. Computation of Short Composites (§3.2)

General Result (Theorem 3.2.2): For $\prod = \prod_{i=1}^a (σ_i-1)$, where $a < p$: $p_{\sum}(\prod) \sim \sum_{j=0}^{n-1} (\prod_{l=1}^a (j-lh))X^j$

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

This gives $d(\prod) = \sum h(σ_i) - d$.

Graded Independence Criterion (Theorem 3.2.2(3)): Under appropriate conditions (ramification jumps have increasing $p$-adic valuations), the set $B = \{\prod(σ_i-1)^{n_i}: \sum n_i < p\}$ is graded-independent.

4. Complete Computation for $G=(\mathbb{Z}/p\mathbb{Z})^2$ (§3.3)

Let $K = K_1K_2$, where $K_i/k$ are degree $p$ extensions with ramification jumps $h_2 > h_1 > 0$.

Key Parameters (Proposition 3.3.1):

• Ramification jumps corresponding to $σ_1, σ_2$: $h_1$ and $\tilde{h}_2 = ph_2 - (p-1)h_1$
• Ramification depth: $d = (p-1)(ph_2 + h_1)$

Piecewise Linear Function $H$: