[论文解读] Intersection numbers on Deligne-Mumford moduli spaces and quantum Airy curve

Jian Zhou|arXiv (Cornell University)|Jun 26, 2012

Algebraic Geometry and Number Theory参考文献 6被引用 26

一句话总结

本文通过证明：在阿依尔曲线（Airy curve）上，利用埃纳尔德-奥兰丁（Eynard-Orantin）拓扑递归构造的划分函数 $ Z $ 满足量子曲线方程 $ \hat{A}(u,v)Z = 0 $，其中 $ \hat{A} $ 是经典阿依尔曲线 $ \frac{1}{2}v^2 - u = 0 $ 的量子化形式，从而验证了古科夫与苏尔科夫（Gukov and Sułkowski）的猜想在阿依尔曲线情形下的正确性。该证明将问题归约为德伊克格拉夫-维尔林德-维尔林德（Dijkgraaf-Verlinde-Verlinde）在 Deligne-Mumford 模空间 $ \overline{\mathcal{M}}_{g,n} $ 上的重叠数约束，建立了量子曲线与 $ \overline{\mathcal{M}}_{g,n} $ 上的交集理论之间的直接联系。

ABSTRACT

We establish the Airy curve case of a conjecture of Gukov and Sułkowski by reducing to Dijkgraaf-Verlinde-Verlinde Virasoro constraints satisfied by the intersection numbers on moduli spaces of algebraic curves.

研究动机与目标

• 证明 Gukov-Sułkowski 量子曲线猜想在阿依尔曲线情形下的成立，该猜想指出：在代数曲线上通过拓扑递归构造的划分函数满足量子曲线方程。
• 在阿依尔曲线上的 Eynard-Orantin 拓扑递归与 Deligne-Mumford 模空间 $ \overline{\mathcal{M}}_{g,n} $ 上的交集数之间建立桥梁，特别是与高阶韦伊-彼得森体积相关联。
• 证明通过 Eynard-Orantin 递归与贝克尔-阿基耶泽（Baker-Akhiezer）函数定义的划分函数 $ Z $ 满足量子微分算子 $ \hat{A} = \frac{1}{2}\hat{v}^2 - \hat{u} $，其中 $ \hat{u} = u\cdot $，$ \hat{v} = \hbar \partial_u $。
• 建立阿依尔曲线上的 Eynard-Orantin 递归与交集数上的 Dijkgraaf-Verlinde-Verlinde（DVV）递归之间的直接等价关系。
• 推导出一种新颖且简洁的递归关系，用于编码交集数 $ \langle \tau_{a_1} \cdots \tau_{a_n} \rangle_g $ 的 $ n $-点多项式函数，从而将其与阿依尔曲线结构联系起来。

提出的方法

• 对由 $ \frac{1}{2}v^2 - u = 0 $ 定义的阿依尔曲线应用 Eynard-Orantin 拓扑递归，其中参数化为 $ u(p) = \frac{1}{2}p^2 $，$ v(p) = p $，以生成微分形式 $ W_{g,n} $。
• 定义划分函数 $ Z = \exp\left( \sum_{n=0}^\infty \hbar^{n-1} S_n \right) $，其中 $ S_n $ 为 $ W_{g,k} $ 的积分，且 $ S_0 = \int^p v(p) du(p) $，$ S_1 = -\frac{1}{2}\log \frac{du}{dp} $，更高阶的 $ S_n $ 由迭代积分给出。
• 将量子曲线方程 $ \hat{A}Z = 0 $ 归约为 $ \overline{\mathcal{M}}_{g,n} $ 上交集数的 Dijkgraaf-Verlinde-Verlinde（DVV）递归关系，利用已知的阿依尔曲线情形下 DVV 与 Eynard-Orantin 递归之间的等价性。
• 引入 $ \omega_{g,n} $，即交集数 $ \langle \tau_{a_1} \cdots \tau_{a_n} \rangle_g $ 的生成函数，其系数包含双阶乘 $ (2a_i+1)!! $，并推导出关于 $ w $-变量的 $ \omega_{g,n} $ 的简洁递归关系。
• 定义 $ \omega_{g,n} $ 的反导数 $ \Omega_{g,n} $，其系数包含 $ (2a_i-1)!! $，并推导出涉及微分算子 $ \partial_x \partial_y $、$ \partial_{w_0} $ 以及线性算子 $ \mathcal{D}_{u,v} $ 的 $ \partial_{w_0} \Omega_{g,n+1} $ 的递归关系。
• 利用推导出的 $ \Omega_{g,n} $ 递归关系，验证 $ S_n $ 项满足量子曲线方程 $ \hat{A}Z = 0 $，通过比较微分算子与级数展开完成证明。

实验结果

研究问题

• RQ1 通过阿依尔曲线上 Eynard-Orantin 递归构造的划分函数 $ Z $ 是否满足量子曲线方程 $ \hat{A}Z = 0 $，其中 $ \hat{A} $ 是 $ A(u,v) = \frac{1}{2}v^2 - u $ 的量子化形式？
• RQ2 阿依尔曲线上 Eynard-Orantin 递归能否与 $ \overline{\mathcal{M}}_{g,n} $ 上交集数的 Dijkgraaf-Verlinde-Verlinde（DVV）递归直接关联？
• RQ3 是否存在一个简洁的、闭式表达的递归关系，用于编码交集数 $ \langle \tau_{a_1} \cdots \tau_{a_n} \rangle_g $ 的 $ n $-点多项式函数 $ \omega_{g,n} $？
• RQ4 能否利用 $ \omega_{g,n} $ 的反导数 $ \Omega_{g,n} $ 推导出一个微分递归关系，从而推出 $ Z $ 的量子曲线方程？
• RQ5 当 $ Z $ 通过阿依尔曲线上 Eynard-Orantin 递归与贝克尔-阿基耶泽函数定义时，量子曲线方程 $ \hat{A}Z = 0 $ 是否仍然成立？

主要发现

• 本文证明了通过阿依尔曲线上 Eynard-Orantin 递归定义的划分函数 $ Z $ 满足量子曲线方程 $ \hat{A}Z = 0 $，从而确认了 Gukov-Sułkowski 猜想在阿依尔曲线情形下的正确性。
• 推导出一种新颖的递归关系，用于编码交集数 $ \langle \tau_{a_1} \cdots \tau_{a_n} \rangle_g $ 的 $ n $-点多项式函数 $ \omega_{g,n} $，其形式简洁，涉及 $ w_0 $、$ \omega_{g-1,n+2} $ 以及低亏格项的乘积。
• 反导数 $ \Omega_{g,n} $ 满足一个包含 $ w_0^{5/2} \partial_{w_0} $、$ \partial_x \partial_y $ 与线性算子 $ \mathcal{D}_{u,v} $ 的递归关系，该关系使得量子曲线方程得以推导。
• 通过仔细处理 $ \pm $ 符号与算子恒等式，验证了 $ S_n $ 项满足与 $ \Omega_{g,n} $ 递归等价的微分恒等式，从而验证了量子曲线方程 $ \hat{A}Z = 0 $。
• 通过结合 Eynard-Orantin 递归与 DVV 递归的结果，本文在阿依尔曲线与 $ \overline{\mathcal{M}}_{g,n} $ 上的交集数之间建立了直接联系，且阿依尔函数 $ Ai(x) $ 成为其量子曲线的解。