[論文レビュー] Short geodesics and end invariants

Yair N. Minsky|ArXiv.org|Jun 1, 2000

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

ひとこと要約

本稿は、曲面の複体を用いて射影係数を分析することで、実直線上にフィブレーションする双曲的3次元多様体における、終端不変量と短い測地線の存在との関係を調査する。主な結果として、クレイン群の表面群が一様に有界な測地線長を持つことと、すべての本質的部分面に対するその終端不変量間の射影係数が一様に有界であることとは同値であり、有界幾何のための組合せ的・幾何的基準を提供する。

ABSTRACT

This expository article discusses some connections between the geometry of a hyperbolic 3-manifold homotopy-equivalent to a surface, and the combinatorial properties of its end invariants. In particular a necessary and sufficient condition is stated for the manifold to have arbitrarily short geodesics, in terms of a sequence of coefficients called subsurface projection distances, which are analogous in some ways to continued-fraction coefficients. (The proof of sufficiency appeared in math.GT/9907070)

研究の動機と目的

• 双曲的3次元多様体の終端不変量が、非常に短い測地線の存在にどのように寄与するかを理解すること。
• 双曲的3次元多様体の幾何とその終端不変量の組合せ論的性質との間の基準を確立すること。
• 有界幾何（一様に有界な測地線長）が、すべての本質的部分面において終端不変量間の射影係数が有限であることと同値であることを示すこと。
• 曲面の複体を、双曲的3次元多様体における組合せ論的構造と幾何的構造の相互作用を分析する中心的ツールとして推進すること。
• 離散的かつ忠実な表現にとどまらない、変形空間内のより一般的な表現への結果の拡張に向けた基盤を築くこと。

提案手法

• 曲面における曲線の複体を用いて、本質的部分面 $ Y \subset S $ に対して射影係数 $ d_Y(\nu_+, \nu_-) $ を定義し、終端ラミネーションの相対的複雑さを捉える。
• 有界幾何定理を適用し、$ \inf \ell_\rho(\gamma) > 0 $ が成り立つのは、$ \sup_Y d_Y(\nu_+, \nu_-) < \infty $ であるときかつそのときに限ることを示し、幾何的有界性と組合せ的不変量を結びつける。
• 凸核と終端ラミネーション理論を用いて、$ \nu_+ $ と $ \nu_- $ を幾何的または幾何的に無限大の端の不変量として定義する。
• ボナホンの定理（幾何的に無限大の端では短い測地線が終端ラミネーションに収束する）を用いる。
• 一価の穴あきトーラスの場合、トレースの恒等式とファレイのタイル張りを用いて、高 genus の曲面への一般化を試みる。
• サリヴァンの双リプシッツ歪み定理を用い、凸核境界の内在的双曲的構造と無限遠における相反構造との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 終端不変量 $ \nu_+ $ と $ \nu_- $ がどのような条件下に、双曲的3次元多様体 $ N_\rho $ がすべての $ \gamma \in \pi_1(S) $ に対して一様に有界な測地線長を持つのか。
• RQ2 本質的部分面 $ Y \subset S $ における射影係数 $ d_Y(\nu_+, \nu_-) $ が、3次元多様体の幾何、特に短い測地線の存在をどのように制御するのか。
• RQ3 曲面の複体を用いて、離散的かつ忠実な表現を超える双曲的構造の変形空間を特徴づけることができるか。
• RQ4 単純なループ $ \gamma $ における $ \ell_\rho(\gamma)/\ell_{\rho_0}(\gamma) $ の下限が正であるのは、いつしか quasi-Fuchsian 表現の場合に限るのか。
• RQ5 表現 $ \rho: \pi_1(S) \to \mathrm{PSL}_2(\mathbb{C}) $ において、非自明な核が、単純なループによって表される要素を含む必要があるのか。

主な発見

• 有界幾何定理により、$ \inf_{\gamma \in \pi_1(S)} \ell_\rho(\gamma) > 0 $ が成り立つのは、$ \sup_{Y \subset S} d_Y(\nu_+, \nu_-) < \infty $ であるときかつそのときに限ることを示し、有界幾何の明確な組合せ的・幾何的基準を提供する。
• 曲面の複体を用いて定義された射影係数 $ d_Y(\nu_+, \nu_-) $ は、部分面 $ Y $ 上の終端ラミネーション間の相対的ねじれや距離を測り、その一様有界性が短い測地線の不在を制御する。
• 一価の穴あきトーラスの場合、曲線 $ \alpha $ のまわりの相対的ねじれ $ w(\alpha) = \nu_+(\alpha) - \nu_-(\alpha) $ に対して、$ \left| \frac{2\pi i}{\lambda_\rho(\alpha)} \right| \asymp w(\alpha) + i $ が成り立ち、複素移動長さとねじれを結びつける。
• 量 $ w(\alpha) $ は、加法的誤差を除いて $ d_\alpha(\nu_+, \nu_-) $ と一様に比較可能であり、一般の射影係数が同じ幾分解釈を捉えていることを示す。
• 一価の穴あきトーラスの場合、ボウディッチのトレース恒等式と部分レベル集合の連結性から、一般化された準凸性の一般化が示唆され、曲面の複体が非離散的表現に対しても広く適用可能である可能性を示唆する。
• 本稿は、単純なループ $ \gamma $ における $ \ell_\rho(\gamma)/\ell_{\rho_0}(\gamma) $ の下限が正であるかどうかの未解決問題を提起し、これは $ \rho $ が quasi-Fuchsian であることを示す可能性のある、geodesic length ratio を用いた quasi-Fuchsian 表現の特徴づけに繋がる可能性がある。