[論文レビュー] The third cohomology group classifies crossed module extensions

Sebastian Thomas|arXiv (Cornell University)|Nov 15, 2009

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

この論文は、群 $G$ によるアーベル的 $G$-加群 $M$ への交叉モジュール拡張の同値類が、第3群コホモロジー群 $\mathrm{H}^3(G,M)$ によって分類されることを初等的に証明する。正確な系列における上げと切断を用いて、$\mathrm{H}^3(G,M)$ と交叉モジュール拡張類の集合 $\mathrm{Ext}^2(G,M)$ の間の全単射を構成し、群論におけるコホモロジーと高次の拡張の間の基本的な関係を確立する。

ABSTRACT

We give an elementary proof of the well-known fact that the third cohomology group H^3(G, M) of a group G with coefficients in an abelian G-module M is in bijection to the set Ext^2(G, M) of equivalence classes of crossed module extensions of G with M.

研究の動機と目的

• 第3コホモロジー群 $\mathrm{H}^3(G,M)$ による交叉モジュール拡張の分類について、直接的で初等的な証明を確立すること。
• 群コホモロジーと高次拡張の関係を明確にし、古典的なシュライヤーの定理を $\mathrm{H}^2$ から $\mathrm{H}^3$ に拡張すること。
• 上げ系と切断を用いた明示的構成により、与えられた交叉モジュール拡張に対し3次コサイクルを、逆に3次コサイクルに対し交叉モジュール拡張を対応付けること。
• 同じ同値類に属する拡張は、高々2つの基本的ステップでつながることを示し、同値の概念を精緻化すること。
• 将来の交叉モジュールおよび単体的群のコホモロジーに関する研究の基盤を築くこと。

提案手法

• 成分ごとのポイント付きチェインを用いて群コホモロジーを表現し、コサイクルの明示的計算を可能にする。
• 交叉モジュール拡張を、中間項が交叉モジュールをなす四項完全系列として定義する。
• 与えられた交叉モジュール拡張における上げ系から、切断写像を介して3次コサイクルを構成する。
• 自由群と明示的な関係を用いて、3次コサイクル $z^3$ に付随する標準的拡張 $\mathrm{E}(z^3)$ を定義する。
• その拡張の切断系を介して得られるコサイクルが $z^3$ とコホモロジーラスであることを証明し、逆対応が保証されることを示す。
• 集合論的定義可能性を保証するため、グローテンディークのユニバースを用いる。

実験結果

リサーチクエスチョン

• RQ1 第3コホモロジー群 $\mathrm{H}^3(G,M)$ は、群拡張を超えた代数的拡張の観点からどのように解釈できるか？
• RQ2 与えられた交叉モジュール拡張に対し、3次コサイクルをどのように明示的に構成できるか？
• RQ3 任意の $\mathrm{H}^3(G,M)$ のコホモロジー類は、標準的交叉モジュール拡張の類として実現可能か？
• RQ4 交叉モジュール拡張の同値類とコホモロジーラスなコサイクルの関係は何か？
• RQ5 同値な交叉モジュール拡張を結ぶために必要な最小のステップ数は何か？

主な発見

• 交叉モジュール拡張の同値類の集合 $\mathrm{Ext}^2(G,M)$ と第3コホモロジー群 $\mathrm{H}^3(G,M)$ の間に、自然な全単射が存在する。
• 拡張における切断の上げ系から、$\mathrm{Z}^3_{\text{cpt}}(G,M)$ に値をとる3次コサイクルが構成され、そのコホモロジー類が拡張のコホモロジー類を定義する。
• 任意の3次コサイクル $z^3$ に対して、標準的拡張 $\mathrm{E}(z^3)$ は、その関連コサイクルが $z^3$ とコホモロジーラスであるという性質を持つ。これにより逆写像が保証される。
• 同じ同値類に属する拡張は、高々2つの基本的ステップでつながる。これは補題 (6.8) で示されている。
• 自明な交叉モジュール拡張は、$\mathrm{H}^3(G,M)$ の自明なコホモロジー類 $0$ に対応する。
• この構成はグローテンディークのユニバース内で適切に定義されており、全単射 $\mathrm{Ext}_{\mathfrak{U}}^2(G,M) \cong \mathrm{H}^3(G,M)$ の存在が保証される。