[论文解读] Local Mirror Symmetry: Calculations and Interpretations

Ti-Ming Chiang, Albrecht Klemm+2 more|arXiv (Cornell University)|Mar 5, 1999

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

一句话总结

本文通过结合A模型局部化技术与B模型Picard-Fuchs微分方程，为局部镜像对称建立了严格的数学框架，展示了通过固定点局部化计算的Gromov-Witten不变量与通过周期积分导出的不变量之间精确一致。研究为卡拉比-丘三fold中法诺曲面的不变量提供了明确的枚举解释，包括对 $\mathcal{O}(5)\to\mathbb{P}^4$、$\mathcal{O}(3)\to\mathbb{P}^2$ 以及Hirzebruch曲面的典范线丛中理性曲线的计数，结果通过虚拟类与多余交公式得到验证。

ABSTRACT

We describe local mirror symmetry from a mathematical point of view and make several A-model calculations using the mirror principle (localization). Our results agree with B-model computations from solutions of Picard-Fuchs differential equations constructed form the local geometry near a Fano surface within a Calabi-Yau manifold. We interpret the Gromov-Witten-type numbers from an enumerative point of view. We also describe the geometry of singular surfaces and show how the local invariants of singular surfaces agree with the smooth cases when they occur as complete intersections.

研究动机与目标

• 为局部镜像对称提供一个连贯的数学描述，此前该领域在文献中缺乏统一处理。
• 在法诺曲面的局部几何中，建立通过局部化计算的A模型不变量与通过Picard-Fuchs方程导出的B模型不变量之间的直接对应关系。
• 从枚举几何的角度解释Gromov-Witten型不变量，特别是对法诺曲面除子族中理性曲线的计数。
• 将镜像原理推广至 торические 法诺曲面，并通过已知不变量（包括奇异与完全交情形）验证其一致性。
• 证明通过多余交理论计算的局部不变量与通过紧致卡拉比-丘特化得到的不变量一致，从而验证局部方法的内在合理性。

提出的方法

• 利用镜像原理结合局部化技术，直接从 торические 法诺曲面的稳定映射模空间计算A模型不变量。
• 在 торic 曲面上应用固定点局部化，显式计算低次有理曲线的虚拟欧拉示性数与Gromov-Witten不变量。
• 通过多余交公式构造虚拟基本类，以处理映射模空间中非横截相交的情形。
• 直接从法诺曲面的局部几何（特别是 торic 曲面上的典范线丛）推导Picard-Fuchs微分方程。
• 对 торic 法诺几何的Weierstrass紧化形式取大椭圆纤维极限，获得不依赖于紧致卡拉比-丘流形的内在B模型数据。
• 通过比较多个示例（包括 $\mathcal{O}(3)\to\mathbb{P}^2$ 与 $K_{F_n}$ 几何）的数值不变量，验证A模型与B模型结果的一致性。

实验结果

研究问题

• RQ1 如何在不依赖全局镜像卡拉比-丘流形的前提下，利用A模型局部化技术一致地表述局部镜像对称？
• RQ2 从法诺曲面的典范丛计算得到的Gromov-Witten型不变量具有何种枚举意义？
• RQ3 为何在局部极限下A模型与B模型不变量一致？其一致性的条件是什么？
• RQ4 在退化至奇异曲面时，不变量的行为如何？它们是否退化为光滑情形的结果？
• RQ5 多余交公式在处理非凸几何中映射模空间的非横截相交时，起到何种作用？

主要发现

• 对于 $\mathcal{O}(5)\to\mathbb{P}^4$，A模型计算得到 $n_1 = 21$，与通用1参数族中理性曲线的数量一致。
• 对于 $\mathcal{O}(3)\to\mathbb{P}^2$，不变量 $n_d$ 在 $d=1,2,3$ 时呈现 $21, 21, 18$ 的重复模式，且 $n_1 = 21$ 已通过 $\mathbb{P}^2 \times \mathbb{P}^5$ 上的交比理论验证。
• 在 $K_{F_0}$ 情形下，当 $d_B = d_F = 1$ 时，不变量为 $-2$，与 $K_{\mathbb{P}^2}$ 的结果一致，证实了在爆破等价性下的一致性。
• 在 $K_{F_1}$ 情形下，$d_B = d_F = 1$ 时的不变量分别为 $1$ 与 $3$，而 $d_B = d_F = 2$ 时的值与 $K_{\mathbb{P}^2}$ 一致，符合在一点爆破 $\mathbb{P}^2$ 的预期。
• 对于 $K_{F_2}$ 的A模型计算，$d_B = d_F = 1$ 时得到非整数值 $-1/2$，由于基空间非凸性，该结果不可靠；B模型结果为 $0$，被认为正确。
• 在 $K_{F_2}$ 的高阶情形下，A模型与B模型结果再次一致，表明差异仅存在于非凸基空间的低次映射中。