[論文レビュー] Stable homology of automorphism groups of free groups

Søren Galatius|ArXiv.org|Oct 6, 2006

Geometric and Algebraic Topology被引用数 5

ひとこと要約

この論文は、自由群の自己同型群 Aut(Fₙ) の整数係数ホモロジーが、n > 2k+1 の範囲で安定化し、その範囲で対称群 Σₙ のホモロジーと同型であることを確立している。ホモトピー論的道具、特にグラフコボルディズム圏と外部空間の層論的モデルを用いて、著者は、分類空間 BAutₙ(F) が BΣₙ とホモロジー同値であることを証明し、Aut(Fₙ) の安定有理ホモロジーが消えることを確認するとともに、Z × BAut∞⁺ ≃ QS⁰ が成り立つことを示している。

ABSTRACT

Homology of the group Aut(F_n) of automorphisms of a free group on n generators is known to be independent of n in a certain stable range. Using tools from homotopy theory, we prove that in this range it agrees with homology of symmetric groups. In particular, Aut(F_n) has no stable rational homology, settling a conjecture of Hatcher and Vogtmann.

研究の動機と目的

• 自由群の生成数nに対するAut(Fₙ)の安定ホモロジーを特定すること。
• HatcherとVogtmannが提起した、Aut(Fₙ)の安定有理ホモロジーが消えるという予想を解明すること。
• Z × BAut∞⁺ と QS⁰ の間のホモトピー論的同値関係を確立し、Barratt-Priddy-Quillen定理を拡張すること。
• 外部空間の層論的モデルを通じて、Aut(Fₙ)のホモロジー安定性パターンを、写像類群や対称群のそれらと統一すること。

提案手法

• R^N 上にグラフの層を構成し、埋め込みグラフおよびその自己同型の空間をモデル化する。
• 分類空間が安定ホモトピー型をモデル化するグラフコボルディズム圏 Cₙ^N を導入する。
• グラフコボルディズム圏のポセットモデルを用いて、ホモトピーコロイミット分解を介してそのホモトピー型を分析する。
• プッシュアウト図式とホモトピーコロイミット分解を適用し、グラフスペンクターのホモトピー型を計算する。
• コボルディズム圏の分類空間と、トム空間のループ空間との間の弱同値を確立する。
• グラフスペンクターが、直交補空間 bundle のトム空間への弱同値を介して、無限ループ空間 QS⁰ と弱同値であることを活用する。

実験結果

リサーチクエスチョン

• RQ1 HatcherとVogtmannが予想したように、Aut(Fₙ)の安定有理ホモロジーは消えるか？
• RQ2 Barratt-Priddy-Quillen定理に類似した、Z × BAut∞⁺ と QS⁰ の間のホモトピー論的同値関係は存在するか？
• RQ3 安定範囲において、Aut(Fₙ)のホモロジーは対称群 Σₙ のホモロジーとどのように関係するか？
• RQ4 グラフのコボルディズム圏を用いて、Aut(Fₙ)の分類空間のホモトピー型を記述できるか？
• RQ5 グラフスペンクターは、Aut(Fₙ)の安定ホモトピー型を実現するために果たす役割は何か？

主な発見

• n > 2k+1 のとき、写像 φₙ: Σₙ → Aut(Fₙ) は、整数係数ホモロジー Hₖ(Σₙ) → Hₖ(Aut(Fₙ)) において同型を誘導する。
• Aut(Fₙ)の安定有理ホモロジーはすべての次数で消え、Hatcher-Vogtmannの予想が裏付けられた。
• 分類空間 BAut∞⁺ は、BAut∞ の＋-構成を施すことにより、QS⁰ と弱ホモトピー同値である。
• グラフコボルディズム圏 Cₙ^N の分類空間は、Ω^{N-1}Ψ_d(R^N) すなわちd次元部分多様体の空間のループ空間と弱同値である。
• トム空間 Th(U_d,N^⊥) は、写像 q により (V,v) を V−v に送ることで、閉じたd次元部分多様体の空間 Ψ_d(R^N) と弱同値である。
• 無限ループ空間 QS⁰ は、B𝒞_d^N の極限として回復され、写像類群のMadsen-Weiss定理が自由群自己同型群の文脈に拡張された。