[论文解读] Computation of open Gromov-Witten invariants for toric Calabi-Yau 3-folds by topological recursion, a proof of the BKMP conjecture

Bertrand Eynard, Nicolas Orantin|arXiv (Cornell University)|May 5, 2012

Algebraic Geometry and Number Theory被引用 6

一句话总结

该论文通过建立toric Calabi-Yau 3-fold的开Gromov-Witten不变量与镜像B模型上通过拓扑递归计算的不变量之间的对应关系，证明了所有亏格下BKMP猜想。作者表明，猜想的两边均可表示为组合图的加权和：A模型侧通过局部化，B模型侧通过拓扑递归算法。通过重新组织B模型的图并利用大半径极限和特殊几何性质匹配顶点与边权重，他们证明了该猜想对所有toric Calabi-Yau 3-fold普遍成立。

ABSTRACT

The BKMP conjecture (2006-2008), proposed a new method to compute closed and open Gromov-Witten invariants for every toric Calabi-Yau 3-folds, through a topological recursion based on mirror symmetry. So far, this conjecture had been verified to low genus for several toric CY3folds, and proved to all genus only for C^3. In this article we prove the general case. Our proof is based on the fact that both sides of the conjecture can be naturally written in terms of combinatorial sums of weighted graphs: on the A-model side this is the localization formula, and on the B-model side the graphs encode the recursive algorithm of the topological recursion. One can slightly reorganize the set of graphs obtained in the B-side, so that it coincides with the one obtained by localization in the A-model.Then it suffices to compare the weights of vertices and edges of graphs on each side, which is done in 2 steps: the weights coincide in the large radius limit, due to the fact that the toric graph is the tropical limit of the mirror curve. Then the derivatives with respect to Kähler radius coincide due to special geometry property implied by the topological recursion.

研究动机与目标

• 证明BKMP猜想，该猜想将toric Calabi-Yau 3-fold的开Gromov-Witten不变量与镜像B模型上通过拓扑递归计算的不变量联系起来。
• 为所有toric Calabi-Yau 3-fold建立A模型不变量（通过局部化计算）与B模型不变量（通过拓扑递归计算）之间的普遍对应关系。
• 通过连接镜像对称两侧的组合图求和，解决长期存在的高亏格Gromov-Witten不变量计算难题。
• 证明拓扑递归框架中图的权重与局部化所得权重一致，利用大半径极限与特殊几何性质。

提出的方法

• 将A模型与B模型不变量均表示为加权图的组合和：A模型侧通过局部化，B模型侧通过拓扑递归。
• 重新组织B模型中图的集合，使其与A模型图集合的结构相匹配。
• 证明在大半径极限下顶点与边权重一致，此时toral图成为镜像曲线的热带极限。
• 利用谱不变量的特殊几何性质，证明Kähler模数的导数在两侧一致。
• 应用拓扑递归的递推关系，按Kähler模数展开的阶次逐阶匹配高亏格振幅。
• 使用留数计算与路径形变，将谱不变量的导数与递归结构关联，证明生成函数在所有阶次上相等。

实验结果

研究问题

• RQ1 B模型侧的拓扑递归是否如BKMP猜想所预测的那样重现了toric Calabi-Yau 3-fold的开Gromov-Witten不变量？
• RQ2 A模型中通过局部化得到的基于图的组合和，能否与B模型中拓扑递归生成的图结构一一对应？
• RQ3 在大半径极限下，A模型与B模型图展开中分配给顶点与边的权重是否一致？
• RQ4 由于谱不变量的特殊几何约束，B模型振幅对Kähler模数的导数是否与A模型的导数等价？
• RQ5 两个模型之间生成函数的等式是否在所有亏格下成立，而不仅限于亏格零？

主要发现

• BKMP猜想在toric Calabi-Yau 3-fold上对所有亏格均被证明成立，扩展了以往仅限于低亏格或特定情况的验证结果。
• B模型侧通过拓扑递归生成的图集可被重新组织，精确匹配A模型侧通过局部化得到的图集。
• 由于toral图是镜像曲线的热带极限，两个框架中的顶点与边权重在大半径极限下一致。
• 通过来自拓扑递归的谱不变量的特殊几何性质，证明了对Kähler模数的导数在两侧一致。
• 该证明在Kähler模数展开的所有阶次上均成立，确认了猜想在亏格零之外的完全成立。
• 通过留数计算与路径形变，逐阶证明了生成函数的相等性，表明递归结构与局部化权重精确匹配。