[論文レビュー] A primer on computational group homology and cohomology

David Joyner|ArXiv.org|Jun 4, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 3

ひとこと要約

この論文は、GAPおよびSageMathというオープンソースソフトウェアを用いて、群のホモロジーとコホモロジーの計算的導入を提供する。読者を、初年度の大学院レベルの代数的知識を持つが、コホモロジーの経験がない者を想定している。射影的分解と導来函手を用いた基礎的理論を提示し、有限群における計算を示し、制限、インフレーション、コアストリクションといった重要な概念を、明示的なコード例および理論的結果（例えば、Sylow制限同型）を用いて説明する。

ABSTRACT

These are expanded lecture notes of a series of expository talks surveying basic aspects of group cohomology and homology. They were written for someone who has had a first course in graduate algebra but no background in cohomology. You should know the definition of a (left) module over a (non-commutative) ring, what $\zzz[G]$ is (where $G$ is a group written multiplicatively and $\zzz$ denotes the integers), and some ring theory and group theory. However, an attempt has been made to (a) keep the presentation as simple as possible, (b) either provide an explicit reference of proof of everything. Several computer algebra packages are used to illustrate the computations, though for various reasons we have focused on the free, open source packages such as GAP and SAGE.

研究の動機と目的

• 群コホモロジーとホモロジーの自己完結的でアクセス可能な導入を、コホモロジーの知識が全くないが、1年次大学院レベルの代数的背景を持つ読者を対象として提供すること。
• 自由でオープンソースのソフトウェア（GAPおよびSageMath）を用いて、抽象的なホモロジー代数と具体的な計算的実践を橋渡しすること。
• 明示的なアルゴリズムとコードを用いて、有限群のコホモロジーおよびホモロジー群を計算する方法を示すこと。
• 制限、インフレーション、コアストリクションといった基本的な函手的性質を、理論的考察と計算的例示の両方で説明すること。
• Sylow制限同型のような重要な理論的結果を、計算的に検証可能な枠組みで提示すること。

提案手法

• 論文は、射影的分解と導来函手を用いて、群コホモロジーを $ H^n(G,A) = \mathrm{Ext}^n_{\mathbb{Z}[G]}(\mathbb{Z}, A) $ およびホモロジーを $ H_n(G,A) = \mathrm{Tor}_n^{\mathbb{Z}[G]}(\mathbb{Z}, A) $ として定義する。
• コホモロジーおよびホモロジー群の計算に用いる標準的分解として、バーレゾリューションを導入する。
• HAPパッケージ（GAPおよびSage経由）を用いて、実際の計算（チェーン写像やホモロジー群の計算など）を実施する。
• 群の準同型がコホモロジーおよびホモロジーに写像を誘導する方法（例えば、制限やインフレーション）を示す。
• 理論的結果を計算的に検証する。例えば、$ H_3(S_5, \mathbb{Z}) $ を計算し、$ H_3(f) $ の像がSylow 2部分群であることを示す。
• 制限の推移性やインフレーション-制限列といった函手的性質への拡張も行う。

実験結果

リサーチクエスチョン

• RQ1 有限群に対して、オープンソースソフトウェアを用いて、群コホモロジーとホモロジーをどのようにアルゴリズム的に計算できるか。
• RQ2 群のコホモロジー群とそのSylow部分群との間の計算的関係は何か。
• RQ3 GAPおよびSageを用いた明示的計算において、制限およびインフレーション写像はどのように現れるか。
• RQ4 実際の計算において、バーレゾリューションは、どの程度コホモロジーおよびホモロジー群の計算に有効に使えるか。
• RQ5 コアストリクションやトレースといった函手的性質は、具体的な計算例においてどのように振る舞うか。

主な発見

• 制限写像 $ \mathrm{Res}: H^n(G,A) \to H^n(G_p,A) $ が $ p $-主成分に制限されたとき、単射であることが確認され、Sylow制限同型が裏付けられる。
• 包含写像 $ f: P \hookrightarrow S_5 $ に対して、誘導写像 $ H_3(f): H_3(P,\mathbb{Z}) \to H_3(S_5,\mathbb{Z}) $ の像のアーベル不変量は [2,4] であり、$ H_3(S_5,\mathbb{Z}) \cong \mathbb{Z}_2 \times \mathbb{Z}_4 \times \mathbb{Z}_3 $ の2-主成分と一致する。
• インフレーション写像 $ \mathrm{Inf}: H^n(G/H, A^H) \to H^n(G,A) $ は適切に定義されており、制限写像と整合的であり、インフレーション-制限列を形成する。
• GAPおよびSageにおけるHAPを用いて計算されたコホモロジーおよびホモロジー群は、理論的期待と一貫しており、計算的手法の妥当性が裏付けられる。
• バーレゾリューションおよびチェーン写像の使用により、有限群のホモロジーおよびコホモロジー群の効果的な計算が可能になる。
• この枠組みにより、制限の推移性や群の準同型による誘導写像の振る舞いといった抽象的結果の検証が可能になる。