[论文解读] Infinite topology of curve complexes and non-Poincare duality of Teichmueller modular groups

Nikolai V. Ivanov, Lizhen Ji|ArXiv.org|Jul 29, 2007

Geometric and Algebraic Topology参考文献 15被引用 8

一句话总结

本文证明，亏格 $ g \geq 2 $ 的闭可定向曲面的曲线复形同伦等价于无穷多个 $ (2g-2) $-球面的楔和，这意味着尽管映射类群 $ \mathrm{Mod}_g $ 是虚拟对偶群（虚拟上同调维数为 $ 4g-5 $），它却不是庞加莱对偶群。该结果解决了在泰希米勒模群与算术群类比中的一个关键拓扑障碍。

ABSTRACT

In this note, we fill in a gap in the literature by proving that the Teichmueller modular groups (mapping class groups) are not Poincare duality groups and the complexes of curves of surfaces have infinite homotopy type (i.e. are not homotopy equivalent to a finite CW-complex).

研究动机与目标

• 为亏格 $ g \geq 2 $ 的曲面明确曲线复形 $ \mathcal{C}(S) $ 的拓扑性质，特别是其同伦型。
• 在已知映射类群 $ \mathrm{Mod}_g $ 是虚拟对偶群的前提下，确定其是否满足庞加莱对偶性。
• 通过研究曲线复形是否在作用上类似于博雷尔-塞尔理论中球面蒂茨建筑的角色，拓展泰希米勒模群与算术群之间的类比。
• 澄清曲线复形的拓扑维数 $ 3g-4 $ 与同伦维数 $ 2g-2 $ 之间的差异，与蒂茨建筑的索洛蒙-蒂茨定理形成对比。

提出的方法

• 利用博雷尔-塞尔对偶理论与法拉尔同构，将映射类群的上同调与加厚泰希米勒空间边界处的上同调联系起来。
• 应用同构 $ H^\nu(\Gamma, \mathbb{Z}\Gamma) \cong \widetilde{H}_n(\partial T_g(\varepsilon), \mathbb{Z}) \cong \widetilde{H}_n(\mathcal{C}(S), \mathbb{Z}) $，其中 $ \nu = 4g-5 $，$ n = 2g-2 $，且 $ \Gamma $ 是 $ \mathrm{Mod}_g $ 的无扭有限指数子群。
• 应用法拉尔定理：若 $ \Gamma $ 是一个对偶群且 $ H^\nu(\Gamma, \mathbb{Z}\Gamma) $ 是有限生成的，则其为庞加莱对偶群。
• 假设 $ \mathcal{C}(S) $ 同伦等价于有限个 $ (2g-2) $-球面的楔和，从而推出 $ H^\nu(\Gamma, \mathbb{Z}\Gamma) \cong \mathbb{Z}^k $（$ k $ 有限），这将意味着 $ \Gamma $ 是庞加莱对偶群。
• 通过存在梅斯子群（有限上同调维数的无限指数子群）导出矛盾，这些子群违反了庞加莱对偶性所需的上同调维数条件。
• 由此得出结论：$ \mathcal{C}(S) $ 必须同伦等价于可数无穷多个 $ (2g-2) $-球面的楔和，基于矛盾与复形的可数性。

实验结果

研究问题

• RQ1 亏格 $ g \geq 2 $ 的曲面的曲线复形 $ \mathcal{C}(S) $ 是否同伦等价于有限个球面的楔和？
• RQ2 在已知映射类群 $ \mathrm{Mod}_g $ 是维数为 $ 4g-5 $ 的虚拟对偶群的前提下，它是否满足庞加莱对偶性？
• RQ3 曲线复形 $ \mathcal{C}(S) $ 的同伦型与博雷尔-塞尔理论中算术群的球面蒂茨建筑的同伦型有何比较？
• RQ4 为何曲线复形的同伦维数为 $ 2g-2 $，而其拓扑维数为 $ 3g-4 $，而蒂茨建筑中两者却一致？
• RQ5 是否能不依赖上同调矛盾论证，直接检测到 $ \mathcal{C}(S) $ 的无限同伦型？

主要发现

• 对于亏格 $ g \geq 2 $ 的闭曲面，其曲线复形 $ \mathcal{C}(S) $ 同伦等价于可数无穷多个 $ (2g-2) $-球面的楔和。
• 映射类群 $ \mathrm{Mod}_g $ 的虚拟上同调维数为 $ 4g - 5 $，且是该维数的虚拟对偶群。
• 对于 $ \mathrm{Mod}_g $ 的无扭有限指数子群 $ \Gamma \subset \mathrm{Mod}_g $，上同调群 $ H^{4g-5}(\Gamma, \mathbb{Z}\Gamma) $ 同构于约化同调 $ \widetilde{H}_{2g-2}(\mathcal{C}(S), \mathbb{Z}) $，而该同调群仅当 $ \mathcal{C}(S) $ 为有限楔和时才有限生成。
• 假设 $ \mathcal{C}(S) $ 为有限楔和将导致与梅斯子群存在的矛盾：这些子群是无限指数的，但具有小于 $ 4g-5 $ 的上同调维数，违反了庞加莱对偶性的条件。
• 因此，$ \mathcal{C}(S) $ 不可能是有限楔和，而必须是可数无穷多个 $ (2g-2) $-球面的楔和。
• 该结果表明，泰希米勒模群与算术群之间的类比在如下意义上失效：尽管两者具有相似的上同调行为，但曲线复形并不具备蒂茨建筑那样的有限同伦型。