[论文解读] Equivariant Gromov-Witten theory of one dimensional stacks

Paul D. Johnson|ArXiv.org|Mar 5, 2009

Algebraic Geometry and Number Theory参考文献 35被引用 31

一句话总结

本文建立了用于计算一维轨道曲线 $\mathcal{C}_{r,s}$ 的 $\mathbb{C}^*$-等变 Gromov-Witten 不变量的算子形式体系，扩展了 Okounkov-Pandharipande 对 $\mathbb{P}^1$ 的工作。通过无限楔模表示推导出生成函数，并证明该理论满足 2-Toda 可积层次，为这些不变量提供了完整的代数框架。

ABSTRACT

In math.AG/0207233, Okounkov and Pandharipande gave an operator formalism for computing the equivariant Gromov-Witten theory of the projective line. This thesis extends their result to orbifold lines. In the effective case the theory is again governed by the 2-Toda hierarchy. In the ineffective case the decomposition conjecture of hep-th/0606034 is verified.

研究动机与目标

• 将 Okounkov 与 Pandharipande 对 $\mathbb{P}^1$ 的等变 Gromov-Witten 理论推广至具有 $\mathbb{Z}_r$ 和 $\mathbb{Z}_s$ 轨道结构的轨道曲线 $\mathcal{C}_{r,s}$，其中在点 $0$ 和 $\infty$ 处分别具有 $\mathbb{Z}_r$ 和 $\mathbb{Z}_s$ 的轨道结构。
• 利用无限楔模表示构建一个代数框架，以计算 $\mathcal{C}_{r,s}$ 的所有等变 Gromov-Witten 不变量。
• 证明这些不变量的生成函数满足 2-Toda 可积层次，从而将光滑情形下的可积结构推广至轨道情形。

提出的方法

• 采用 Okounkov 与 Pandharipande 的算子形式体系，将 Gromov-Witten 不变量表示为无限楔模中真空期望值的形式。
• 通过合流超几何函数与 Barnes 型积分构造生成函数 $f_{m,u}(z,a,w,b)$，以编码等变不变量。
• 分析生成函数的解析性质，表明尽管存在明显奇点，其在 $z + w = 0$ 附近仍为全纯函数。
• 利用超几何函数的欧拉积分表示控制收敛性与解析性，特别是在 $z = -w$ 处。
• 应用超几何函数在自变量为 1 时的反射与对称性质，以消除明显极点并确认解析性。
• 通过计算前因子并比较留数，验证 2-Toda 层次中算子之间的对易关系，尤其关注 $z + w = 0$ 处的行为。

实验结果

研究问题

• RQ1 能否在无限楔模的真空期望值形式下，以算子期望的形式表述具有 $\mathbb{Z}_r$ 与 $\mathbb{Z}_s$ 轨道点的轨道型 $\mathbb{P}^1$ 的等变 Gromov-Witten 理论？
• RQ2 这些不变量的生成函数是否如光滑 $\mathbb{P}^1$ 情形一样满足 2-Toda 层次？
• RQ3 在 $0$ 与 $\infty$ 处的轨道结构如何影响生成函数的解析结构与对称性？
• RQ4 Pochhammer 符号与 Barnes 型积分在控制生成函数奇点方面起什么作用？
• RQ5 在除数 $z + w = 0$ 上，$\mathcal{E}_0$ 算子的前因子行为如何？它们是否影响对易子结构？

主要发现

• 生成函数 $f_{m,u}(z,a,w,b)$ 在 $z + w = 0$ 的邻域内为全纯函数，从而消除了由 Pochhammer 符号引起的明显奇点。
• 当 $z = -w$ 时，超几何函数取值为有理表达式，确认 $f_{m,u}(z,a,-z,b)$ 为全纯函数，且显式表达为 $-\frac{z + \frac{a-b}{2}}{mr + \frac{a+b}{2}} \sinh(u|K|(rm + \frac{a+b}{2})z)$。
• 当 $m = a = b = 0$ 时，函数简化为 $-u|K|z^2$，显示出在原点附近的主导行为。
• 2-Toda 层次中算子的对易子与 $zw\delta(z, -w)$ 成正比，从而确认了正确的代数结构。
• 在 $g$-情形下，当 $n = -1$ 时，对易子给出 $\gamma(-\Bbbk)zw\delta(z, -w)$，与预期的 2-Toda 对易关系一致。
• $\mathcal{E}_0$ 算子的前因子在 $f$-情形（$n$ 为偶数）下于 $z + w = 0$ 处消失，在 $g$-情形下则简化为 $-\gamma(-\Bbbk)u|K|z^2$，从而确保了对易子结构的一致性。