[论文解读] The Birman exact sequence does not virtually split

Lei Chen, Nick Salter|arXiv (Cornell University)|Apr 30, 2018

Finite Group Theory Research参考文献 2被引用 3

一句话总结

本文证明了当曲面的亏格 $g \geq 4$ 时，映射类群的Birman正合序列并不几乎分裂，这意味着Torelli群的任意有限指数子群都不允许存在截面。通过同调约束以及对候选截面映射 $s$ 的详细分析，作者通过证明其在上同调上的诱导映射无法在对角类上消失，从而导出矛盾，最终解决了G. Mess于1990年曾声称但错误地证明的长期悬而未决的问题。

ABSTRACT

This paper answers a basic question about the Birman exact sequence in the theory of mapping class groups. We prove that the Birman exact sequence does not admit a section over any subgroup $Γ$ contained in the Torelli group with finite index. A fortiori this proves that there is no section of the Birman exact sequence for any finite-index subgroup of the full mapping class group. This theorem was announced in a 1990 preprint of G. Mess, but an error was uncovered and described in a recent paper of the first author.

研究动机与目标

• 解决关于当曲面亏格 $g \geq 4$ 时，Birman正合序列是否几乎分裂的开放性问题。
• 纠正并补全G. Mess（1990年）的错误论证，其声称得到相同结果，但其子群假设中存在关键错误。
• 证明Torelli群的任意有限指数子群都不允许存在Birman正合序列的截面。
• 确立Torelli空间上同调框架曲线的全族不允许可积连续多值截面。
• 证明即使在亏格为2时存在多值截面，该截面的缺失在虚拟意义下依然成立。

提出的方法

• 从Birman正合序列的假设截面出发，构造候选截面映射 $s: \overline{\mathcal{H}} \to \pi_1(\Sigma_p)$。
• 利用德恩变换的作用和共轭不变性分析 $s$ 的像，证明 $s(x)$ 必须对Torelli群像中的所有 $x$ 都为平凡元。
• 应用坐标变换原理，表明 $\pi_1(\Sigma_p)$ 中的任意非平凡元必须与某个分离曲线相交，从而在 $s(x)$ 非平凡时导致矛盾。
• 应用庞加莱对偶性和汤姆同构，证明映射 $i \times s$ 下对角类 $[\Delta]$ 的拉回在上同调中消失。
• 通过证明 $[\Delta]$ 的拉回在 $H^2(\overline{\mathcal{H}})$ 中非零，从而导出矛盾，与 $\iota^*([\Delta])$ 在 $H^2(\operatorname{PConf}_2(\Sigma_p))$ 中为零的事实相悖。
• 区分两种情形：(A) 在度数1上 $s^* = i^*$，以及 (B) 在正度数上 $s^* = 0$，证明两种情形均通过非零欧拉特征项导致矛盾。

实验结果

研究问题

• RQ1 当 $g \geq 4$ 时，Birman正合序列是否对Torelli群的任意有限指数子群几乎分裂？
• RQ2 当 $g \geq 4$ 时，是否能为Torelli空间上同调框架曲线的全族构造出连续多值截面？
• RQ3 G. Mess于1990年提出的错误论证是否正确地证明了Birman序列并不几乎分裂？
• RQ4 当 $g \geq 4$ 时，是否存在对模空间 $\mathcal{M}_g$ 的任意有限覆盖上同调截面存在的障碍？
• RQ5 即使允许多值截面（即连续选择多个不同点），是否仍可排除截面的存在？

主要发现

• 当 $g \geq 4$ 时，Birman正合序列对Torelli群的任意有限指数子群 $\Gamma \leq \mathcal{I}(\Sigma_g)$ 都不几乎分裂，解决了长期悬而未决的开放问题。
• 由假设截面构造出的同态 $s$ 必须将所有元素映射到 $\pi_1(\Sigma_p)$ 中的平凡元，这与上同调拉回的非平凡性相矛盾。
• $i \times s$ 下对角类 $[\Delta]$ 的拉回在 $H^2(\overline{\mathcal{H}})$ 中非零，与 $\iota^*([\Delta]) = 0$ 在 $H^2(\operatorname{PConf}_2(\Sigma_p))$ 中的事实相矛盾。
• 在情形(A)中，当 $s^* = i^*$ 在度数1时，$[\Sigma_p]$ 的拉回为 $\chi(\Sigma_p)[\overline{\mathcal{H}}]$，其非零，因此与消失条件矛盾。
• 在情形(B)中，当 $s^* = 0$ 在正度数时，$[\Sigma_p]$ 的拉回仍为 $\chi(\Sigma_p)[\overline{\mathcal{H}}]$，其非零，再次与所需消失性矛盾。
• 该结果意味着当 $g \geq 4$ 时，全族 $\mathscr{I}_{g,*} \to \mathscr{I}_g$ 不允许可积连续多值截面，将非分裂结果推广至多值截面情形。