[論文レビュー] Drilling cores of hyperbolic 3-manifolds to prove tameness

Suhyoung Choi|ArXiv.org|Oct 18, 2004

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

ひとこと要約

この論文は、双曲的3次元多様体が有限生成な基本群とパラボリック要素をもたないとき、その多様体が位相的にねずみ（tame）であることを示すことで、Mardenの予想を証明している。著者らは、コンパクトコアを掘り出す手法、月牙（crescents）による境界の変形を用いた2-凸性の構成、被覆空間における凸包の応用という新しい手法を用い、端に向けた表面の退出列を確立した。これにより、コンパクト性とh-表面における同相型の議論によってねずみ性が証明された。

ABSTRACT

We supply a proof of the fact that a hyperbolic 3-manifold $M$ with finitely generated fundamental group and with no parabolics is topologically tame. This proves the Marden's conjecture. Our approach is to form an exhaustion $M_i$ of $M$ and modify the boundary to make them 2-convex. We use the induced path-metric, which makes the submanifold $M_i$ $δ$-hyperbolic and with Margulis constants independent of $i$. By taking the convex hull in the cover of $M_i$ corresponding the core, we show that there exists an exiting sequence of surfaces $Σ_i$. We drill out the covers of $M_i$ by a core $C$ again to make it $δ$-hyperbolic. Then the boundary of the convex hull of $Σ_i$ is shown to meet the core. By the compactness argument of Souto, we show that infinitely many of $Σ_i$ are homotopic in $M - C^o$.

研究の動機と目的

• 有限生成な基本群とパラボリック要素をもたない双曲的3次元多様体が位相的にねずみであることを証明すること。
• このような多様体の端に向けた表面の退出列の存在を確立すること。
• 高次の幾何解析に依存しない幾何的技法の開発：2-凸性、月牙による境界の同相型、被覆空間における凸包の応用。
• Agol や Calegari-Gabai の手法とは異なり、不完全な双曲的計量と初等的な変形技術を用いる代替的手法を提供すること。
• 断片的除去の過程で無限個の表面がコアの補集合において同相型であることを示し、Souto のコンパクト性議論によってねずみ性を示すこと。

提案手法

• 幾何的制御をもつコンパクト部分多様体の列 {M_i} を用いて、双曲的3次元多様体 M の被覆を構成する。
• 月牙を用いたPL同相型変形により、各 M_i の境界を変形し、閉じた測地線を避ける2-凸性を達成する。
• 誘導された路径計量により、各 M_i が一様に有界なMargulis定数をもつδ-双曲的空間であることを保証する。
• M_i の被覆空間においてコアの凸包を構成し、端 E 側へ向かって退出する表面の列 Σ_i を得る。
• 被覆空間からコア C を掘り出し、新たな多様体を構成する。このとき、Σ_i の凸包の境界が C と交差する。
• Souto のコンパクト性に基づく議論を用い、無限個の Σ_i が M - C° において同相型であることを示し、ねずみ性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限生成な基本群とパラボリック要素をもたない双曲的3次元多様体は、コンパクトコアの境界成分と同一の genus をもつ表面の退出列をもつか？
• RQ2 双曲的3次元多様体内の部分多様体の境界は、閉じた測地線を避ける2-凸で双曲的三角形分割された表面に同相型にできるか？
• RQ3 2-凸一般双曲的多様体におけるコアの凸包は、有界面積と内在的双曲計量をもつh-表面に変形可能か？
• RQ4 コアの補集合におけるh-表面の退出列の存在を用いて、エンド還元やピンチド計量に依存せずにねずみ性を証明できるか？
• RQ5 このような表面の無限個がコアの補集合において同相型となり、エンドがねずみであることを示唆するか？

主な発見

• この論文は、有限生成な基本群とパラボリック要素をもたない双曲的3次元多様体 M が位相的にねずみであることを示し、Mardenの予想を証明した。
• コンパクトコアの境界成分と同一の genus をもつ表面の退出列 {Σ_i} が存在し、各 Σ_i は被覆空間内でより大きな領域を境界づける。
• 表面 Σ_i がh埋め込みであることが示された。これは、それらの内在的計量が双曲的であり、各頂点における角の和がπ以上であることを意味する。
• Σ_i の薄い部分はMargulisチューブに含まれ、本質的円柱と同相であり、厚い部分は直径が一様に有界である。
• 無限個の表面 {Σ_i} が M - C° において同相型であり、Souto と Thurston の議論によりねずみ性が示された。
• この手法は高度な幾何解析に依存せず、月牙の同相型とδ-双曲空間における凸包構成を含む初等的な変形技術に依存している。