[论文解读] Hilbert schemes, integrable hierarchies, and Gromov-Witten theory

Wei-Ping Li, Zhenbo Qin+1 more|ArXiv.org|Feb 18, 2003

Algebraic structures and combinatorial models参考文献 13被引用 15

一句话总结

本文通过 $\tau$-函数，建立了仿射平面点的 Hilbert 变换的等变交点数与可积层级（特别是 2-Toda 层级）之间的直接对应关系。此外，还通过生成函数和玻色-费米子对偶性，将这些结果与 $\mathbb{P}^1$ 和椭圆曲线的平稳 Gromov-Witten 不变量联系起来，揭示了一个根植于对称群共轭类代数和 Jucys-Murphy 元素的统一组合结构。

ABSTRACT

Various equivariant intersection numbers on Hilbert schemes of points on the affine plane are computed, some of which are organized into tau-functions of 2-Toda hierarchies. A correspondence between the equivariant intersection on Hilbert schemes and stationary Gromov-Witten theory is established.

研究动机与目标

• 建立 $\mathbb{C}^2$ 上 Hilbert 变换的等变上同调与可积层级之间的精确联系。
• 将 Hilbert 变换上的等变交点数与 $\mathbb{P}^1$ 和椭圆曲线的平稳 Gromov-Witten 不变量联系起来。
• 阐明 Jucys-Murphy 元素和特征类算子在生成等变上同调环中的作用。
• 从模空间 $\mathcal{M}(m,n)$ 构造 2-Toda 层级的 $\tau$-函数，并通过玻色-费米子对偶性将其与费米子 Fock 空间联系起来。

提出的方法

• 引入模空间 $\mathcal{M}(m,n)$，其微分同胚于 $X^{[n]}$，并带有 $T=\mathbb{C}^*$-作用，将等变上同调编码于 $\mathbb{H}_n^{(m)}$ 中。
• 通过校正项 $c_k^{(m)}$ 定义修正的等变特征类算子 $\widetilde{\text{ch}}_k(\mathcal{O}^{[n]}_m)$，以确保其与费米子 Fock 空间的兼容性。
• 在费米子 Fock 空间 $\mathcal{F}^{(m)}$ 上构造主算子 $\mathfrak{H}(z)$，其被识别为 $\widetilde{\mathfrak{G}}_z^{(m)}$，并与 2-Toda 层级相关联。
• 将生成函数 $\tau(x,t,s,m)$ 定义为 Fock 空间中的期望，使用 $\Gamma_+(t)$、$\Gamma_-(s)$ 和 $\mathfrak{H}_k$ 算子。
• 证明 $\tau(x,t,s,m)$ 满足 2-Toda 层级方程，包括双线性恒等式 $\partial^2_{t_1 s_1} \ln \tau = \tau(m+1)\tau(m-1)/\tau(m)^2$。
• 通过算子恒等式 $\mathfrak{H}(z) = \frac{1}{e^{z/2}-e^{-z/2}}(\varepsilon_0(z) - \frac{1}{e^{z/2}-e^{-z/2}}\text{I})$ 建立 Gromov-Witten/Hilbert 对应关系，从而与平稳不变量关联。

实验结果

研究问题

• RQ1 如何将 $\mathbb{C}^2$ 上 Hilbert 变换的等变交点数组织为可积层级的 $\tau$-函数？
• RQ2 Hilbert 变换的等变上同调与 $\mathbb{P}^1$ 的平稳 Gromov-Witten 不变量之间的确切对应关系是什么？
• RQ3 对称群共轭类代数中的 Jucys-Murphy 元素和特征类算子如何与 Hilbert 变换的几何相关联？
• RQ4 能否通过模空间 $\mathcal{M}(m,n)$ 及其等变上同调几何地实现 2-Toda 层级？
• RQ5 算子 $\mathfrak{H}(z)$ 在统一 Hilbert 变换交点理论与 Gromov-Witten 理论中扮演什么角色？

主要发现

• 在 $\mathcal{M}(m,n)$ 上，等变交点数的生成函数 $\tau(x,t,s,m)$ 被识别为 2-Toda 层级的 $\tau$-函数。
• $\tau$-函数满足双线性 Toda 方程 $\partial^2_{t_1 s_1} \ln \tau = \tau(m+1)\tau(m-1)/\tau(m)^2$，证实了其可积结构。
• 作用于费米子 Fock 空间的主算子 $\mathfrak{H}(z)$ 被识别为修正的特征类算子 $\widetilde{\mathfrak{G}}_z^{(m)}$，从而实现了 $\tau$-函数的构造。
• 通过算子恒等式 $\mathfrak{H}(z) = \frac{1}{e^{z/2}-e^{-z/2}}(\varepsilon_0(z) - \frac{1}{e^{z/2}-e^{-z/2}}\text{I})$ 建立了 Gromov-Witten/Hilbert 对应关系，将 Hilbert 变换与平稳 Gromov-Witten 不变量联系起来。
• 在 $\mathcal{F}^{(m)}$ 上的多点迹函数计算了椭圆曲线的平稳 Gromov-Witten 不变量，如 Bloch-Okounkov 和 Okounkov-Pandharipande 所示。
• 当特化为 $\tau(u,x_1)$ 时，$\tau$-函数退化为 Hurwitz 数的生成函数，通过 $e^{-u}\partial^2_u \ln \tau = \tau(u+x_1,x_1)\tau(u-x_1,x_1)/\tau(u,x_1)^2$ 与 Hurwitz 理论关联。