[论文解读] Mirror symmetry for orbifold Hurwitz numbers

Vincent Bouchard, Daniel Hernández Serrano+2 more|arXiv (Cornell University)|Jan 21, 2013

Nonlinear Waves and Solitons参考文献 37被引用 24

一句话总结

本文通过证明其拉普拉斯变换在 r-Lambert 曲线 $x^r = y e^{-r y}$ 上满足 Eynard-Orantin 拓扑递归，建立了对换 Hurwitz 数的镜像对称性，推广了简单 Hurwitz 数的情形。此外，本文还证明了这些数存在量子曲线，为 $[\mathbb{C}^3 / (\mathbb{Z}/r\mathbb{Z})]$ 的对换 Gromov-Witten 理论中的重构猜想提供了有力证据。

ABSTRACT

We study mirror symmetry for orbifold Hurwitz numbers. We show that the Laplace transform of orbifold Hurwitz numbers satisfy a differential recursion, which is then proved to be equivalent to the integral recursion of Eynard and Orantin with spectral curve given by the r-Lambert curve. We argue that the r-Lambert curve also arises in the infinite framing limit of orbifold Gromov-Witten theory of [C3/(Z/rZ)]. Finally, we prove that the mirror model to orbifold Hurwitz numbers admits a quantum curve.

研究动机与目标

• 本文旨在将镜像对称从简单 Hurwitz 数推广到对换 Hurwitz 数。
• 研究对换 Hurwitz 数与 $[\mathbb{C}^3 / (\mathbb{Z}/r\mathbb{Z})]$ 的对换 Gromov-Witten 理论的无限框架极限之间的联系。
• 目标包括严格证明对换 Hurwitz 数的拉普拉斯变换满足 Eynard-Orantin 拓扑递归。
• 旨在证明对换 Hurwitz 数的生成函数满足一个量子曲线，即一个可约的微分方程组。
• 本工作为对换 Gromov-Witten 不变量背景下的重构猜想提供了证据。

提出的方法

• 作者将对换 Hurwitz 数 $H^{(r)}_{g,n}(\vec{\mu})$ 定义为到 $\mathbb{P}^1[r]$ 的指定分支的扭曲稳定映射的加权计数。
• 他们引入这些数的拉普拉斯变换，通过 r-Lambert 曲线 $x = z e^{-z^r}$ 定义自由能 $F^{(r)}_{g,n}(z_1, \dots, z_n)$。
• 关键方法在于证明对换 Hurwitz 数的拉普拉斯变换割补-合并方程导出一个偏微分方程的递归系统。
• 通过伽罗瓦平均和主部投影，他们从拉普拉斯变换方程中推导出 Eynard-Orantin 拓扑递归。
• 他们通过计算留数并应用广义留数公式（引理 7.11）来建立极点之和与主部之间的关系，从而证明递归关系。
• 最后，通过证明生成函数满足由自由能导出的定态 Schr"odinger 型方程，建立了量子曲线的存在性。

实验结果

研究问题

• RQ1 对换 Hurwitz 数的生成函数是否在 r-Lambert 曲线作为谱曲线时满足 Eynard-Orantin 拓扑递归？
• RQ2 对换 Hurwitz 数的谱曲线是否为 $[\mathbb{C}^3 / (\mathbb{Z}/r\mathbb{Z})]$ 的镜像曲线的无限框架极限？
• RQ3 是否可以证明对换 Hurwitz 数的拉普拉斯变换满足与 Eynard-Orantin 递归匹配的递归系统？
• RQ4 对换 Hurwitz 数的生成函数是否允许存在量子曲线，即一个可约的微分方程组？
• RQ5 此类量子曲线的存在是否唯一确定所有亏格的自由能？

主要发现

• 对换 Hurwitz 数的拉普拉斯变换在 r-Lambert 曲线 $x^r = y e^{-r y}$ 上满足 Eynard-Orantin 拓扑递归，推广了简单 Hurwitz 数的情形。
• 对换 Hurwitz 数的谱曲线作为 $[\mathbb{C}^3 / (\mathbb{Z}/r\mathbb{Z})]$ 的镜像曲线的无限框架极限出现，证实了重构猜想的预测。
• 自由能 $F^{(r)}_{g,n}$ 被证明由拉普拉斯变换割补-合并方程导出的偏微分方程递归系统唯一确定。
• 对换 Hurwitz 数的生成函数（作为 KP $\tau$-函数的对角限制）满足一个定态 Schr"odinger 型方程，证明了量子曲线的存在性。
• 仅量子曲线方程本身即可唯一确定所有亏格 $g \geq 0$ 和所有 $n \geq 1$ 的自由能 $F^{(r)}_{g,n}$，确立了深刻的可积结构。
• 证明依赖于一个新颖的留数公式（引理 7.11），该公式将极点之和与主部联系起来，使得能够从拉普拉斯变换方程推导出递归关系。