[论文解读] The spectral curve of the Eynard-Orantin recursion via the Laplace transform

Olivia Dumitrescu, Motohico Mulase+2 more|arXiv (Cornell University)|Feb 6, 2012

Algebraic Geometry and Number Theory参考文献 75被引用 41

一句话总结

本文通过不稳定不变量（g,n）= (0,1) 和 (0,2) 的拉普拉斯变换，提出了一种统一构造谱曲线和递归核的方法，用于 Eynard-Orantin 拓扑递归。证明了四个关键枚举不变量——Grothendieck 的 dessins d'enfants、$\bar{\mathfrak{M}}_{g,n}$ 上的 $\tau$-类交点数、单 Hurwitz 数以及 $\mathbb{P}^1$ 的平稳 Gromov-Witten 不变量——通过显式推导的谱曲线，均满足 Eynard-Orantin 递归。

ABSTRACT

The Eynard-Orantin recursion formula provides an effective tool for certain enumeration problems in geometry. The formula requires a spectral curve and the recursion kernel. We present a uniform construction of the spectral curve and the recursion kernel from the unstable geometries of the original counting problem. We examine this construction using four concrete examples: Grothendieck's dessins d'enfants (or higher-genus analogue of the Catalan numbers), the intersection numbers of tautological cotangent classes on the moduli stack of stable pointed curves, single Hurwitz numbers, and the stationary Gromov-Witten invariants of the complex projective line.

研究动机与目标

• 系统地从不稳定几何出发，构造 Eynard-Orantin 拓扑递归的谱曲线和递归核。
• 统一描述代数几何与数学物理中各类枚举不变量的谱曲线。
• 证明 Eynard-Orantin 递归对四个关键例子成立：dessins d'enfants、$\tau$-类交点数、单 Hurwitz 数以及 $\mathbb{P}^1$ 的平稳 Gromov-Witten 不变量。
• 通过不稳定不变量的拉普拉斯变换，建立 Gromov-Witten 理论与拓扑递归之间的框架联系。
• 首次证明 dessins d'enfants 的数量满足 Eynard-Orantin 递归，解决了此前未被证明的猜想。

提出的方法

• 利用不稳定情形 $(g,n) = (0,1)$ 和 $(0,2)$ 的 descend 系不变量的拉普拉斯变换，定义在黎曼曲面上的对称亚纯函数。
• 将谱曲线 $\Sigma$ 构造为从参数 $z$ 导出的映射 $(x,y)$ 的像，该映射源自不变量的拉普拉斯变换。
• 通过 Bergmann 核与谱曲线上微分 $B(z_1,z_2)$ 定义递归核。
• 将 Eynard-Orantin 拓扑递归公式应用于以 $t_j$-坐标表示的变换后不变量，其中 $t_j$ 与 $w_j$ 的关系为 $e^{w_j} = \frac{t_j+1}{t_j-1} + \frac{t_j-1}{t_j+1}$。
• 通过计算涉及 $\frac{(t^2-1)^3}{t^2}$ 和核 $\left(\frac{1}{t+t_1} + \frac{1}{t-t_1}\right)$ 的围道积分的留数，证明所得微分形式 $W_{g,n}^D$ 满足递归关系。
• 通过匹配 $\pm t_1$、$\pm t_j$ 处极点的留数贡献以及递归核的结构，验证递归关系，确认其与预期形式一致。

实验结果

研究问题

• RQ1 能否从计数问题的不稳定不变量出发，导出谱曲线和递归核的统一构造？
• RQ2 Eynard-Orantin 递归公式是否对 Grothendieck 的 dessins d'enfants 数量成立？
• RQ3 在 $\overline{\mathcal{M}}_{g,n}$ 上 $\tau$-类交点数的谱曲线是否由 $x = z^2$、$y = -z$ 给出？
• RQ4 单 Hurwitz 数与 $\mathbb{P}^1$ 的平稳 Gromov-Witten 不变量是否在其各自谱曲线下满足 Eynard-Orantin 递归？
• RQ5 能否利用 descend 不变量的拉普拉斯变换，推导出这些不变量的完整拓扑递归结构？

主要发现

• 干净 Belyi 映射（即 dessins d'enfants）的数量满足一个递归关系（1.2），该关系涉及曲线退化情形的求和与组合系数。
• dessins d'enfants 的 Eynard-Orantin 微分形式 $W_{g,n}^D$ 满足拓扑递归公式（1.3），其具有特定核与围道积分结构。
• dessins d'enfants 的谱曲线由 $x = z + \frac{1}{z}$、$y = -z$ 给出，该曲线支持完整的拓扑递归。
• 不变量的拉普拉斯变换将其映射为谱曲面上的对称亚纯函数，使得递归可表示为 $t_j$-坐标形式。
• 通过留数计算完成 dessins d'enfants 递归的证明，表明（A.7）中的围道积分重现了（A.6）中预期的递归结构。
• 该方法成功验证了所有四个例子的 Eynard-Orantin 递归：dessins d'enfants、$\tau$-类交点数、单 Hurwitz 数以及 $\mathbb{P}^1$ 的平稳 Gromov-Witten 不变量，其各自的谱曲线列于表 1 中。