[論文レビュー] Galois groups and cohomological functors

Ido Efrat, Ján Mináč|arXiv (Cornell University)|Mar 8, 2011

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

ひとこと要約

本稿は、絶対ガロア群 $G_F$ の新しい最小商 $operatorname{Gal}(F_{(3)}/F)$ を導入し、これが mod-$q$ コホロロジー環 $H^*(G_F, \mathbb{Z}/q)$ を完全に符号化することを示している。非可換群のコホロロジーにおける双対性およびガロア記号の全単射性を用いて、この商が最小であることを証明し、$q = p$ が奇素数のとき、$operatorname{Gal}(F_{(3)}/F)$ が $mathbb{Z}/p$ または位数 $p^3$ で指数 $p$ である非アーベル群 $H_{p^3}$ に同型なすべての正規開部分群の交わりとして特徴づけられることを示している。

ABSTRACT

Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring $H^*(G_F,\mathbb{Z}/q)$ and is minimal with respect to this property. We prove some fundamental structure theorems related to these quotients. In particular, it is shown that when $q=p$ is an odd prime, $F_{(3)}$ is the compositum of all Galois extensions $E$ of $F$ such that $\mathrm{Gal}(E/F)$ is isomorphic to $\{1\}$, $\mathbb{Z}/p$ or to the nonabelian group $H_{p^3}$ of order $p^3$ and exponent $p$.

研究の動機と目的

• 絶対ガロア群 $G_F$ の中で、mod-$q$ コホロロジー環 $H^*(G_F, \mathbb{Z}/q)$ を完全に符号化する最小の商を特定すること。
• この最小商 $\operatorname{Gal}(F_{(3)}/F)$ の構造を、特定のガロア群をもつガロア拡大の観点から特徴づけること。
• ガロア記号と透過写像を用いて、コホモロジー関手と群論的商の間の双対性を確立すること。
• $H^*(G_F)$ の次数 $\leq 2$ 部分が商 $\operatorname{Gal}(F_{(3)}/F)$ を決定することを示し、コホモロジー的再構成原理を確立すること。
• 既存の $p$-進ガロア群に関する結果を強化し、$[3]$-商またはコホモロジー環の同型が、全最大 $p$-進ガロア群の同型を意味することを示すこと。

提案手法

• $q$-中心的フィルトレーションの第3項 $G_{(3)}$ を用いて、商 $G_{[3]} = G_F / G_{(3)}$ を定義する。$q = p$ が奇素数のとき、$G_{(3)} = G^{(3)}$ である。
• ガロア記号 $K^M_*(F)/qK^M_*(F) \to H^*(G_F, \mathbb{Z}/q)$ の全単射性を用いて、ミルナー $K$-理論とガロアコホモロジーを関連付ける。
• 非可換群 $G$ の正規部分群 $T, T_0$ と、$H^2(G/T)$ の部分群 $A$ の間の双対性枠組みを適用する。ここで $T = G^{(2)}$, $T_0 = G_{(3)}$, $A = H^2(G^{[2]})_{\mathrm{dec}}$ である。
• 透過写像と制限写像を用いて、$q$ 階の巡回部分群への制限におけるコホモロジー類の像を分析する。
• 群コホモロジーにおける5項完全列を用いて、透過写像の消滅が $G_{(3)}$ 上でのコホモロジー類の annihilator と関係することを示す。
• 局所的・大域的原理を用いて最小性を証明する：$H^*(G_F/N)_{\mathrm{dec}} \to H^*(G_F)$ のインフレーション写像が同型であるための必要十分条件は $N \leq G_{(3)}$ であること。

実験結果

リサーチクエスチョン

• RQ1 絶対ガロア群 $G_F$ の中で、全 mod-$q$ コホロロジー環 $H^*(G_F, \mathbb{Z}/q)$ を決定する最小の商は何か？
• RQ2 $\operatorname{Gal}(F_{(3)}/F)$ の構造は、特定のガロア群をもつ $F$ のガロア拡大の観点からどのように特徴づけられるか？
• RQ3 $H^*(G_F)$ の次数 $\leq 2$ 部分が、商 $\operatorname{Gal}(F_{(3)}/F)$ をどの程度まで決定するか？
• RQ4 どの条件下で、$[3]$-商 $G_{[3]}$ の同型が、全最大 $p$-進ガロア群 $G_F(p)$ の同型を意味するか？
• RQ5 $G_{(3)}$ の正確な群論的記述は、所定のガロア群をもつ正規開部分群の交わりとしてどのように与えられるか？

主な発見

• $\operatorname{Gal}(F_{(3)}/F) = G_F / G_{(3)}$ は、$G_F$ の中で $H^*(G_F, \mathbb{Z}/q)$ を完全に決定する最小の商である。
• インフレーション写像 $H^*(G_F/N)_{\mathrm{dec}} \to H^*(G_F)$ が同型であるための必要十分条件は $N \leq G_{(3)}$ であることから、$G_{(3)}$ の最小性が証明される。
• $q = p$ が奇素数のとき、$G_{(3)}$ はすべての正規開部分群 $N \trianglelefteq G_F$ の交わりであり、$G_F/N \cong \mathbb{Z}/p$ または非アーベル群 $H_{p^3}$（位数 $p^3$、指数 $p$）に同型である。
• $q = p = 2$ のとき、$G_{(3)}$ はすべての正規開部分群 $N$ の交わりであり、$G_F/N \cong \mathbb{Z}/2$、$\mathbb{Z}/4$、または位数 8 の二面体群 $D_4$ に同型である。
• $H^*(G_F)$ の次数 $\leq 2$ 部分が $\operatorname{Gal}(F_{(3)}/F)$ を決定することを示し、次数 2 までのコホモロジー情報で十分に商を再構成できることを示している。
• 同型 $\pi: G_{F_1}(p) \to G_{F_2}(p)$ が成り立つための必要十分条件は、$[3]$-商への誘導写像 $\pi_{[3]}$ またはコホモロジーへの誘導写像 $\pi^*$ が同型であることである。これは強いアナベル型の結果を確立している。