[論文レビュー] Infinite topology of curve complexes and non-Poincare duality of Teichmueller modular groups

Nikolai V. Ivanov, Lizhen Ji|ArXiv.org|Jul 29, 2007

Geometric and Algebraic Topology参考文献 15被引用数 8

ひとこと要約

この論文は、$ g \geq 2 $ である閉じた向きつけ可能な曲面の曲線複体が、無限個の $ (2g-2) $-球面のバケツにホモトピー同値であることを確立している。これは、マッピングクラス群 $ \mathrm{Mod}_g $ が、仮想的双対性群としての性質を持つが、Poincaré双対性群ではないことを示しており、その仮想的コhomological次元は $ 4g-5 $ である。この結果は、テイヒミュラーモジュラー群と算術群との類似性における主要な位相的障害を解消する。

ABSTRACT

In this note, we fill in a gap in the literature by proving that the Teichmueller modular groups (mapping class groups) are not Poincare duality groups and the complexes of curves of surfaces have infinite homotopy type (i.e. are not homotopy equivalent to a finite CW-complex).

研究の動機と目的

• 閉じた曲面の genus $ g \geq 2 $ における曲線複体 $ \mathcal{C}(S) $ の位相的性質、特にそのホモトピー型を解明すること。
• マッピングクラス群 $ \mathrm{Mod}_g $ が、既に知られている仮想的双対性群であるという事実を踏まえて、Poincaré双対性を満たすかどうかを特定すること。
• Borel-Serre理論における球面的ティーツビルジングと類似する役割を果たす曲線複体の役割を調査することで、Teichmüllerモジュラー群と算術群との類似性を拡張すること。
• 曲線複体の位相次元 $ 3g-4 $ とホモトピー次元 $ 2g-2 $ の不一致を、TitsビルジングにおけるSolomon-Tits定理と対比させること。

提案手法

• Borel-Serreの双対性理論とFarrellの同型を用いて、マッピングクラス群のコhomologyを、厚化されたテイヒミュラー空間の境界のコhomologyと関連付ける。
• 同型 $ H^\nu(\Gamma, \mathbb{Z}\Gamma) \cong \widetilde{H}_n(\partial T_g(\varepsilon), \mathbb{Z}) \cong \widetilde{H}_n(\mathcal{C}(S), \mathbb{Z}) $ を適用する。ここで $ \nu = 4g-5 $、$ n = 2g-2 $、$ \Gamma $ は $ \mathrm{Mod}_g $ の torsion-free な有限指数部分群である。
• Farrellの定理を用いる：$ \Gamma $ が双対性群であり、$ H^\nu(\Gamma, \mathbb{Z}\Gamma) $ が有限生成ならば、$ \Gamma $ はPoincaré双対性群である。
• 曲線複体 $ \mathcal{C}(S) $ が有限個の $ (2g-2) $-球面のバケツにホモトピー同値であると仮定すると、$ H^\nu(\Gamma, \mathbb{Z}\Gamma) \cong \mathbb{Z}^k $（$ k $ は有限）となり、これは $ \Gamma $ がPoincaré双対性群であることを示唆する。
• Mess部分群（有限コhomological次元の無限指数部分群）の存在により矛盾を導き、Poincaré双対性に必要なコhomological次元の条件を破る。
• 矛盾と複体の可算性を用いて、$ \mathcal{C}(S) $ が無限個の $ (2g-2) $-球面のバケツにホモトピー同値であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 曲面の genus $ g \geq 2 $ における曲線複体 $ \mathcal{C}(S) $ は、有限個の球面のバケツにホモトピー同値であるか？
• RQ2 マッピングクラス群 $ \mathrm{Mod}_g $ は、その仮想的双対性群としての次元 $ 4g-5 $ を持つにもかかわらず、Poincaré双対性を満たすか？
• RQ3 曲線複体のホモトピー型は、算術群のBorel-Serre理論における球面的ティーツビルジングとどのように対比されるか？
• RQ4 なぜ曲線複体はホモトピー次元 $ 2g-2 $ を持ち、その位相次元は $ 3g-4 $ であるのか？これは、Titsビルジングとは異なり、両者が一致しない。
• RQ5 コhomologicalな矛盾の議論に依存せずに、$ \mathcal{C}(S) $ の無限ホモトピー型を直接検出できるか？

主な発見

• 閉じた曲面の genus $ g \geq 2 $ における曲線複体 $ \mathcal{C}(S) $ は、無限個の $ (2g-2) $-球面のバケツにホモトピー同値である。
• マッピングクラス群 $ \mathrm{Mod}_g $ の仮想的コhomological次元は $ 4g - 5 $ であり、この次元の仮想的双対性群である。
• $ \mathrm{Mod}_g $ の torsion-free な有限指数部分群 $ \Gamma \subset \mathrm{Mod}_g $ に対して、コhomology群 $ H^{4g-5}(\Gamma, \mathbb{Z}\Gamma) $ は、$ \widetilde{H}_{2g-2}(\mathcal{C}(S), \mathbb{Z}) $ に同型であり、これは $ \mathcal{C}(S) $ が有限バケツである場合にのみ有限生成である。
• 曲線複体 $ \mathcal{C}(S) $ が有限バケツであると仮定すると、コhomological次元が $ 4g-5 $ 未満である無限指数部分群であるMess部分群の存在と矛盾する。これはPoincaré双対性に必要な条件を破る。
• ゆえに、$ \mathcal{C}(S) $ は有限バケツではあり得ず、可算無限個の $ (2g-2) $-球面のバケツにホモトピー同値でなければならない。
• この結果は、Teichmüllerモジュラー群と算術群との類似性が、曲線複体がティーツビルジングの有限ホモトピー型を持たない限り、破綻することを示している。