[论文解读] 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 $ 上曲面纏繞結構的纏繞曲面，此時其基本群同構於 $ \mathbb{Z} $，由纏繞旋轉生成。
• 嵌入空間 $ E(S,M \text{ rel } \partial 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 $ 不是以 $ S $ 為纏繞曲面的曲面纏繞，且 $ \partial S = \emptyset $ 時，則 $ \pi_1 P(S,M) = 0 $，且 $ \pi_1 E(S,M) = 0 $，因此兩空間均為單連通。
• 嵌入空間 $ E(S \times I, M \text{ rel } A) $ 是收縮空間，且相關纖化中的纖具有平凡同倫群，進而可對嵌入空間同倫類型進行歸納推導。