[論文レビュー] Generalized stretch lines for surfaces with boundary

Daniele Alessandrini, Valentina Disarlo|arXiv (Cornell University)|Nov 23, 2019

Geometric and Algebraic Topology参考文献 22被引用数 8

ひとこと要約

本稿は、境界を持つ曲面のテイコフラー空間に対して、ストレッチラインとリプシッツ距離のサーストン理論を拡張する。弧距離 $d_A$ と一般化ストレッチライン（サーストンの元来のストレッチラインを一般化した測地線）を導入し、テイコフラー空間が弧距離に関して測地的でフィンスラー的距離空間であることを証明するとともに、境界を保存する最適なリプシッツ定数を達成する一般化ストレッチ写像を構成し、古典的サーストン理論では捉えきれない新たな測地線を導出する。

ABSTRACT

In 1986 William P. Thurston introduced the celebrated (asymmetric) Lipschitz distance on the Teichmueller space of a (closed or punctured) surface. In this paper we extend his work to the Teichmueller space of a surface with boundary endowed the arc distance. In this new setting we construct a large family of geodesics, which generalize Thurston's stretch lines. We prove that the Teichmueller space of a surface with boundary, endowed with the arc distance, is a geodesic metric space. Furthermore, the arc distance is induced by a Finsler metric. As a corollary, we describe a new class of geodesics in the Teichmueller space of a closed/punctured surface that are not stretch lines in the sense of Thurston.

研究の動機と目的

• 非空な境界を持つ曲面に対して、サーストンの非対称的リプシッツ距離およびストレッチライン理論を拡張すること。
• 境界付き曲面におけるサーストン距離の自然な一般化として、弧距離 $d_A$ を定義し、その性質を調査すること。
• 最大の測地的ラミネーションによって生成される一般化ストレッチラインおよび一般化ストレッチ写像を構成し、$d_A$ および $d_{L\bar}$（境界を保存するリプシッツ距離）の測地線としての役割を果たすようにすること。
• 境界付き曲面のテイコフラー空間が弧距離に関して測地的でフィンスラー的距離空間であることを証明すること。
• 閉曲面のテイコフラー空間において、古典的意味でのストレッチラインでない新たなクラスの測地線を同定すること。

提案手法

• 境界を保存し、恒等写像にホモトープな写像の最良のリプシッツ定数を測る非対称的距離 $d_{L\bar}$ を導入する。
• 最大の測地的ラミネーション $\lambda$ を持つ曲面 $X$ 上で生成される連続的経路 $t \to X_\tau^t$ を一般化ストレッチラインとして定義し、ストレッチ要因を $e^t$ とする。
• 葉の長さを $e^t$ 倍し、境界を保存し、幾何的部品上に一般化ストレッチ写像として制限される一般化ストレッチ写像 $\Phi^t: X \to X_\lambda^t$ を構成する。
• $\Phi^t$ のリプシッツ定数が $e^t$ に等しく、かつ $\lambda$ に非自明な可測部分ラミネーションを含むとき、恒等写像にホモトープな境界を保存する写像の中でこれが最小であることを証明する。
• 双対構成 $S^d$ を用いて $\mathrm{Teich}(S)$ を閉曲面の古典的テイコフラー空間に結びつけ、$\mathrm{Teich}(S^d)$ 上に既知のフィンスラー構造を活用する。
• 弧距離 $d_A$ が、$\mathrm{Teich}(S^d)$ 上の古典的フィンスラーノルムの制限によって誘導される距離と一致することを確立する。

実験結果

リサーチクエスチョン

• RQ1 サーキュラー距離関数を適切に選ぶことで、サーストンのストレッチライン構成を境界付き曲面に一般化できるか？
• RQ2 境界付き曲面のテイコフラー空間が弧距離に関して測地的でフィンスラー的距離空間であるか？
• RQ3 最大のラミネーションを用いて構成された一般化ストレッチラインは、弧距離およびリプシッツ距離の両方の測地線をなすか？
• RQ4 閉曲面のテイコフラー空間において、古典的意味でのストレッチラインでない新たな測地線が存在するか？
• RQ5 弧距離 $d_A$、境界を保存するリプシッツ距離 $d_{L\bar}$、および古典的サーストン距離 $d_{Th}$ の間にはどのような関係があるか？

主な発見

• 非空な境界を持つ曲面のテイコフラー空間に弧距離 $d_A$ を導入した場合、これは測地的でフィンスラー的距離空間である。
• 最大のラミネーションとストレッチ写像を用いて構成された一般化ストレッチライン $s_{X,\lambda}: \mathbb{R}_{\geq 0} \to \mathrm{Teich}(S)$ は、$d_A$ および $d_{L\bar}$ の両方の測地線である。
• 任意の $X \in \mathrm{Teich}(S)$ および、非自明な可測部分ラミネーションを含む最大のラミネーション $\lambda$ に対して、一般化ストレッチ写像 $\Phi^t$ は、境界を保存する恒等写像にホモトープな写像の中で最小のリプシッツ定数を達成する。
• 弧距離 $d_A$ は境界を保存するリプシッツ距離 $d_{L\bar}$ と一致する。すなわち、すべての $X,Y \in \mathrm{Teich}(S)$ に対して $d_A(X,Y) = d_{L\bar}(X,Y)$ が成り立つ。
• 本構成により、古典的意味でのストレッチラインでない無限に多くの新たな測地線が、閉曲面のテイコフラー空間に得られる。
• $S^d$ を用いて誘導される $\mathrm{Teich}(S)$ 上のフィンスラー構造は、弧距離 $d_A$ と一致し、$d_A$ がフィンスラーノルムによって誘導されることを確認する。