[論文レビュー] A diameter bound for closed, hyperbolic 3-manifolds

Matthew E. White|ArXiv.org|Apr 19, 2001

Geometric and Algebraic Topology参考文献 3被引用数 5

ひとこと要約

本稿では、閉じた、向きつけ可能な双曲的3次元多様体の直径に対して、その基本群の任意の提示の語長さの関数として明示的な上界を確立する。三角形提示複体とマーグリスの補題を用いて、厚い部分と薄い部分への分解を解析し、直径が提示長さの線形関数を上回ると仮定した場合に矛盾を導き、その結果、任意のMに対してdiam(M) < R·ℓ(P)を満たす普遍定数Rが存在することを証明する。

ABSTRACT

We show there is an upper bound on the diameter of a closed, hyperbolic 3-manifold in terms of the length of any presentation of its fundamental group.

研究の動機と目的

• 任意の基本群提示の語長さに基づいて、閉じた双曲的3次元多様体の直径に対する普遍的な上界を確立すること。
• コープの体積の上限を、それに類する直径の上限を与えることで強化し、幾何的複雑さと群の提示の複雑さを関連付けること。
• 与えられた提示長さに対して、直径が有界な双曲的3次元多様体は有限個しか存在しないことを示し、既知の有限性結果を精緻化すること。
• 提示複体がマーグリスのチューブからホモトピー的に離せないことを示し、直径が提示長さに対して大きすぎる場合には矛盾が生じることを示すこと。

提案手法

• 基本群π₁(M)のための三角形提示複体Kを構成する。1次スケルトンは円のワジに、3長さの関係式に沿って2セルが貼り付けられる。
• プルバック計量を用いてKの面積をπ·ℓ(P)で上から抑える。コープの体積の上限を幾何的複雑さに拡張する。
• マーグリスの補題を適用してMを厚い部分と薄い部分に分解する。薄い部分は短い測地線の周囲のマーグリスチューブの互いに交わらない和集合からなる。
• 直径がR·ℓ(P)より大きいと仮定し、提示複体がマーグリスチューブと交わらなければならないことを示すことで矛盾を導く。
• マーグリスチューブ内に、制御された三角形分割サイズと大きなH₁のねじれを持つ部分複体K⁺を構成し、有限アーベル群の提示長さに対する既知の下界に反する。
• バン・カムペンの定理と境界トーラスの非圧縮性を用いて、H₁ ≅ ℤ⊕ℤまたはℤ⊕ℤ_rを満たすような複体が存在しないことを示し、矛盾に至る。

実験結果

リサーチクエスチョン

• RQ1 閉じた双曲的3次元多様体の直径は、任意の基本群提示の語長さの線形関数として上から抑えられるか？
• RQ2 双曲的3次元多様体において、提示複体がマーグリスチューブと交わったときに生じる幾何的制約は何か？
• RQ3 マーグリスチューブ内にある部分複体の1次ホモロジーは、基本群の提示長さとどのように関係するか？
• RQ4 任意の閉じた双曲的3次元多様体Mとπ₁(M)の任意の提示Pに対して、diam(M) < R·ℓ(P)を満たす普遍定数Rが存在するか？
• RQ5 提示長さとホモロジーのねじれの相互作用を用いて、直径が有界な双曲的3次元多様体の有限性結果を導けるか？

主な発見

• 任意の閉じた、連結な双曲的3次元多様体Mとπ₁(M)の任意の提示Pに対して、明示的な普遍定数R > 0が存在し、diam(M) < R·ℓ(P)が成り立つ。
• 直径の上限は、注入半径の均一な下界 inj(M) > 1/(R·ℓ(P)) を示し、幾何的不変量と群論的不変量を結びつける。
• マーグリスチューブ内に、H₁に大きなねじれを持ち、三角形分割が小さい2次元複体K⁺を構成すると、直径がℓ(P)に対して大きすぎる場合には矛盾が生じる。
• 構成された複体K⁺を三角形分割するのに必要な三角形の数はB₁²B₃·ℓ(P)^8で抑えられ、提示長さに関して多項式的増加を示す。
• H₁(K⁺) ≅ ℤ_NでN ≥ sinh(R·ℓ(P))/(4·ℓ(P))の場合は、ℤ_Nの最小提示長さがR·ℓ(P)に関して指数関数的に増加するが、これは三角形分割から得られる多項式的上界と矛盾する。
• R > C₃が十分に大きいとき、このような複体の存在は排除され、直径がR·ℓ(P)を超えることはできないと証明される。