[論文レビュー] Distance in the curve graph

Ursula Hamenstaedt|arXiv (Cornell University)|Apr 20, 2011

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

ひとこと要約

この論文は、有限型の曲面の曲線グラフにおける2つの曲線間の距離を、Teichmüller geodesic を用いて固定された乗法的定数の範囲内で推定する手法を確立する。曲線が geodesic 沿いに距離3以上を保つ間隔を特定することで、著者たちは曲線グラフ内で粗く準測地線的となる経路を構成し、実際にその距離の推定値として、このような区間の数が一様な準等長的推定値を提供することを証明する。

ABSTRACT

We estimate the distance in the curve graph of a surface S of finite type using Teichmueller geodesics and assuming to be able to detect curves of distance at least three.

研究の動機と目的

• Teichmüller geodesic を用いて、曲線グラフ内の距離について、固定された乗法的定数の範囲内で一様な推定値を提供すること。
• Teichmüller geodesic を用いた曲線グラフの粗い準測地線的推定における定数について既知の境界がないという問題を克服すること。
• タイトな geodesic の明示的計算を避けるために、Teichmüller geodesic 沿いに距離が少なくとも3であるとされる曲線対の検出にのみ依存する手法を開発すること。
• 距離の閾値に基づく再帰的構成を用いて、Teichmüller geodesic の像が曲線グラフ内に一様な準等長埋め込みとして確立されることを示すこと。
• 曲線が geodesic 沿いに距離 ≥3 を保つ区間の数が、曲線グラフ距離の下界を乗法的定数の範囲で与えることの証明

提案手法

• Teichmüller空間の単位余接束から曲線グラフへの写像 Υ を定義し、各二次微分形式 q に対して δ-広い曲線を割り当てる。
• Υ(q_t) が一様な定数を用いて粗くリプシッツ的で、パラメータなしの準測地線的であることを用いる。
• Teichmüller geodesic に沿って t_0 < ... < t_n となる時刻の列を構成し、任意の s ≤ t_i および t ≥ t_{i+1} に対して d_CG(Υ(q_s), Υ(q_t)) ≥ 3 となるようにする。
• 三角不等式と粗い準測地線的性質を用いて、このような区間の数を用いて全曲線グラフ距離の上界を導出する。
• 部分面への射影と帰納法を用いて、射影の直径を制御し、geodesic 沿いに十分に多くの異なる曲線が検出されることを保証する。
• Masur と Minsky (MM00, MM99) および Rasmussen (R10) の部分面への射影とマーキングの複雑さに関する結果を活用し、十分な分離度を持つ時間区間の再帰的測度を導出する。

実験結果

リサーチクエスチョン

• RQ1 Teichmüller geodesic 沿いに距離が少なくとも3であるとされる曲線対の検出のみを用いて、曲線グラフ内の距離を固定された乗法的定数の範囲で推定できるか。
• RQ2 曲線が geodesic 沿いに距離 ≥3 を保つ区間の数と、実際の曲線グラフ距離との関係は何か。
• RQ3 Teichmüller geodesic の像が写像 Υ を通じて得られる曲線グラフ内に一様な準測地線をどのように構成できるか。
• RQ4 Teichmüller geodesic 沿いでの Υ の振る舞いは、曲線グラフの双曲的幾何をどの程度反映しているか。
• RQ5 パラメータ化された距離ではなく、粗い分離条件（例：距離 ≥3）に注目することで、準測地線定数に対する明示的境界の欠如を克服できるか。

主な発見

• ある定数 θ > 0 が存在し、Teichmüller geodesic が n 個の区間で曲線が距離3以上を保つ場合、端点間の曲線グラフ距離は n/θ − θ 以上である。
• このような区間の数が、すべての曲面と geodesic に対して一様に曲線グラフ距離の下界を提供する。
• タイトな geodesic の明示的計算を避けるために、距離が少なくとも3であるとされる曲線対の検出にのみ依存しており、これは多項式時間で決定可能である。
• この構成により、Teichmüller geodesic の像が Υ を通じて曲線グラフ内で一様な準測地線的経路を形成することが保証され、パラメータ化が保たれない場合でも成立する。
• 部分面への射影と複雑さに関する帰納法を用いて、射影の直径が大きい場合、曲線グラフ距離も大きいことが示された。
• 十分に多くの異なる曲線が geodesic 沿いに検出されることを示すことで、最終的な推定値が得られ、距離が区間数に比例して線形に増加することが保証された。