[论文解读] The orbifold quantum cohomology of C^2/Z_3 and Hurwitz-Hodge integrals

Jim Bryan, Tom Graber+1 more|ArXiv.org|Oct 16, 2005

Algebraic Geometry and Number Theory参考文献 7被引用 12

一句话总结

本文证明了对 orbifold $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$ 的等变 genus 0 平坦化解析猜想，表明其 orbifold 量子上同调势 $F^\mathcal{X}$ 在非平凡变量替换后等于其平坦化解析 $Y$ 的 Gromov-Witten 势 $F^Y$。关键贡献在于使用新颖的三角 Hurwitz 空间上的 Hodge 积分，完整计算了两个势函数，并在自包含附录中推导出这些积分的闭式公式。

ABSTRACT

Let Z_3 act on C^2 by non-trivial opposite characters. Let X =[C^2/Z_3] be the orbifold quotient, and let Y be the unique crepant resolution. We show the equivariant genus 0 Gromov-Witten potentials of X and Y are equal after a change of variables -- verifying the Crepant Resolution Conjecture for the pair (X,Y). Our computations involve Hodge integrals on trigonal Hurwitz spaces which are of independent interest. In a self contained Appendix, we derive closed formulas for these Hurwitz-Hodge integrals.

研究动机与目标

• 验证 orbifold $[\mathbb{C}^2 / \mathbb{Z}_3]$ 及其平坦化解析 $Y$ 的等变 genus 0 平坦化解析猜想。
• 计算 $\mathcal{X}$ 的平坦化解析 $Y$ 的完整等变 genus 0 Gromov-Witten 势 $F^Y$，其 Picard 数为 2，因此其变量替换比以往例子更为复杂。
• 推导出关于三角 Hurwitz 空间上的 Hurwitz-Hodge 积分的闭式表达式，特别是对 $\mathbb{P}^1$ 的循环三重覆盖的 Hurwitz 模空间连通分支上 $\lambda_{g-1}$ 的积分，这些结果在代数几何中具有独立兴趣。

提出的方法

• 使用解析上的等变上同调与交比理论，计算 $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$ 的平坦化解析 $Y$ 的等变 genus 0 Gromov-Witten 势 $F^Y$。
• 通过 $\mathbb{Z}_3$ 的非平凡群元素对应的等变 orbifold 上同调类 $D_1, D_2$ 推导出 orbifold 势 $F^\mathcal{X}$。
• 引入并计算 Hurwitz-Hodge 积分，利用生成函数 $A(u) = \frac{1}{\sqrt{3}}\tan\left(\frac{u}{\sqrt{12}} + \frac{\pi}{6}\right)$，该函数编码了 $\lambda_{g-1}$ 在三角 Hurwitz 空间上的积分。
• 通过匹配 $F^\mathcal{X}$ 与 $F^Y$ 的结构，建立 $\mathcal{X}$ 与 $Y$ 之间等变参数的变量替换，证明其在变换后相等。
• 使用生成函数与单位根滤波方法，将 $F^\mathcal{X}$ 分解为包含 $A_{g}$ 的分量，并通过复分析与三角恒等式证明递推关系的一致性。
• 在自包含附录中，利用围道积分与涉及 $\omega = e^{2\pi i/3}$ 的对称性论证，证明 Hurwitz-Hodge 积分的唯一性与闭式表达式。

实验结果

研究问题

• RQ1 等变 genus 0 Gromov-Witten 势是否在适当变量替换后，与 orbifold $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$ 的平坦化解析 $Y$ 的势函数一致，如平坦化解析猜想所预测？
• RQ2 解析 $Y$ 的 genus 0 Gromov-Witten 势 $F^Y$ 的显式形式是什么？它与 orbifold 势 $F^\mathcal{X}$ 有何关系？
• RQ3 模空间 $\overline{\mathcal{H}}_{g}^{3}$ 上的 Hodge 积分 $\int_{\overline{\mathcal{H}}_{g}^{3}} \lambda_{g-1}$ 的值是多少？能否以闭式表达？
• RQ4 等变参数 $t_1, t_2$ 与变量 $x_i, y_i$ 在 orbifold 与解析几何之间如何变换，以实现猜想中的等价性？
• RQ5 Hurwitz-Hodge 积分是否与 Hurwitz 模空间连通分支的选择无关？能否通过生成函数统一计算？

主要发现

• $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$ 的平坦化解析 $Y$ 的等变 genus 0 Gromov-Witten 势 $F^Y$ 显式计算为多项式项与包含 $q_1^d, q_2^d, (q_1 q_2)^d$ 的级数之和，其系数依赖于 $t_1, t_2, y_1, y_2, y_0$。
• orbifold 势 $F^\mathcal{X}$ 由包含 $x_0^3$、$x_0 x_1 x_2$、$t_1 x_1^3$、$t_2 x_2^3$ 的闭式公式给出，并包含一个关于 $g \geq 2$ 的级数，其系数 $A_g$ 由生成函数 $A(u) = \frac{1}{\sqrt{3}}\tan\left(\frac{u}{\sqrt{12}} + \frac{\pi}{6}\right)$ 确定。
• Hurwitz-Hodge 积分 $\int_{\overline{\mathcal{H}}_g^3} \lambda_{g-1}$ 被证明等于 $A_g$，且该值与 Hurwitz 模空间连通分支无关，如附录命题 A.1 所证。
• 生成函数 $A(u)$ 被推导为 $A(u) = \frac{i}{\sqrt{3}} \frac{1 + \overline{\omega} e^{iu/\sqrt{3}}}{1 - \overline{\omega} e^{iu/\sqrt{3}}}$，通过复分析提供了积分的闭式表达。
• 通过证明 $F^\mathcal{X}$ 的级数结构（涉及 $\omega$-扭曲项的对称和）在代入后与 $F^Y$ 的结构一致，验证了 $F^\mathcal{X} = F^Y$ 在变量替换下的等式。
• 通过证明 $9(\theta_0 - \theta_1) = 1$，确认了 Hurwitz 积分递推关系的一致性，从而确立了所推导公式的唯一性与正确性。