[论文解读] Voros Coefficients and the Topological Recursion for a Class of the Hypergeometric Differential Equations associated with the Degeneration of the 2-dimensional Garnier System

Yumiko Takei|arXiv (Cornell University)|May 17, 2020

Algebraic structures and combinatorial models参考文献 16被引用 4

一句话总结

本文建立了精确WKB分析中Voros系数与超几何微分方程关联的2维退化Garnier系统通过Eynard-Orantin拓扑递归计算的自由能之间的直接对应关系。证明了(1,4)和(2,3)型的Voros系数可表示为自由能的差值，并利用伯努利多项式与移位算子推导出显式闭式表达式，推广了此前关于合流高斯超几何方程的结果。

ABSTRACT

In my joint papers with Iwaki and Koike ([IKoT1, IKoT2]) we found an intriguing relation between the Voros coefficients in the exact WKB analysis and the free energy in the topological recursion introduced by Eynard and Orantin in the case of the confluent family of the Gauss hypergeometric differential equations. In this paper we discuss its generalization to the case of the hypergeometric differential equations associated with $2$-dimensional degenerate Garnier systems.

研究动机与目标

• 将已知的Voros系数与拓扑递归自由能之间的关系从合流高斯超几何方程推广至与二维退化Garnier系统相关的超几何方程。
• 在数学上精确建立Voros系数（通过WKB解对数导数的围线积分定义）与Eynard-Orantin拓扑递归所得自由能之间的对应关系。
• 利用该对应关系，为(1,4)和(2,3)型超几何微分方程的Voros系数推导出显式解析表达式。
• 通过(1,4)情形的详细计算验证该方法，并利用类似技术将结果推广至(2,3)情形。

提出的方法

• 利用精确WKB分析，将Voros系数定义为WKB解对数导数的围线积分，以捕捉参数性Stokes现象。
• 对微分方程经典极限所导出的谱曲线应用Eynard-Orantin拓扑递归，计算相关函数与自由能$F_g$。
• 建立关键恒等式，通过移位算子与含$\hbar\partial_{\lambda_{\infty}}$的差分方程，将正则化Voros系数$V_{\text{reg}}$与自由能$F$联系起来。
• 利用伯努利多项式$B_m(X)$的生成函数，以闭式表达自由能与Voros系数。
• 利用三重差分方程$F(\lambda_{\infty}+\hbar,t;\hbar) - 2F(\lambda_{\infty},t;\hbar) + F(\lambda_{\infty}-\hbar,t;\hbar) = 0$约束解并证明唯一性。
• 应用算子求逆技术，利用恒等式$e^{-Xw}(e^w - 1)\left(\frac{1}{w} + \sum_{m=0}^\infty \frac{B_{m+1}(X)}{m+1}\frac{w^m}{m!}\right) = 1$，将Voros系数表示为$F_0$及其导数的形式。

实验结果

研究问题

• RQ1 此前在合流高斯超几何方程中观察到的Voros系数与拓扑递归自由能之间的关系，是否可推广至与二维退化Garnier系统相关的超几何方程？
• RQ2 对于(1,4)和(2,3)型超几何微分方程，Voros系数的显式解析形式是什么？
• RQ3 在该推广设定下，自由能与Voros系数如何通过移位算子与差分方程关联？
• RQ4 在这些方程的背景下，自由能$F_g$是否由经典谱曲线与可适性条件唯一确定？
• RQ5 拓扑递归框架能否用于通过Voros系数在高维Garnier系统中计算参数性Stokes现象？

主要发现

• 对于(1,4)型超几何方程，Voros系数显式给出为$V(\lambda_{\infty},t,\nu_{\infty},\hbar) = \sum_{m=1}^{\infty} \frac{B_{m+1}(\nu_{\infty})}{m(m+1)} \left(\frac{\hbar}{\lambda_{\infty}}\right)^m$，其中涉及伯努利多项式。
• 对于(2,3)型超几何方程，Voros系数恒为零：$V(\lambda_{\infty},t,\nu_{\infty},\hbar) = 0$，表明此情形下不存在非平凡的参数性Stokes现象。
• (1,4)型曲线的自由能$F_0$为$F_0 = \frac{1}{2}\log(-3\lambda_{\infty}^2)$，该表达式用于通过递归构造完整的自由能级数$F_g$。
• 全解$F$与其正则化版本$\hat{F}$之间的差在所有亏格下均消失，证明了对所有$g \geq 2$有$F_g = \hat{F}_g$，确保了解的一致性。
• 关系式$V_{\text{reg}} = e^{-\nu_{\infty}\hbar\partial_{\lambda_{\infty}}} (e^{\hbar\partial_{\lambda_{\infty}}} - 1) F$成立，通过移位算子将Voros系数与自由能联系起来。
• 该方法成功将WKB-拓扑递归对应关系推广至高维Garnier系统，为计算复杂微分系统中的参数性Stokes现象提供了框架。