[论文解读] Higher genus Gromov-Witten invariants of the Grassmannian, and the Pfaffian Calabi-Yau threefolds

Shinobu Hosono, Yukiko Konishi|ArXiv.org|Apr 23, 2007

Algebraic Geometry and Number Theory参考文献 26被引用 19

一句话总结

该论文通过在对数奇异点处应用改进的间隙条件，求解 BCOV 伴生异常方程，计算了嵌入在 Gr(2,7) 和 Pf(7) 中的导出等价 Calabi-Yau 三fold 的高亏格 Gromov-Witten 不变量（g ≤ 5）。结果表明，两个流形的 Gromov-Witten 生成函数与 Gopakumar-Vafa 不变量完全相同，通过五亏格不变量证实了它们的镜像对称性与导出等价性。

ABSTRACT

We solve Bershadsky-Cecotti-Ooguri-Vafa (BCOV) holomorphic anomaly equation to determine the higher genus Gromov-Witten invariants ($g \leq 5$) of the derived equivalent Calabi-Yau threefolds, which are of the appropriate codimensions in the Grassmannian Gr(2,7) and the Pfaffian Pf(7).

研究动机与目标

• 计算由 Grassmannian Gr(2,7) 和 Pfaffian Pf(7) 产生的导出等价 Calabi-Yau 三fold 的高亏格 Gromov-Witten 不变量（g ≤ 5）。
• 递归应用 BCOV 伴生异常方程，以确定两个 Calabi-Yau 三fold 的 Gromov-Witten 生成函数。
• 利用对数奇异点处的改进间隙条件，固定解中的全纯歧义项，改进先前的估计。
• 比较所得的 Gopakumar-Vafa 不变量，并通过五亏格不变量确认镜像对称性与导出等价性。

提出的方法

• 通过递归积分求解 g ≥ 2 的 BCOV 伴生异常方程，初始数据来自亏格 0 和亏格 1 的预势。
• 对 BCOV 方程应用拓扑极限，以简化异常方程的结构，并减少对模空间坐标依赖。
• 利用最近在 [HKQ] 中识别出的对数奇异点处的间隙条件，约束解中的全纯歧义项。
• 将 Gromov-Witten 生成函数表示为包含伯努利数和与度数相关的不变量 N_g(d) 的生成函数，其中 q = e^{2πit}。
• 通过涉及 sin(kλ/2) 项的生成函数关系，将 Gromov-Witten 不变量转换为 Gopakumar-Vafa 不变量。
• 通过匹配两个 Calabi-Yau 三fold 的周期积分的 Picard-Fuchs 微分方程，验证解的一致性。

实验结果

研究问题

• RQ1 嵌入在 Gr(2,7) 和 Pf(7) 中的导出等价 Calabi-Yau 三fold 是否在五亏格以内具有完全相同的高亏格 Gromov-Witten 不变量？
• RQ2 能否以足够精度递归求解这些三fold 的 BCOV 伴生异常方程，以确定五亏格不变量？
• RQ3 对数奇异点处的间隙条件如何约束这些 Calabi-Yau 流形 BCOV 解中的全纯歧义项？
• RQ4 两个三fold 的 Gopakumar-Vafa 不变量是否完全相同，从而支持其导出等价性与镜像对称性？
• RQ5 尽管嵌入方式不同，两个三fold 的 Picard-Fuchs 微分方程在多大程度上反映了相同的底层几何结构？

主要发现

• 两个 Calabi-Yau 三fold 的 Gromov-Witten 生成函数 F_g(t) 在亏格 g = 5 以内完全相同，证实了它们的镜像对称性与导出等价性。
• 从 N_g(d) 计算得到的 Gopakumar-Vafa 不变量 n_g(d) 在 X 和 X′ 上完全相同，如论文中的表 1 和表 2 所列。
• 对数奇异点处的间隙条件成功固定了 BCOV 解中的全纯歧义项，从而唯一确定了五亏格不变量。
• 亏格 0 和亏格 1 的预势与 [BCFKvS] 和 [Ro] 中的早期结果一致，验证了递归计算所用初始数据的正确性。
• 两个三fold 的周期积分的 Picard-Fuchs 微分方程在结构上与 [HLOY2] 中研究的具有非平凡 Fourier-Mukai 对偶的 K3 表面相似。
• BCOV 异常方程的解在模空间坐标中表现出多项式性，如 [YY] 中最近观察到的，支持了递归方法的一致性。