[論文レビュー] The classification of Kleinian surface groups, II: The Ending Lamination Conjecture

Jeffrey Brock, Richard D. Canary+1 more|arXiv (Cornell University)|Dec 1, 2004

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

ひとこと要約

本論文は、このような群による双曲的3次元空間の商の均一的バイリプシッツモデルを確立することにより、クライン群の表面群に対する終端ラミネーション予想を証明する。その結果、双曲的3次元多様体は、部分多様体上の地理的ラミネーションまたはコンフォーマル構造である終端不変量によって一意に決定されることを示す。主な結果はバイリプシッツモデル定理であり、終端不変量にのみ依存するモデル多様体を構成し、表面群における終端ラミネーション定理および、非圧縮可能な端を持つ多様体への一般化を導く。

ABSTRACT

Thurston's Ending Lamination Conjecture states that a hyperbolic 3-manifold N with finitely generated fundamental group is uniquely determined by its topological type and its end invariants. In this paper we prove this conjecture for Kleinian surface groups; the general case when N has incompressible ends relative to its cusps follows readily. The main ingredient is the establishment of a uniformly bilipschitz model for a Kleinian surface group. The first half of the proof appeared in math.GT/0302208, and a subsequent paper will establish the Ending Lamination Conjecture in general.

研究の動機と目的

• クライン群の表面群に対する終端ラミネーション予想を証明すること。この予想は、双曲的3次元多様体がその位相的型と終端不変量によって一意に決定されることを示唆する。
• 終端不変量 $\nu = (\nu_+, \nu_-)$ のみに依存する均一的バイリプシッツモデル多様体 $M_\nu$ を構築すること。これは、特定の群表現に依存しない。
• 有限生成な基本群を持つ双曲的3次元多様体の分類を、クーパスに相対的な非圧縮可能な端を持つ場合にまで拡張すること。表面群の結果を活用する。
• 先行研究（[54]の定理7.1）における技術的誤りを是正・明確化すること。これは、円環領域における短曲線の射影の準凸性に関するもので、より広範な証明枠組みの有効性を保証する。

提案手法

• 終端不変量 $\nu_+$ および $\nu_-$ から成るモデル多様体 $M_\nu$ を構築する。これには、部分多様体上のスカフレームと部分順序構造を用いて幾何的データを整理する。
• 「アドレス」と「領域」を定義し、特に短い地図の近くでの部分多様体の幾何とその相互作用を制御する。
• リプシッツ多様体への均一的バイリプシッツ埋め込みを用いて、モデル多様体と実際の双曲的3次元多様体 $N_\rho$ の関係を確立し、歪みを制御する。
• 短い曲線の定理とマーガリスチューブ理論を適用し、短い曲線の周囲のトーラス近傍のテイヒミュラー媒介変数を有界化する。これにより、終端不変量と結びつける。
• 上半平面におけるポincare度量を用いて、曲線の内在的媒介変数 $\omega$ と $2\pi i / \lambda$（$\lambda$ はホロノミー媒介変数）とのテイヒミュラー距離に一様な上限を確立する。
• スーリヴァンの剛性定理を用いて、モデル多様体が元の双曲的多様体と等長であることを結論づけ、$\rho$ の共役を除いて一意であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 終端不変量（地理的ラミネーションまたはコンフォーマル構造）は、クライン群の表面群から生じる双曲的3次元多様体を一意に決定するか？
• RQ2 終端不変量 $\nu = (\nu_+, \nu_-)$ のみに依存し、特定の群表現 $\rho$ に依存しない均一的バイリプシッツモデル多様体 $M_\nu$ が存在するか？
• RQ3 バイリプシッツモデル定理は、双曲的3次元多様体 $N_\rho$ が $\mathrm{PSL}_2(\mathbb{C})$ 内の共役を除いて、終端不変量によって一意に決定されることを示唆するか？
• RQ4 表面群に対する結果を、クーパスに相対的な非圧縮可能な端を持つ一般の双曲的3次元多様体に拡張できるか？
• RQ5 [54]における射影の準凸性に関する結果の正しい記述は、部分多様体 $Y$ が円環の場合にどうなるか？そして、これは全体の証明にどのように影響するか？

主な発見

• バイリプシッツモデル定理により、モデル多様体 $M_\nu$ から双曲的3次元多様体 $N_\rho$ への $K$-バイリプシッツ写像が確立され、$K$ はすべての表面群に対して一様である。
• 曲線の $|\omega| > k_2$ の場合、チューブ近傍のテイヒミュラー媒介変数 $\omega$ は、$\mathbb{H}^2$ 上のポincare度量において $2\pi i / \lambda$ に一様に近い。これによりホロノミー媒介変数の制御が可能になる。
• [54] の定理7.1 の修正版は、$\xi(Y) \neq 2,3$ である非円環部分多様体 $Y$ に対して、短い曲線集合の射影が $\mathcal{A}(Y)$ 上で $B$-準凸であると述べ、すべての階層の頂点 $v$ に対して $d_Y(v, \Pi_{\rho,L}(v)) \leq D_2$ が成り立つ。
• 証明により、終端不変量 $(\nu_+, \nu_-)$ がクライン群の表面群 $\rho$ を $\mathrm{PSL}_2(\mathbb{C})$ 内の共役を除いて一意に決定することが示され、表面群における終端ラミネーション定理が確認された。
• この結果は、非圧縮可能な端を持つ双曲的3次元多様体へと拡張可能である。このような多様体は、相対的コンパクトコアのマークされたホメオモルフィズム型と、相対境界における終端不変量によって一意に決定される。
• [54] の誤りは是正された：円環領域では準凸性は成立しないが、定理の第二部（射影距離の均一な上限）は依然として有効であり、証明に十分である。