[论文解读] The stable moduli space of Riemann surfaces: Mumford's conjecture

Ib Madsen, Michael Weiss|ArXiv.org|Dec 23, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用 21

一句话总结

本文证明了Mumford猜想：稳定黎曼曲面模空间的有理上同调是由度数为 $2i$ 的类 $\kappa_i$ 生成的多项式代数。通过同伦理论、Vassiliev 的 h-原理以及 Harer 的稳定性定理，作者证明了稳定映射类群的加法构造产生了一个无限循环空间，其同伦群实现该上同调，从而以最强形式确认了该猜想。

ABSTRACT

The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable mapping class group.

研究动机与目标

• 证明 Mumford 猜想在稳定黎曼曲面模空间有理上同调方面的最强形式。
• 证明稳定映射类群 $\varGamma_\infty$ 的加法构造产生一个无限循环空间。
• 将所得的广义上同调理论识别为 $\Omega^\infty \mathbb{C}P^\infty_{-1}$，从而实现 $\kappa_i$ 类生成的多项式代数。
• 使用同伦理论技术（包括同伦余极限与协调理论）分析曲面自同构的分类空间。
• 将 Vassiliev 的 h-原理应用于具有中等奇点的函数空间，以建模黎曼曲面的模空间。

提出的方法

• 作者使用通过 Quillen 的加法构造在稳定映射类群上构造的 $B\varGamma_\infty^+$ 的稳定同伦类型。
• 他们应用 Harer 的稳定性定理，证明低度数上同调的稳定性，从而使得 $B\varGamma_\infty^+$ 可定义为余极限。
• 关键工具是 Vassiliev 的 h-原理，适用于具有受控奇点的函数空间，该原理允许在模空间与某些 Thom 空间之间构造同伦等价。
• 证明依赖于将模空间分解为基于 Morse 函数空间与手术操作的若干部分，并使用同伦余极限将它们粘合起来。
• 他们利用传输投影与同伦余极限分解，证明曲面自同构的分类空间同伦等价于一个 Thom 谱。
• 通过映射 $\alpha_\infty$ 及对上同调环的比较，确立了 $B\varGamma_\infty^+$ 与 $\Omega^\infty \mathbb{C}P^\infty_{-1}$ 的识别。

实验结果

研究问题

• RQ1 稳定黎曼曲面模空间的有理上同调是否是由度数为 $2i$ 的类 $\kappa_i$ 生成的多项式代数？
• RQ2 稳定映射类群的分类空间在加法构造后，是否可实现为一个无限循环空间？
• RQ3 Vassiliev 的 h-原理是否适用于具有中等奇点的函数空间，从而为黎曼曲面的模空间提供一个模型？
• RQ4 能否将 $B\varGamma_\infty^+$ 的同伦类型识别为 $\Omega^\infty \mathbb{C}P^\infty_{-1}$，即与复射影空间带负扭转相关的无限循环空间？
• RQ5 映射 $\alpha_\infty: \mathbb{Z} \times B\varGamma_\infty^+ \to \Omega^\infty \mathbb{C}P^\infty_{-1}$ 是否为弱同伦等价？

主要发现

• 稳定黎曼曲面模空间的有理上同调同构于多项式代数 $\mathbb{Q}[\kappa_1, \kappa_2, \kappa_3, \dots]$，其中 $\kappa_i$ 的度数为 $2i$，从而确认了 Mumford 的猜想。
• 稳定映射类群 $\varGamma_\infty$ 的加法构造产生的空间 $B\varGamma_\infty^+$ 是一个无限循环空间，因此表示一个广义上同调理论。
• 与 $B\varGamma_\infty^+$ 相关的广义上同调理论被识别为 $\Omega^\infty \mathbb{C}P^\infty_{-1}$，即复射影空间带负扭转的无限循环空间。
• 映射 $\alpha_\infty: \mathbb{Z} \times B\varGamma_\infty^+ \to \Omega^\infty \mathbb{C}P^\infty_{-1}$ 是一个弱同伦等价，从而确立了两个空间的识别。
• 该证明依赖于将模空间分解为基于 Morse 函数空间与手术操作的若干部分的同伦余极限分解，协调理论确保了同伦不变性。
• 通过参数化多重手术及在稳定范围内消去 $d$-球面，控制了相关空间的连通性，利用了 Harer-Ivanov 稳定性定理。