[論文レビュー] Extension of the Weil-Petersson connection

Scott A. Wolpert|ArXiv.org|Sep 16, 2007

Geometric and Algebraic Topology参考文献 21被引用数 4

ひとこと要約

本稿は、穴あきリーマン面のテイヒミュラー空間上のウェイリ・ペトリス測度に沿ったホロサイクル間の距離の厳密な凸性を確立する。特異な双曲的計量近傍におけるウェイリ・ペトリスのリーマン接続の正規形を構成し、境界ストラトムにおける測地線を閉じた測地線とコラール幅を使って近似することで、著者らは距離関数が一様凸であることを示し、測地線長に関する既知の凸性結果を拡張する。

ABSTRACT

Convexity properties of Weil-Petersson geodesics on the Teichmüller space of punctured Riemann surfaces are investigated. A normal form is presented for the Weil-Petersson Levi-Civita connection for pinched hyperbolic metrics. The normal form is used to establish approximation of geodesics in boundary spaces. Considerations are combined to establish convexity along Weil-Petersson geodesics of the functions the distance between horocycles for a hyperbolic metric.

研究の動機と目的

• 穴あきリーマン面のウェイリ・ペトリス幾何における測地線長関数の既知の凸性を、ホロサイクル間の距離へと拡張すること。
• 短い測地線の極限におけるウェイリ・ペトリスのリーマン接続の正規形を構築し、特異計量の解析を可能にすること。
• 非特異空間における小さな測地線長を持つ測地線を用いて、拡張テイヒミュラー空間の境界ストラトムにおけるWP測地線を近似すること。
• ホロサイクル間の距離がWP測地線に沿って厳密に凸であることを確立し、そのヘッセ行列の下界をWP計量の言語で与えること。

提案手法

• 短い測地線長勾配と相対的長さ基底を用いて、ウェイリ・ペトリス計量と共変微分の正規形を構築する。
• シャバウティ位相を用いて、特異化する双曲的曲面族の「厚い領域」と「コラール」の幾何を比較する。
• 2つのコラールをくぐる閉じた測地線の長さから2倍のコラール幅を引くことで、ホロサイクル間距離を近似する。この際、極の両側で二重構成を活用する。
• 測地線長関数のヘッセ行列の展開を適用し、log ℓα の2階微分を制御することで、コラール幅の振る舞いを分析する。
• 直径推定と子午線長の制約を用いて、重み関数 Pω を下から抑え、一様凸性を保証する。
• 調和ベルトラミー微分と積分推定を用いて、WPペアリングを距離関数のヘッセ行列に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 穴あき曲面のテイヒミュラー空間におけるウェイリ・ペトリス測地線に沿って、ホロサイクル間の距離は凸関数か？
• RQ2 特異境界ストラトムにおけるWP測地線は、小さな測地線長を持つ非特異空間の測地線で近似可能か？
• RQ3 ピンチされた双曲的計量の極限において、ウェイリ・ペトリスのリーマン接続はどのように振る舞うか？
• RQ4 コラールを横切る閉じた測地線の長さと、特異極限におけるホロサイクル間距離との関係は何か？
• RQ5 ホロサイクル距離関数の凸性は、WP計量の言語で一様に下から抑えられるか？

主な発見

• ホロサイクル間の距離は、ウェイリ・ペトリス測地線に沿って厳密に凸であり、ヘッセ行列はWPペアリングの正の定数倍で下から抑えられる。
• 2ℓω − 2 log 4/ℓαp − 2 log 4/ℓαq は、特異化する測地線に沿って2~ℓω₀（ホロサイクル距離の2倍）を近似する。
• 測地線に沿った log ℓα の2階微分は O(ℓα^{1/2} ||U||²) であり、特異極限においてコラール幅が浅い関数であることが示唆される。
• 重み関数 Pω は、基本的曲面 R₀ における測地線長の正の下界を用いて、縮約された曲面 R_red 上で下から抑えられる。
• R_red 上での |μ|² の積分は、WPペアリングに比例する普遍定数倍で下から抑えられ、ℓω の一様凸性が保証される。
• ホロサイクル距離関数 ~ℓω₀ は、一様凸関数の一様極限として得られるため、厳密に凸であり、ホロサイクル長の再パrameter化では定数分だけ変化する。