[論文レビュー] Hyperbolic Structures on 3-manifolds, III: Deformations of 3-manifolds with incompressible boundary

William P. Thurston|ArXiv.org|Jan 13, 1998

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

ひとこと要約

この論文は、圧縮不可能境界をもつ3次元多様体において、特徴的部分多様体内の「ウインドウ」——つまり区間バンドル——の外側の成分に関連する部分群に対して、代数的トポロジーAH(M,P)における双曲構造が有界であることを確立する。分岐双曲的表面の成長率推定を用いて、表現の収束が、ウインドウの外の成分の基本群に共役な部分群上でのみ発生することを証明する。より大きな部分群では収束は発生しない。

ABSTRACT

This is the third in a series of papers constructing hyperbolic structures on all Haken three-manifolds. This portion deals with the mixed case of the deformation space for manifolds with incompressible boundary that are not acylindrical, but are more complicated than interval bundles over surfaces. This is a slight revision of a 1986 preprint, with a few figures added, and slight clarifications of some of the text, but with no attempt to connect this to later developments such as groups acting on R-trees, etc.

研究の動機と目的

• 圧縮不可能境界をもつが、非アシル的でも区間バンドルでもない3次元多様体の双曲構造の変形空間を解析すること。
• 圧縮不可能境界をもつパレッド多様体(M,P)に対して、代数的トポロジーAH(M,P)における系列の振る舞いを特徴づけること。
• 特徴的部分多様体内に存在する標準的な区間バンドル「ウインドウ」を定義し、双曲変形における本質的な幾何的制約を捉えること。
• AH(M,P)における表現の収束が、ウインドウの外の成分の基本群に共役な部分群上でのみ発生することを証明すること。より大きな部分群では収束は発生しないこと。
• 幾何的極限の議論と表面面積推定を用いて、ウインドウ外部の部分群に対して、共役を除いて表現が有界であることを確立すること。

提案手法

• パレッド多様体(M,P)の特徴的部分多様体内に、本質的円柱を太鼓して得られる標準的な区間バンドル「ウインドウ」を導入する。余分な成分を除去することで定義される。
• 特徴的部分多様体の普遍性を用いて、M 内のすべての本質的シーファー層構造および区間バンドルが、ウインドウ内に同倫的に入れられることを保証する。
• 分岐双曲的表面の成長率推定を適用して、ウインドウの境界（すなわち「フレーム」）の双曲的長さを有界化する。
• ∂M − λ における理想三角形の貼り合わせパターンに幾何的極限の議論を適用し、境界曲線の埋め込みを保証し、表面写像における面積と次数を制御する。
• Thurston [Thu98] の定理6.2を適用して、境界が圧縮不可能な部分曲面の基本群上で表現が収束する部分列を抽出する。
• Thurston [Thu86] の補題4.3を用いて、ウインドウ外部の成分に対応する部分群上での表現の全系列の収束を結論づける。

実験結果

リサーチクエスチョン

• RQ1 圧縮不可能境界をもつ3次元多様体において、非アシル的かつ非区間バンドルでない双曲構造の集合は、どのように特徴づけられるか？
• RQ2 特にウインドウとして特徴づけられる特徴的部分多様体の幾何的・トポロジカル制約は、AH(M,P)における表現の収束にどのように影響するか？
• RQ3 ウインドウが、π₁(M) のどの部分群が双曲的構造の収束列を支えることができるかを決定する上で果たす正確な役割は何か？
• RQ4 表面境界における幾何的極限および面積制御の議論を用いて、ウインドウ外部の表現の有界性を確立できるか？
• RQ5 ウインドウは、パレッド3次元多様体における双曲的構造の変形空間におけるすべての本質的幾何的挙動を捉えきっているか？

主な発見

• 任意の部分群Γ ⊂ π₁(M) について、Γ が M − window(M,P) の成分の基本群に共役である場合、Isom(ℍ³) 内で共役を除いて有界である。
• AH(M,P) 内の任意の系列に対して、部分列および部分曲面 x ⊂ wb(M,P) が存在し、表現が Γ で収束するための必要十分条件は、Γ が π₁(M − X) に共役であることである（ここで X は x の上に作られた区間バンドルの全空間）。
• ウインドウの外の成分に関連する部分群より大きな部分群では、表現の部分列の収束は発生しない。これにより、ウインドウが収束の最大障害であることが示される。
• ∂wb(M,P) の全長は一様に有界であり、Acyl(M) への制限写像の像のコンパクト性を示す上で重要なステップである。
• 制限写像 AH(M) → AH(Acyl(M)) の像はコンパクト閉包をもち、同様に M − window(M,P) の固体トーラス成分への制限に対しても同様の性質が成り立つ。これは境界長の有界性に起因する。
• 写像 g₃|∂G₃ の次数は正確に 1 である。これは、G₃ のある成分が正の次数で写像されることを意味し、これに加えて部分群上での収束が成立することで、全系列の表現の収束が保証される。