[論文レビュー] Thurston's metric on Teichmüller space and the translation lengths of mapping classes

Athanase Papadopoulos, Weixu Su|arXiv (Cornell University)|Sep 22, 2015

Analytic and geometric function theory参考文献 8被引用数 3

ひとこと要約

この論文は、境界を持つ曲面のテイコフラー空間における弧距離が、境界長が0に近づく際にサーストンの非対称的距離に収束することを確立している。この収束を用いて、著者たちは、写像類群の変換長が、単純閉曲線の対数ストレッチ要因の下限に等しいことを証明し、境界付き曲面における弧距離の結果を境界なしの場合に拡張している。

ABSTRACT

We show that the Teichmüller space of a surface without boundary and with punctures, equipped with Thurston's metric is the limit (in an appropriate sense) of Teichmüller spaces of surfaces with boundary, equipped with their arc metrics, when the boundary lengths tend to zero. We use this to obtain a result on the translation distances for mapping classes for their actions on Teichmüller spaces equipped with their arc metrics.

研究の動機と目的

• 境界長が0に近づく際、境界付き曲面のテイコフラー空間における弧距離の極限挙動を調査すること。
• 境界付き曲面における弧距離が、対応する特異点付き曲面におけるサーストンの距離に幾何的に収束することを確立すること。
• この収束を応用して、サーストン距離のもとでの写像類群のテイコフラー空間への作用に関する変換長の結果を導出すること。
• 写像類群のサーストン距離における変換距離が、本質的単純閉曲線の対数ストレッチ要因の下限によって決定されることを証明すること。

提案手法

• 著者たちは、境界測地線が点に収縮する際の双曲構造の収束を分析するために、フェンヒェル＝ニーレンベルク座標を用いる。
• 特異点付き曲面 $ X_0 $ と境界を縮約した曲面 $ X_L $ 間のホメオモルフィズム族 $ f_L: X_0 \to X_L $ を構成し、特異点近傍を除くコンパクト集合上で距離が一様に収束することを示す。
• 特に、2つの境界成分の長さが小さいペアオブパンツにおける弧の長さの双曲三角恒等式を適用する。
• 弧長 $ \ell_\alpha(X_L) $ の漸近展開を、第3の境界の長さ $ \ell_\gamma $ について導出し、$ \ell_\alpha(X_L) = \ell_\gamma + |\log(\sinh(\frac{1}{2}\ell_{\beta_1})\sinh(\frac{1}{2}\ell_{\beta_2}))| - \log 2 + o(1) $ が成り立つことを示す。ここで $ \ell_{\beta_i} \to 0 $ のとき成立する。
• 写像 $ \Psi_L: \mathcal{T}_L(S) \to \mathcal{T}_0(S) $ を定義し、これが $ (1, o(1)) $-クェイシアイソメトリーであることを証明し、$ \mathcal{T}_L(S) $ 上の弧距離と $ \mathcal{T}_0(S) $ 上のサーストン距離を結びつける。
• 不等式 $ \frac{A_1 + A_2}{B_1 + B_2} \leq \max\{\frac{A_1}{B_1}, \frac{A_2}{B_2}\} $ を用いて、測地線長の比を比較し、弧距離の差を評価する。

実験結果

リサーチクエスチョン

• RQ1 境界長が0に近づく際、境界付き曲面のテイコフラー空間における弧距離はサーストンの距離に収束するか？
• RQ2 境界成分が縮小する双曲曲面上で、本質的曲線および弧の測地線長はどのように振る舞うか？
• RQ3 写像類群のサーストン距離における変換長は、単純閉曲線の対数ストレッチ要因の下限によって特徴付けられるか？
• RQ4 写像 $ \Psi_L: \mathcal{T}_L(S) \to \mathcal{T}_0(S) $ は、$ L \to 0 $ の極限でクェイシアイソメトリーとなるか？

主な発見

• 固定された境界長 $ L $ を持つ双曲構造の空間 $ \mathcal{T}_L(S) $ における弧距離は、$ L \to 0 $ のとき、$ \mathcal{T}_0(S) $ におけるサーストン距離に収束する。
• 任意の本質的単純閉曲線 $ \gamma $ に対して、$ \frac{\ell_\gamma(Y_L)}{\ell_\gamma(X_L)} $ は、特異点近傍を除くコンパクト集合上で $ L \to 0 $ のとき $ \frac{\ell_\gamma(Y_0)}{\ell_\gamma(X_0)} $ に一様に収束する。
• 2つの境界成分 $ \beta_1, \beta_2 $ を結ぶ任意の本質的弧 $ \alpha $ に対して、その長さは $ \ell_\alpha(X_L) = \ell_\gamma + |\log(\sinh(\frac{1}{2}\ell_{\beta_1})\sinh(\frac{1}{2}\ell_{\beta_2}))| - \log 2 + o(1) $ を満たす。ここで $ \gamma $ は関連するペアオブパンツの第3の境界である。
• 写像 $ \Psi_L: \mathcal{T}_L(S) \to \mathcal{T}_0(S) $ は $ (1, o(1)) $-クェイシアイソメトリーである。これは、$ L \to 0 $ のとき距離を1に近い因子で保存することを意味する。
• 写像類群 $ f $ のサーストン距離における変換長 $ \sigma(f) $ は、$ \sigma(f) = \inf_{X \in \mathcal{T}(S)} d_{\mathrm{Th}}(X, f(X)) = \inf_{\gamma \in \mathcal{S}} \log \frac{\ell_\gamma(f(X))}{\ell_\gamma(X)} $ を満たす。これは、本質的単純閉曲線の対数ストレッチ要因の最小値によって決定されることを示している。