[论文解读] Quantum geometry of elliptic Calabi-Yau manifolds

Albrecht Klemm, Jan Manschot+1 more|arXiv (Cornell University)|May 8, 2012

Black Holes and Theoretical Physics参考文献 57被引用 13

一句话总结

本文提出了一类关于椭圆纤维化的卡拉比-丘三复形上拓扑弦自由能的全纯异常方程，基于基类与亏格的迭代展开。通过椭圆纤维上的T对偶性，建立了拓扑弦振幅与D4-膜BPS不变量之间的对偶性，利用镜像对称与代数几何方法，验证了在有理椭圆曲面上最多三个D4-膜的预测。

ABSTRACT

We study the quantum geometry of the class of Calabi-Yau threefolds, which are elliptic fibrations over a two-dimensional toric base. A holomorphic anomaly equation for the topological string free energy is proposed, which is iterative in the genus expansion as well as in the curve classes in the base. T-duality on the fibre implies that the topological string free energy also captures the BPS-invariants of D4-branes wrapping the elliptic fibre and a class in the base. We verify this proposal by explicit computation of the BPS invariants of 3 D4-branes on the rational elliptic surface.

研究动机与目标

• 通过研究塔里克基底上的椭圆纤维化，将量子几何从局部推广到全局卡拉比-丘流形。
• 推导一个在亏格与基类上均迭代的全纯异常方程，推广已知结果。
• 通过椭圆纤维上的T对偶性，建立拓扑弦振幅与D4-膜BPS不变量之间的对应关系。
• 通过镜像对称与代数几何方法计算有理椭圆曲面上D4-膜的BPS不变量，验证所提出的异常方程。
• 通过模形式与周期，将椭圆纤维化的量子几何与F理论紧化及黑洞熵联系起来。

提出的方法

• 基于拟模形式的非全纯模形式完备化，提出适用于塔里克基底上椭圆纤维化的全纯异常方程（公式3.9）。
• 利用镜像对称从镜像几何的周期计算BPS不变量，特别针对基为F1的有理椭圆曲面（1/2 K3）。
• 在椭圆纤维上应用T对偶性，关联D2-膜与D4-膜的BPS态，将Gromov-Witten理论与D4-膜不变量联系起来。
• 利用Picard-Fuchs算子与超几何解计算周期，这些周期编码了拓扑弦振幅与BPS简并度。
• 利用j-不变量、θ函数与Dedekind η函数等模函数，表达振幅的模结构。
• 对r ≤ 3个D4-膜进行显式的代数几何计算，比较结果与现有文献，验证一致性。

实验结果

研究问题

• RQ1 如何将全纯异常方程推广到塔里克曲面上的椭圆纤维化全局卡拉比-丘三复形？
• RQ2 椭圆纤维上的T对偶性在多大程度上关联了椭圆纤维化中拓扑弦振幅与D4-膜BPS不变量？
• RQ3 有理椭圆曲面的镜像几何周期能否预测小电荷（r ≤ 3）D4-膜的BPS不变量？
• RQ4 椭圆纤维化中拓扑弦自由能的模结构是什么？其依赖于亏格与基类的何种方式？
• RQ5 椭圆卡拉比-丘三复形的量子几何与BPS不变量如何与F理论紧化及黑洞熵相关联？

主要发现

• 成功推导并验证了在F1上椭圆纤维化的全纯异常方程（公式3.9），其在亏格与基类上具有迭代依赖性。
• 对于有理椭圆曲面（1/2 K3），通过镜像周期计算了r ≤ 3个D4-膜的BPS不变量，结果与现有代数几何方法一致。
• 由于椭圆纤维上的T对偶性，拓扑弦自由能捕捉了D4-膜BPS不变量，建立了D2-与D4-膜态之间的对偶性。
• BPS不变量的生成函数被证明为SL(2,Z)的同余子群的模形式（或拟模形式），其权依赖于亏格与基类。
• 镜像几何的周期给出了与已知小电荷态结果一致的BPS不变量预测，证实了Minahan等人[60]的猜想。
• 对F1上E7、E6与D5型纤维，导出了周期及其模性质的显式表达式，解以超几何函数与θ级数形式给出。