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

基本信息

• 论文ID: 2511.20634
• 标题: Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree $p^2$
• 作者: Mikhail V. Bondarko, Kirill S. Ladny, Konstantin I. Pimenov
• 分类: math.AG (代数几何)
• 发表时间: November 26, 2025
• 论文链接: https://arxiv.org/abs/2511.20634

摘要

本文研究完备离散赋值域的狂野分歧扩张 $K/k$ 中，群环 $k[G]$（其中 $G=\text{Gal}(K/k)$）的元素集合，这些集合适合构造各种相关Galois模和序的基。在 $G=(\mathbb{Z}/p\mathbb{Z})^2$ 的情形下（$p$ 是剩余域的特征），作者能够计算元素 $(σ_1-1)^i(σ_2-1)^j$（$0\le i,j\le p-1$）对赋值滤链的作用，其中 $σ_1,σ_2$ 是 $G$ 的生成元。如果 $K/k$ 的分歧跳跃在模 $p^2$ 意义下互不相同，这些元素确实能给出所需的"足够好"的基。

研究背景与动机

1. 核心问题

本文研究相关Galois模（associated Galois modules）的显式基的构造问题。对于Galois扩张 $K/k$，定义相关Galois模为： $C_i = \{f \in K[G] : \min_{x\in K^*}(v(f(x))-v(x)) \geq i\}$$A_i = C_i \cap k[G]$

主要问题是找到所有 $A_i$ 的具体描述，特别是构造适合所有 $A_i$ 的"好"的基。

2. 研究重要性

相关Galois模与相关Galois序（associated Galois orders）密切相关。自1959年Leopoldt开创性工作以来，相关序的研究一直是代数数论的重要课题。相关序定义为： $A(O) = \{f \in k[G] : f(O_K) \subset O_K\}$

相关Galois模的研究重要性体现在：

• 算术应用：Theorem 1.1.2展示了相关Galois模与形式群的Galois上同调之间的联系，这在Kummer理论中有重要应用
• 结构理论：了解 $A_i$ 的结构有助于理解相关序 $A(O)$，因为 $A_0 \subset A(O) \subset A_{1-n}$
• 分歧理论：这些模编码了扩张的分歧信息

3. 现有方法的局限性

• 大多数已知结果集中在温和分歧或特殊情形（如循环扩张）
• 在狂野分歧且无自由性结果成立的情形下，相关序的计算非常稀少（如Remark 1.2.3所述）
• 对于一般的 $p$ 群扩张，缺乏系统的方法来构造相关Galois模的基

4. 本文研究动机

本文旨在：

• 发展一般理论来构造相关Galois模的"分次独立基"（graded bases）
• 在 $G=(\mathbb{Z}/p\mathbb{Z})^2$ 的情形下给出完整计算
• 将结果推广到相对情形（涉及子域 $k_0 \subset k$）
• 研究与温和提升（tame lifts）的关系

核心贡献

1. 引入分次独立性概念（§3.1）：定义了graded-independent sets和graded bases，这是构造相关Galois模基的新框架
2. 主要定理（Theorem 1.2.1/3.3.2）：对于 $G \cong (\mathbb{Z}/p\mathbb{Z})^2$，当分歧跳跃在模 $p^2$ 意义下互不相同时，给出了 $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$ 其中 $H: \mathbb{Z}^2 \to \mathbb{Z}$ 是分段线性函数
3. 计算函数 $d$ 和 $\rho$（Theorem 3.3.2）：精确计算了 $(σ_1-1)^i(σ_2-1)^j$ 的"次数"和在分次环中的像
4. 相对理论（§4.1）：发展了相对相关Galois模 $A_i^0 = A_i \cap k_0[G]$ 的理论，将主要结果推广到分歧跳跃模 $p$ 相同但模 $p^2$ 不同的情形
5. 对角基理论（§4.2）：引入对角基（diagonal bases）概念，并证明温和提升可产生对角基（Theorem 4.2.7）
6. 算法框架：提供了计算所有相关序 $A_0(i,j) = \{f \in k_0[G]: f(M^i) \subset M^j\}$ 的算法

方法详解

任务定义

给定完备离散赋值域的全分歧Galois扩张 $K/k$，次数 $n=p^2$，Galois群 $G=(\mathbb{Z}/p\mathbb{Z})^2$，目标是：

1. 构造 $k[G]$ 的基 $B$，使得对每个 $i \in \mathbb{Z}$，可以从 $B$ 直接读出 $A_i$ 的基
2. 计算函数 $d: K[G]\backslash\{0\} \to \mathbb{Z}$ 和 $\rho: K[G]\backslash\{0\} \to R_{K/k}$

核心技术框架

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

这是整个理论的关键工具（Theorem 2.2.2）： $\phi(x\otimes y) = x\sum_{σ\in G} σ(y)σ$

关键性质：

• $C_{i+d} = \phi(X_i)$，其中 $X_i = \sum_{j\in\mathbb{Z}} M^j \otimes M^{i-j}$
• $\phi$ 保持特定的乘法结构：$\phi(α)*\phi(β) = \phi(αβ)$
• 可通过 $K\otimes_k K$ 的滤链研究 $C_i$ 的滤链

2. 分次独立性理论（§3.1）

定义（Definition 3.1.1）：

• 对 $B \subset K[G]\backslash\{0\}$，定义 $B_i = \{f\in B: d(f) \equiv i \bmod n\}$
• $B$ 是分次独立的（graded-independent）如果对所有 $i\in\mathbb{Z}$，集合 $\rho(B_i) \subset R_{K/k}$ 在 $k$ 上线性独立
• $B$ 是分次基（graded base）如果 $B$ 分次独立且生成 $k[G]$

关键性质（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$

这意味着分次基完全确定了所有 $A_i$ 的结构。

3. 短复合的计算（§3.2）

一般结果（Theorem 3.2.2）：对 $\prod = \prod_{i=1}^a (σ_i-1)$，其中 $a < p$： $p_{\sum}(\prod) \sim \sum_{j=0}^{n-1} (\prod_{l=1}^a (j-lh))X^j$

当 $h\neq 0$ 时： $p_{\sum}(\prod) \sim (X^h-1)^{n-a-1}$

这给出 $d(\prod) = \sum h(σ_i) - d$。

分次独立性判据（Theorem 3.2.2(3)）：在适当条件下（分歧跳跃的 $p$ 进赋值递增），集合 $B = \{\prod(σ_i-1)^{n_i}: \sum n_i < p\}$ 是分次独立的。

4. $G=(\mathbb{Z}/p\mathbb{Z})^2$ 情形的完整计算（§3.3）

设 $K = K_1K_2$，其中 $K_i/k$ 是次数 $p$ 的扩张，分歧跳跃为 $h_2 > h_1 > 0$。

关键参数（Proposition 3.3.1）：

• $σ_1, σ_2$ 对应的分歧跳跃：$h_1$ 和 $\tilde{h}_2 = ph_2 - (p-1)h_1$
• 分歧深度：$d = (p-1)(ph_2 + h_1)$

分段线性函数 $H$：