[論文レビュー] A note on the connectivity of certain complexes associated to surfaces

Andrew Putman|arXiv (Cornell University)|Dec 26, 2006

Topological and Geometric Data Analysis参考文献 19被引用数 39

ひとこと要約

本稿では、写像類群の生成子と関係式を用いた群論的技法を導入し、曲線複体の連結性および単連結性を一様かつ簡潔に証明する。主な貢献は、曲線複体、分離曲線、非分離曲線、パンツ複体、カットシステム、および2つの新しい複体（ genus $2g$ の曲面を2つの genus $g$ の部分曲面に分割する曲線と、固定された曲線とホモロジーッ的に同値な曲線）の連結性を形式的かつ有限に検証可能な方法で確立する点である。この方法は、曲線の手作業的切断やテイコミュラー理論を回避し、写像類群の代数的構造に依拠する。

ABSTRACT

This note is devoted to a trick which yields almost trivial proofs that certain complexes associated to topological surfaces are connected or simply connected. Applications include new proofs that the complexes of curves, separating curves, nonseparating curves, pants, and cut systems are all connected for genus $g \gg 0$. We also prove that two new complexes are connected : one involves curves which split a genus $2g$ surface into two genus $g$ pieces, and the other involves curves which are homologous to a fixed curve. The connectivity of the latter complex can be interpreted as saying the ``homology'' relation on the surface is (for $g \geq 3$) generated by ``embedded/disjoint homologies''. We finally prove that the complex of separating curves is simply connected for $g \geq 4$.

研究の動機と目的

• 曲面に関連する複体の連結性および単連結性を証明する一般的かつ形式的な手法を、写像類群の代数的性質に基づいて開発すること。
• 古典的複体（曲線複体、分離曲線複体、非分離曲線複体、パンツ複体、カットシステムグラフ）の既存の連結性証明を統一的かつ簡略化すること。
• 2つの新しい複体の連結性を証明すること：1つは genus $2g$ の曲面を2つの genus $g$ の部分曲面に分割する曲線の複体であり、もう1つは固定された曲線とホモロジーッ的に同値な曲線の複体である。
• $g \geq 4$ に対して、分離曲線複体が単連結であることを確立し、既知の連結性結果を拡張すること。

提案手法

• 写像類群 $\mathrm{Mod}(\Sigma_g)$ の既知の表示、特に Wajnryb 表現の変種を活用し、関連複体の連結性および単連結性を導出する。
• 写像類群がこれらの複体に作用すること、および生成子と関係式の構造から連結性が導かれるという事実を用いる。
• 特に、デーンねじりの共役作用と合成作用を用いた群論的技法を適用し、複体内のパスをホモトピー変形して必要な幾何的条件を満たす。
• 帰納法とパスの変形技術を用い、任意のパスを幾何的最小性および交差性の条件を満たすものに変換する。
• ハイパーエリプティック対合と特定のデーンねじり関係式を用い、複体内の曲線の位相的性質を制御する。
• 手作業的曲線切断技法の代わりに、既知の群表示に基づく形式的かつ検証可能な代数的変形を導入する。

実験結果

リサーチクエスチョン

• RQ1 曲線複体、分離曲線複体、非分離曲線複体といった古典的曲線複体の連結性は、幾何的・位相的切断に頼らず、群論的手法によって一様に証明可能か？
• RQ2 genus $2g$ の曲面を2つの genus $g$ の部分曲面に分割する曲線の複体 $\mathcal{C}_{\text{half}}(\Sigma_{2g})$ は連結か？ また、明示的な幾何的構成を用いずにこれを示せるか？
• RQ3 固定された曲線とホモロジーッ的に同値な曲線の複体は連結であると証明可能か？ これは、曲面上のホモロジー関係が埋め込まれたかつ交差しないホモロジーによって生成されることを意味するか？
• RQ4 $g \geq 4$ に対して、分離曲線複体は単連結であるか？ また、写像類群の表示から代数的にこれを確立できるか？
• RQ5 写像類群の標準的表示を用いて、関連複体の位相的性質を形式的かつ有限に検証可能な方法で導出可能か？

主な発見

• 曲線複体 $\mathcal{C}(\Sigma_g)$ は $g \geq 2$ で連結であり、非分離曲線複体 $\mathcal{C}_{\text{nosep}}(\Sigma_g)$ は $g \geq 2$ で連結であり、両者に共通する群論的証明が与えられる。
• 分離曲線複体 $\mathcal{C}_{\text{sep}}(\Sigma_g)$ は $g \geq 3$ で連結であり、$g \geq 4$ で単連結であることが示され、既存の結果が拡張される。
• genus $2g$ の曲面を2つの genus $g$ の部分曲面に分割する曲線の複体 $\mathcal{C}_{\text{half}}(\Sigma_{2g})$ は $g \geq 1$ で連結であり、Schleimer が提起した問いに答えている。
• 固定された曲線とホモロジーッ的に同値な曲線の複体は $g \geq 3$ で連結であり、これは「ホモロジー」関係が埋め込まれたかつ交差しないホモロジーによって生成されることを示唆する。
• パンツグラフ $\mathcal{P}(\Sigma_g)$ およびカットシステムグラフ $\mathcal{CT}(\Sigma_g)$ は、同一の一般的手法により、テイコミュラー理論やモース理論に依拠せず連結であることが示される。
• 写像類群の Wajnryb 表現の変種を用い、$g \geq 4$ に対して分離曲線複体が単連結であることを証明した。主な関係式はハイパーエリプティック対合と特定のデーンねじり積を含む。