[论文解读] Cell decompositions of moduli space, lattice points and Hurwitz problems

Paul Norbury|arXiv (Cornell University)|Jun 7, 2010

Algebraic Geometry and Number Theory参考文献 34被引用 4

一句话总结

本文通过 Eynard-Orantin 拓扑递归，建立了黎曼曲面模空间的胞分解、凸多面体中的格点计数与 Hurwitz 问题之间的深层联系。结果表明，与 Belyi 映射和分支覆盖相关的胖图诱导多面体中的格点数目，生成了关于特定谱曲线的 Eynard-Orantin 不变量，这些不变量为拟多项式形式，统一了 Hurwitz 理论与模空间几何。

ABSTRACT

In this article we describe cell decompositions of the moduli space of Riemann surfaces and their relationship to a Hurwitz problem. The cells possess natural linear structures and with respect to this they can be described as rational convex polytopes which come equipped with natural integer points and a volume form. We show how to effectively calculate the number of lattice points and the volumes over all the cells and that these calculations contain deep information about the moduli space.

研究动机与目标

• 通过基于胖图的胞分解，理解黎曼曲面模空间的结构。
• 将这些胞中整数点（格点）的计数与分支覆盖的 Hurwitz 型计数问题联系起来。
• 证明格点计数与体积的生成函数经拉普拉斯变换后，可导出 Eynard-Orantin 不变量。
• 在拓扑递归的统一框架下，整合多种 Hurwitz 问题——如简单 Hurwitz 数、Belyi 映射、Gromov-Witten 不变量。

提出的方法

• 利用胖图构建带装饰的模空间的胞分解，这些胖图编码了具有锥奇异点和边界长度的平坦度量。
• 每个胞是具有自然线性结构和体积形式的有理凸多面体，从而可计算体积与格点计数。
• 证明每个胞中的格点数目 $N_{g,n}(b_1,\dots,b_n)$ 是边界长度 $b_i$ 的拟多项式。
• 对体积函数与格点计数函数取拉普拉斯变换，其全微分导出 Eynard-Orantin 不变量 $\omega^{g}_n$。
• 通过 Bergmann 核与递归核 $K(z_0,z)$ 的递归余项公式计算不变量 $\omega^{g}_n$。
• 将该框架应用于多个 Hurwitz 问题：Kontsevich 体积对应 Airy 曲线，简单 Hurwitz 数对应 Lambert 曲线，$\mathbb{P}^1$ Gromov-Witten 不变量对应曲线 $x=z+1/z$, $y=\ln z$。

实验结果

研究问题

• RQ1 通过胖图实现的模空间 $\mathcal{M}_{g,n}$ 胞分解，如何与凸多面体中格点计数相关联？
• RQ2 这些胞中格点数与分支覆盖的 Hurwitz 型计数问题之间存在何种关系？
• RQ3 体积与格点生成函数的拉普拉斯变换如何导出 Eynard-Orantin 不变量？
• RQ4 不同 Hurwitz 问题能否在统一的拓扑递归框架下被统一？

主要发现

• 模空间胞中格点数 $N_{g,n}(b_1,\dots,b_n)$ 是边界长度 $b_i$ 的拟多项式，反映出深刻的算术与几何结构。
• 对 $N_{g,n}(b_1,\dots,b_n)$ 的拉普拉斯变换的全微分导出谱曲线 $x=z+1/z$, $y=z$ 的 Eynard-Orantin 不变量 $\omega^{g}_n$，将格点计数与拓扑递归联系起来。
• Kontsevich 体积 $V_{g,n}(b_1,\dots,b_n)$ 是 $b_i$ 的多项式，其生成的 Eynard-Orantin 不变量对应于 Airy 曲线 $x=z^2$, $y=z$。
• Belyi Hurwitz 问题——即计数 $\mathbb{P}^1$ 上在三点处具有指定分歧的连通覆盖——的生成函数，其拉普拉斯变换给出曲线 $x=z+1/z$, $y=z$ 的 $\omega^{g}_n$。
• 曲线 $x=z+1/z$, $y=\ln z$ 的 Eynard-Orantin 不变量 $\omega^{g}_n$ 源自 $\mathbb{P}^1$ 的 Gromov-Witten 不变量，揭示了枚举几何与递归之间的深层联系。
• 该框架解释了紧化模空间上交点数作为 $\omega^{g}_n$ 在极点附近的渐近展开中留数的出现。