一般的狂野分岐拡張および次数 $p^2$ の初等アーベル拡張における付随Galois加群の基

基本情報

• 論文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（代数幾何）
• 発表日時: 2025年11月26日
• 論文リンク: 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$ の分岐跳躍が $\bmod 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加群の研究の重要性は以下に示される：

• 算術的応用：定理1.1.2は付随Galois加群と形式群のGalois上コホモロジーの関連性を示し、Kummer理論で重要な応用がある
• 構造理論：$A_i$ の構造を理解することは付随序 $A(O)$ の構造を理解するのに役立つ。なぜなら $A_0 \subset A(O) \subset A_{1-n}$ だからである
• 分岐理論：これらの加群は拡張の分岐情報を符号化する

3. 既存方法の限界

• ほとんどの既知結果は温和分岐または特殊な場合（循環拡張など）に集中している
• 狂野分岐で自由性結果が成立しない場合、付随序の計算は非常に稀である（注釈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. 主定理（定理1.2.1/3.3.2）：$G \cong (\mathbb{Z}/p\mathbb{Z})^2$ に対して、分岐跳躍が $\bmod 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$ の計算（定理3.3.2）：$(σ_1-1)^i(σ_2-1)^j$ の「次数」と次数環における像を正確に計算する
4. 相対理論（§4.1）：相対付随Galois加群 $A_i^0 = A_i \cap k_0[G]$ の理論を発展させ、分岐跳躍が $\bmod p$ で同じだが $\bmod p^2$ で異なる場合に主要結果を推広する
5. 対角基理論（§4.2）：対角基（diagonal bases）の概念を導入し、温和提升が対角基を生成することを証明する（定理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]$

これは全体理論の鍵となる道具である（定理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）

定義（定義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]$ を生成するならば

主要な性質（命題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）

一般的結果（定理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$ を与える。

次数独立性判定法（定理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$ である。

主要なパラメータ（命題3.3.1）：

• $σ_1, σ_2$ に対応する分岐跳躍：$h_1$ と $\tilde{h}_2 = ph_2 - (p-1)h_1$
• 分岐深度：$d = (p-1)(ph_2 + h_1)$

区分線形関数 $H$：