[論文レビュー] Relations in the maximal pro-$p$ quotients of absolute Galois groups

Ján Mináč, Michael Rogelstad+1 more|arXiv (Cornell University)|Aug 6, 2018

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

ひとこと要約

本稿は、原始的 $p$ 乗根を含む体においては、特定の関係が、最大のプロ $p$ 商の絶対ガロア群に現れないことを確立している。具体的には、非対称な配置にある $p$ 乗項と交換子項を含む関係が、原始的 $p$ 乗根を含む体から生じることはない。クーマー理論とガロアコホノロジーを用いて、著者たちは明示的な小さなガロア拡大を構成し、このような関係が原始的 $p$ 乗根の存在によって課される構造的制約に反することを示している。これは、局所体に限らない古典的結果（デムシュキンやラブーテの結果）を一般化するものである。

ABSTRACT

We observe that some basic but fundamental constructions in Galois theory can be used to obtain some interesting restrictions on the structure of Galois groups of maximal $p$-extensions of fields containing a primitive $p$th root of unity. This is an extension of some significant ideas of Demushkin, Labute and Serre from local fields to all fields containing a primitive $p$th root of unity. Our techniques use certain natural simple Galois extensions together with some considerations in Galois cohomology and Massey products.

研究の動機と目的

• 原始的 $p$ 乗根を含む体 $F$ の絶対ガロア群の最大プロ $p$ 商 $G_F(p)$ を定義する関係を特定すること。
• 局所体（例えばデムシュキンやラブーテの結果）における古典的結果を、原始的 $p$ 乗根を含む任意の体へと拡張すること。
• 明示的なガロア拡大を用いて、特定のプロ $p$ 群の提示が $G_F(p)$ として実現可能かどうかを同定する障害を特定すること。
• 特に $p$ 乗項が対称的に配置されていない場合に、$p$ 乗項と交換子が $G_F(p)$ の関係を定義する役割を果たす仕組みを明確にすること。

提案手法

• $a \in F^\times$ および $m \in \mathbb{N}$ に対して、$F(a,m) = F(\root{p^m}\to{a}, \zeta_{p^m})$ という単純なガロア拡大を構成し、$G_F(p)$ における提案された関係の妥当性を検証する。
• クーマー理論を用いて、$F^\times / (F^\times)^{p^k}$ の構造とアーベル化 $G_F(p)^{ab}$ の関係を、特に $\zeta_{p^k} \in F^\times$ の場合に結びつける。
• ガロアコホノロジーとマッセイ積の技法を用いて、特定の群の提示が $G_F(p)$ として実現可能かどうかの障害を検出する。
• ポントリャーギン双対性とプロ $p$ アーベル群の構造を用いて、$G_F(p)^{ab}$ のねじれ部分と自由部分を分析する。
• $\zeta_{p^k}$ が $F$ に存在することによって、$G_F(p)^{ab}$ の $p$ 乗ねじれ部分が $p^k$ から始まることを強制し、関係の形の可能性を制限する。
• もし $\zeta_{p^k} \in F^\times$ であれば、$G_F(p)^{ab}$ は $\mathbb{Z}_p$-因子と、指数が少なくとも $p^k$ である $p$-ねじれ部分の積に分解されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $n$ が奇数で $s \in \mathbb{N}$ のとき、関係 $r = x_1^{p^s}[x_2,x_3]\cdots[x_{n-1},x_n]$ が、原始的 $p$ 乗根を含む体 $F$ に対して $G_F(p)$ の定義関係として実現可能か？
• RQ2 体 $F$ に $\zeta_{p^k}$ が存在する場合、$G_F(p)^{ab}$ に課される構造的制約、特にねじれ元の指数にどのような制限が生じるか？
• RQ3 関係 $r = x_1^{p^s}[x_1,x_2]\cdots[x_{n-1},x_n]$（$p$ 乗項と交換子が対称的に配置）は実現可能であるが、$r = x_1^{p^s}[x_2,x_3]\cdots[x_{n-1},x_n]$（非対称）は実現不可能であるのはなぜか？
• RQ4 明示的なガロア拡大 $F(a,m)$ が、$G_F(p)$ における特定の関係の実現を妨げる障害としてどのように機能するか？
• RQ5 クーマー理論とコホノロジーの技法を、$G_F(p)$ の実現可能・非実現可能なプロ $p$ 群の提示を区別するためにどの程度まで用いることができるか？

主な発見

• $n$ が奇数で $s \in \mathbb{N}$ のとき、$n$ 個の生成元からなる自由プロ $p$ 群 $S$ と関係 $r = x_1^{p^s}[x_2,x_3]\cdots[x_{n-1},x_n]$ を用いて $G = S / \langle r \rangle$ を定義するが、このような群 $G$ は、原始的 $p$ 乗根を含む任意の体 $F$ に対して $G_F(p)$ と同型にはなり得ない。
• $\zeta_{p^k} \in F^\times$ であれば、$G_F(p)^{ab}$ のねじれ部分の指数は少なくとも $p^k$ である。これは、$G_F(p)$ の定義関係の形に制限を課す。
• もし $\zeta_{p^k} \in F^\times$ であれば、$G_F(p)^{ab}$ は $\prod_J \mathbb{Z}_p \times \prod_{i=1}^l \prod_{m(i)} \mathbb{Z}/p^{s_i}\mathbb{Z}$ に分解され、$s_i \geq k$ が成り立ち、$\zeta_{p^k} \in F^\times$ がすべての $k \geq 1$ で成り立つならば $l=0$ である。
• $F(a,m) = F(\sqrt[p^m]{a}, \zeta_{p^m})$ の構成は、明示的な障害を提供する：もし提案された関係 $r$ がこのような拡大のガロア群において 0 でなければ、$G_F(p)$ においても有効ではない。
• 関係における $p$ 乗項の配置の違い——例えば $x_1^{p^s}[x_1,x_2]\cdots$（対称的）と $x_1^{p^s}[x_2,x_3]\cdots$（非対称的）——は、実現可能性の条件に本質的な違いをもたらす。
• 本稿は、ラブーテの命題6を無限大のプロ $p$ 群へと一般化し、$p$ 乗項と交換子構造に基づく障害機構が、有限または局所的設定に限らず、堅牢に機能することを示している。