[論文レビュー] Galois Module Structure of $p$th-Power Classes of Extensions of Degree p

Ján Mináč, John Swallow|ArXiv.org|Feb 21, 2002

Rings, Modules, and Algebras被引用数 4

ひとこと要約

本稿は、$p$ を奇数または $p=2$ とし、$p$ 次の巡回拡大 $K/F$ に対して、$F$ が原始的 $p$ 乗根 $ξ_p$ を含むような体 $F$ を想定する。$J = K^\times / K^{\times p}$ として定義される $p$ 乗類の群のガロアモジュール構造を決定する。クーマー理論、ヒルベルトの定理90、および $bb{F}_p[\operatorname{Gal}(K/F)]$ 上の線形代数を用いて、$J$ が $N(K^\times)$、$\xi_p$ の $N(K^\times)$ への属在、および $F^\times / N(K^\times)$ の構造に依存する、一意的な非分解モジュールへの直和分解に分解されることを示し、奇数 $p$ および $p=2$ の両方に対して完全な分類を与える。主な貢献は、基本体および拡大の不変量を用いて、$J$ のガロアモジュール構造を完全かつ明示的かつ初等的に記述したことにある。

ABSTRACT

For fields F of characteristic not p containing a primitive $p$th root of unity, we determine the Galois module structure of the group of $p$th-power classes of K for all cyclic extensions K/F of degree p.

研究の動機と目的

• 巡回拡大 $K/F$ の次数が $p$ で、$F$ が原始的 $p$ 乗根を含むとき、$J = K^\times / K^{\times p}$ のガロアモジュール構造を決定すること。
• $J$ が $bb{F}_p[\operatorname{Gal}(K/F)]$-モジュールとして、基本体および拡大の不変量を用いて完全かつ明示的な分類を与えること。
• この構造が、$N(K^\times)$、$\xi_p$ の $N(K^\times)$ への属在、および商 $F^\times / N(K^\times)$ のみに依存することを、初等的な道具のみを用いて示すこと。
• $J$ が非分解 $bb{F}_p[G]$-モジュールへの分解が一意的であることを、クルール＝シュマイトの定理を用いて確立すること。

提案手法

• クーマー理論を用いて、$J = K^\times / K^{\times p}$ をガロアコホホロジー群 $H^1(G, \mu_p)$ と同一視する。ここで $G = \operatorname{Gal}(K/F)$ である。
• ヒルベルトの定理90 を用いて、ノーム写像 $N: K^\times \to F^\times$ 及びその像 $N(K^\times)$ を分析する。
• $G = \langle \sigma \rangle$ が位数 $p$ を持つことを利用して、$J$ のガロアモジュール構造を $bb{F}_p[G]$ 上の線形代数に還元する。
• $J$ を三つの部分に分解する：$X$（$ξ_p \in N(K^\times)$ に応じて次元1または2の非分解モジュール）、$Y$（$Y^G = N(J)$ を満たす $bb{F}_p[G]$-自由モジュール）、$Z$（自明モジュール）。
• ノーム写像 $N$ を $bb{F}_p[G]$ の元および $G$-準同型写像として用い、$J$ 及びその固定部分モジュール $J^G$ の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 $F$ が原始的 $p$ 乗根を含む巡回 $p$ 次拡大 $K/F$ に対して、$J = K^\times / K^{\times p}$ の完全なガロアモジュール構造は何か？
• RQ2 $J$ が $bb{F}_p[G]$-モジュールとしてどのように $N(K^\times)$ 及び $ξ_p$ の $N(K^\times)$ への属在に依存するか？
• RQ3 クーマー理論および線形代数の初等的道具のみを用いて、$J$ の非分解 $bb{F}_p[G]$-モジュールへの分解を明示的かつ一意的に記述できるか？
• RQ4 $F^\times / N(K^\times)$ 及び $N(K^\times)$ にどのような条件が満たされると、$J$ が自由または自明な和因子を含むか？

主な発見

• 奇数 $p$ の場合、$bb{F}_p[G]$-モジュール $J$ は $X \oplus Y \oplus Z$ に分解され、$ξ_p \in N(K^\times)$ ならば $X$ は次元1、さもなければ次元2である。$Y$ は $Y^G = N(J)$ を満たす自由モジュールであり、$Z$ は自明モジュールである。
• $p = 2$ の場合、$-1 \in N(K^\times)$ ならば $X$ は1次元、さもなければ自明である。$Y$ は $Y^G = N(J)$ を満たす自由モジュールであり、$Z$ は自明モジュールである。
• $J$ の任意の最大自由 $bb{F}_p[G]$-部分モジュールのランクは、$N(J)$ の $bb{F}_p$-次元に等しく、$p > 2$ のとき $\dim_{\mathbb{F}_p}(F^\times / N(K^\times)) + 2\Upsilon(K)$、$p = 2$ のとき $\dim_{\mathbb{F}_2}(F^\times / N(K^\times)) + \Upsilon(K)$ である。ここで $\Upsilon(K)$ は特定の $p$-剛性を持つ元の数を数える。
• $J$ の非分解 $bb{F}_p[G]$-モジュールへの分解は一意的であり、各巡回和因子は非分解的であり、その自己準同型環は局所環であるため、クルール＝シュマイトの定理を満たす。
• $J$ が自由モジュールであるための必要十分条件は、$p > 2$ のとき $N(J)$ が自明であり、$ξ_p \in N(K^\times)$ であること、$p = 2$ のとき $-1 \notin N(K^\times)$ であること、および $F^\times / N(K^\times)$ の構造に関する追加条件を満たすことである。
• $K_1/F_1$ 及び $K_2/F_2$ に対する二つのモジュール $J_1$ と $J_2$ が $bb{F}_p[G]$-モジュールとして同型であるための必要十分条件は、$\dim_{\mathbb{F}_p}(F_1^\times / N(K_1^\times)) = \dim_{\mathbb{F}_p}(F_2^\times / N(K_2^\times))$ かつ両方の $|\mathfrak{K}_2|$ が等しいことである。ここで $\mathfrak{K}_2$ は $F^\times / F^{\times p}$ 内の $p$-剛性を持つ元を添え字づける。