[論文レビュー] Weak Forms of the Ehrenpreis Conjecture and the Surface Subgroup Conjecture

Lewis Bowen|ArXiv.org|Nov 30, 2004

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

ひとこと要約

この論文は、双曲幾何におけるEhrenpreis予想と表面部分群予想の弱形を確立する。任意の2つの閉じた双曲的曲面とε > 0に対して、有界な自己同型半径を持つ局所等長被覆が存在し、それらが(1+ε)-リプシッツ同等であることを証明する。さらに、任意の閉じた双曲的3次元多様体へ、有界な自己同型半径を持つ曲面からのπ₁-単射な局所等長写像を構成し、表面部分群予想への重要な一歩を提供する。

ABSTRACT

We prove the following: 1. Let epsilon>0 and let S_1,S_2 be two closed hyperbolic surfaces. Then there exists locally-isometric covers S'_i of S_i (for i=1,2) such that there is a (1+ε) bi-Lipschitz homeomorphism between S'_1 and S'_2 and both covers S'_i have bounded injectivity radius. 2. Let M be a closed hyperbolic 3-manifold. Then there exists a map j: S -> M where S is a surface of bounded injectivity radius and j is a pi_1-injective local isometry onto its image.

研究の動機と目的

• 被覆における'有限枚の被覆'を'有界な自己同型半径'に置き換えることで、Ehrenpreis予想の弱形を確立すること。
• 有界な自己同型半径を持つ曲面から、任意の閉じた双曲的3次元多様体へのπ₁-単射な局所等長写像の存在を証明すること。
• 局所等長被覆された双曲的曲面が、(1+ε)-リプシッツ同相写像によってほぼ等長にできるということを示すこと。
• このような被覆の構成問題が、特定の条件下で線形計画問題に還元されることを示すこと。

提案手法

• 制御された測地線長さとねじれパラメータを持つ、閉じた双曲的曲面の局所等長被覆を構成する。
• すべての境界測地線の長さが大きなL > L₀に近いεの範囲内にあるラベル付きパンツ分解を用いる。
• 双曲三角法（余弦定理および正弦定理）を用いた幾何的推定を適用し、理想三角形内の距離と角度を制御する。
• 測地線曲線の最小重み性質を用いて、配置を制約し、特定の平面が空でないことを証明する。
• 双曲三角形における角度と距離の上限に基づく背理法を用い、特定の配置では閉じた測地線曲線が存在しないことを除外する。
• このような被覆の存在を線形計画問題に還元し、さらなるアルゴリズム的解析の可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 Ehrenpreis予想において、被覆の'有限枚の被覆'を'有界な自己同型半径'に弱めることが可能か？
• RQ2 任意の閉じた双曲的3次元多様体へ、有界な自己同型半径を持つ曲面からのπ₁-単射な局所等長写像を構成できるか？
• RQ3 2つの局所等長被覆された双曲的曲面が(1+ε)-リプシッツ同等である必要がある場合、どのような幾何的制約が生じるか？
• RQ4 このような被覆構成において、ねじれパラメータと測地線長さはどのように振る舞うか？
• RQ5 このような被覆の構成問題は、解ける線形計画問題と同値か？

主な発見

• 任意のε > 0と、非可換な2つの閉じた双曲的曲面に対して、すべての境界測地線の長さが大きなL > L₀にεの範囲内で近い、有界な自己同型半径を持つ局所等長被覆が存在する。
• 被覆上の対応する測地線のねじれパラメータはO(exp(−L/4))で有界であり、Lとともに指数関数的に減少する。
• 対応する測地線間のねじれの差はε·exp(−L/4)で有界であり、幾何的整合性が保証される。
• 十分に大きなLに対して、被覆は(1+ε₀)-リプシッツ同相写像を許容し、弱いクアイジアイソメトリーが確立される。
• 構成により、境界のない解析的無限大で genus-0 の曲面が得られるが、自己同型半径は一様に有界である。
• 表面部分群予想は弱い形で支持される：任意の閉じた双曲的3次元多様体へ、有界な自己同型半径を持つ曲面からのπ₁-単射な局所等長写像が存在する。