[論文レビュー] A short proof of the bounded geodesic image theorem

Richard Webb|arXiv (Cornell University)|Jan 25, 2013

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

ひとこと要約

本稿は、曲線グラフの均一な双曲的性質を用いて、有界測地線像定理の簡潔で組合せ的な証明を提示し、部分表面への射影における測地線像の直径に対する普遍的な上限を確立する。この結果は、マークィングへの射影へと一般化され、表面に依存しない普遍的な上限が得られる。

ABSTRACT

We give a combinatorial proof, using the hyperbolicity of the curve graphs, of the bounded geodesic image theorem of Masur and Minsky. Recently it has been shown that curve graphs are uniformly hyperbolic, thus a universal bound can be given for the diameter of the geodesic image. We also generalize the theorem for projections to markings of the whole surface.

研究の動機と目的

• 曲線グラフの双曲的性質のみを用いて、有界測地線像定理の簡素化された組合せ的証明を提供すること。
• 表面に依存しない、部分表面への射影における測地線像の直径に対する普遍的な上限を確立すること。
• 有界測地線像定理を、表面の埋め込みグラフとして定義されるマークィングへの射影へと一般化すること。
• 曲線グラフの双曲的定数 δ に依存する形で、マークィング射影における測地線の像の直径が一様に有界であることを示すこと。
• 有界交差性の性質を活用して、写像類群がマークィンググラフに準等距的に埋め込まれることを示すこと。

提案手法

• Aougab, Bowditch, Clay–Rafi–Schleimer, および Hensel–Przytycki–Webb によって最近確立された、曲線グラフの均一な δ-双曲的性質を利用する。
• 双曲的空間における測地線三角形の δ-スリム性を用いて、部分表面への射影における距離を制御する。
• 部分表面 Y と交わる曲線に対する手術的議論を適用し、Lemma 1.2 を一般化して射影の直径を制御する。
• 曲線 γ に対して、S 上の曲線から部分表面 Y の弧と曲線複体への射影写像 π_Y を定義し、埋め込みグラフ Γ_α(γ) を通じてマークィングへと拡張する。
• 辺の交差数が有界であるマークィンググラフ M_{k,l}(S) を導入し、写像類群への均一な準等距性を保証する。
• 有界交差数とオイラー特徴標数の議論を用いて、マークィンググラフ内の辺の数と交差の上限を制御する。

実験結果

リサーチクエスチョン

• RQ1 有界測地線像定理は、幾何的または組合せ的複雑性に依存せずに、曲線グラフの双曲的性質のみを用いて、組合せ的に証明可能か？
• RQ2 曲線グラフが均一に δ-双曲的であるとすると、部分表面への射影における測地線像の直径に対する最適な普遍的上限 M(δ) は何か？
• RQ3 有界測地線像定理は、表面を埋める埋め込みグラフとして定義されるマークィングへの射影へとどのように拡張可能か？
• RQ4 曲線グラフの双曲的定数 δ と関連して、マークィング射影における測地線の像の直径との関係は何か？
• RQ5 交差定数が一様に有界なマークィンググラフに、写像類群を準等距的に埋め込むことは可能か？

主な発見

• 任意の測地線が部分表面への射影を受けるとき、その像の直径に対する普遍的上限 M(δ) が存在する。この上限は、曲線グラフの双曲的定数 δ のみに依存する。
• δ-スリムな三角形と交わる曲線に対する手術的議論を組み合わせて、M = D + δ + (2δ + 4) + δ + D（D は δ に依存する定数）の形で、M(δ) が組合せ的に導出される。
• 有界測地線像定理は、マークィングへの射影へと一般化される：任意のマルチ曲線 α と、γ_i と α が S を埋めるような測地線 g に対して、マークィンググラフ M_{k,l}(S) 内での Γ_α(g) の直径は一様に有界である。
• マークィンググラフ M_{k,l}(S) は、辺の交差数が一様に有界な連結グラフであり、Milnor–Švarc の補題を用いて写像類群と準等距であることが示される。
• 任意のクリーンな完全マークィングにおける辺の数は k_2 で有界であり、マークィング間の最大交差数は l = max(l_1, l_2) で有界であるため、直径の制御が有限に行える。
• 証明により、マークィング間の有界な交差性がマークィンググラフ内での有界な距離を意味することを示し、元の有界測地線像結果をマークィング設定へと一般化する。