[論文レビュー] Galois module structure of pth-power classes of cyclic extensions of degree p^n

Ján Mináč, Andrew Schultz+1 more|ArXiv.org|Sep 27, 2004

Commutative Algebra and Its Applications被引用数 7

ひとこと要約

本稿は、原始 $p$ 乗根を含まない底体 $F$ をもつとしても、巡回拡大 $K/F$ の $p$ 乗類 $K^\times/K^{\times p}$ のガロア加群構造を決定する。ノルム写像、固定部分加群、帰納法を用いて、中間体のノルムから得られる算術的不変量によってこれらの加群を分類し、$p$-拡大に対する以前の結果を、$p^n$-拡大へ一般化する。類体論に類似した洗練された構造を持つ。

ABSTRACT

In the mid-1960s Borevic and Faddeev initiated the study of the Galois module structure of groups of pth-power classes of cyclic extensions K/F of pth-power degree. They determined the structure of these modules in the case when F is a local field. In this paper we determine these Galois modules for all base fields F.

研究の動機と目的

• 巡回拡大 $K/F$ の $p$ 乗類のガロア加群構造に関する以前の結果を、$p$-拡大から任意の $p^n$-拡大へ拡張すること。
• 以前の研究で仮定されていた、底体 $F$ が原始 $p$ 乗根を含むという条件を除去すること。
• $J = K^\times/K^{\times p}$ を $\mathbb{F}_p[G]$-加群として、ノルム写像から得られる算術的不変量を用いてその加群構造を分類すること。
• 局所類体論に類似した洗練された形で、加群構造の完全かつ明示的な記述を確立すること。

提案手法

• 次数 $p^n$ の指数 $n$ について帰納法を用い、基本ケースから構造を構築する。
• $\mathbb{F}_p[G]$-加群 $J = K^\times/K^{\times p}$ を定義し、部分群 $H_t = \operatorname{Gal}(K/K_t)$ による固定部分加群を用いてその部分加群を分析する。
• ノルム補題とヒルベルトの定理90を用い、非自明なノルム像と特定の長さ $l(\delta) = p^m + 1$ を持つ例外的要素の存在を関連付ける。
• $i(K/F)$ を、$\xi_p \in N_{K/K_{t+1}}(K^\times)$ を満たす最小の $t$ として定義し、これが加群構造を制御する。
• 完全列補題と固定部分加群補題を用い、$J$ の要素とノルム条件を関連付け、生成元を構成する。
• $p=2$ の場合を特別な基本ケースとして区別し、四次拡大の性質と $-1$ がノルムに与える影響を考慮する。

実験結果

リサーチクエスチョン

• RQ1 底体 $F$ が原始 $p$ 乗根を含まない場合に、巡回拡大 $K/F$ の次数が $p^n$ であるとき、$K^\times/K^{\times p}$ のガロア加群構造はどのように分類できるか？
• RQ2 $J = K^\times/K^{\times p}$ を $\mathbb{F}_p[G]$-加群として分解するのを制御する算術的不変量は何か？
• RQ3 中間体 $K_t$ のノルムは $J$ の構造にどのように影響するか？
• RQ4 $p$-次数の場合の結果を、$\mu_p$ を含まない底体を仮定せずに $p^n$-次数拡大へ一般化できるか？
• RQ5 $i(K/F)$ は加群構造を決定する上で果たす役割は何か？また、例外的要素の存在とどのように関係しているか？

主な発見

• ガロア加群構造 $J = K^\times/K^{\times p}$ は、$\xi_p \in N_{K/K_{t+1}}(K^\times)$ を満たす最小の $t$ として定義される不変量 $i(K/F)$ によって完全に決定され、$\xi_p \in N_{K/F}(K^\times)$ ならば $-\infty$ と定める。
• 各中間体 $K_j$ に対して、$J(K/K_j)$ の次元は $i(K/F) \geq 0$ のとき $i(K/F) - j$ であり、そうでないときは $-\infty$ である。
• $J$ の構造は集合 $T = \{ t \mid \xi_p \in N_{K/K_{t+1}}(K^\times) \}$ によって支配され、$i(K/F) = \min T$ であり、これは $S$ と呼ばれる特定のノルム条件を満たす添字の集合について $\min S$ に等しいことが示される。
• 長さ $l(\delta) = p^m + 1$ を持つ例外的要素 $\delta$ が存在するのは $m = \min T$ のときであり、それらは次元 $p^m + 1$ の主要な和成分を生成する。
• $p=2$ の場合は別個に取り扱い、$n > 1$ のとき $i(K/K_{n-1})$ が正しく定義されるために $-1 \in N_{K/F}(K^\times)$ であることが必要であり、これにより技術的障害が解消される。
• 最終的な構造は洗練されており、類体論に類似している：加群は $m = \min T$ の各 $m$ に対して次元 $p^m + 1$ の和成分に分解され、全体の構造はノルム論的不変量によって完全に決定される。