[论文解读] 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 形式收敛于度量带边图的组合模空间上的 Kontsevich 分段线性辛形式。通过双曲几何与渐近分析，作者给出了 Kontsevich 关于 $\overline{\mathcal{M}}_{g,n}$ 上交点数的组合公式的全新证明，并提供了一种计算与组合循环的 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 辛形式的渐近行为。
• 通过 Bowditch–Epstein 脊椎构造，将双曲几何与组合模空间联系起来。
• 利用渐近 Weil–Petersson 几何，为 $\overline{\mathcal{M}}_{g,n}$ 上的交点数提供 Kontsevich 组合公式的几何推导。
• 开发一种计算形如 $\int_{\overline{\mathcal{M}}_{g,n}} W \psi_1^{\alpha_1} \cdots \psi_n^{\alpha_n}$ 的交点数的方法，其中 $W$ 是组合循环的 Poincaré 对偶。
• 在模空间交点理论的背景下，统一 Kontsevich 的组合方法与 Mirzakhani 的双曲几何技术。

提出的方法

• 使用 Gromov–Hausdorff 拓扑证明：将度量带边图 $\Gamma$ 缩放 $N$ 倍后得到的双曲曲面 $S(N\Gamma)$ 在 $N \to \infty$ 时收敛于 $\Gamma$，从而反映大边界长度下的渐近几何。
• 应用 Bowditch–Epstein 构造，将每个度量带边图实现为双曲曲面的脊椎，建立组合模空间 $\mathcal{MRG}_{g,n}(\mathbf{x})$ 与双曲模空间 $\mathcal{M}_{g,n}(N\mathbf{x})$ 之间的同胚。
• 将 $\mathcal{M}_{g,n}(N\mathbf{x})$ 上的 Weil–Petersson 形式 $\omega$ 除以 $N^{-2}$，并证明其拉回至 $\mathcal{MRG}_{g,n}(\mathbf{x})$ 后，点态收敛于三价带边图上的分段线性 2-形式 $\Omega_L$。
• 利用 Wolpert 公式将 Weil–Petersson 形式表示为多重闭曲线之间交角的形式，并通过理想多边形顶点处的双曲三角学计算极限角度。
• 通过编码四条选定多重闭曲线之间交角数据的矩阵 $X$ 的逆矩阵，显式构造渐近辛形式 $\Omega$，其为边长微分的二次型。
• 在度量带边图模空间的多面体上积分渐近形式，以计算体积的 Laplace 变换，结果与 Kontsevich 公式一致。

实验结果

研究问题

• RQ1 当 $N \to \infty$ 时，$\mathcal{M}_{g,n}(N\mathbf{x})$ 上的 Weil–Petersson 形式如何渐近表现？
• RQ2 渐近 Weil–Petersson 形式能否被识别为组合模空间上度量带边图的 Kontsevich 分段线性 2-形式 $\Omega_K$？
• RQ3 归一化 Weil–Petersson 形式的渐近极限是否能为 $\overline{\mathcal{M}}_{g,n}$ 上交点数的 Kontsevich 组合公式提供新的几何推导？
• RQ4 能否通过此渐近几何框架计算涉及组合循环的 Poincaré 对偶的交点数？
• RQ5 每个三价带边图对 Witten 循环的体积 Laplace 变换的精确贡献是什么？

主要发现

• 归一化 Weil–Petersson 形式 $\frac{f^*\omega}{N^2}$ 在 $\mathcal{MRG}_{g,n}(\mathbf{x})$ 上三价度量带边图的子集上点态收敛于分段线性 2-形式 $\Omega_L$，且该形式与 Kontsevich 的 $\Omega_K$ 一致。
• 渐近 Weil–Petersson 形式通过编码四条简单闭多重曲线之间交角的矩阵 $X$ 显式计算得出，其逆矩阵 $X^{-1}$ 决定了边长坐标下的辛结构。
• 对于 Witten 循环 $\overline{W}_1(x_1,x_2)$，体积的 Laplace 变换计算为 $\frac{1}{2s_1s_2^3} + \frac{1}{2s_1^3s_2}$，与 Kontsevich 公式给出的生成函数一致。
• 对 $\overline{W}_1(x_1,x_2)$ 循环中八种三价带边图的贡献进行了计算，其总和简化为预期的有理函数，与 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$ 一致。
• 该方法为计算形如 $\int_{\overline{\mathcal{M}}_{g,n}} W \psi_1^{\alpha_1} \cdots \psi_n^{\alpha_n}$ 的交点数（其中 $W$ 是组合循环的 Poincaré 对偶）提供了系统性方法，通过求和具有指定边与面度数的三价带边图的贡献实现。