[论文解读] Quantum curves for the enumeration of ribbon graphs and hypermaps

Norman Do, David Manescu|arXiv (Cornell University)|Dec 24, 2013

Advanced Combinatorial Mathematics参考文献 26被引用 11

一句话总结

本文通过证明其划分函数满足类似薛定谔方程的方程 $\widehat{y}^a - \widehat{x}\widehat{y} + 1 = 0$，其中 $\widehat{x} = x$ 且 $\widehat{y} = -\hbar \partial/\partial x$，建立了 $a$-超图——即带状图的推广——的量子曲线。该结果证实了拓扑递归与超图计数之间联系的猜想，并将已知的量子曲线示例扩展至由 $a$ 参数化的无限族。经典极限下出现的谱曲线为 $y^a - xy + 1 = 0$，且划分函数被证明通过生成函数编码了加权计数的 $a$-超图。

ABSTRACT

The topological recursion of Eynard and Orantin governs a variety of problems in enumerative geometry and mathematical physics. The recursion uses the data of a spectral curve to define an infinite family of multidifferentials. It has been conjectured that, under certain conditions, the spectral curve possesses a non-commutative quantisation whose associated differential operator annihilates the partition function for the spectral curve. In this paper, we determine the quantum curves and partition functions for an infinite sequence of enumerative problems involving generalisations of ribbon graphs known as hypermaps. These results give rise to an explicit conjecture relating hypermap enumeration to the topological recursion and we provide evidence to support this conjecture.

研究动机与目标

• 建立 $a$-超图计数的量子曲线，将带状图推广至更高分支结构。
• 验证 $a$-超图的划分函数满足由谱曲线导出的非交换微分算子方程。
• 为一个猜想提供证据：在有理谱曲线 $x(z) = z^{a-1} + 1/z$，$y(z) = z$ 上应用拓扑递归，可生成编码 $a$-超图计数的相关微分形式。
• 通过包含由 $a \in \mathbb{Z}_{>0}$ 索引的无限族，扩展枚举几何中已知的量子曲线列表。

提出的方法

• 作者将自由能 $F_{g,n}^{[a]}$ 定义为具有指定分支特征的 $a$-超图加权计数的生成函数。
• 他们将划分函数 $Z^{[a]}(x,\hbar)$ 构造为所有 $g,n$ 的指数生成函数，其中包含拓扑递归权重 $\hbar^{2g-2+n}/n!$。
• 利用对称群中分解的组合解释，他们推导出系数 $M_{0,1}^{[a]}(b)$ 的递推关系，该关系被解释为具有一个标记角的超图计数。
• 他们证明生成函数 $Y = \sum_{b=0}^\infty N_b x^{-b-1}$，其中 $N_b = b M_{0,1}^{[a]}(b)$，满足 $Y^a - X Y + 1 = 0$，从而确认了经典谱曲线。
• 他们验证了量子曲线 $\widehat{y}^a - \widehat{x}\widehat{y} + 1 = 0$ 消去划分函数 $Z^{[a]}(x,\hbar)$，从而确立了类似薛定谔方程。
• 他们利用拓扑递归中的弦方程与稀释方程，推导出 $M_{g,n}^{[a]}$ 系数之间的关系，从而支持该猜想。

实验结果

研究问题

• RQ1 在有理谱曲线 $x(z) = z^{a-1} + 1/z$，$y(z) = z$ 上应用拓扑递归，是否能重现 $a$-超图计数的生成函数？
• RQ2 能否证明 $a$-超图的划分函数满足形式为 $\widehat{y}^a - \widehat{x}\widehat{y} + 1 = 0$ 的量子曲线方程？
• RQ3 是否存在 $M_{0,1}^{[a]}(b)$ 系数的组合解释，从而导出生成函数 $Y$ 的代数关系 $Y^a - X Y + 1 = 0$？
• RQ4 拓扑递归的弦方程与稀释方程是否能导出 $a$-超图计数 $M_{g,n}^{[a]}(b_1,\dots,b_n)$ 之间的非平凡关系？
• RQ5 该谱曲线的辛不变量 $F_g = \omega_{g,0}$ 是否可计算，并与已知几何不变量如 $\chi(\mathcal{M}_g)$ 相关联？

主要发现

• 对于 $a$-超图，划分函数 $Z^{[a]}(x,\hbar)$ 满足量子曲线方程 $\left(\widehat{y}^a - \widehat{x}\widehat{y} + 1\right) Z^{[a]}(x,\hbar) = 0$，其中 $\widehat{x} = x$，$\widehat{y} = -\hbar \partial/\partial x$，从而证明了主要定理。
• 经典谱曲线为 $y^a - x y + 1 = 0$，它是量子曲线的半经典极限。
• $M_{0,1}^{[a]}(b)$ 系数仅在 $b \equiv 0 \pmod{a}$ 时非零，且其表达式为 $b M_{0,1}^{[a]}(b) = \frac{a}{ab + a - b} \binom{b}{b/a}$，该表达式推广了卡塔兰数。
• 生成函数 $Y = \sum_{b=0}^\infty N_b x^{-b-1}$，其中 $N_b = b M_{0,1}^{[a]}(b)$，满足 $Y^a - X Y + 1 = 0$，从而确认其与谱曲线的一致性。
• 拓扑递归的弦方程与稀释方程被证明对相关微分形式 $\omega_{g,n}$ 成立，从而意味着 $M_{g,n}^{[a]}$ 系数之间存在非平凡线性关系。
• 该谱曲线的辛不变量 $F_g = \omega_{g,0}$ 被猜想具有几何意义，可能与 $\chi(\mathcal{M}_g)$ 相关，类似于 $a=2$ 的情形。