[論文レビュー] Negatively Oriented Ideal Triangulations and a Proof of Thurston's Hyperbolic Dehn Filling Theorem

Carlo Petronio, Joan Porti|ArXiv.org|Jan 11, 1999

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

ひとこと要約

本稿は、エプスタイン＝ペナーアレイの部分的に平坦な理想三角形分割を用い、真の理想三角形分割の仮定を避け、変形空間の滑らかさの仮定を回避することで、ターファソンの双曲的デーンフィルティング定理の完全で自己完結的な証明を提供する。無限に近いデーンフィルティング係数が、完全で有限体積の双曲的構造および小さな発散角をもつ錐多様体構造をもたらすことを示している。

ABSTRACT

We give a complete proof of Thurston's celebrated hyperbolic Dehn filling theorem, following the ideal triangulation approach of Thurston and Neumann-Zagier. We avoid to assume that a genuine ideal triangulation always exists, using only a partially flat one, obtained by subdividing an Epstein-Penner decomposition. This forces us to deal with negatively oriented tetrahedra. Our analysis of the set of hyperbolic Dehn filling coefficients is elementary and self-contained. In particular, it does not assume smoothness of the complete point in the variety of deformations.

研究の動機と目的

• 真の理想三角形分割の存在に関する未検証の仮定に依存せず、ターファソンの双曲的デーンフィルティング定理の厳密で自己完結的な証明を提供すること。
• エプスタイン＝ペナー分解によって保証されない真の理想三角形分割の存在を仮定しないことで、文献におけるギャップを埋めること。
• 完全な双曲的構造における変形空間の滑らかさを仮定せず、完全な双曲的および錐多様体構造の両方のケースで定理を証明すること。
• 部分的に平坦な三角形分割に由来する負の向きの単体を取り扱う幾何学的・解析的枠組みを構築すること。
• 良いデーンフィルティングパラメータの集合が、コンパクト化されたパラメータ空間における無限の近傍を含むことを確立すること。

提案手法

• エプスタイン＝ペナー分解を用いて、有限体積の双曲的3次元多様体の部分的に平坦な理想三角形分割を構成し、退化した単体を平坦な四角形に含める。
• 複素解析的変形パラメータ（形状パラメータ）を用いて、三角形分割された多様体上の双曲的構造をパラメータ化し、負の向きの単体を許容する。
• 特に完全構造付近での挙動に注目して、解析的空間理論および分岐理論の道具を用いて変形空間を分析する。
• 発展写像を定義し、サイクルのホモロジー類といった位相的不変量を用いて、変形空間の像がパラメータ空間における原点の近傍をカバーすることを示す。
• C^kにおける球面と球体のホモトピーおよびホモロジー論法を用いて、変形構造の像が原点の完全な近傍を含むことを証明し、完全性の近傍における全射性を示す。
• 変形空間から形状パラメータへの写像が原点の小さな球面へ全射的かつ固有であることに着目し、像が完全でない場合には径方向射影を用いて矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 真の理想三角形分割の存在を仮定しないで、ターファソンの双曲的デーンフィルティング定理を証明することは可能か？
• RQ2 部分的に平坦な理想三角形分割の変形において、負の向きの単体が出現するのをどう扱えるか？
• RQ3 完全構造における変形空間の滑らかさを仮定せず、定理を証明することは可能か？
• RQ4 良いデーンフィルティングパラメータの集合が無限の近傍を含むことを保証するのに十分な位相的および解析的道具は何か？
• RQ5 重なりを伴う部分的に平坦な三角形分割の変形に対して、双曲的構造を厳密に関連付ける方法は何か？

主な発見

• 本稿は、コンパクト化されたパラメータ空間において無限に近いすべてのデーンフィルティング係数に対して、対応する多様体が完全で有限体積の双曲的構造をもつことを証明している。
• 任意のフィルティング係数の選択に対し、任意に小さな発散角をもつ完全で有限体積の双曲的錐多様体構造が存在することを確立している。
• 証明により、形状パラメータの変形空間がC^kにおける原点の近傍に全射的に写像されることを示しており、すべての十分に小さい発散角が実現可能であることが保証されている。
• ホモロジーおよびホモトピー論法を境界球面上に適用することで、変形写像の像が原点の周囲を完全にカバーしていることが確認された。
• 変形空間の滑らかさに依存しないように、分岐解析的手法および位相的不変量を用いることで、証明の根拠を確立した。
• 本稿は、ターファソンの未発表の業績に依存しない、完全で初等的かつ自己完結的な証明を提供することで、文献における基礎的ギャップを解消した。