[論文レビュー] The Bloch-Kato Conjecture and Galois Theory

Dikran Karagueuzian, John Labute+1 more|arXiv (Cornell University)|Dec 27, 2010

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

ひとこと要約

本稿は、ガロア理論におけるブロッハ＝カト予想の群論的意味を調査し、最大の $p$-拡大のガロア群の構造に焦点を当てる。このような群に対して、関係がすべての $n \geq 1$ に対して $R^{(n,S)} = R \bigcap S^{(n+1)}$ を満たすことが示され、これは群が二次的に入定されることを特徴づける。また、単位根を含む局所体および大域体に対し、これが成り立つことを証明する。

ABSTRACT

We investigate the relations in Galois groups of maximal p-extensions of fields, the structure of their natural filtrations, and their relationship with the Bloch-Kato conjecture proved by Rost and Voevodsky with Weibel's patch. Our main focus is on the third degree, but we provide examples for all degrees.

研究の動機と目的

• ガロア群の最大 $p$-拡大におけるブロッハ＝カト予想の群論的意味を理解すること。
• ガロア群 $G = \operatorname{Gal}(F(p)/F)$ の関係構造、特にフィルトレーション $R^{(n,S)}$ と下位 $p$-系列 $S^{(n+1)}$ の関係を調査すること。
• 自然写像 $i: \operatorname{gr}(R,S) \to \operatorname{gr}(R)_{\text{ind}}$ が同型である条件を特定することにより、二次的に入定されたプロ-$p$ 群を特徴づけること。
• 大域体および局所体に原始 $p$-乗根が含まれる場合、ガロア群 $\operatorname{Gal}(F(p)/F)$ が二次的に入定されることを確立すること。
• これらのガロア群における関係構造を、順次 Lie 環を用いた Lie 理論的特徴づけを提供すること。

提案手法

• ホシュィルド＝セルレのスペクトル系列を用いて、ガロアコホノロジー $H^n(F)$ をガロア群 $G = \operatorname{Gal}(F(p)/F)$ のコホノロジーに結びつけ、群論的問題に還元可能であることを示す。
• 自由プロ-$p$ 群 $S$ に上へ持ち上げた $G^{(n)} = (G^{(n-1)})^p [G^{(n-1)}, G]$ のフィルトレーションを用い、$R^{(n,S)} = (R^{(n-1,S)})^p [R^{(n-1,S)}, S]$ を定義する。
• 順次 Lie 環 $\operatorname{gr}(S)$ と写像 $i: \operatorname{gr}(R,S) \to \operatorname{gr}(R)_{\text{ind}}$ を導入し、関係の初期形を分析する。
• $S$ から有限商 $S_i$ への自然な射影を用い、各 $S_i/R_i$ が二次的に入定されるならば、極限において $R^{(n,S)} = R \cap S^{(n+1)}$ が成り立つことを示す。
• デムシキン理論および射影極限の結果を適用し、$\operatorname{Gal}(F(p)/F)$ が大域体および局所体に対して二次的に入定されることを示す。
• ロストとヴォエバドスキーが証明した同型 $h_*: k_*F \to H^*(F)$ を用いて、コホノロジー構造が群論的関係条件 $R^{(n,S)} = R \cap S^{(n+1)}$ を示唆することを導く。

実験結果

リサーチクエスチョン

• RQ1 ガロア群 $G = \operatorname{Gal}(F(p)/F)$ において、すべての $n \geq 1$ に対して $R^{(n,S)} = R \cap S^{(n+1)}$ が成り立つのはどのような条件下か？
• RQ2 自然写像 $i: \operatorname{gr}(R,S) \to \operatorname{gr}(R)_{\text{ind}}$ が同型であるのはいつか？ そしてこれは群の提示にどのような意味を持つのか？
• RQ3 $\operatorname{Gal}(\mathbb{Q}(2)/\mathbb{Q})$ は二次的に入定されているか？
• RQ4 ブロッハ＝カト予想は、$\operatorname{Gal}(F(p)/F)$ のフィルトレーションおよび関係構造にどのような制約を課えるか？
• RQ5 最大 $p$-拡大のガロア群における関係構造の Lie 理論的特徴づけは何か？

主な発見

• 任意の原始 $p$-乗根を含む体 $F$ に対して、ガロア群 $G = \operatorname{Gal}(F(p)/F)$ は $R^{(3,S)} = R \cap S^{(4)}$ を満たす。これは $n=2$ の場合に既知の結果を拡張する。
• $R^{(n,S)} = R \cap S^{(n+1)}$ がすべての $n \geq 1$ に対して成り立つのは、自然写像 $i: \operatorname{gr}(R,S) \to \operatorname{gr}(R)_{\text{ind}}$ が同型であるときであり、これは二次的に入定されたプロ-$p$ 群を特徴づける。
• 体 $F$ が大域体（$p=2$ の場合、完全に虚数的）または $\zeta_p$ を含む局所体であれば、$\operatorname{Gal}(F(p)/F)$ は二次的に入定され、すべての $n$ に対して $R^{(n,S)} = R \cap S^{(n+1)}$ が成り立つ。
• $\operatorname{Gal}(F(p)/F)$ が二次的に入定されるのは、$R$ の最小生成集合の初期形が $\operatorname{gr}(S)$ の中で $\operatorname{gr}(R)_{\text{ind}}$ をイデアルとして生成するときである。
• 写像 $i$ が全単射であるのは、群提示 $G = S/R$ が二次的に入定されているときであり、これは明確な群論的基準を確立する。
• $\mathbb{Q}(2)/\mathbb{Q}$ に対しては、$\operatorname{Gal}(\mathbb{Q}(2)/\mathbb{Q})$ が二次的に入定されているかどうかは未解決のままであるが、他の体と同様の結果から、その可能性は高いと予想されている。