[论文解读] Local Mirror Symmetry at Higher Genus

Albrecht Klemm, Eric Zaslow|arXiv (Cornell University)|Jun 4, 1999

Black Holes and Theoretical Physics参考文献 38被引用 73

一句话总结

该论文通过使用重力的Kodaira-Spencer理论和A模型中的局部化方法，将局部镜像对称性推广至高亏格曲线，计算了亏格 $ g ≥q 1 $ 的拓扑弦划分函数。结果证实，Gopakumar-Vafa不变量（被解释为BPS态简并度）为整数，其渐近增长已被分析，但其枚举意义在数学上仍显神秘。

ABSTRACT

We discuss local mirror symmetry for higher-genus curves. Specifically, we consider the topological string partition function of higher-genus curves contained in a Fano surface within a Calabi-Yau. Our main example is the local P^2 case. The Kodaira-Spencer theory of gravity, tailored to this local geometry, can be solved to compute this partition function. Then, using the results of Gopakumar and Vafa and the local mirror map, the partition function can be rewritten in terms of expansion coefficients, which are found to be integers. We verify, through localization calculations in the A-model, many of these Gromov-Witten predictions. The integrality is a mystery, mathematically speaking. The asymptotic growth (with degree) of the invariants is analyzed. Some suggestions are made towards an enumerative interpretation, following the BPS-state description of Gopakumar and Vafa.

研究动机与目标

• 将局部镜像对称性从亏格零推广至嵌入卡拉比-丘流形中的法诺曲面中的高亏格曲线。
• 利用A模型局部化技术在稳定映射模空间上计算高亏格Gromov-Witten不变量。
• 通过在局部几何中求解Kodaira-Spencer方程并应用镜像映射，验证镜像对称性预测。
• 检验Gopakumar-Vafa不变量的整数性，这些不变量在四维有效理论中计数BPS态。
• 通过导出范畴及层或三角范畴中对象的模空间，探索这些整数的数学解释。

提出的方法

• 针对卡拉比-丘中法诺曲面的局部几何，应用专用于该几何的Kodaira-Spencer重力理论，通过钉子算符后代的规范固定简化传播子。
• 利用黎曼曲面的边界退化，递归求解高亏格拓扑弦划分函数 $ F^{(g)} $ 的全纯异常方程。
• 通过在模空间 $ \overline{\mathcal{M}}_{g,0}(\beta; \mathbb{P}^2) $ 上的等变局部化进行A模型计算，实现虚拟基本类的交点理论。
• 使用Gopakumar-Vafa假设重写划分函数，以整数系数 $ n_d^g $ 表达，这些系数被猜想为BPS态的计数。
• 与镜像映射比较结果，并通过显式局部化计算验证整数性，尤其针对 $ \mathbb{P}^2 $。
• 分析不变量 $ n_d^g $ 随度数 $ d $ 的渐近增长，提示其与M理论中BPS态简并度的关联。

实验结果

研究问题

• RQ1 如何利用Kodaira-Spencer理论计算局部卡拉比-丘几何中高亏格曲线的拓扑弦划分函数？
• RQ2 A模型局部化技术在多大程度上能可靠地生成映射到法诺曲面的高亏格映射的Gromov-Witten不变量？
• RQ3 为何Gopakumar-Vafa不变量 $ n_d^g $ 为整数？其在BPS态的枚举或物理意义为何？
• RQ4 能否解析理解不变量 $ n_d^g $ 的渐近增长，并将其与物理或几何结构联系起来？
• RQ5 导出范畴及层或三角范畴中对象的模空间在解释不变量整数性方面起什么作用？

主要发现

• 通过Kodaira-Spencer理论和镜像映射，计算了局部 $ \mathbb{P}^2 $ 中高亏格曲线的拓扑弦划分函数，得到整数系数 $ n_d^g $。
• 显式A模型局部化计算证实了Gopakumar-Vafa不变量 $ n_d^g $ 的整数性，尤其在 $ g=0 $ 和 $ g=1 $ 时，$ n_3^0(\mathbb{P}^2) = 27 $ 与度数三曲线模空间的欧拉示性数一致。
• 不变量 $ n_d^g $ 的渐近增长模式与BPS态简并度一致，但其精确数学来源仍不明确。
• 尽管尚未获得完整的枚举解释，不变量的整数性仍作为M理论和Gopakumar-Vafa框架的强有力检验。
• 研究结果表明，$ K_{\mathbb{P}^2} $ 上凝聚层导出范畴的对象的导出模空间可能在解释这些不变量方面起基础作用，尤其在奇异或多重覆盖曲线的情形。
• 结果支持如下猜想：$ n_d^0 $ 等于 $ \mathbb{P}^2 $ 中度数 $ d $ 曲线模空间的欧拉示性数，且通过 $ \mathbb{P}^2 $ 上的纤维化结构验证了 $ n_3^0 = 27 $。