[論文レビュー] On the density of geometrically finite Kleinian groups

Jeffrey Brock, Kenneth Bromberg|ArXiv.org|Dec 13, 2002

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

ひとこと要約

本稿は、有限生成の基本群、圧縮不能な端、および特異点のない完全な双曲的3次元多様体に対して、Bers-Sullivan-Thurston密度予想を証明する。その結果、このような多様体が幾何的有限な双曲的3次元多様体の代数的極限であることが示される。証明は、錐変形技術と、短い測地線を除去した際の双リプシッツ歪みを制御するドリル定理に依存しており、マークを保つ微分同相写像の構成を可能にし、Bers境界における極限の実現を可能にする。

ABSTRACT

The density conjecture of Bers, Sullivan and Thurston predicts that each complete hyperbolic 3-manifold M with finitely generated fundamental group is an algebraic limit of geometrically finite hyperbolic 3-manifolds. We prove that the conjecture obtains for each complete hyperbolic 3-manifold with no cusps and incompressible ends.

研究の動機と目的

• 有限生成の基本群、圧縮不能な端、および特異点のない完全な双曲的3次元多様体に対して、Bers-Sullivan-Thurston密度予想を証明すること。
• このような多様体が幾何的有限な双曲的3次元多様体の代数的極限であることを確立すること。
• 短い測地線が双曲的3次元多様体から除去された際の幾何的遷移を制御するため、錐変形理論の適用範囲を拡張すること。
• 代数的極限における幾何的有限および退化した端が、マークと自己同型構造に適合する双リプシッツ微分同相写像によって実現可能であることを示すこと。

提案手法

• 短い測地線の除去をモデル化するため、錐角変形を伴う3次元の双曲的錐多様体を用いる。
• ドリル定理を適用して、短い測地線のチューブ近傍を除いた多様体と、穴あき多様体上の完全な双曲構造との間に$L$-双リプシッツ微分同相写像を構成する。
• 準Fuchs多様体の幾何的および代数的極限を用いて、変形空間内での収束を分析する。
• 被覆定理とWaldhausenの定理を用いて、極限多様体における位相的および幾何的整合性を保証する。
• Sullivanの定理を適用して、極限多様体と元の多様体との間のマークを保つ双リプシッツ微分同相写像が、等長写像にホモトープであることを結論づける。
• BonahonおよびThurstonの終端ラミネーションに関する結果を用いて、退化した端に特異点が存在しないことを排除し、極限多様体が特異点を持たないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 有限生成の基本群、圧縮不能な端、および特異点のない完全な双曲的3次元多様体は、すべて幾何的有限な双曲的3次元多様体の代数的極限として実現可能か？
• RQ2 短い測地線が除去され、それに特異点が代わられる際、双曲的3次元多様体の幾何はどのように変化するか？
• RQ3 錐変形技術は、無限体積の双曲的3次元多様体の変形空間において、どの程度双リプシッツ歪みを制御できるか？
• RQ4 準Fuchs多様体の系列の幾何的極限が、等長写像を除いて元の多様体と一致する条件は何か？
• RQ5 終端ラミネーション理論を用いて、双曲的3次元多様体の系列の代数的極限に特異点が存在しないことをどのように排除できるか？

主な発見

• 有限生成の基本群、圧縮不能な端、および特異点のない完全な双曲的3次元多様体に対して、密度予想が成り立つ。
• ドリル定理により、短い測地線を除いた多様体と穴あき多様体上の完全な構造との間に、$L$-双リプシッツ微分同相写像が存在することが保証される。ここで$L$は長さの上限$ ol$にのみ依存する。
• 代数的極限における幾何的有限な端は、閉じた曲面によってコンパクト化され、その自己同型構造は元の多様体のそれと一致する。
• 終端ラミネーションの埋め込み性質と、単純閉曲線との交点数が非ゼロであることを利用して、極限における退化した端に特異点が存在しないことが示される。
• 代数的極限と元の多様体との間にマークを保つ双リプシッツ微分同相写像が存在することは、極限が元の多様体と等長であることを示唆する。
• 特異点のない条件とAndersonおよびCanaryの結果から、系列が極限多様体に強く収束することが従い、代数的極限が幾何的に実現されることを確認する。