[論文レビュー] Understanding Weil-Petersson curvature

Scott A. Wolpert|ArXiv.org|Sep 22, 2008

Geometric Analysis and Curvature Flows参考文献 39被引用数 12

ひとこと要約

本稿は、テイヒミュラー空間上のワイエル・ペトロフスキー（WP）計量について包括的な分析を提供し、測地線長関数とその根長勾配を用いて、計量、共変微分、曲率テンソルの明示的公式を導出する。主な貢献は、テイヒミュラー空間の境界付近におけるWP計量の漸近的因数分解の発見であり、計量が短測地線に付随する複素直線と境界ストラトムの接空間に分解され、曲率の振る舞いが個々の測地線に支配され、互いに交わらない測地線では有界であることを示している。

ABSTRACT

A brief history of the investigation of the Weil-Petersson curvature and a summary of Teichmüller theory are provided. A report is presented on the program to describe an intrinsic geometry with the Weil-Petersson metric and geodesic-length functions. Formulas for the metric, covariant derivative and formulas for the curvature tensor are presented. A discussion of methods is included. Recent and new applications are sketched, including results from the work of Liu-Sun-Yau, an examination of the Yamada model metric and a description of Jacobi fields along geodesics to the boundary.

研究の動機と目的

• 測地線長関数およびその勾配を用いたWP計量の内在的幾何的記述の構築。
• テイヒミュラー空間の境界付近におけるWP計量、接続、曲率テンソルの漸近的挙動の理解。
• WP計量が短測地線に付随する複素直線と境界ストラトムの接空間に漸近的に因数分解されることの確立。
• 退化するリーマン面の幾何に反映される正確な曲率公式および境界の提示。
• WP幾何と標準的計量、チャーン類、算術的交差理論およびモジュライ空間のコンパクト化への応用との関連の確立。

提案手法

• 測地線長関数 ℓα 及びその勾配 λα = grad ℓα^{1/2} を用いて、WP計量、共変微分、曲率テンソルの明示的公式を導出する。
• フェンケル＝ニーデン座標とパンツ分解を用い、シンプレクティック形式を 1/2 ∑ dℓα ∧ dτα として表現する。
• ℓα が小さい場合の漸近展開を適用し、計量、接続、曲率テンソルが C² 次までに因数分解されることを示す。
• ヤマダのモデル計量 π³(4dr² + r⁶dθ²) とWP計量を比較し、誤差 O(r⁴) の C² 同値性を示す。
• 境界ストラトムへの距離を調べるための射影法を用い、単位速度で進む射影測地線とそのジャコビ場を用いる。
• 古典的第二変分公式に漸近展開を組み合わせ、ストラトムへの距離の第二変分を導出する。

実験結果

リサーチクエスチョン

• RQ1 測地線 α がリーマン面で長さ 0 に近づくとき、WP曲率テンソルはどのように漸近的に振る舞うか？
• RQ2 WP計量はテイヒミュラー空間の境界付近でどの程度因数分解可能であり、その因数分解の次数は何か？
• RQ3 ストラトムへの射影測地線に沿うジャコビ場は、WP計量の漸近的幾何をどのように反映するか？
• RQ4 尖点付近におけるWP計量とヤマダのモデル計量との正確な関係は何か？
• RQ5 ストラトムへの距離の第一および第二変分は、WP計量の曲率および幾何にどのように関係するか？

主な発見

• 曲率テンソルは R(λα, λα, λα, λα) = 3/(16π³ℓα) + O(ℓα) を満たし、ℓα → 0 のとき強い曲率発散を示す。
• 互いに交わらない測地線で、すべてが同一でない場合、R(λα, λβ, λγ, λδ) = O((ℓαℓβℓγℓδ)^{1/2}) となり、曲率寄与が有界であることを示す。
• WP計量は、短測地線に付随する複素直線 {λα, Jλα} と境界ストラトム T𝒯(σ) の接空間への積に漸近的に因数分解され、C² の正則性を有する。
• ストラトム 𝒯(σ) への距離は dσ = (2π∑α∈σ ℓα)^{1/2} + O(∑α∈σ ℓα^{5/2}) を満たし、さらに refined tangent field の展開 d/dt = (2π)^{-1}∑aαλα + O(t⁴) を得る。
• 射影測地線に沿うジャコビ場は、3つの成分に分解可能である：径方向変位、法線複素直線内での無限小回転、境界ストラトム内の直交変位。
• ストラトムへの距離の第二変分は、古典的公式に従い、D_W V および V と W の法空間への直交射影を含むが、漸近展開からの補正項を伴う。