[论文解读] Low-dimensional homology groups of mapping class groups: a survey

Mustafa Korkmaz|ArXiv.org|Jul 9, 2003

Geometric and Algebraic Topology参考文献 38被引用 61

一句话总结

本综述全面总结了可定向与不可定向曲面的映射类群的一阶和二阶同调群的已知结果。它完整计算了带边和带 punctures 的曲面的映射类群的 $H_1$ 和 $H_2$，为经典结果提供了新的证明——包括在具有多个边界的亏格一曲面上德恩旋转变换不生成整个映射类群——并将这些结果推广至不可定向曲面，其中当 $g \geq 7$ 时，$H_1(\Gamma_g^n; \mathbb{Z}) \cong \mathbb{Z}_2^{n+1}$。本文还概述了高阶同调与上同调中的开放问题，特别是 $H_2(\Gamma_{2,r}^n)$ 和 $H_2(\Gamma_{3,r}^n)$ 的问题。

ABSTRACT

In this survey paper, we give a complete list of known results on the first and the second homology groups of surface mapping class groups. Some known results on higher (co)homology are also mentioned.

研究动机与目标

• 整理并系统化所有关于带边和 punctures 的可定向曲面的映射类群的一阶和二阶同调群的已知结果。
• 为经典结果提供新的、初等的证明，包括 $H_1(\Gamma_{1,r}^n)$ 的结构，以及在亏格一且 $r \geq 2$ 个边界分量时德恩旋转变换不生成映射类群的事实。
• 将同调分析扩展至不可定向曲面，计算 $H_1(\Gamma_g^n; \mathbb{Z})$（当 $g \geq 7$ 时），并将其与纯映射类群和全映射类群联系起来。
• 概述高维上同调中的已知结果与开放问题，特别是关于稳定上同调和 $\Gamma_2$ 的模 2 上同调。

提出的方法

• 本文采用映射类群的标准定义：即保持方向并固定 punctures 和边界分量的微分同胚的同伦类。
• 它应用德恩旋转变换关系——辫子关系、双孔环面关系和灯塔关系——作为分析群结构与同调的基础工具。
• 作者运用万有系数定理和同调稳定性定理（如哈雷和伊万诺夫的定理）来推导 $H_2$ 及更高阶同调群的性质。
• 对于不可定向曲面，本文依赖利科里什和奇林沃思的生成集（包含德恩旋转变换和横贯滑动）来计算 $H_1$。
• 它利用群扩张和正合序列将纯映射类群 $\Gamma_g^n$ 与全群 $\mathcal{M}_g^n$ 联系起来，从而实现同调计算。
• 本文综合了多个来源的结果，包括德恩、约翰逊、哈雷、米勒、本森-科恩，以及作者自身的研究，以呈现一个统一的综述。

实验结果

研究问题

• RQ1 对于所有 $g, r, n$，一阶同调群 $H_1(\Gamma_{g,r}^n; \mathbb{Z})$ 的完整结构是什么？
• RQ2 对于所有 $g, r, n$，二阶同调群 $H_2(\Gamma_{g,r}^n; \mathbb{Z})$ 是什么？哪些情形仍为开放问题？
• RQ3 为何关于非分离曲线的德恩旋转变换在 $r \geq 2$ 时无法生成 $\Gamma_{1,r}^n$，而高亏格情形下却可以？
• RQ4 不可定向曲面的映射类群的一阶同调是什么？其纯群与全群之间有何差异？
• RQ5 映射类群的高维上同调中，已知结果与开放问题有哪些？

主要发现

• 对于可定向曲面，当 $g=1$ 且 $n=0$ 时，$H_1(\Gamma_g^n; \mathbb{Z}) \cong \mathbb{Z}_2$；当 $r \geq 2$ 时，$H_1(\Gamma_{1,r}^n; \mathbb{Z}) \cong \mathbb{Z}_2^{r+n}$，并提供了新证明。
• 二阶同调群 $H_2(\Gamma_2; \mathbb{Z})$ 同构于 $\mathbb{Z}_2$，这是目前唯一已知的亏格二的非平凡 $H_2$。
• 不可定向曲面的纯映射类群的一阶同调满足：当 $g \geq 7$ 时，$H_1(\Gamma_g^n; \mathbb{Z}) \cong \mathbb{Z}_2^{n+1}$，该结果已在 [27] 中证明。
• 对于全映射类群 $\mathcal{M}_g^n$，有 $H_1(\mathcal{M}_g^n; \mathbb{Z}) \cong \mathbb{Z}_2^{k(g,n)}$，其中 $k(g,n)$ 是基于 $g$ 和 $n$ 分段定义的函数，且当 $g \geq 7$ 时 $k(g,0)=1$。
• 由本森和科恩计算得出，$\Gamma_2$ 的模 2 上同调的庞加莱级数为 $ (1 + t^2 + 2t^3 + t^4 + t^5)/(1 - t)(1 - t^4) $。
• 当 $g \geq 6$ 时，第三有理同调群 $H_3(\Gamma_{g,r}; \mathbb{Q})$ 为零，且有理上同调代数由度数为 $2n$ 的类 $y_{2n}$ 在度数小于 $g/3$ 的范围内单射生成。