[论文解读] An effective theory of GW and FJRW invariants of quintics Calabi-Yau manifolds

Huai-Liang Chang, Jun Li+2 more|Rare & Special e-Zone (The Hong Kong University of Science and Technology)|Mar 20, 2016

Geometric and Algebraic Topology被引用 6

一句话总结

本文提出了一种有效算法，利用混合旋子P-场（Mixed Spin P-fields）与虚拟局部化方法，计算五次卡拉比-丘三流形的格罗莫夫-威滕（GW）与法安-贾里斯-鲁安-温特（FJRW）不变量。通过分析环面不动点集并从局部化虚拟周期导出多项式关系，该方法实现了所有亏格GW不变量与具有2/5插入的FJRW不变量的递归计算，前提是已知初始数据。

ABSTRACT

This is the second part of the project toward an effective algorithm to evaluate all genus Gromov-Witten invariants of quintic Calabi-Yau threefolds. In this paper, the localization formula is derived, and algorithms toward evaluating these Gromov-Witten invariants are derived.

研究动机与目标

• 建立系统化方法，用于计算五次三流形的亏格-g 格罗莫夫-威滕不变量及费马五次奇点的FJRW不变量。
• 利用混合旋子P-场模空间上的局部化虚拟周期构造，推导GW与FJRW不变量之间的多项式关系。
• 提供一种递归算法，从低亏格初始数据确定高亏格不变量。
• 探讨GW与FJRW不变量初始数据集之间的对偶性与等价性，特别是在2/5插入条件下的情形。

提出的方法

• 利用混合旋子P-场（MSP）作为统一框架，定义带有p-场与轨道结构的稳定映射模空间。
• 对 $G_m$-等变模堆栈 ${ m W}_{g,oldsymbol{ u},ld{d}}$ 应用虚拟局部化，通过留数提取计算环面不动点集的贡献。
• 推导涉及等变欧拉类与虚拟法丛的显式局部化公式，导出关于等变参数 $rak{t}$ 的多项式关系。
• 依赖余截面局部化虚拟周期构造，以确保虚拟周期的适当支集与良好定义性。
• 利用MSP形式化中的费曼图结构组织贡献并提取生成函数。
• 应用虚拟维数公式 $ ext{vir.dim} = rac{1}{2}ig( ext{deg}({ m K}_{{ m C}}) + ext{deg}({ m L}^{igotimes 5}) ig)$ 限制可能的不动点集。

实验结果

研究问题

• RQ1 能否仅利用低亏格不变量与FJRW不变量递归计算五次三流形的格罗莫夫-威滕不变量？
• RQ2 具有2/5插入的FJRW不变量能否从低亏格数据递归计算？其最小初始数据集为何？
• RQ3 GW与FJRW不变量的初始数据集 $N_g$、$P_g$ 与 $A_g$ 之间是否存在对称对偶性？
• RQ4 能否从局部化虚拟周期关系重构GW与FJRW不变量的生成函数？
• RQ5 MSP场的费曼图结构是否可推广至FJRW势能，暗示Landau-Ginzburg理论中存在对偶结构？

主要发现

• 本文建立了一种递归算法，可在已知所有满足 $g' < g$ 且 $d' < d$ 的 $N_{g',d'}$，以及所有满足 $g' < g$ 且 $k' eq 2g-2$ 的 $ heta_{g',k'}$ 的前提下，计算五次三流形的所有亏格-g 格罗莫夫-威滕不变量 $N_{g,d}$。
• 当 $g \neq 1$ 时，该算法可利用已知的 $ heta_{g',k'}$（其中 $g' < g$ 且 $k' \neq k-2$）与 $N_{g,d}$（通过 $A_g$ 与 $N_g$ 确定）计算 $ heta_{g,k}$（其中 $k \neq 7g-2$）。
• 在亏格1时，五次奇点的所有FJRW不变量 $ heta_{1,k}$ 均可计算，从而完整构建了高亏格递归的初始数据集。
• 该算法表明，集合 $N_g = \big\bracevert N_{g,d} \big\bracevert_{0<d<g}$ 与 $P_g = \big\bracevert \theta_{g,k} \big\bracevert_{2g-2 < k < 7g-2}$ 在关系下等价，暗示GW与FJRW不变量之间存在深刻对偶性。
• 单顶点亏格为 $g$、$k$ 条度数为 $-2/5$ 的边的不动图 $ar{rak{G}}$ 的贡献项与 $ heta_{g,k}$ 成正比，从而显式地将 $ heta_{g,k}$ 提取为低阶不变量的有理函数。
• 本文证明，当 $k = 7g-2+5m$ 时，$ heta_{g,k}$ 可表示为低阶不变量的多项式，其中系数 $(-1)^{m+1}/k!$ 来自等变欧拉类的计算。