[論文レビュー] The asymptotic Weil-Petersson form and intersection theory on M_{g,n}

Norman Do|arXiv (Cornell University)|Oct 20, 2010

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

ひとこと要約

本稿では、境界長が大きい双曲的リーマン面のモジュライ空間上の正規化された Weil–Petersson 2形式が、距離リボングラフの組み合わせ的モジュライ空間上の Kontsevich の区分的線形シンプレクティック形式に収束することを確立する。双曲幾何と漸近解析を用いて、$\overline{\mathcal{M}}_{g,n}$ 上の交点数の Kontsevich の組み合わせ的公式の新しい証明が得られ、組み合わせ的サイクルの Poincaré 双対との交点数を計算する手法が提示される。

ABSTRACT

Moduli spaces of hyperbolic surfaces with geodesic boundary components of fixed lengths may be endowed with a symplectic structure via the Weil-Petersson form. We show that, as the boundary lengths are sent to infinity, the Weil-Petersson form converges to a piecewise linear form first defined by Kontsevich. The proof rests on the observation that a hyperbolic surface with large boundary lengths resembles a graph after appropriately scaling the hyperbolic metric. We also include some applications to intersection theory on moduli spaces of curves.

研究の動機と目的

• 固定された境界長を持つ双曲的リーマン面のモジュライ空間における Weil–Petersson 2形式の漸近的挙動を理解すること。
• Bowditch–Epstein のスプライン構成を用いて、双曲幾何と組み合わせ的モジュライ空間を結びつけること。
• 漸近的 Weil–Petersson 幾何を用いて、$\overline{\mathcal{M}}_{g,n}$ 上の交点数の Kontsevich の組み合わせ的公式の幾何的導出を提供すること。
• 組み合わせ的サイクルの Poincaré 双対 $W$ と関連する形での交点数 $\int_{\overline{\mathcal{M}}_{g,n}} W \psi_1^{\alpha_1} \cdots \psi_n^{\alpha_n}$ を計算するための手法を開発すること。
• モジュライ空間の交点論において、Kontsevich の組み合わせ的手法と Mirzakhani の双曲幾何的技術を統合すること。

提案手法

• Gromov–Hausdorff 位相を用いて、リボングラフ $\Gamma$ を $N$ 倍スケーリングした場合、$N \to \infty$ のとき双曲的リーマン面 $S(N\Gamma)$ が $\Gamma$ に収束することを示し、大境界長における漸近的幾何を反映する。
• Bowditch–Epstein の構成を適用して、各距離リボングラフを双曲的リーマン面のスプラインとして実現し、組み合わせ的モジュライ空間 $\mathcal{MRG}_{g,n}(\mathbf{x})$ と双曲的モジュライ空間 $\mathcal{M}_{g,n}(N\mathbf{x})$ の間のホメオモーフィズムを確立する。
• Weil–Petersson 形式 $\omega$ を $\mathcal{M}_{g,n}(N\mathbf{x})$ 上で $N^{-2}$ で正規化し、$\mathcal{MRG}_{g,n}(\mathbf{x})$ 上への引き戻しの点wise 収束が、3価リボングラフ上で区分的線形2形式 $\Omega_L$ に一致することを示す。
• Wolpert の公式を用いて、多曲線間の交差角による Weil–Petersson 形式の表現を行い、理想多角形頂点における双曲三角法を用いて極限角を計算する。
• 4つの選択された多曲線間の交差データを符号化する行列 $X$ を用いて、辺長の微小変化に関する二次形式として漸近的シンプレクティック形式 $\Omega$ を構成する。
• モジュライ空間の距離リボングラフにおけるポリトープ上で漸近的形式を積分し、体積のラプラス変換を計算し、Kontsevich の公式と一致させることを確認する。

実験結果

リサーチクエスチョン

• RQ1 Weil–Petersson 形式 $\mathcal{M}_{g,n}(N\mathbf{x})$ が $N \to \infty$ のときどのように漸近的に振る舞うか。
• RQ2 漸近的 Weil–Petersson 形式は、距離リボングラフの組み合わせ的モジュライ空間上での Kontsevich の区分的線形2形式 $\Omega_K$ と同定可能か。
• RQ3 正規化された Weil–Petersson 形式の漸近的極限が、$\overline{\mathcal{M}}_{g,n}$ 上の交点数の Kontsevich の組み合わせ的公式の新たな幾何的導出をもたらすか。
• RQ4 組み合わせ的サイクルの Poincaré 双対を含む交点数は、この漸近的幾何的枠組みを用いて計算可能か。
• RQ5 各3価リボングラフが Witten サイクルのラプラス変換の体積に果たす寄与は、どのように正確に評価できるか。

主な発見

• 正規化された Weil–Petersson 形式 $\frac{f^*\omega}{N^2}$ は、$\mathcal{MRG}_{g,n}(\mathbf{x})$ 内の3価距離リボングラフの集合上で点wise 収束し、Kontsevich の $\Omega_K$ と一致する区分的線形2形式 $\Omega_L$ に収束する。
• 漸近的 Weil–Petersson 形式は、4本の単純閉曲線の間の交差角を符号化する行列 $X$ を用いて明示的に計算され、その逆行列 $X^{-1}$ が辺長座標におけるシンプレクティック構造を決定する。
• $\overline{W}_1(x_1,x_2)$ サイクルに対して、体積のラプラス変換は $\frac{1}{2s_1s_2^3} + \frac{1}{2s_1^3s_2}$ として計算され、Kontsevich の公式から得られる母関数と一致する。
• $\overline{W}_1(x_1,x_2)$ サイクルに含まれる8つの3価リボングラフからの寄与が計算され、それらの和が期待される有理関数に簡約され、Kontsevich の恒等式と整合することが確認された。
• 交点数 $\int_{\overline{\mathcal{M}}_{1,2}} W_1 \psi_1 = \int_{\overline{\mathcal{M}}_{1,2}} W_1 \psi_2 = 1$ が幾何的に検証され、$W_1 = 12\kappa_1$ と整合的であることが示された。
• 本手法により、$W$ が組み合わせ的サイクルの Poincaré 双対である場合の $\int_{\overline{\mathcal{M}}_{g,n}} W \psi_1^{\alpha_1} \cdots \psi_n^{\alpha_n}$ 形式の交点数を、所定の辺および面次数を持つ3価リボングラフからの寄与を合算することで体系的に計算できるようになった。