[论文解读] The mapping class group cannot be realized by homeomorphisms

Vladimir Marković, Dragomir Šarić|ArXiv.org|Jul 1, 2008

Geometric and Algebraic Topology参考文献 7被引用 6

一句话总结

本文证明了闭曲面（亏格 $ g \geq 2 $）的映射类群无法通过保向同胚实现，即不存在从映射类群到同胚群的群同态，使得其在标准投影下复合为恒等映射。证明基于对映射类群中阿廷型关系的分析，并利用环面上的拓扑动力学与万有覆盖上的提升性质导出矛盾。

ABSTRACT

Let $M$ be a closed surface. By $\Homeo(M)$ we denote the group of orientation preserving homeomorphisms of $M$ and let $\MC(M)$ denote the Mapping class group. In this paper we complete the proof of the conjecture of Thurston that says that for any closed surface $M$ of genus $\g \ge 2$, there is no homomorphic section $\E:\MC(M) o \Homeo(M)$ of the standard projection map $\Proj:\Homeo(M) o \MC(M)$.

研究动机与目标

• 解决 Thurston 长期以来关于亏格 $ g \geq 2 $ 曲面上映射类群无法通过同胚实现的猜想。
• 将先前关于微分同胚与解析微分同胚不可实现性的结果推广至完整的同胚群。
• 确立从闭曲面（亏格 $ g \geq 2 $）的映射类群到其同胚群的同态截面不可能存在的结论。
• 统一并完成对通过连续对称性提升映射类群时群论障碍的理解。

提出的方法

• 分析由 Farb-Margalit 推导出的映射类群中的阿京型关系，特别是涉及曲线链上德恩扭转的部分。
• 引入同胚在环面上的扭转数概念，以研究其在万有覆盖上的提升后的动力行为。
• 在曲面上构造一个极小环面 $ A_{\min} $，用于分析假设截面的动力学。
• 使用上半连续分解与子群的极小分解，控制 $ \operatorname{Homeo}(M) $ 的不变集的拓扑结构。
• 将群元素提升至万有覆盖 $ P $，研究其提升的不动点与轨道行为，从而导出矛盾。
• 对循环群作用施加一种利普希茨型条件，证明 $ \mathcal{E}(t_\gamma) $ 的旋转数必须为零，与预期的非平凡动力学相矛盾。

实验结果

研究问题

• RQ1 闭曲面（亏格 $ g \geq 2 $）的映射类群能否通过群同态实现为保向同胚的子群？
• RQ2 映射类群中的阿京型关系在提升至同胚作用时是否会导致拓扑矛盾？
• RQ3 即使对微分同胚不存在截面，是否存在拓扑障碍，使得 $ \mathcal{MC}(M) $ 到 $ \operatorname{Homeo}(M) $ 的同态截面也不存在？
• RQ4 能否通过环面提升与旋转数分析假设截面下德恩扭转的动力学，从而导出矛盾？
• RQ5 极小环面构造及其相关提升性质是否强制旋转数为零，从而与德恩扭转的预期行为相矛盾？

主要发现

• 不存在同态 $ \mathcal{E}: \mathcal{MC}(M) \to \operatorname{Homeo}(M) $，使得 $ \mathcal{P} \circ \mathcal{E} = \text{id}_{\mathcal{MC}(M)} $，从而证明了映射类群无法通过同胚实现。
• 矛盾源于证明了旋转数 $ \rho(\mathcal{E}(t_\gamma), A_{\min}) = 0 $，这与德恩扭转的预期非平凡动力学相矛盾。
• 极小环面 $ A_{\min} $ 及其提升 $ P $ 被用于分析 $ \mathcal{E}(t_\gamma) $ 的作用，通过轨道的长程利普希茨控制导出矛盾。
• 该证明对所有亏格 $ g \geq 2 $ 均适用，仅对偶数与奇数亏格作轻微的拓扑区分。
• 该结果完成了 Morita、Franks-Handel 与 Cantat-Cerveau 启动的程序，表明即使在最弱正则类（同胚）下，此类截面也不存在。
• 关键障碍在于阿京型关系与同胚提升至万有覆盖后环面动力学的拓扑刚性之间的相互作用。