[論文レビュー] 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$ の詳細な解析を通じて、誘導されるコホモロジー写像が対角類に沿って消えないことを示し、矛盾を導き出している。これにより、1990年にG. メスが主張したが誤りを含んでいた長年の未解決問題が解決された。

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完全系列が有限指数部分群の意味で分解するかどうかという未解決問題を解消すること。
• 1990年にG. メスが同様の結果を主張したが、部分群の仮定に深刻な誤りを含んでいたため、その誤った議論を是正し、完全化すること。
• Torelli群の任意の有限指数部分群が、Birman完全系列のセクションをもたないことを示すこと。
• Torelli空間上のホモロジー的フレーム付き曲線の普遍族が、連続的 multisection をもたないことを確立すること。
• 2世紀の曲面では multisection が存在するにもかかわらず、4世紀以上前から存在するセクションの欠如が、仮想的意味でも保たれることを示すこと。

提案手法

• 仮想的なBirman完全系列のセクションから、$s: \overline{\mathcal{H}} \to \pi_1(\Sigma_p)$ という候補セクション写像を構成する。
• Dehn回転の作用と共役不変性を用いて $s$ の像を解析し、Torelli群の像に属するすべての $x$ に対して $s(x)$ が自明でなければならないことを示す。
• 座標変換の原理を適用して、$\pi_1(\Sigma_p)$ の任意の非自明な元は、ある分離曲線と交わらなければならないことを示し、$s(x)$ が非自明であれば矛盾が生じることを導く。
• Poincaré双対性とThom同型を用いて、$i \times s$ による対角類 $[\Delta]$ の引き戻しはコホモロジーで消えることを示す。
• 一方で、$[\Delta]$ の引き戻しが $H^2(\overline{\mathcal{H}})$ で非ゼロであることを示し、$\iota^*([\Delta]) = 0$ である $H^2(\operatorname{PConf}_2(\Sigma_p))$ における消滅条件と矛盾することを導く。
• 2つの場合に分けて議論する：(A) $s^* = i^*$ が次数1で成り立つ場合、(B) $s^* = 0$ が正の次数で成り立つ場合。両方とも、非ゼロのオイラー特性項が生じ、矛盾を引き起こす。

実験結果

リサーチクエスチョン

• RQ1 $g \geq 4$ の場合、Torelli群の有限指数部分群 $\Gamma \leq \mathcal{I}(\Sigma_g)$ に対して、Birman完全系列が仮想的に分解可能か。
• RQ2 $g \geq 4$ の場合、Torelli空間上のホモロジー的フレーム付き曲線の普遍族に対して、連続的 multisection を構成できるか。
• RQ3 1990年のG. メスの誤った議論は、Birman系列が仮想的に分解しないことを正しく確立しているか。
• RQ4 任意の有限シート被覆のモジュライ空間 $\mathcal{M}_g$（$g \geq 4$）において、セクションの存在にホモロジー的障害があるか。
• RQ5 複数の異なる点を連続的に選ぶ multisection を許容しても、セクションの存在は排除できるか。

主な発見

• 曲面の genus が $g \geq 4$ のとき、任意の有限指数部分群 $\Gamma \leq \mathcal{I}(\Sigma_g)$ に対して、Birman完全系列は仮想的に分解しない。これは長年の未解決問題を解決する。
• 仮想的なセクションから構成された準同型 $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$ は連続的 multisection をもたないことが示され、非分解性の結果が multisection の文脈へと拡張された。