[論文レビュー] Construction and classification of some Galois modules

Ján Mináč, John Swallow|ArXiv.org|Apr 15, 2003

Algebraic Geometry and Number Theory参考文献 10被引用数 3

ひとこと要約

本稿は、原始的 $p$ 乗根を含む体 $F$ 上の $p$ 次巡回拡大 $K/F$ に対して、$K^\times/K^{\times p}$ 上のガロアモジュール構造を完全に分類している。$d = \dim_{\mathbb{F}_p} F^\times / N(K^\times)$, $e = \dim_{\mathbb{F}_p} N(K^\times)/F^{\times p}$, および $\Upsilon = 1$ iff $\xi_p \in N(K^\times)$ という所望の算術不変量を備えた体拡大の構成により、$K^\times/K^{\times p}$ 上のすべての可能な $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-モジュール構造が完全に特徴付けられ、これらの不変量の実現可能性条件が証明された。

ABSTRACT

In our previous paper we describe the Galois module structures of $p$th-power class groups $K^ imes/{K^{ imes p}}$, where $K/F$ is a cyclic extension of degree $p$ over a field $F$ containing a primitive $p$th root of unity. Our description relies upon arithmetic invariants associated with $K/F$. Here we construct field extensions $K/F$ with prescribed arithmetic invariants, thus completing our classification of Galois modules $K^{ imes}/K^{ imes p}$.

研究の動機と目的

• $F$ が原始的 $p$ 乗根を含む $p$ 次巡回拡大 $K/F$ に対して、$\mathbb{F}_p[\operatorname{Gal}(K/F)]$-モジュール構造 $K^\times/K^{\times p}$ の分類を完全化すること。
• 算術不変量 $d$, $e$, $\Upsilon$ を指定した明示的な体拡大 $K/F$ の構成すること。
• $d$, $e$, $\Upsilon$ に対して、そのような拡大が存在するための必要十分条件を同定し、すべての可能なモジュール構造の実現を達成すること。

提案手法

• ガロアモジュール理論およびコホロロジー的技法を用いて、$K^\times/K^{\times p}$ が $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-モジュールとしてどう構造を持つかを分析すること。
• 3つの算術不変量の定義と分析：$d = \dim_{\mathbb{F}_p} F^\times / N(K^\times)$, $e = \dim_{\mathbb{F}_p} N(K^\times)/F^{\times p}$, および $\Upsilon = 1$ iff $\xi_p \in N(K^\times)$。
• 特に $\mathbb{Z}/p^2\mathbb{Z}$-拡大を用いて $\Upsilon$ のノーム条件を制御する逆極限および埋め込み技法による体拡大の構成。
• ガロアコホモロジーおよびカウマー同型を用いて、モジュール構造と不変量の関係を結ぶこと。
• ノーム写像 $N: K^\times \to F^\times$ 及びその像を用いて $d$ と $e$ を定義・計算すること。
• 先行研究の結果（[MS], 定理3, 推論2）を活用し、直和としての巡回モジュール $M_{i,j}$ へのモジュール型の同型を同定すること。

実験結果

リサーチクエスチョン

• RQ1 任意の素数 $p$ に対して、$F$ が原始的 $p$ 乗根を含む $p$ 次巡回拡大 $K/F$ が、算術不変量の三つ組 $(d, e, \Upsilon)$ を実現できるのはどのような場合か？
• RQ2 $d$, $e$, $\Upsilon$ が $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-モジュール $K^\times/K^{\times p}$ の同型類をどのように決定するか？
• RQ3 このような巡回拡大 $K/F$ が存在するための $d$, $e$, $\Upsilon$ に対する必要十分条件は何か？
• RQ4 $p=2$ と $p>2$ の場合で、モジュール構造はどのように異なるか。特に、不変量の一意性に関して。
• RQ5 任意の可能な $\mathbb{F}_p[G]$-モジュール構造 $K^\times/K^{\times p}$ は、適切な巡回拡大 $K/F$ を用いて実現可能か？

主な発見

• 任意の素数 $p$ と任意の基数 $d$, $e$, および $\Upsilon \in \{0,1\}$ に対して、$K/F$ が $d$, $e$, $\Upsilon$ を実現する $p$ 次巡回拡大であるための必要十分条件は、$\Upsilon = 0$ ならば $d \geq 1$、$p > 2$ ならば $e \geq 1$、$p = 2$ かつ $\Upsilon = 1$ ならば $e \geq 1$ である。
• $p > 2$ の場合、$\mathbb{F}_p[G]$-モジュール $J = K^\times/K^{\times p}$ は不変量 $d$, $e$, $\Upsilon$ によって同型を除いて完全に決定され、$$\left(\bigoplus_{j \in \mathfrak{K}_1} M_{1,j}\right) \oplus \left(\bigoplus_{j \in \mathfrak{K}_2} M_{2,j}\right) \oplus \left(\bigoplus_{j \in \mathfrak{K}_p} M_{p,j}\right)$$ に同型であり、$|\mathfrak{K}_1| + 1 = 2\Upsilon + d$, $|\mathfrak{K}_2| = 1 - \Upsilon$, および $|\mathfrak{K}_p| + 1 = e$ を満たす。
• $p = 2$ の場合、モジュール $J$ は $$\left(\bigoplus_{j \in \mathfrak{K}_1} M_{1,j}\right) \oplus \left(\bigoplus_{j \in \mathfrak{K}_2} M_{2,j}\right)$$ に同型であり、$|\mathfrak{K}_1| + 1 = 2\Upsilon + d$ および $|\mathfrak{K}_2| + \Upsilon = e$ を満たし、$2\Upsilon + d$ と $e - \Upsilon$（無限大の場合は $e$）によって一意に決定される。
• 不変量 $d$, $e$, $\Upsilon$ は、$G \cong \operatorname{Gal}(K/F)$ の同型の選び方に依存せず、モジュール構造が正しく定義されていることを保証する。
• $d, e$ が有限である場合、$\mathbb{Q}$ を含む有限トランスセンドン次数の体 $F$ 上で、$\operatorname{tr.deg}(F/\mathbb{Q}) \leq 1 + \max\{e, d+1\}$ であれば、このような拡大の構成が可能である。
• 反例により、$p = 2$ の場合、同型なモジュールでも算術不変量が異なることがあることが示された：$K_1^\times/K_1^{\times 2} \cong \mathbb{F}_2$ として $\mathbb{F}_2[G]$-モジュールであるが、それぞれの不変量は $(d,e,\Upsilon) = (0,1,1)$ と $(2,0,0)$ であり、$p=2$ の場合、同型のもとで不変量が一意でないことが示された。