[論文レビュー] Spaces of Incompressible Surfaces

Allen Hatcher|ArXiv.org|Jun 11, 1999

Structural Analysis and Optimization参考文献 1被引用数 14

ひとこと要約

本稿は、ハーケン3次元多様体内の圧縮不能な曲面のホモトピー型を確立し、埋め込み空間および配置空間が一般に収縮可能であることを示している。ただし、曲面束またはトーラスを含む特殊な場合を除き、そのホモトピー群は曲面の微分同相群のそれと同型である。これらの結果は、スメール予想に関する先行研究を精緻化し、ハーケン3次元多様体内での曲面埋め込みの完全なホモトピー分類を提供する。

ABSTRACT

This is a "software upgrade" to a paper originally published in 1976, with cleaner statements and improved proofs. The main result is that, in a Haken 3-manifold, the space of all incompressible surfaces in a single isotopy class is contractible, except when the surface is the fiber of a surface bundle structure, in which case the space of all surfaces isotopic to the fiber has the homotopy type of a circle (the fibers). The main application from the 1976 paper is also rederived, the theorem (proved independently by Ivanov) that the diffeomorphism group of a Haken 3-manifold has contractible components, except in the case of certain Seifert manifolds when the components of the diffeomorphism group have the homotopy type of a circle or torus acting on the manifold.

研究の動機と目的

• ハーケン3次元多様体内での圧縮不能な曲面の滑らかな埋め込みおよび配置空間のホモトピー型を正確に特定すること。
• 埋め込み空間の結果を用いて、ハーケン3次元多様体の微分同相群のホモトピー型の計算を簡略化し、再導出すること。
• 埋め込み空間および配置空間が非自明なホモトピー群を持つ例外的なケース（曲面束およびトーラス）を特定すること。
• モノドロミー写像および周期的微分同相写像が埋め込み空間の基本群を決定する役割を明確にすること。

提案手法

• 曲面の微分同相群、曲面を3次元多様体に埋め込む写像、および曲面を3次元多様体に配置する写像を含むファイブレーション系列の使用。
• ホモトピー群の長完全系列を用いて、埋め込み空間および配置空間のホモトピー型を関連付けること。
• 3次元多様体の普遍被覆に曲面の族を上げて、同倫および積の領域を分析すること。
• 普遍被覆における積の領域を用いて、曲面が曲面束のファイバーでない場合、曲面の族を標準的配置に同倫変形すること。
• 曲面束の場合に、配置空間の基本群をモノドロミー写像を介して分析すること。
• 問題を、特にトーラスおよびそのマッピングクラス群に関する既知の結果に還元すること。

実験結果

リサーチクエスチョン

• RQ1 ハーケン3次元多様体内での圧縮不能な曲面の配置空間は、いつ単連結または収縮可能となるか？
• RQ2 圧縮不能な曲面の埋め込み空間の基本群の非自明性は、何によって決定されるか？
• RQ3 3次元多様体の曲面束構造は、そのファイバー曲面の埋め込み空間のホモトピー型にどのように影響するか？
• RQ4 モノドロミー微分同相写像は、埋め込み空間のホモトピー型において、どのような役割を果たすか？
• RQ5 埋め込み空間から微分同相群への包含写像がホモトピー群に同型を誘導する条件は何か？

主な発見

• 配置空間 $ P(S,M \text{ rel } \partial S) $ は、$ S $ が $ M $ の曲面束構造のファイバーでない限り単連結である。$ S $ が曲面束のファイバーである場合には、ファイバー回転によって生成される $ \mathbb{Z} $ と同型な基本群を持つ。
• 埋め込み空間 $ E(S,M \text{ rel } \partial S) $ は、$ S $ がトーラスまたは曲面束のファイバーでない限り単連結である。$ S $ がトーラスまたは曲面束のファイバーである場合には、$ \pi_1 $ は $ \pi_1(Diff(S)) $ と同型であり、トーラスの場合は $ \mathbb{Z} $、曲面束のファイバーの場合は $ \mathbb{Z} $ である。
• 曲面束の場合、ファイバー埋め込みの部分空間への包含写像は $ \pi_1 $ に同型を誘導し、モノドロミーが無限大の位数を持つ場合、$ \pi_1 E(S,M) \cong \pi_1 Diff(S) \cong \mathbb{Z} $ が成り立つ。
• ファイバーとしてのトーラスでない場合、$ \pi_1 E(S,M) \cong \mathbb{Z} \times \mathbb{Z} \times \mathbb{Z} $ であり、これはトーラスファイバーを回転させる円群の作用を反映している。
• $ M $ が曲面束ではなく、$ \partial S = \emptyset $ である場合、$ \pi_1 P(S,M) = 0 $ かつ $ \pi_1 E(S,M) = 0 $ であるため、両方の空間は単連結である。
• 埋め込み空間 $ E(S \times I, M \text{ rel } A) $ の全空間は収縮可能であり、関連するファイブレーションのファイバーは自明なホモトピー群を持つため、埋め込み空間のホモトピー型に関する帰納的議論が可能になる。