[論文レビュー] A combinatorial description of homotopy groups of spheres

Roman Mikhailov, Jie Wu|arXiv (Cornell University)|Aug 15, 2011

Geometric and Algebraic Topology参考文献 8被引用数 4

ひとこと要約

本稿は、k ≥ 3 に対して、純ぶらうど群の自由被約積を用いた有限生成群の構成により、ホモトピー群 πₙ(Sᵏ) の組合せ的記述を提供する。その中心は πₙ(Sᵏ) に同型である。主な結果は、明示的な生成元と関係式によって定義される商群の中心として πₙ(Sᵏ) を同定することであり、これは既存の πₙ(S²) に関する研究を拡張するものである。

ABSTRACT

We give a combinatorial description of general homotopy groups of $k$-dimensional spheres with $k\geq3$ as well as those of Moore spaces. For $n>k\geq 3,$ we construct a finitely generated group defined by explicit generators and relations, whose center is exactly $π_n(S^k)$.

研究の動機と目的

• k ≥ 3 に対して、S² の場合に知られている πₙ(S²) の組合せ的記述を高次元球面 Sᵏ に拡張すること。
• 純ぶらうど群と被約自由積を含む群論的構成を用いて、πₙ(Sᵏ) の有限提示を提供すること。
• S² 以外のホモトピー群を組合せ的に記述するという長年の課題を解決すること。
• モアス空間 M(ℤ/q, 2) に対しても同様の枠組みを一般化し、そのホモトピー群に対し類似の中心同型を確立すること。

提案手法

• 2-ストランド純ぶらうど群 A₁,₂ から導かれる (k−1)-ストランドぶらうど群を用いたケーブル化プロセスにより、純ぶらうど群 Pₙ の部分群 Qₙ,ₖ を構成する。
• Qₙ,ₖ を被約部分群として用いた、Pₙ ∗Qₙ,ₖ Pₙ の自由被約積を形成する。
• すべてのインデックス集合が {1, ..., n} を被覆し、冗長性がないようにする反復交換子の積として定義される、対称的交換子部分群 [Rᵢ,ⱼ | 1 ≤ i < j ≤ n]ₛ を定義する。
• k = 3 かつ n ≠ 3 のとき、πₙ(Sᵏ) を商群 (Pₙ ∗Qₙ,ₖ Pₙ) / [Rᵢ,ⱼ | 1 ≤ i < j ≤ n]ₛ の中心として同定する。
• モアス空間 M(ℤ/q, 2) に拡張するため、ホモモルフィズム φ_q: Pₙ → Fₙ₋₁ を用いて Pₙ ∗φ_q Fₙ₋₁ を構成し、生成子およびぶらうど生成子の正規閉包に基づく対称的交換子部分群を定義する。
• 単体的群モデルのモアス境界が対称的交換子部分群に対応することを証明し、中心がホモトピー群を捉えることを可能にする。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 3 に対して、S² の場合に知られているものと同様の、群論的データに基づく πₙ(Sᵏ) の組合せ的記述を構成できるか？
• RQ2 純ぶらうど群と被約部分群を用いて構築された有限提示群の中心として、πₙ(Sᵏ) を実現することは可能か？
• RQ3 ブルーニアン型ぶらうどは、被約積群の中心を特徴付ける上で果たす役割は何か？
• RQ4 モアス空間 M(ℤ/q, 2) のホモトピー群を、ぶらうど群の構成を用いて組合せ的に記述できるか？
• RQ5 商群 (Pₙ ∗Qₙ,ₖ Pₙ) / [Rᵢ,ⱼ]ₛ の中心は正確に πₙ(Sᵏ) を捉えているか？例外は何か？

主な発見

• k ≥ 3 かつ k = 3 のとき n ≠ 3 ならば、πₙ(Sᵏ) は群 (Pₙ ∗Qₙ,ₖ Pₙ) / [Rᵢ,ⱼ | 1 ≤ i < j ≤ n]ₛ の中心に同型である。
• 例外的な場合 k = 3、n = 3 では中心が ℤ よりも大きくなり、π₃(S³) ≅ ℤ であるのと対照的であり、この場合に同型が成立しないことが示される。
• 商群の中心はブルーニアン型ぶらうどによって生成される——つまり、任意の1本のストランドを取り除くと自明になる要素である。
• モアス空間 M(ℤ/q, 2) に対しては、n > 3 のとき πₙ(M(ℤ/q, 2)) は群 (Pₙ ∗φ_q Fₙ₋₁) / [Rᵢ, Rₛ,ₜ | 1 ≤ i ≤ n, 1 ≤ s < t ≤ n]ₛ の中心に同型である。
• n = 3 かつ q が任意の値の例では、群 G はクラス2のノルム的3生成子提示を持ち、中心は ℤ/(2q, q²) に一致し、π₃(M(ℤ/q, 2)) と一致する。
• 対称的交換子部分群 [Rᵢ,ⱼ]ₛ は、{1, ..., n} を被覆し、包含関係において最小であるようなすべてのインデックス集合についての反復交換子の積として特徴づけられる。