[論文レビュー] Tameness of hyperbolic 3-manifolds

Ian Agol|ArXiv.org|May 29, 2004

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

ひとこと要約

この論文は、有限生成の基本群をもつ双曲的3次元多様体について、Mardenのたんがい性予想を証明し、それらが境界をもつコンパクトな3次元多様体の内部に同相であることを示している。証明は幾何的極限の議論、分岐被覆、凸核における曲率の上限を用いて、Canary-MinskyおよびBonahonの技法の一般化を通じてたんがい性を確立する。これは3次元多様体位相およびクライン群論における中心的問題を解決する。

ABSTRACT

We show that hyperbolic 3-manifolds with finitely generated fundamental group are tame, that is the ends are products. We actually work in slightly greater generality with pinched negatively curved manifolds with hyperbolic cusps. This answers a conjecture of Marden and implies the Ahlfors measure conjecture. Applications are given to other questions about Kleinian groups and 3-manifolds.

研究の動機と目的

• 有限生成の基本群をもつ双曲的3次元多様体が、境界をもつコンパクトな3次元多様体の内部に同相である、すなわちたんがい性であるというMardenの予想を解決すること。
• 双曲的カスプをもつPNC（曲率が負にピンチングされた）多様体に対するたんがい性の概念を拡張し、カスプ付きの場合をカスプなしの場合に還元すること。
• ホモトピー同値な分岐被覆の列における極限の議論を通じて幾何的たんがい性を確立し、CanaryとMinskyの結果を一般化すること。
• エンドラミネーション定理および密度予想の基盤を提供することにより、たんがい性を主要な構造的性質として確認すること。

提案手法

• 第6節で、トポロジカルおよび幾何的議論を用いて、たんがい性予想のカスプ付きの場合をカスプなしの場合に還元する。
• 第9節で、技術的条件を満たす場合に、元の多様体に幾何的に収束するホモトピー同値なたんがい性PNC分岐被覆の列を構成する。
• 第13節で、Canary-Minskyの極限議論の一般化を適用し、幾何的収束からたんがい性を結論づける。
• ジャコビ場の推定とヘッセ比較定理から導かれる、PNC多様体の凸包の境界における曲率の上限を用いて、面積と位相を制御する。
• PNC被覆定理（定理14.2）を用いて、一般の場合を技術的条件を満たす場合に還元し、極限議論を可能にする。
• 付録におけるKleinerの結果を適応し、凸核境界の面積をオイラー標跡およびピンチング定数の関数として評価する。

実験結果

リサーチクエスチョン

• RQ1 有限生成の基本群をもつすべての双曲的3次元多様体は、境界をもつコンパクトな3次元多様体の内部に同相であるか？
• RQ2 幾何的および位相的技法を用いて、双曲的カスプをもつPNC多様体のたんがい性をカスプなしの場合に還元できるか？
• RQ3 有限生成の基本群の仮定の下で、たんがい性PNC分岐被覆の列の幾何的極限は、たんがい性を保つか？
• RQ4 凸核境界における曲率および面積の上限を用いて、極限多様体の位相を制御し、たんがい性を示すことができるか？
• RQ5 Canary-Minskyの極限議論の一般化は、必要な幾何的収束を満たすPNC多様体にまで拡張可能か？

主な発見

• たんがい性予想は完全に解決された：有限生成の基本群をもつすべての双曲的3次元多様体は、境界をもつコンパクトな3次元多様体の内部に同相である。
• PNC多様体の凸包の境界の面積は、そのオイラー標跡とピンチング定数にのみ依存する。これは極限議論の主要な技術的条件である。
• 凸核境界の面積は不等式 $\mathrm{Area}(\partial \mathcal{CH}(M)) \leq \frac{2\pi}{b} \chi(\partial \mathcal{CH}(M))$ を満たす。ここで $b$ は断面曲率の下界である。
• 有限生成の基本群をもつたんがい性PNC分岐被覆の列の幾何的極限は、技術的条件を満たせば、自身もたんがい性である。これは一般化されたCanary-Minsky議論による。
• この結果により、有限生成の基本群をもつすべての双曲的3次元多様体について幾何的たんがい性が成り立つことが示され、3次元多様体位相における中心的予想が確認された。
• たんがい性の解決は、エンドラミネーション予想および密度予想を支持する。なぜなら、これらはたんがい性が必要条件であるからである。