[論文レビュー] On the Theory of Ends of a pro-p Group

Kay Wingberg|arXiv (Cornell University)|May 3, 2013

Advanced Topology and Set Theory参考文献 3被引用数 3

ひとこと要約

この論文は、有限生成なプロ-p群に対して、スタリングスの分解定理のプロ-p版を確立する。そのために、h₁(G) = dimFₚ H¹(G, Fₚ[[G]]) と定義されるコhomological不変量 e(G) = 1 + h₁(G) を導入する。有限生成なプロ-p群 G が自由に分解可能であることと、その増幅イデアル IG が左 Fₚ[[G]]-加群として分解可能であることとは同値であり、さらに、捩れのない群では、これが h₁(G) = ∞ と同値である。主な貢献は、プロ-p設定における自由分解可能性の完全なコhomological特徴付けを提供することであり、古典的な結果を概型的文脈へと拡張するものである。

ABSTRACT

We study the group of ends of a pro-p group G and prove a pro-p analog of Stallings' decomposition theorem.

研究の動機と目的

• 抽象群のスタリングスの分解定理を、概型的群の文脈においてプロ-p版に発展させること。
• 連続的コhomology H¹(G, Fₚ[[G]]) を用いて、プロ-p群のエンド数 e(G) を定義し、研究すること。
• 増幅イデアル IG の加群論的性質を用いて、有限生成なプロ-p群の自由分解可能性を特徴づけること。
• コhomological不変量、加群の分解可能性、双対性や非分解性といった構造的性質の間の同等性を確立すること。
• 特に捩れのない群や双対性群に対して、抽象群に関する古典的結果をプロ-p設定へと拡張すること。

提案手法

• e(G) = 1 + h₁(G) と定義し、h₁(G) = dimFₚ H¹(G, Fₚ[[G]]) とすることで、抽象群におけるエンド数の概念をプロ-p群へ一般化する。
• 完成化群環 Fₚ[[G]] 及びその増幅イデアル IG を用い、連続的群コhomology を通じてコhomological不変量を研究する。
• 有限生成 ΛG-加群に対するクルル＝シュミット＝アズマヤの定理を適用し、IG が左 Fₚ[[G]]-加群としてどのように分解可能かを分析する。
• G の自由分解可能性と、IG が ΛG-加群として分解可能であることの同値性を確立する。
• フロベニウスの随伴性および誘導加群の技法を用いて、H¹(G, Fₚ[[G]]) を右 Fₚ[[G]]-加群として計算する。
• f(G) = dimFₚ H¹(G, Fₚ[[G]])^G という不変量と、自由に非分解的因子の数 s(G) の関係を関係づけ、f(G) または f(G)+1 に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 抽象群におけるスタリングスの分解定理を、コhomological不変量を用いてプロ-p設定へ拡張することは可能か？
• RQ2 エンド数 e(G) のプロ-p版とは何か？そして、無限大のプロ-p群においてはどのように振る舞うか？
• RQ3 有限生成なプロ-p群が自由に分解可能であるための条件は何か？そして、どのようにコhomologically検出できるか？
• RQ4 H¹(G, Fₚ[[G]]) が右 Fₚ[[G]]-加群として持つ構造は、G の自由分解型とどのように関係するか？
• RQ5 コhomological次元、双対性、自由分解可能性の間には、どのような関係があるか？

主な発見

• 有限生成なプロ-p群 G に対して、e(G) = 1 + h₁(G) が成り立ち、e(G) ∈ {0, 1, 2, ∞} であり、e(G) = 0 であることは G が有限群であることと同値である。
• G が自由に分解可能であることと、その増幅イデアル IG が左 Fₚ[[G]]-加群として分解可能であることとは同値である。
• G が捩れのない群であるとき、h₁(G) = ∞ であることと、G が自由に分解可能であることとは同値であり、s(G) = f(G) + 1 が成り立つ。ここで s(G) は自由に非分解的因子の数、f(G) = dimFₚ H¹(G, Fₚ[[G]])^G である。
• G が自由群であるとき、H¹(G, Fₚ[[G]]) は完全列 0 → Fₚ[[G]] → Fₚ[[G]]^{f(G)} → H¹(G, Fₚ[[G]]) → 0 に含まれる。
• コhomological次元 ≤2 であるプロ-p群に対して、G が次元 2 の双対性群であることと、G が自由に非分解的であるか、IG が加群として非分解的であることは同値である。
• 自由に非分解的因子の数は、開部分群 H に対して s(H) = (G:H)(s(G)−1)+1 を満たし、これは有限指数部分群において不変であることを示す。