[论文解读] Topological recursion and a quantum curve for monotone Hurwitz numbers

Norman Do, Alastair Dyer+1 more|arXiv (Cornell University)|Aug 18, 2014

Algebraic Geometry and Number Theory参考文献 33被引用 16

一句话总结

本文证明了单调 Hurwitz 数——即在对称群中带有单调性条件的分解计数的枚举不变量——受 Eynard 和 Orantin 的拓扑递归支配，其输入为在 $\mathbb{CP}^1$ 上定义的特定谱曲线，其中 $x(z) = \frac{z-1}{z^2}$ 且 $y(z) = -z$。此外，通过 Gukov–Sułkowski 量化程序，本文进一步推导出这些数的量子曲线，将拓扑递归与量子曲线的框架拓展至一类新的枚举不变量，其与矩阵积分及 Jucys–Murphy 元素存在联系。

ABSTRACT

Classical Hurwitz numbers count branched covers of the Riemann sphere with prescribed ramification data, or equivalently, factorisations in the symmetric group with prescribed cycle structure data. Monotone Hurwitz numbers restrict the enumeration by imposing a further monotonicity condition on such factorisations. In this paper, we prove that monotone Hurwitz numbers arise from the topological recursion of Eynard and Orantin applied to a particular spectral curve. We furthermore derive a quantum curve for monotone Hurwitz numbers. These results extend the collection of enumerative problems known to be governed by the paradigm of topological recursion and quantum curves, as well as the list of analogues between monotone Hurwitz numbers and their classical counterparts.

研究动机与目标

• 建立单调 Hurwitz 数受 Eynard 和 Orantin 拓扑递归支配的结论。
• 通过 Gukov–Sułkowski 量化程序推导出单调 Hurwitz 数的量子曲线。
• 证明单调 Hurwitz 数的自由能是谱曲线上亚纯函数，从而支持拓扑递归的应用。
• 证明拓扑递归所得的相关微分形式通过自由能的导数重现了单调 Hurwitz 数的生成函数。
• 验证所得系统满足字符串方程与稀释方程，确认其与拓扑递归中已知结构的一致性。

提出的方法

• 作者将单调 Hurwitz 数的生成函数 $F_{g,n}(z_1, \dots, z_n)$ 定义为在 $x_i = x(z_i)$ 上的形式幂级数，其系数由 $\vec{H}_{g,n}(\bm{\mu})$ 给出。
• 他们识别出一个谱曲线 $\mathcal{C} = \mathbb{CP}^1$，其亚纯函数为 $x(z) = \frac{z-1}{z^2}$ 和 $y(z) = -z$，该谱曲线作为拓扑递归的输入。
• 对这一谱曲线应用拓扑递归，生成多微分形式 $\omega_{g,n}$，并证明其在 $x_i = 0$ 处的展开与自由能 $F_{g,n}$ 的导数一致。
• 通过 Gukov–Sułkowski 规范构造量子曲线：将经典曲线 $A(x,y) = 0$ 量化为非交换算符 $\widehat{A}(\widehat{x}, \widehat{y})$，其中 $\widehat{x} = x$，$\widehat{y} = -\hbar \frac{\partial}{\partial x}$，且波函数 $Z(x,\hbar)$ 满足 $\widehat{A}(\widehat{x}, \widehat{y}) Z = 0$。
• 拓扑递归结果的证明依赖于证明自由能 $F_{g,n}$ 是 $\mathcal{C}^n$ 上的亚纯函数，并通过留数计算与递归结构，证明相关微分形式 $\omega_{g,n}$ 与 $F_{g,n}$ 的导数一致。
• 通过计算 $\Phi(z) = y(z)\,dx(z)$ 对 $\omega_{g,n+1}$ 的留数，结合关于有理函数 $f_a(z)$ 的留数关键引理，验证了字符串与稀释方程。

实验结果

研究问题

• RQ1 能否将单调 Hurwitz 数描述为在特定谱曲线上应用拓扑递归的结果？
• RQ2 Gukov–Sułkowski 量子曲线构造是否适用于单调 Hurwitz 数，从而得到一个使波函数为零的微分算符？
• RQ3 单调 Hurwitz 数的生成函数是否在谱曲线上为亚纯函数，从而可通过拓扑递归恢复？
• RQ4 拓扑递归所得的相关微分形式是否重现了自由能 $F_{g,n}$ 的导数？
• RQ5 单调 Hurwitz 数是否满足与拓扑递归一致的字符串方程与稀释方程？

主要发现

• 在 $\mathbb{CP}^1$ 上的谱曲线 $x(z) = \frac{z-1}{z^2}$，$y(z) = -z$ 上应用拓扑递归，所得相关微分形式 $\omega_{g,n}$ 与自由能 $F_{g,n}$ 的导数一致，即对 $(g,n) \neq (0,2)$ 有 $\omega_{g,n} = \frac{\partial}{\partial x_1} \cdots \frac{\partial}{\partial x_n} F_{g,n} \, dx_1 \otimes \cdots \otimes dx_n$。
• 自由能 $F_{g,n}$ 是 $\mathcal{C}^n$ 上的亚纯函数，这使得拓扑递归得以应用，并确保了生成函数的一致性。
• 单调 Hurwitz 数存在量子曲线：由谱曲线定义的经典曲线 $A(x,y) = 0$ 被量化为微分算符 $\widehat{A}(\widehat{x}, \widehat{y})$，使得 $\widehat{A}(\widehat{x}, \widehat{y}) Z(x,\hbar) = 0$，其中 $Z(x,\hbar)$ 为波函数，其微扰展开由拓扑递归控制。
• 单调 Hurwitz 数的字符串与稀释方程已得到验证：$\vec{P}_{g,n+1}(-\frac{1}{2}, \bm{\mu}_S) = 2|\bm{\mu}_S| \vec{P}_{g,n}(\bm{\mu}_S)$ 与 $\vec{P}_{g,n+1}(0, \bm{\mu}_S) - \vec{P}_{g,n+1}(-\frac{1}{2}, \bm{\mu}_S) = (2g-2+n) \vec{P}_{g,n}(\bm{\mu}_S)$，确认其与拓扑递归公理的一致性。
• 通过归纳法证明了留数计算 $\mathop{\mathrm{Res}}_{z=2} \frac{f_a(z)}{z^2(z-2)^d} \, dz = (-\frac{1}{2})^{a+d+1}$，并用于验证稀释方程，建立了递归与运动方程之间关键的技术联系。