[论文解读] Counting lattice points in the moduli space of curves

Paul Norbury|ArXiv.org|Jan 30, 2008

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

一句话总结

本文提出了一种在具有 $n$ 个标记点的亏格 $g$ 曲线的模空间中计数格点的框架，通过标记的胖图上的加权和来定义一个关于边界长度平方 $b_i^2$ 的多项式 $N_{g,n}(b_1,\dots,b_n)$。关键结果是：当该多项式在零处求值时，其编码了轨道欧拉示性数 $χ(\mathcal{M}_{g,n})$，并同时编码了紧化模空间 $\overline{\mathcal{M}}_{g,n}$ 上的典范交数，从而将组合学、几何学与算术联系在模空间中。

ABSTRACT

We show how to define and count lattice points in the moduli space $\modm_{g,n}$ of genus g curves with n labeled points. This produces a polynomial with coefficients that include the Euler characteristic of the moduli space, and tautological intersection numbers on the compactified moduli space.

研究动机与目标

• 定义并计算具有 $n$ 个标记点的亏格 $g$ 曲线的模空间 $\mathcal{M}_{g,n}$ 中的格点。
• 建立格点计数与轨道欧拉示性数 $\chi(\mathcal{M}_{g,n})$ 等拓扑不变量之间的联系。
• 证明格点计数多项式 $N_{g,n}(b_1,\dots,b_n)$ 编码了紧化模空间 $\overline{\mathcal{M}}_{g,n}$ 上的典范交数。
• 推导出唯一确定多项式并恢复 Kontsevich 交数递推关系的 $N_{g,n}$ 的递推关系。

提出的方法

• 定义加权和 $N_{g,n}(b_1,\dots,b_n) = \sum_{\Gamma \in \mathcal{F}{\rm at}_{g,n}} \frac{1}{|{\rm Aut}\,\Gamma|} N_\Gamma(b_1,\dots,b_n)$，其中 $N_\Gamma$ 计数与标记胖图 $\Gamma$ 相关的多面体 $P_\Gamma(b_1,\dots,b_n)$ 中的整数点。
• 利用 Penner 对 $\mathcal{M}_{g,n} \times \mathbb{R}^n_+$ 的胞腔分解，将其划分为凸多面体 $P_\Gamma(b_1,\dots,b_n)$，将格点计数实现为分片多项式，然后证明加权和是 $b_i^2$ 的整体多项式。
• 建立 $N_{g,n}$ 的递推关系（定理 4），其形式类似于 Mirzakhani 的威尔-彼得森体积递推，且能从初始值 $N_{0,3}$ 和 $N_{1,1}$ 唯一确定多项式。
• 证明 $N_{g,n}$ 的最高次齐次部分与 Kontsevich 的体积多项式 $V_{g,n}$ 一致，后者用于计算典范交数。
• 利用生成函数和无穷远处求值，证明 $N_{g,n}(0,\dots,0) = \chi(\mathcal{M}_{g,n})$，从而将格点计数与欧拉示性数联系起来。
• 将 $N_{g,n}$ 表示为二项式系数 $\binom{b_i/2 - 1}{k}$ 的线性组合，以计算胖图的加权计数并提取拓扑不变量。

实验结果

研究问题

• RQ1 如何通过胖图分解和多面体几何，系统地定义并计数模空间 $\mathcal{M}_{g,n}$ 中的格点？
• RQ2 格点计数多项式 $N_{g,n}(b_1,\dots,b_n)$ 与轨道欧拉示性数 $\chi(\mathcal{M}_{g,n})$ 之间存在何种关系？
• RQ3 格点计数如何与 Kontsevich 的体积多项式以及 $\overline{\mathcal{M}}_{g,n}$ 上的典范交数相关联？
• RQ4 能否推导出一个唯一确定 $N_{g,n}$ 并恢复已知递推关系（如 Witten–Kontsevich 和 Mirzakhani 的递推）的递推关系？
• RQ5 从 $b_i$ 的奇偶性及其齐次分量的角度，$N_{g,n}$ 的结构是怎样的？

主要发现

• 格点计数多项式 $N_{g,n}(b_1,\dots,b_n)$ 是 $b_i^2$ 的 $3g-3+n$ 次多项式，其系数编码了 $\overline{\mathcal{M}}_{g,n}$ 上的典范交数，且当奇数个 $b_i$ 时其值为零。
• 在 $b_1 = \cdots = b_n = 0$ 处求值时，$N_{g,n}(0,\dots,0) = \chi(\mathcal{M}_{g,n})$，该结果通过生成函数和无穷远处求值得以证明。
• $N_{g,n}$ 的最高次齐次部分与 Kontsevich 的体积多项式 $V_{g,n}$ 一致，后者用于计算交数 $\int_{\overline{\mathcal{M}}_{g,n}} c_1(L_1)^{d_1} \cdots c_1(L_n)^{d_n}$。
• 当 $g=2, n=1$ 时，多项式显式为 $N_{2,1}(b) = \frac{1}{2^{16}3^3 5}(b^2 - 4)(b^2 - 16)(b^2 - 36)(5b^2 - 32)$，且在 $b=2,4,6$ 处为零，验证了拓扑约束。
• 从 $N_{g,1}(b)$ 的二项式系数展开中提取胖图的加权计数 $c_k^{(g)}$，对 $g=2$ 有 $c_9^{(2)} = \frac{35}{6}$ 和 $c_4^{(2)} = \frac{21}{8}$，提供了组合不变量。
• 递推关系（定理 4）从 $N_{0,3} = 1$ 和 $N_{1,1}(b) = \frac{1}{48}(b^2 - 4)$ 唯一确定 $N_{g,n}$，其最高次部分通过 Kontsevich 理论恢复了 Witten 的递推。