[论文解读] Homological stability for mapping class groups of surfaces

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

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

一句话总结

本文提供了哈雷尔关于曲面映射类群同调稳定性定理的完整且优化的证明，确立了迄今为止最佳的稳定性范围：随着曲面亏格增加，同调群在度数 ≤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.

研究动机与目标

• 提供哈雷尔关于曲面映射类群同调稳定性定理的全面且更新的证明。
• 在亏格与边界面数量变化下，实现同调稳定化的最佳已知稳定性范围。
• 将哈雷尔、伊万诺夫、博尔德森与兰德尔-威廉姆斯的改进统一并精炼为一个连贯且详尽的论证。
• 通过稳定化映射将稳定性结果推广至带标记点与闭曲面。
• 证明当 g ≡ 2 mod 3 时稳定性范围为最优，否则最多仅差一。

提出的方法

• 为带边界的曲面构造两个有序弧复形，其具有高度连通性，并具有群作用，稳定子群对应于更小的映射类群。
• 利用这些复形上群作用相关的谱序列，将较大映射类群的同调与较小映射类群的同调联系起来。
• 通过归纳论证与PL拓扑工具（包括单纯逼近与链-星分解）证明单纯复形的高度连通性。
• 应用单纯逼近定理，将从球面与圆盘出发的连续映射逼近为单纯映射，从而支持连通性论证。
• 利用星形与链的连合作用分析局部拓扑，并通过命题6.1建立连通性界限。
• 通过圆盘复形模型与通过补全一个边界分量诱导的稳定化映射 δg，将结果推广至闭曲面。

实验结果

研究问题

• RQ1 在亏格增加下，曲面映射类群同调稳定化的最优稳定性范围是什么？
• 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 时，稳定性范围为最优；否则，其与最佳可能界限最多相差一。
• 结果可推广至带标记点的曲面：稳定性定理对固定标记点与置换标记点的映射类群均成立。
• 通过综合哈雷尔、伊万诺夫、博尔德森与兰德尔-威廉姆斯的技术，该证明实现了迄今最尖锐的稳定性界限，连通性论证基于PL拓扑与单纯逼近。