[論文レビュー] Homological stability for mapping class groups of surfaces

Nathalie Wahl|arXiv (Cornell University)|Jun 23, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用数 41

ひとこと要約

この論文は、曲面の写像類群に対するハラーのホモロジー安定性定理の完全かつ最適化された証明を提供し、曲面の genus の増加に伴いホモロジー群が ≤2g/3 − 2/3 の次数で安定化することを確立している。証明は、順序付き弧複体とディスク複体という高次元に連結な単体的複体と、スペクトル系列の技法を用い、安定化写像がこの境界までホモロジーに同型を誘導することを示している。ハラー、イワノフ、ボルドーゼンの先行研究およびランダル＝ウィリアムズによる最終的な境界を改善し、現在知られている中で最良の安定化範囲を得た。

ABSTRACT

We give a complete and detailed proof of Harer's stability theorem for the homology of mapping class groups of surfaces, with the best stability range presently known. This theorem and its proof have seen several improvements since Harer's original proof in the mid-80's, and our purpose here is to assemble these many additions.

研究の動機と目的

• 曲面の写像類群に対するハラーのホモロジー安定性定理の包括的かつ最新の証明を提供すること。
• genus および境界成分の変化に伴うホモロジー安定化の最良の既知の安定化範囲を達成すること。
• ハラー、イワノフ、ボルドーゼン、ランダル＝ウィリアムズの改善を統合し、一貫性があり詳細な証明に洗練させること。
• 安定化写像を用いて、穴あき曲面および閉曲面への安定化結果を拡張すること。
• g ≡ 2 mod 3 の場合に安定化範囲が最適であり、それ以外の場合は最良の境界から最大で1つずれていることを示すこと。

提案手法

• 境界を持つ曲面に対して、高次元に連結で、安定化部分群がより小さい写像類群に対応する群作用を備えた2つの順序付き弧複体を構成する。
• これらの複体への群作用に関連するスペクトル系列を用い、大きな写像類群のホモロジーを小さな写像類群のホモロジーと関連付ける。
• 単体的近似やリンク・スターキャンセレーション分解などのPL位相の道具を用いた帰納的議論により、単体的複体の高次元連結性を証明する。
• 単体的近似定理を適用し、球面およびディスクからの連続写像を単体的写像に近似することで、連結性の議論を可能にする。
• スターやリンクの結合構造を用いて局所位相を分析し、命題6.1を用いて連結性の境界を確立する。
• ディスク複体モデルと境界成分を閉じる操作によって誘導される安定化写像 δg を用いて、閉曲面への結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 genus の増加に伴う曲面の写像類群におけるホモロジー安定化の最適な安定化範囲は何か？
• RQ2 現代の技法を用いて、最も鋭い境界を得るためにホモロジー安定性定理をどのように証明できるか？
• RQ3 ハラーの元々の 1/3g 範囲とイワノフの 1/2g 範囲を、どの程度まで改善できるか？
• RQ4 閉曲面における安定化範囲は、境界を持つ曲面のそれと一致するか、それ以上であるか？
• RQ5 同型のための 2g/3 − 2/3 および全射のための 2g/3 + 1/3 の最終的な安定化範囲は最適か？

主な発見

• 写像 H∗(αg): H∗(Γg,r+1, Z) → H∗(Γg+1,r, Z) は ∗ ≤ 2g/3 − 2/3 で同型であり、∗ ≤ 2g/3 + 1/3 で全射である。
• 写像 H∗(βg): H∗(Γg,r, Z) → H∗(Γg,r+1, Z) は ∗ ≤ 2g/3 で同型であり、常に単射である。
• 写像 H∗(δg): H∗(Γg,1, Z) → H∗(Γg,0, Z) は ∗ ≤ 2g/3 で同型であり、∗ ≤ 2g/3 + 1 で全射である。
• g ≡ 2 mod 3 の場合、安定化範囲は最適である。それ以外の場合は、最良の境界から最大で1つずれている。
• 結果は穴あき曲面へ拡張可能である：固定された穴や置換可能な穴を持つ写像類群の両方において、安定化定理が成り立つ。
• ハラー、イワノフ、ボルドーゼン、ランダル＝ウィリアムズの技術を統合し、PL位相と単体的近似に基づく連結性議論を用いることで、現在知られている中で最も鋭い安定化境界を達成した。