[論文レビュー] Shadows of Teichmüller Discs in the Curve Graph

Robert L. Tang, Richard Webb|arXiv (Cornell University)|Oct 14, 2015

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

ひとこと要約

この論文は、テイコフ・ドライブに関連する複数の自然な曲線集合——例えば、短縮曲線、シリンダー曲線、直線的頂点サイクル——が、曲線グラフにおいて一様にクェイシコン vex であり、普遍的なハウスドルフ距離の違いを除いて一致することを確立している。著者らは、マスールとミンスキーのバランス時間の概念を一般化し、定数方向を持たない曲線に対してもテイコフ・ドライブ上のバランス点を導入し、これらの点が最近接点射影と短縮曲線を概ね近似することを証明した。また、半移行表面におけるユークリッド幾何学を用いて平坦長とバランス条件を分析するための補助多角形を導入した。

ABSTRACT

We consider several natural sets of curves associated to a given Teichmüller disc, such as the systole set or cylinder set, and study their coarse geometry inside the curve graph. We prove that these sets are quasiconvex and agree up to uniformly bounded Hausdorff distance. We describe two operations on curves and show that they approximate nearest point projections to their respective targets. Our techniques can be used to prove a bounded geodesic image theorem for a natural map from the curve graph to the filling multi-arc graph associated to a Teichmüller disc.

研究の動機と目的

• 曲線グラフにおけるテイコフ・ドライブの粗い幾何学を、短縮曲線、シリンダー曲線、直線的頂点サイクルなどの自然な曲線集合の分析によって理解すること。
• 定数方向を持たない曲線に対して、マスールとミンスキーのバランス時間の概念をテイコフ・ドライブ上のバランス点へ一般化すること。
• テイコフ・ドライブに関連するさまざまな曲線集合が、普遍的なハウスドルフ距離の違いを除いて一様にクェイシコン vex であり、概ね等価であることを証明すること。
• テイコフ・ドライブに関連する曲線グラフから、その関連する満遍多弧グラフへの写像に対する有界地図像定理を確立すること。
• 特に補助多角形を含む、半移行表面における曲線長やバランス条件の有効な幾何学的分析を可能にするツールを開発すること。

提案手法

• 半移行表面における測地的代表元を介して、各曲線に関連するトレイン・トラックに標準的に関連する頂点サイクルの和集合として、直線的頂点サイクルを定義する。
• 曲線 α が任意の q ∈Δ で使用する鞍点接続の組み合わせ的パターンに基づいて、長さや方向に依存しない τΔ(α) というトレイン・トラックを構成する。
• 幾何的解析を初等的なユークリッド幾何学に還元するために補助多角形 Pq(α) を導入し、バランス点と最小平坦長の明示的計算を可能にする。
• 曲線 α に対して、すべての回転において水平長と垂直長が有界な比で一致する点 X ∈Δ をバランス点として定義し、測地線におけるバランス時間の概念を一般化する。
• 粗い幾何学的手法、特に粗いリプシッツ写像と最近接点射影の近似を用いて、曲線グラフにおける短縮曲線集合と曲線集合との関係を分析する。
• ヴォロベーツの広いシリンダー定理を応用して、クェイシコン vex 性とハウスドルフ距離の上限を制御し、特定の包含写像に対して明示的な定数 O(2^{32g}) を得る。

実験結果

リサーチクエスチョン

• RQ1 テイコフ・ドライブ上での平坦短縮曲線、極値長短縮曲線、双曲的長短縮曲線、シリンダー曲線、直線的頂点サイクルの集合は、曲線グラフにおいて概ね等価か？
• RQ2 テイコフ測地線におけるバランス時間の概念を、定数方向を持たない曲線に対してテイコフ・ドライブ上のバランス点へ一般化できるか？
• RQ3 短縮曲線集合への最近接点射影と直線的頂点サイクル集合への射影の関係は何か？ そして、これらは一様に近似可能か？
• RQ4 関連する半移行表面における鞍点接続の多弧に曲線を写す写像によって、曲線グラフ内の測地線の像の粗い幾何学的性質は何か？
• RQ5 補助多角形を用いて、テイコフ・ドライブ上の曲線のバランス点と最小平坦長を有効に計算できるか？

主な発見

• 曲線グラフ C(S) において、集合 V(Δ)、sys(Δ)、sysExt(Δ)、sysHyp(Δ)、cyl(Δ)、および c cyl(Δ) は、すべて普遍的なハウスドルフ距離の違いを除いて一致する。
• 直線的頂点サイクルの集合 V(Δ) は普遍的にクェイシコン vex であり、クェイシコン vex 定数 Q1 を持つ。写像 α ↦ V(τΔ(α)) は、V(Δ) への最近接点射影を普遍的な誤差 P1 で近似する。
• 短縮曲線集合 sys(Δ)、sysExt(Δ)、sysHyp(Δ) は、定数 Q2 を持つ普遍的なクェイシコン vex 性を有する。写像 α ↦ sys(Gα) は、sys(Δ) への最近接点射影を普遍的な誤差 P2 で近似する。
• 曲線グラフ C(S) 内の V(Δ) の A-近傍と交差しない任意の測地線 G に対して、AΔ(G) の直径は FMA(Δ) 内で最大 B である。これは、普遍的な定数 A と B を用いた有界地図像定理の証明である。
• 曲線 α に対して、Δ 上のバランス点 X は、任意の α を通るテイコフ測地線 Gα に対して dΔ(X, Gα) ≤ log 2 を満たす。また、sys(X) は、sys(Δ) への α の最近接点射影と普遍的に近い。
• 頂点サイクル v ∈ V(τ) のバランス点 Xv の凸包 H に対して、sys(H)、sys(X)、および V(τ) は、C(S) 内で普遍的に近い。さらに、sys(H) は普遍的に有界な直径を持つ。