[論文レビュー] Behavior of geodesic-length functions on Teichmueller space

Scott A. Wolpert|ArXiv.org|Jan 19, 2007

Geometric and Algebraic Topology参考文献 48被引用数 5

ひとこと要約

この論文は、テイヒミュラー空間上の測地線長関数の挙動をウェイリ・ペタースン（WP）幾何学を用いて調査し、測地線長関数のWP勾配およびヘッセ行列の精密な展開を導出する。複素構造と実構造のヘッセ行列の均一な比較可能性を確立し、WP測地線に沿った測地線長関数の厳密な凸性を証明し、これらの結果を応用して、増大したテイヒミュラー空間上の群作用の固定点定理を示す。ここではCAT(0)幾何学とエネルギー最小化写像を活用する。

ABSTRACT

Let $\mathcal T$ be the Teichmüller space of marked genus $g$, $n$ punctured Riemann surfaces with its bordification $\Tbar$ the {\em augmented Teichmüller space} of marked Riemann surfaces with nodes, \cite{Abdegn, Bersdeg}. Provided with the WP metric $\Tbar$ is a complete CAT(0) metric space, \cite{DW2, Wlcomp, Yam2}. An invariant of a marked hyperbolic structure is the length $\ell_α$ of the geodesic $α$ in a free homotopy class. A basic feature of Teichmüller theory is the interplay of two-dimensional hyperbolic geometry, Weil-Petersson (WP) geometry and the behavior of geodesic-length functions. Our goal is to develop the understanding of the intrinsic local WP geometry through a study of the gradient and Hessian of geodesic-length functions. Considerations include expansions for the WP pairing of gradients, expansions for the Hessian and covariant derivative, comparability models for the WP metric, as well as the behavior of WP geodesics including a description of the Alexandrov tangent cone at the augmentation. Approximations and applications for geodesics close to the augmentation are developed. An application for fixed points of group actions is described. Bounding configurations and functions on the hyperbolic plane is basic to our approach. Considerations include analyzing the orbit of a discrete group of isometries and bounding sums of the inverse square exponential-distance.

研究の動機と目的

• テイヒミュラー空間の内在的局所幾何を測地線長関数の勾配およびヘッセ行列を通して理解すること。
• テイヒミュラー空間の境界（増大）付近におけるWP計量のペアリング、ヘッセ行列、および共変微分の漸近的展開を構築すること。
• 測地線長関数の複素構造と実構造のヘッセ行列の間の均一な比較可能性を確立すること。
• 幾何的解析を固定点問題に応用し、増大したテイヒミュラー空間上の群作用に適用すること。
• フェンケル＝ニーデン座標と水平ストリップを用いたモデル計量と座標に基づく解析により、変形ベクトル場の計算を簡略化すること。

提案手法

• 双曲平面上の無限小変形を記述するために、調和ベルトラミー微分とアイヘラー積分を用いる。
• 上半平面における離散群作用の軌道解析と平均値推定を適用し、逆平方指数的距離を含む和を評価する。
• 無限大の水平ストリップモデルを用いて変形ベクトル場の計算を簡略化し、測地線長のヘッセ行列のコン pact 表現を導出する。
• 増大付近のWP計量を近似するための比較モデル計量 $4dr^2 + r^6 d heta^2$ を導出する。
• 増大したテイヒミュラー空間の境界におけるアレクサンドロフ接空間構造を応用し、測地線の挙動と群作用を解析する。
• 増大したテイヒミュラー空間を対象とする、エネルギー最小化-equivariant 写像の存在に関するイツェキ＝ナヤタニ基準を用いる。

実験結果

リサーチクエスチョン

• RQ1 測地線長関数のWP計量における勾配およびヘッセ行列は、テイヒミュラー空間の境界付近でどのように振る舞うか？
• RQ2 分離された測地線 $\alpha, \beta$ に対して、WP勾配ペアリングの精密な漸近的展開は何か？
• RQ3 測地線長関数のヘッセ行列は、複素構造と実構造の間でどの程度均一に比較可能か？
• RQ4 WP測地線は増大付近でどのように振る舞い、境界におけるアレクサンドロフ接空間の構造は何か？
• RQ5 群作用がテイヒミュラー空間上で固定点を持つための条件は何か？また、これはCAT(0)幾何学とエネルギー最小化写像とどのように関連するか？

主な発見

• 測地線長関数の複素ヘッセ行列と実ヘッセ行列は、均一な比較性を満たす：$\partial\overline{\partial}\ell_{\alpha} \leq \operatorname{Hess}\ell_{\alpha} \leq 3\partial\overline{\partial}\ell_{\alpha}$。
• 分離された測地線 $\alpha, \beta$ に対して、WPペアリングは $\langle \operatorname{grad}\ell_{\alpha}, \operatorname{grad}\ell_{\beta} \rangle - \frac{2}{\pi}\ell_{\alpha}\delta_{\alpha\beta} = O(\ell_{\alpha}^2\ell_{\beta}^2)$ を満たし、$\ell_{\alpha}, \ell_{\beta} \leq c_0$ の範囲で一様な定数を伴う。
• $\ell_{\alpha}^{1/2}$ の勾配のノルムは $\langle \lambda_{\alpha}, \lambda_{\alpha} \rangle = \frac{1}{2\pi} + O(\ell_{\alpha}^3)$ を満たし、幾何的解析においてルート測地線長の有用性を示唆する。
• 測地線長関数はWP測地線に沿って厳密に凸である。これはヘッセ行列解析と変形ベクトル場の構造から導かれる。
• 増大したテイヒミュラー空間 $\overline{\mathcal{T}}$ は完備な $CAT(0)$ 空間であり、増大点におけるアレクサンドロフ接空間はヒルベルト空間内の閉凸錐に等長である。
• 群作用の固定点定理が確立された：群 $\Gamma$ が単体的複体上で真に不連続に作用し、リンクがスペクトルギャップ条件 $\lambda_1 > 1/2$ を満たすならば、$\Gamma$ の $\overline{\mathcal{T}}$ 上の等長作用は固定点を持つ。