[論文レビュー] Equidistribution of horospheres on moduli spaces of hyperbolic surfaces

Francisco Arana–Herrera|arXiv (Cornell University)|Dec 9, 2019

Geometry and complex manifolds参考文献 20被引用数 4

ひとこと要約

この論文は、双曲的曲面における単純閉測地線のミrzakhaniの等分布結果を一般化し、負のオイラー標数を持つ曲面上の双曲構造のモジュライ空間におけるホロ球面の等分布を証明する。地震フローの力学および幾何的測度論的技法を用いて、長さが無限大に近づく際、多曲線に沿った有界で-compactly な台を持つ関数によって定義されるホロボール・セグメントが、ミrzakhani測度に関して等分布することを確立する。

ABSTRACT

Given a simple closed curve $γ$ on a connected, oriented, closed surface $S$ of negative Euler characteristic, Mirzakhani showed that the set of points in the moduli space of hyperbolic structures on $S$ having a simple closed geodesic of length $L$ of the same topological type as $γ$ equidistributes with respect to a natural probability measure as $L o \infty$. We prove several generalizations of Mirzakhani's result and discuss some of the technical aspects ommited in her original work. The dynamics of the earthquake flow play a fundamental role in the arguments in this paper.

研究の動機と目的

• 単純閉測地線のミrzakhaniの等分布結果を、多曲線および有界関数によって定義されるより一般的なホロスフィア族へ拡張すること。
• ミrzakhaniの元々の証明における技術的ギャップ、特にテイコフラー空間におけるホロボール・セグメントの挙動とその測度に関するもの、を埋めること。
• 測度付き測地線ラミネーションに関連する測度の成長に対する、ウェイ・ピーターソン体積形式に関する一様な境界を確立すること。
• 地震フローのエルゴディシティおよび強い発散回避性を活用し、局所的に対称的でもなく、均一でもない空間、例えばリーマン面のモジュライ空間においても等分布結果を証明すること。
• 今後の充填測地線の数え上げ問題や、モジュライ空間上における関連する力学系への応用のための厳密な基礎を提供すること。

提案手法

• 多様体の互いに交わらない単純閉曲線の族 $ \nu = (\nu_1, \dots, \nu_k) $ の双曲的長さのレベル集合として、ホロボール・セグメント $ B_{\nu}^{f,L} \to \text{Teich}(S_{g,n}) $ を定義し、$ L $ でスケーリングし、関数 $ f $ に依存する。
• ベース上のウェイ・ピーターソン測度と、ファイバー上のスカラー化されたスラブ化されたサーフェス・測度を統合することで、$ B_{\nu}^{f,L} $ 上に自然なホロボール・セグメント測度 $ \mu_{\nu}^{f,L} $ を構成する。
• 長さ $ L \to \infty $ における測度の漸近的挙動を解析するため、地震フローのエルゴディシティおよび強い発散回避性の性質を用いる。
• 幾何的測度論を適用し、長さ関数 $ \ell_\lambda $ に関連するフロー・データ $ (K(\epsilon_0), K(2\epsilon_0), F^\lambda) $ を導入し、ベクトル場 $ F^\lambda $ を用いて一意の微分同相写像 $ \varphi_t^\lambda $ を生成する。
• ジャコビアン行列式 $ |\text{det}(\varphi_t^\lambda)| $ およびファイバーごとのノルムに対する一様な境界を確立し、フロー下での測度歪曲の制御を行う。
• 恒等式 $ \mu_{\text{wp}}(U_X(2\epsilon)) = \int_0^\infty \eta_\lambda^r(U_X(2\epsilon)) \, dr $ を用いて、ウェイ・ピーターソン体積をホロスフィア測度 $ \eta_\lambda^r $ のプッシュフォワードと関連付け、$ \eta_\lambda^1(V) $ の定量的境界を得る。

実験結果

リサーチクエスチョン

• RQ1 ミrzakhaniの単純閉測地線の等分布結果を、多曲線および有界関数によって定義されるホロ球面へどのように一般化できるか？
• RQ2 地震フローは、非局所的に対称的でもなく、非均一なモジュライ空間における等分布を確立するために果たす役割は何か？
• RQ3 幾何的フローと測度歪曲推定を用いて、ホロスフィア測度の成長に対する一様な境界を導出可能か？
• RQ4 ホロボール・セグメントの漸近的挙動は、ミrzakhani測度およびウェイ・ピーターソン体積形式とどのように関係するか？
• RQ5 ミrzakhaniの元々の研究における定性的なエルゴディシティの議論を超えて、等分布証明を完成させるために必要な技術的精錬は何か？

主な発見

• 長さ $ L \to \infty $ のとき、ホロボール・セグメント測度 $ \mu_\nu^{f,L} $ は $ P^1\mathcal{M}_{g,n} $ 上でミrzakhani測度に関して等分布する。これは、ミrzakhaniの結果を多曲線および有界関数へ一般化する。
• すべての $ X \in K $ および $ \lambda \in \mathcal{ML}_{g,n}(K(\epsilon_0)) $ に対して、一様な上界 $ \eta_\lambda^1(U_X(\epsilon)) \leq C \cdot \epsilon^{6g-6+2n-1} $ が確立され、$ C $ はトポロジーにのみ依存する。
• 関数 $ C(\lambda) = \frac{C_1 \cdot 2^{6g-6+2n} \cdot C_2(\lambda)}{C_3(\lambda)} $ は連続的であり、コンパクト集合 $ \mathcal{ML}_{g,n}(K(\epsilon_0)) $ 上で最大値を達成するため、一様な制御が可能である。
• 証明は、ベクトル場 $ F^\lambda $ によって誘導されるフロー $ \varphi_t^\lambda $ に依存しており、これによりホロスフィアの構造が保たれ、ジャコビアン行列式による測度歪曲の制御が可能になる。
• 等分布結果は、恒等式 $ \mu_{\text{wp}}(U_X(2\epsilon)) = \int_0^\infty \eta_\lambda^r(U_X(2\epsilon)) \, dr $ と $ \eta_\lambda^{1+t}(\varphi_t^\lambda(V)) $ の下界を組み合わせることで達成され、初期測度 $ \eta_\lambda^1(V) $ の定量的境界が得られる。
• 主な技術的貢献は、テイコフラー空間における測度歪曲および体積成長の厳密な取り扱いであり、特にモジュライ空間の細い部分近傍におけるホロボール・セグメントの挙動に関するミrzakhaniの元々の議論におけるギャップを埋めることにある。