[論文レビュー] Stable curves and screens on fatgraphs

Robert Penner, Greg McShane|ArXiv.org|Jul 10, 2007

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

ひとこと要約

本稿は、穴あき曲面の装飾的テイヒミュラー空間のマッピングクラス群不変な理想細分の各細胞において、どの単純閉曲線が短縮可能かを完全に特徴付ける新しい組合せ的構造「スクリーン」を導入する。ポアンカレ変換と三角不等式を満たすラムダ長さを用いて、著者らは、互いに交わらない、本質的で、平行でない曲線の族が細胞内で短縮可能であるための必要十分条件が、対応するファットグラフスプライス上でのスクリーンの境界をなすことであることを証明する。

ABSTRACT

The mapping class group invariant ideal cell decomposition of the Teichmueller space of a punctured surface times an open simplex has been used in a number of computations. This paper answers a question about the asymptotics of this decomposition, namely, in a given cell of the decomposition, which curves can be short? Screens are a new combinatorial structure which provide an answer to this question. The heart of the calculation here involves Ptolemy transformations and the triangle inequalities on lambda lengths.

研究の動機と目的

• 与えられた装飾的テイヒミュラー空間の細胞において、どの本質的で、平行でなく、互いに交わらない単純閉曲線が双曲的にな短縮可能かを特定すること。
• 理想細分の漸近的挙動を、安定曲線への退化において完全な組合せ的特徴づけを行うこと。
• テイヒミュラー理論における曲線短縮問題の解として、「スクリーン」という概念を導入し、形式化すること。
• スクリーンと細胞内の短縮曲線の集合との正確な対応関係を確立し、デリーニュ＝マウムフォードコンパクト化の組合せ的記述を可能にすること。

提案手法

• ファットグラフ $ G $ 上のスクリーンを、再帰的・ネスト構造的・真部分集合条件を満たす辺部分集合族 $ \newcommand{cA}{\mathcal{A}} \cA $ として定義する。
• ラムダ長さにおける一般化された三角不等式とポアンカレ変換を用いて、曲面上の1パラメータ族の双曲計量を構成する。
• 細胞 $ C(G) $ 内の経路を、$ d_e $ をスクリーン $ \cA $ 内での辺 $ e $ の深さとして、$ \lambda_t(e) = t^{d_e} $ とラムダ長さを割り当てることで構成する。
• 循環的ユークリッド多角形に関する定理5.2を適用し、部分グラフ上でのラムダ長さの一貫性のある実現を保証する。
• スクリーンの境界 $ \partial\cA $ が、$ t \to 0 $ のとき正確に短縮する曲線の集合に一致することを証明する。
• 単体座標の逆と、ゼロにならないサイクル条件を用いて、漸近的挙動と再帰的構造・スクリーン構造との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 与えられた装飾的テイヒミュラー空間の細胞において、どの互いに交わらない、本質的で、穴に平行でない単純閉曲線の族が同時に短縮可能か。
• RQ2 理想細分の細胞の漸近的退化をどのように組合せ的に記述できるか。
• RQ3 ファットグラフスプライス上に、ある細胞内の短縮曲線の集合を符号化する組合せ的構造は何か。
• RQ4 ポアンカレ変換とラムダ長さは、所望の短縮曲線を持つ退化した双曲計量を実現するためにどのように作用するか。
• RQ5 デリーニュ＝マウムフォードコンパクト化は、与えられた位相型 $ (g,s) $ のすべてのファットグラフ上のスクリーンのposetを用いて記述可能か。また、マッピングクラス群はこの構造にどのように作用するか。

主な発見

• 互いに交わらない、本質的で、平行ではなく、穴に平行でもない単純閉曲線の族 $ K $ が細胞 $ C(G) $ で短縮可能であるための必要十分条件は、$ K = \partial\cA $ を満たすファットグラフ $ G $ 上のスクリーン $ \cA $ が存在することである。
• スクリーンは再帰的・ネスト構造的・真部分集合条件によって定義され、これにより $ \partial\cA $ の各成分が短縮曲線に対応する。
• $ \lambda_t(e) = t^{d_e} $ を用いた1パラメータ族のラムダ長さの構成により、$ t \to 0 $ のとき $ \partial\cA $ 内の曲線が短縮され、他の曲線は0から離れたままであることが保証される。
• スクリーンの境界 $ \partial\cA $ は、各 $ A \in \cA \setminus \{E\} $ に対する相対境界 $ \partial_\cA A $ の disjoint な和集合であり、これらが正確に短縮曲線である。
• マッピングクラス群は、与えられた位相型 $ (g,s) $ のすべてのファットグラフ上のスクリーンのposetの幾何的実現に自然に作用する。
• このスクリーンposetを、図の組合せ的同型を含むより細かい同値関係で割った商は、デリーニュ＝マウムフォードコンパクト化 $ \overline{\mathcal{M}}(F_{g}^{s}) $ とホモトピー同値である。