[论文解读] Toda equations for Hurwitz numbers

Andreĭ Okounkov|ArXiv.org|Apr 19, 2000

Nonlinear Waves and Solitons参考文献 5被引用 11

一句话总结

本文证明了双 Hurwitz 数的生成函数——即计数在 $\mathbb{P}^1$ 上两个点（例如 0 和 $∞$）处具有任意分支，在其余地方为简单分支的全纯覆盖——是 Ueno 和 Takasaki 的 Toda 晶格层级的 $\tau$-函数。通过无限楔形表示和顶点算子形式，作者推导出一组无限多的 Hirota 双线性方程，这些方程编码了这些数的递归关系，将 Pandharipande 的猜想型 Toda 方程推广为一个完整的可积层级。

ABSTRACT

We consider ramified coverings of P^1 with arbitrary ramification type over 0 and infinity and simple ramifications elsewhere and prove that the generating function for the numbers of such coverings is a tau-function for the Toda lattice hierarchy of Ueno and Takasaki.

研究动机与目标

• 将 Pandharipande 对 $\mathbb{P}^1$ 的 Gromov-Witten 不变量的猜想型 Toda 方程推广为双 Hurwitz 数的完整偏微分方程层级。
• 利用无限楔形空间中的表示理论，建立双 Hurwitz 数生成函数是 Toda 晶格层级 $\tau$-函数的证明。
• 通过最低阶的 Toda 方程，为双 Hurwitz 数提供一个递归计算框架，该方程对应于在具有固定单值性数据的覆盖上增加一张新页。
• 将 Hurwitz 数的计数与可积系统联系起来，为分支覆盖的枚举几何提供一种新的代数几何视角。

提出的方法

• 双 Hurwitz 数的生成函数通过 Schur 函数和对称群特征，以无限楔形空间中的矩阵元形式表达。
• 该构造利用了此类矩阵元已知为可积层级（特别是 Toda 晶格层级）的 $\tau$-函数的事实。
• 使用顶点算子 $\Gamma_{\pm}$、能量算子 $H$ 和荷算子 $C$ 来定义生成层级的真空期望值。
• 通过应用平移算子 $R$ 来移动真空态，从而从 $\tau_0$ 情况推导出整个层级。
• 以形式变量 $z$、$s_n$ 和 $s_n'$ 表示的 Hirota 双线性方程被推导出来，通过 $[z^{m+1}]$ 和 $[z^{-1-m}]$ 操作提取系数。
• 最低阶方程（$m=0$）导出一个涉及 $\partial^2/\partial p_1 \partial p_1'$ 的二阶偏微分方程，该方程编码了对无分支页的递归剥离。

实验结果

研究问题

• RQ1 双 Hurwitz 数的生成函数是否满足 Toda 晶格层级，从而扩展 Pandharipande 的猜想型 Toda 方程？
• RQ2 在两个点处具有任意分支的 Hurwitz 数背景下，Toda 层级的完整可积结构是否可以实现？
• RQ3 Toda 方程在覆盖空间操作（如添加或移除页）中的组合解释是什么？
• RQ4 Hirota 双线性方程如何编码具有固定单值性数据的双 Hurwitz 数的递归关系？
• RQ5 Toda 层级与 Hodge 积分或 $\mathbb{P}^1$ 的 Gromov-Witten 理论之间是否存在自然对应关系？

主要发现

• 双 Hurwitz 数的生成函数 $\tau(P,P^\prime,\beta,q)$ 是 Toda 晶格层级的 $\tau$-函数，这是通过无限楔形形式证明的。
• 整个层级由 Hirota 双线性方程（9）编码，这些方程通过 $\vec{z} = (z,z^2,\dots)$ 的作用关系到 $\tau$ 的平移和缩放版本。
• 最低阶方程（$m=0$）导出偏微分方程 $\frac{\partial^2}{\partial p_1 \partial p_1^\prime} \log \tau = q \frac{\tau(\dots,e^\beta q) \tau(\dots,e^{-\beta} q)}{\tau^2}$，该方程描述了无分支页的递归移除。
• 当所有 $p_k, p_k^\prime = 0$ 对于 $k \geq 2$ 时，方程退化为标准 Toda 方程 $e^{-u} \frac{\partial^2}{\partial u^2} \log \tau = \frac{\tau(u+\beta,\beta) \tau(u-\beta,\beta)}{\tau^2}$，从而恢复 Pandharipande 的结果。
• 序列 $\tau_n = q^{n^2/2} e^{n(4n^2-1)\beta/24} \tau(\dots,e^{n\beta}q)$ 给出了层级的第 $n$ 个分量，表明了完整的 $\mathbb{Z}$-索引解。
• 该方法证明了双 Hurwitz 数由 Toda 层级唯一确定，其递归关系从固定单值性数据的基态开始。