[论文解读] String and dilaton equations for counting lattice points in the moduli space of curves

Paul Norbury|arXiv (Cornell University)|May 26, 2009

Algebraic Geometry and Number Theory参考文献 19被引用 10

一句话总结

本文建立了曲线 $xy - y^2 = 1$ 的 Eynard-Orantin 对称化不变量与亏格 $g$ 曲线模空间的轨道 Euler 示性数之间的直接对应关系，证明了当 $g > 1$ 时有 $F^{(g)} = \chi(\mathcal{M}_g)$。通过将不变量解释为在指定分支点处具有特定分歧的黎曼球面覆盖的加权计数，推导出新的递归关系——引力方程与稀释方程，将拓扑递归与模空间的枚举几何联系起来。

ABSTRACT

We prove that the Eynard-Orantin symplectic invariants of the curve xy-y^2=1 are the orbifold Euler characteristics of the moduli spaces of genus g curves. We do this by associating to the Eynard-Orantin invariants of xy-y^2=1 a problem of enumerating covers of the two-sphere branched over three points. This viewpoint produces new recursion relations---string and dilaton equations---between the quasi-polynomials that enumerate such covers.

研究动机与目标

• 建立曲线 $xy - y^2 = 1$ 的 Eynard-Orantin 对称化不变量的非递归公式，以模空间不变量表示。
• 将这些不变量与一个 Hurwitz 类型的枚举问题联系起来，该问题计数在 $S^2$ 上具有固定分歧的分支覆盖。
• 推导出计数此类覆盖的拟多项式 $N_{g,n}(b_1,\dots,b_n)$ 之间的新递归关系——引力方程与稀释方程。
• 证明这些计数的生成函数 $F^{(g)}_n$ 与该曲线的 Eynard-Orantin 不变量一致。

提出的方法

• 将 $N_{g,n}(b_1,\dots,b_n)$ 定义为 $S^2$ 上连通亏格 $g$ 分支覆盖的加权计数，覆盖在 $\{0,1,\infty\}$ 之外无分支，$1$ 处分歧为 $2$，$\infty$ 处任意，$0$ 处非平凡，权重由自同构群阶的倒数给出。
• 证明 $N_{g,n}(b_1,\dots,b_n)$ 是 $b_i$ 的对称拟多项式，可在 $2\mathbb{Z}^n$ 的陪集上分解为多项式 $N^{(k)}_{g,n}$，变量为 $b_i^2$。
• 使用生成函数 $F^{(g)}_n(z_1,\dots,z_n) = \sum_{b_i>0} N_{g,n}(b_1,\dots,b_n) z_1^{b_1}\cdots z_n^{b_n}$，其在 $\mathbb{C}^n$ 上亚纯延拓，以定义 Eynard-Orantin 不变量。
• 通过分析 $N_{g,n}$ 在插入 $b_i = 1$ 或 $2$ 时的行为，利用留数微积分和 Eynard-Orantin 形式体系中的递归结构，推导出引力方程与稀释方程。
• 通过将稀释方程应用于 $n=0$ 情况并利用已知的 $\chi(\mathcal{M}_{g,1})$ 值，证明对称化不变量 $F^{(g)}$ 等于 $\chi(\mathcal{M}_g)$。
• 通过显式计算 $(x,y) = (z+1/z, z)$ 情形下的低亏格不变量 $\omega^{g}_n$ 验证结果，表明有理函数表达式与拟多项式计数一致。

实验结果

研究问题

• RQ1 曲线 $xy - y^2 = 1$ 的 Eynard-Orantin 对称化不变量 $F^{(g)}$ 是否等于 $g > 1$ 时的轨道 Euler 示性数 $\chi(\mathcal{M}_g)$？
• RQ2 Eynard-Orantin 不变量能否通过分支覆盖枚举被解释为模空间中格点的计数？
• RQ3 计数此类覆盖的拟多项式 $N_{g,n}(b_1,\dots,b_n)$ 之间存在哪些递归关系——引力方程与稀释方程？
• RQ4 对称化不变量 $F^{(g)}$ 与 $\mathcal{M}_{g,n}$ 的 Euler 示性数之间有何关系，特别是在 $n=0$ 情况下？
• RQ5 该曲线的 Eynard-Orantin 不变量能否通过引力方程与稀释方程完全重构自 $N_{g,n}$？

主要发现

• 对于曲线 $xy - y^2 = 1$，当 $g > 1$ 时，Eynard-Orantin 对称化不变量 $F^{(g)}$ 等于轨道 Euler 示性数 $\chi(\mathcal{M}_g)$，该结论通过将稀释方程应用于 $n=0$ 情况得到证明。
• 覆盖计数 $N_{g,n}(b_1,\dots,b_n)$ 的生成函数 $F^{(g)}_n(z_1,\dots,z_n)$ 与曲线的 Eynard-Orantin 不变量 $\omega^{g}_n$ 一致，建立了枚举几何与拓扑递归之间的直接联系。
• 引力方程为 $N_{g,n+1}(1,b_1,\dots,b_n) = \sum_{j=1}^n \sum_{k=1}^{b_j} k N_{g,n}(b_1,\dots,b_n)\big|_{b_j=k}$ 与 $N_{g,n+1}(2,b_1,\dots,b_n) = \sum_{j=1}^n \sum_{k=1}^{b_j} k N_{g,n}(b_1,\dots,b_n)\big|_{b_j=k} - \frac{1}{2}\sum_{j=1}^n b_j N_{g,n}(b_1,\dots,b_n)$，这些方程唯一确定了亏格 0 的拟多项式。
• 稀释方程为 $N_{g,n+1}(2,b_1,\dots,b_n) - N_{g,n+1}(0,b_1,\dots,b_n) = (2g-2+n)N_{g,n}(b_1,\dots,b_n)$，该关系在拟多项式 $N_{g,n}$ 之间成立，且 $N_{g,n}(0,\dots,0) = \chi(\mathcal{M}_{g,n})$。
• 对于亏格 0，当 $b_1+b_2+b_3$ 为偶数时 $N_{0,3}(b_1,b_2,b_3) = 1$，否则为 0，结合引力方程，该初始条件可完全确定所有 $N_{0,n}$。
• 显式计算验证了对应关系：例如，$\omega^{(0)}_3(z_1,z_2,z_3) = \left\{ \frac{1}{2\prod(1-z_i)^2} - \frac{1}{2\prod(1+z_i)^2} \right\} \prod dz_i$，与 $N_{0,3}$ 的拟多项式表达式一致。