[論文レビュー] Wythoff polytopes and low-dimensional homology of Mathieu groups

Mathieu Dutour Sikirić, Graham Ellis|ArXiv.org|Dec 22, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 14

ひとこと要約

本稿では、マチュー群の低次元整係数ホモロジーを計算する2つの新規手法を提示する。1つはSylow部分群を用いたもので、もう1つはWythoff多面体と摂動技法を用いて明示的な自由分解を構成するものである。主な貢献は、$H_3(M_{24},\mathbb{Z}) = \mathbb{Z}_{12}$ や $H_5(M_{23},\mathbb{Z}) = \mathbb{Z}_7$ といった、以前は未知であったホモロジー群の計算であり、特にWythoff手法は特定の群に対して高速な代替手法を提供する。

ABSTRACT

We describe two methods for computing the low-dimensional integral homology of the Mathieu simple groups and use them to make computations such as $H_5(M_{23},\ZZ)=\ZZ_7$ and $H_3(M_{24},\ZZ)=\ZZ_{12}$. One method works via Sylow subgroups. The other method uses a Wythoff polytope and perturbation techniques to produce an explicit free $\ZZ M_n$-resolution. Both methods apply in principle to arbitrary finite groups.

研究の動機と目的

• マチュー群のこれまで未知であった低次元整係数ホモロジー群、特に $H_3(M_{24},\\mathbb{Z})$ と $H_5(M_{23},\mathbb{Z})$ の計算を目的とする。
• 有限群の整係数ホモロジーを計算するための一般化可能な2つの手法—Sylow部分群解析とWythoff多面体構成—の開発および適用を目的とする。
• 幾何的構成により明示的な自由 $\mathbb{Z}G$-分解を生成し、構成的ホモロジー計算を可能にする。
• $p \in \{5,7,11,23\}$ に対するホモロジーの $p$-部分を特定し、それが自明または $\mathbb{Z}_p$ であることを示す。
• 特に大きなマチュー群（例：$M_{24}$）に対して、Wythoff多面体手法の計算可能性および効率性を示す。

提案手法

• Sylow部分群手法は、射影 $H_n(\operatorname{Syl}_p, \mathbb{Z}) \twoheadrightarrow H_n(G, \mathbb{Z})_{(p)}$ を用い、群作用と正規化部分群の計算によりホモロジーの $p$-部分を計算する。
• Wythoff多面体手法は、単体 $\alpha_{n-1}$ の面格子 $\mathcal{K}$ と頂点集合 $V$ から $d$-複体 $P(\mathcal{K}; V)$ を構成し、$\mathbb{Z}G$ 上の $\mathbb{Z}$ の自由分解をもたらす。
• 摂動技法をWythoff複体に適用して明示的な自由分解 $R_*^G$ を得ることで、hapパッケージによるホモロジー計算が可能になる。
• 群 $G$ が多面体 $P$ に作用する場合、$P(\mathcal{K}(P); V)$ 上の軌道多面体構成を用いて $H_i(G, \mathbb{Z})$ を計算する。
• Sylow $p$-部分群が素数位数である場合、$H_n(P, \mathbb{Z}) \to H_n(G, \mathbb{Z})_{(p)}$ の核を計算するためにCartan-Eilenbergの二重コセット公式を適用する。
• サイクルの構成的上げ上げを可能にするために、明示的なホモトピー $h_k$ を計算し、コサイクルおよびチェーン写像の計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー群 $H_3(M_{24}, \mathbb{Z})$ の構造は何か？ また、幾何的分解手法を用いて計算可能か？
• RQ2 Wythoff多面体構成は、大規模なマチュー群の場合に、$\mathbb{Z}G$-加群の計算的に効率的な自由分解を生成できるか？
• RQ3 $p \in \{5,7,11,23\}$ に対する $H_n(M_n, \mathbb{Z})$ の $p$-部分は何か？ また、Sylow部分群とどのように関係するか？
• RQ4 Wythoff手法は、有限群のSylowに基づくまたは標準的な計算ホモロジー手法と比較して、どの程度効率的か？
• RQ5 Wythoff複体の摂動は、ホモロジー類の明示的計算を可能にする自由分解を生成できるか？

主な発見

• 本稿では $H_3(M_{24}, \mathbb{Z}) = \mathbb{Z}_{12}$ を確立し、以前は未知であったホモロジー群を解明し、新たな定理として確認した。
• また $H_5(M_{23}, \mathbb{Z}) = \mathbb{Z}_7$ を計算し、本手法が高次元ホモロジーに対しても有効であることを示した。
• $M_{24}$ に対しては、ホモロジー $H_4(M_{24}, \mathbb{Z}) = 0$ であり、$H_5(M_{24}, \mathbb{Z})$ は $(\mathbb{Z}_2)^a \oplus (\mathbb{Z}_4)^b \oplus \mathbb{Z}_7$ の形をとり、$0 \leq a \leq 53$ および $0 \leq b \leq 1$ であることがhapパッケージによって特定された。
• $p \in \{5,7,11,23\}$ に対するホモロジーの $p$-部分は自明または $\mathbb{Z}_p$ であることが示され、$H_n(P, \mathbb{Z}) \to H_n(G, \mathbb{Z})_{(p)}$ の核はCartan-Eilenbergの公式を用いて計算された。
• Wythoff多面体手法は、標準的手法と比較して著しく小さいランクを持つ分解を生成する。$M_{24}$ の場合、次数 $0$ から $4$ におけるランク列は $1, 9, 50, 204, 649$ である。
• 本手法は、$n$ 個の点に作用する任意の有限群に一般化可能であり、基底多面体として $n$ 次元単体 $\alpha_{n-1}$ を用いる。