[論文レビュー] Galois module structure of Galois cohomology

Nicole Lemire, Ján Mináč+1 more|arXiv (Cornell University)|Sep 24, 2004

Algebraic Geometry and Number Theory参考文献 8被引用数 5

ひとこと要約

本稿は、$ F $ が原始的 $ p $ 乗根を含む一般の体である場合に、すべての $ n \in \mathbb{N} $ に対して、$ H^n(U, \mathbb{F}_p) $ のガロアモジュール構造を $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $-加群として決定する。これは、従来は $ n = 1 $ の場合や局域体などの制限付きの場合にのみ知られていた結果を一般化したものである。主な貢献は、原始的 $ p $ 乗根を含む一般の体の設定において、この構造を完全に特徴づけたことにある。

ABSTRACT

Let F be a field containing a primitive pth root of unity, and let U be an open normal subgroup of index p of the absolute Galois group GF of F. We determine the structure of the cohomology group H n (U, Fp) as an Fp[GF/U]-module for all n ∈ N. Previously this structure was known only for n = 1, and until recently the structure even of H 1 (U, Fp) was determined only for F a local field, a case settled by Borevič and Faddeev in the 1960s.

研究の動機と目的

• すべての $ n \in \mathbb{N} $ に対して、既知の $ H^1(U, \mathbb{F}_p) $ の $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $-加群としての構造を一般化すること。
• 従来は局所体や $ n = 1 $ に限定されていた結果を、原始的 $ p $ 乗根を含む任意の体 $ F $ にまで拡張すること。
• $ U $ が $ \mathrm{Gal}(F/F) $ の指数 $ p $ の開正規部分群であるとき、$ H^n(U, \mathbb{F}_p) $ を群環 $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $ 上の加群として完全に記述すること。
• 原始的 $ p $ 乗根の存在以外に幾何的・算術的制約がない状況において、高次コホモロジー群のガロアモジュール構造に関する長年の理解のギャップを解消すること。

提案手法

• 体 $ F $ が原始的 $ p $ 乗根を含むことを利用し、絶対ガロア群 $ \mathrm{Gal}(F/F) $ 及びその指数 $ p $ の開正規部分群 $ U $ の構造を活用する。
• 特にホッシャルド＝サーレのスペクトル系列を用いて、$ U $ のコホモロジーと $ \mathrm{Gal}(F/F) $ のコホモロジーを関連付けるガロアコホモロジーの道具を適用する。
• $ \mathrm{Gal}(F/F)/U \cong \mathbb{Z}/p\mathbb{Z} $ の作用を $ H^n(U, \mathbb{F}_p) $ に作用させ、このコホモロジー群を群環 $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-加群として扱う。
• 有限体上の表現論を用いて、$ H^n(U, \mathbb{F}_p) $ を $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-加群としての完全な分解に分解する。
• $ H^1(U, \mathbb{F}_p) $ の既知の構造を出発点とし、帰納法または双対性を用いて高次元へ拡張する。
• $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-加群が、ジョルダン・ホルダー列や有限体上の群環の構造に関してよく理解されていることを利用する。

実験結果

リサーチクエスチョン

• RQ1 体 $ F $ が原始的 $ p $ 乗根を含むとき、任意の $ n \in \mathbb{N} $ に対して $ H^n(U, \mathbb{F}_p) $ が $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $-加群としてどのように構造化されるか。
• RQ2 局所体でない場合を含め、$ n = 1 $ の場合を越えて、$ H^n(U, \mathbb{F}_p) $ のガロアモジュール構造はどのように一般化されるか。
• RQ3 $ U $ が指数 $ p $ の開正規部分群であるとき、$ \mathbb{Z}/p\mathbb{Z} $ の $ \mathbb{F}_p $ 上の表現論を用いて $ H^n(U, \mathbb{F}_p) $ の構造を完全に記述できるか。
• RQ4 体 $ F $ に原始的 $ p $ 乗根が存在することは、すべての $ n $ に対してコホモロジー加群構造を一様に記述可能にする程度までどの程度の役割を果たすか。
• RQ5 局所体の場合の既知の結果と比較して、一般の場合における $ H^n(U, \mathbb{F}_p) $ の加群構造はどのような特徴を示し、どのような新しい性質が現れるか。

主な発見

• $ H^n(U, \mathbb{F}_p) $ は、すべての $ n \in \mathbb{N} $ に対して $ \mathbb{F}_p[\mathrm{Gal}(F/F)/U] $-加群として完全に決定され、$ n = 1 $ の場合に既知の結果が拡張された。
• $ H^n(U, \mathbb{F}_p) $ の $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-加群としての構造は、$ \mathbb{Z}/p\mathbb{Z} $ の $ \mathbb{F}_p $ 上の表現論を用いて、その既約成分への分解を通じて完全に記述されている。
• この結果は、局所体に限らず、原始的 $ p $ 乗根を含むすべての体 $ F $ に対して一様に成り立つため、ボレヴィチとファドエフの先行研究を一般化する。
• $ H^n(U, \mathbb{F}_p) $ は、インデコンポジングな $ \mathbb{F}_p[\mathbb{Z}/p\mathbb{Z}] $-加群の直和に分解され、その成分の数と種別は $ n $ と $ \mathrm{Gal}(F/F)/U $ の作用に依存する。
• 既知の $ H^1(U, \mathbb{F}_p) $ の構造とガロア群の作用に基づき、任意の $ n $ に対して加群構造を体系的に計算する方法が提供されている。
• 本稿は、非局所の場合における長年の未解決問題を解消し、$ H^n(U, \mathbb{F}_p) $ のガロアモジュール構造を完全かつ明示的に記述した。