[論文レビュー] The end of the curve complex

Saul Schleimer|ArXiv.org|Aug 21, 2006

Geometric and Algebraic Topology参考文献 3被引用数 4

ひとこと要約

本稿は、$g \geq 2$ かつ境界成分が1つの曲面 $S_{g,1}$ に対して、任意の頂点 $\omega$ の周囲の半径 $r$ の球を除いても、曲線複体が依然として連結であることを証明する。証明では部分曲面への射影、擬アイルフォン写像類、および穴あき曲面上のファイバー構造を用いて、球を避けるパスを構成し、曲線複体が単一の端しか持たないことを確立する。これはマスールが提起した問題を解決し、グロモフ境界の連結性に関する証拠を提供する。

ABSTRACT

Suppose that S is a surface of genus two or more, with exactly one boundary component. Then the curve complex of S has one end.

研究の動機と目的

• 曲面 $S_{g,1}$（$g \geq 2$）の曲線複体が、任意の頂点 $\omega$ の周囲の半径 $r$ の球を除いても連結のままであることを証明すること。
• ハワード・マスールが提起した、大きな球の外側における曲線複体の連結性に関する問題を解決すること。
• P. ストームの予想するように、グロモフ境界の連結性に関する証拠を提供すること。
• 曲線複体が木に quasi-isometric でないことを示し、ベルとフジワラの問いに否定的に答えること。

提案手法

• 頂点を本質的かつ非周辺的単純閉曲線のホモトピー類とする曲線複体 $\mathcal{C}(S)$ を定義する（$S = S_{g,1}$ とする）。
• 部分曲面への射影写像 $\pi_X$ を用いて、部分曲面内の距離と全体複体内の距離を関連付ける。
• 境界を一点に収縮する写像 $\rho$ を用いて、$\mathcal{C}(S)$ の頂点 $\tau$ 上のファイバー $\mathcal{F}_\tau = \rho^{-1}(\tau)$ を構成する。
• クライの定理を適用し、特定のデーンねじり写像が部分曲面上で擬アイルフォン写像として作用することを示し、無限大の軌道を保証する。
• 有界測地線像定理と測地線の性質を用いて、特定の測地線が与えられた部分曲面を欠く頂点を通らざるを得ないことを保証する。
• 擬アイルフォン写像の力学に依拠して、任意の2つの遠く離れた頂点から、球 $B(\omega, r)$ を避けるように、共通のファイバー $\mathcal{F}_\tau$ へ向かうパスを構成する。

実験結果

リサーチクエスチョン

• RQ1 曲面 $S_{g,1}$（$g \geq 2$）の曲線複体は、任意の頂点の周囲の半径 $r$ の球を除いても連結のままか？
• RQ2 曲線複体のグロモフ境界は、複体の単一の端であることから、連結である可能性があるか？
• RQ3 曲線複体が双曲的かつ無限大の直径を持つにもかかわらず、木に quasi-isometric である可能性はあるか？
• RQ4 部分曲面への射影と擬アイルフォン力学は、曲線複体内の測地線にどのような制限を課えるか？
• RQ5 境界を統合する写像 $\rho: \mathcal{C}(\dot{S}) \to \mathcal{C}(S)$ は、連結性とファイバー構造を保存する役割を果たすか？

主な発見

• 任意の頂点 $\omega$ と半径 $r$ に対して、部分複体 $\mathcal{C}^0(\dot{S}) \setminus B(\omega, r)$ は連結であり、これにより $S_{g,1}$ の曲線複体が1つの端しか持たないことが証明された。
• 曲線複体は木に quasi-isometric でない。これは、木を越えて非自明な高次元の連結性を含むためである。
• グロモフ境界 $\mathcal{C}(S)$ が連結でないとは限らない。複体の単一の端であることから、この可能性は支持される。
• $\mathcal{C}(S)$ の任意の $\tau$ に対するファイバー $\mathcal{F}_\tau$ は連結であり、基本群の作用によってファイバーは保存される。
• 任意の $\alpha, \beta$ が $B(\omega, 3r)$ の外側にあるとき、擬アイルフォン力学を用いて、球 $B(\omega, r)$ を避けるように、共通のファイバー $\mathcal{F}_\tau$ へ向かうパスが構成可能である。
• 部分曲面 $\dot{X} = \dot{S} \setminus \alpha$ 上に擬アイルフォン写像が存在することにより、$\sigma$ から $\sigma_n = \psi_\gamma^n(\sigma)$ への測地線は、$\dot{X}$ を欠く頂点を通らざるを得ず、これによりパスの構成が可能になる。