[論文レビュー] The PL-methods for hyperbolic 3-manifolds to prove tameness

Suhyoung Choi|ArXiv.org|Feb 23, 2006

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

ひとこと要約

この論文は、特徴的でない双曲的3次元多様体に対して、有限生成の基本群と双曲的要素を持たない場合のマーデンの予想を、折れ線的（PL）手法を用いて証明する。多様体の exhaustion を構成し、月牙同相（crescent isotopy）を用いて境界を変形して2-凸性を確保し、被覆空間における凸包を用いることで、出口列を持つ表面の存在を示し、多様体がコンパクト3次元多様体の内部に位相的に同相であることを証明する。

ABSTRACT

Using PL-methods, we prove the Marden's conjecture that a hyperbolic 3-manifold $M$ with finitely generated fundamental group and with no parabolics are topologically tame. Our approach is to form an exhaustion $M_i$ of $M$ and modify the boundary to make them 2-convex. We use the induced path-metric, which makes the submanifold $M_i$ negatively curved and with Margulis constant independent of $i$. By taking the convex hull in the cover of $M_i$ corresponding to the core, we show that there exists an exiting sequence of surfaces $Σ_i$. Some of the ideas follow those of Agol. We drill out the covers of $M_i$ by a core $\core$ again to make it negatively curved. Then the boundary of the convex hull of $Σ_i$ is shown to meet the core. By the compactness argument of Souto, we show that infinitely many of $Σ_i$ are homotopic in $M - \core^o$. Our method should generalize to a more wider class of piecewise hyperbolic manifolds.

研究の動機と目的

• 双曲的3次元多様体が有限生成の基本群と双曲的要素を持たない場合、そのトポロジカルなたんぱく性を示すマーデンの予想を証明すること。
• このような多様体の端に、たんぱく性を示す出口列となる表面の存在を確立すること。
• 境界を変形して2-凸性と負の曲率を達成するためのPLに基づく手法を開発すること。
• 手法を折れ線的双曲的3次元多様体および負の曲率を持つ多面体的複体に一般化すること。
• 幾何的解析やリーマン計量のピンチングに依存せず、不完全な双曲的計量と内在的幾何学を用いること。

提案手法

• 双曲的3次元多様体 $M$ を、圧縮不能境界を持つコンパクト部分多様体 $M_i$ の列によって exhaustion する。
• 特に月牙同相（crescent-isotopy）を用いたPL技法を適用し、$M_i$ の境界を2-凸性と負の曲率を持つように変形する。
• 各 $M_i$ に誘導された路距離を用いて、$i$ に依存しない一様なマーガリス定数を保証し、負の曲率を維持する。
• コアに対応する被覆空間におけるコアの凸包を形成し、表面の列 $\Sigma_i$ を得る。
• 被覆空間 $L_i$ からコア $\mathcal{C}$ を掘り出すことで、負の曲率を維持し、凸包の境界が $\mathcal{C}$ と交わることを保証する。
• コンパクト性の議論（Souto）を適用し、無限に多くの $\Sigma_i$ が $M - \mathcal{C}^o$ 内でホモトープであることを示し、出口列の存在を導く。

実験結果

リサーチクエスチョン

• RQ1 幾何的解析に代えてPL手法を用いることで、有限生成の基本群と双曲的要素を持たない双曲的3次元多様体のたんぱく性を証明できるか？
• RQ2 双曲的3次元多様体内の0次元部分多様体の境界を、閉じた測地線を避けて月牙同相で2-凸性に変形できるか？
• RQ3 双曲的3次元多様体の端に出口列となる表面の存在が、被覆空間における凸包を用いてたんぱく性を示すことができるか？
• RQ4 月牙同相と凸包の摂動手法を、折れ線的双曲的3次元多様体および多面体的複体に一般化できるか？
• RQ5 一様なマーガリス定数をどのように活用して、ねじれ表面の幾何を制御し、薄い部分の外で有界な直径を保証できるか？

主な発見

• 端 $E$ に、コア $\mathcal{C}$ の境界成分の genus と等しい genus を持つ出口列表面 $\Sigma_i$ が存在し、端がたんぱくであることを証明する。
• $M_i$ の被覆空間における $\Sigma_i$ の凸包はコア $\mathcal{C}$ と交わるため、幾何的制御が保証される。
• 無限に多くの表面 $\Sigma_i$ が $M - \mathcal{C}^o$ 内でホモトープであるため、端 $E$ がトポロジカルにたんぱくであることが示される。
• 表面 $\Sigma_i$ は内在的に三角形分割された双曲的曲面構造を持つ。その薄い部分はマーガリスチューブ内にあり、本質的な円柱である。
• 表面 $\Sigma_i$ の内在的計量は双曲的であり、マーガリスチューブの外では、$i$ に依存しない一様な有界直径を持つ。
• 得られた双曲的埋め込み表面の列 $q_i: T_i \to M - \mathcal{C}^o$ は前コンパクトであり、無限に多くのものが同相であるため、端に出口列が存在することを確認する。