[論文レビュー] 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 $ の曲面における写像類群が位相的同相によって実現可能でないという問題を解決すること。
• 微分同相や解析的微分同相に対しては既に非実現性が示されているが、それらを全位相的同相群へと拡張すること。
• 閉じた曲面 $ M $ の写像類群 $ \mathcal{MC}(M) $ から $ \operatorname{Homeo}(M) $ への群準同型的セクションの存在不可能性を確立すること。
• 連続的対称性を介した写像類群の上昇に関する群論的障害を統合的かつ完全に理解すること。

提案手法

• Farb-Margalit に由来する、曲線の鎖に沿ったデーンねじりを含む、写像類群におけるアーティン型関係を分析する。
• 円形領域の位相的同相の動的挙動を調べるために、上昇写像における「ねじれ数」の概念を導入する。
• 仮定されたセクションの動的挙動を解析するための最小円形領域 $ A_{\min} $ を構成する。
• 写像類群の部分群に対する上半連続分解と最小分解を用いて、不変集合の位相的構造を制御する。
• 群の元を普遍被覆空間 $ P $ に上昇させ、上昇写像の固定点および軌道の挙動を調べることで矛盾を導出する。
• 巡回群作用にリプシッツ型の条件を適用し、$ \mathcal{E}(t_\gamma) $ の回転数がゼロでなければならないことを示し、期待される非自明な力学と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 閉じた曲面 $ M $ の写像類群 $ \mathcal{MC}(M) $ は、群準同型 $ \mathcal{E}: \mathcal{MC}(M) \to \operatorname{Homeo}(M) $ を介して、向きを保つ位相的同相の部分群として実現可能か？
• RQ2 写像類群におけるアーティン型関係が、位相的同相作用に上昇された際に、位相的矛盾を引き起こすか？
• RQ3 微分同相に対してセクションが存在しない場合でも、$ \mathcal{MC}(M) $ から $ \operatorname{Homeo}(M) $ への準同型的セクションの存在に、位相的障害があるか？
• RQ4 仮想的なセクションにおけるデーンねじりの動的挙動は、円形領域への上昇と回転数を用いて解析可能であり、矛盾を導くか？
• RQ5 最小円形領域 $ A_{\min} $ の構成と関連する上昇性質は、回転数をゼロに強制し、デーンねじりの期待される挙動と矛盾するか？

主な発見

• 群準同型 $ \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 が開始したプログラムを完成させ、微分可能性の最も弱いクラス（位相的同相）に対しても、このようなセクションが存在しないことを示している。
• 主な障害は、アーティン型関係と、普遍被覆空間への上昇における円形領域の位相的剛性の間の相互作用に存在する。