[論文レビュー] Injectivity Radius and Fundamental Group of Hyperbolic 3-Manifolds

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

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

ひとこと要約

この論文は、基本群のランクが $ n > 1 $ である任意の閉超曲面的3次元多様体について、単射半径がその多様体の具体的な性質に依存しない定数 $ R_n $ によって一様に上から抑えられることを確立する。証明では、基本群を表現する最小長の3価グラフを用い、単射半径が大きすぎると、群の関係がより短いこのようなグラフを強制し、最小性に反することを示す。これにより、群は自由であると結論づけられ、しかし閉超曲面的3次元多様体は非可約であるため、これは不可能である。

ABSTRACT

We show that there is an upper bound on the injectivity radius of a hyperbolic 3-manifold in terms of the the number of generators of its fundamental group.

研究の動機と目的

• 閉超曲面的3次元多様体の単射半径を、その基本群のランクの関数として上界で評価すること。
• 各ランク $ n > 1 $ に対して、特定の多様体に依存しない普遍的な定数 $ R_n $ が存在することを示すこと。
• 最小長のグラフを担う幾何的・位相的議論を用いて、単射半径が閾値を超えると矛盾が生じることを示すこと。
• 基本群が自由であることは不可能であり、これは単射半径が大きすぎると最小長グラフの存在に矛盾することを示すこと。
• 結果を負の曲率が有界な多様体へ拡張し、単射半径の上界を一般化すること。

提案手法

• 基本群を担う最小長の3価グラフ $ \Gamma $（$ n $-グラフと呼ばれる）を構成し、$ 3(n-1) $ 条の辺を持つこと。
• 普遍被覆 $ \mathbb{H}^3 \to M $ を用いてグラフを上げ、単射半径が大きいという仮定の下で辺の長さと近接性を分析すること。
• 辺が $ \mathbb{H}^3 $ で近接している場合、短絡弧を用いて総長を短縮しつつ群を担う性質を保つ幾何的議論を適用すること。
• グラフ内の任意のループは $ M $ において非自明なループにマッピングされるため、その長さは $ 2 \cdot \text{inj}(M) $ を超えることを利用して辺の長さを制約すること。
• 超曲面的3次元多様体の残余有限性を用いて、任意に大きな基本群のランクを持つ有限シート被覆を構成すること。
• 背理法を用いる：$ \text{inj}(M) \geq R_n $ ならば、より短いグラフが存在し、$ \pi_1(M) $ が自由であることを示唆するが、これは非可約性に反する。

実験結果

リサーチクエスチョン

• RQ1 閉超曲面的3次元多様体の単射半径は、その基本群のランクの関数として上界で抑えられるか？
• RQ2 任意の閉超曲面的3次元多様体 $ M $ について、$ \text{Rank}(\pi_1(M)) = n $ ならば $ \text{inj}(M) < R_n $ を満たす普遍定数 $ R_n $ が存在するか？
• RQ3 単射半径が大きすぎると、最小長のグラフを担うグラフの存在が妨げられる幾何的または位相的障害は何か？
• RQ4 閉超曲面的3次元多様体の基本群が自由であることは可能か？ これは単射半径の上界とどのように関係するか？
• RQ5 残余有限性により、任意に大きな基本群のランクを持つ有限シート被覆を構成できるか？

主な発見

• 各整数 $ n > 1 $ に対して、普遍定数 $ R_n > 0 $ が存在し、$ \text{Rank}(\pi_1(M)) = n $ である任意の閉超曲面的3次元多様体 $ M $ について $ \text{inj}(M) < R_n $ が成り立つ。
• 証明は、$ 3(n-1) $ 条の辺を持つ、$ \pi_1(M) $ を担う最小長の3価グラフ $ \Gamma $ の存在に依存しており、$ \text{inj}(M) $ が大きすぎるとこのようなグラフは存在できないことを利用している。
• もし $ \text{inj}(M) $ が十分に大きければ、$ \mathbb{H}^3 $ におけるグラフの辺が互いに近接するようになり、総長を短くする短絡弧を用いて長さを減少させつつ群を担う性質を保つことができる。
• これは、$ \pi_1(M) $ が自由であることを示唆するが、閉超曲面的3次元多様体は非可約であり、基本群が自由であることは不可能であるため、矛盾が生じる。
• 超曲面的3次元多様体の残余有限性により、$ \text{Rank}(\pi_1(\tilde{M})) $ が任意に大きな有限シート被覆 $ \tilde{M} \to M $ が存在することが示される。
• 結果は、超曲面的でないが負の曲率が有界な多様体に対しても拡張可能である。