[论文解读] Counting BPS States via Holomorphic Anomaly Equations

Shinobu Hosono|ArXiv.org|Jun 21, 2002

Algebraic structures and combinatorial models参考文献 23被引用 4

一句话总结

本文利用全纯异常方程计算了有理椭圆曲面上的格罗莫夫-威滕不变量和BPS态计数，借助E₈ Weyl对称性和镜像对称性，推导出至亏格10、纤维次数4的BPS数的显式公式，验证了Gopakumar-Vafa不变量的整数性，并通过模形式和超几何级数将该结果与BCOV全纯异常方程联系起来。

ABSTRACT

We study Gromov-Witten invariants of a rational elliptic surface using holomorphic anomaly equation in [HST1](hep-th/9901151). Formulating invariance under the affine $E_8$ Weyl group symmetry, we determine conjectured invariants, the number of BPS states, from Gromov-Witten invariants. We also connect our holomorphic anomaly equation to that found by Bershadsky,Cecotti,Ooguri and Vafa [BCOV1](hep-th/9302103).

研究动机与目标

• 通过全纯异常方程确定有理椭圆曲面上BPS态计数（Gopakumar-Vafa不变量）
• 对 $ g \leq 10 $ 且 $ \beta.F \leq 4 $ 的情形，建立Gopakumar-Vafa不变量 $ n_g(\beta) $ 的整数性
• 将有理椭圆曲面上的全纯异常方程与卡拉比-丘三fold的BCOV方程联系起来
• 利用E₈ Weyl群对称性约束并计算低亏格和纤维次数下的格罗莫夫-威滕不变量

提出的方法

• 将生成函数 $ Z_{g;n}(q) $ 表述为 $ E_2, E_4, E_6 $ 的拟模形式，权重为 $ q^{n/2}/\eta(q)^{12n} $
• 应用全纯异常方程：$ \partial Z_{g;n}/\partial E_2 = \frac{1}{24} \sum_{g'+g''=g} \sum_{s=1}^{n-1} s(n-s) Z_{g';s} Z_{g''';n-s} + \frac{n(n+1)}{24} Z_{g-1;n} $
• 利用间隙条件（对小的 $ d $，$ N_g(d,n) $ 为零）确定初始数据，并递归求解 $ Z_{g;n}(q) $
• 通过镜像对称性和超几何级数计算 $ \mathtt{F}_0, \mathtt{F}_1, \mathtt{F}_2 $，以及全纯歧义项 $ f_2(x,y) $
• 利用已知的BPS数（如 $ n_2(4H_1 + 2H_2) = 116 $）固定全息歧义项 $ f_2(x,y) $
• 应用Gopakumar-Vafa公式，将格罗莫夫-威滕不变量 $ N_g(\beta) $ 转换为整数BPS不变量 $ n_h(\beta/k) $

实验结果

研究问题

• RQ1 如何利用全纯异常方程计算有理椭圆曲面上的BPS态计数？
• RQ2 E₈ Weyl对称性在约束低亏格和纤维次数下的格罗莫夫-威滕不变量中起到何种作用？
• RQ3 有理椭圆曲面上的全纯异常方程与卡拉比-丘三fold的BCOV方程有何关联？
• RQ4 在 $ g \leq 10 $ 且 $ \beta.F \leq 4 $ 的范围内，Gopakumar-Vafa整数性猜想能在多大程度上被验证？
• RQ5 在亏格2自由能中，全息歧义项的结构是什么？它是如何被固定的？

主要发现

• 命题2.4确认了在 $ g \leq 10 $ 且 $ \beta.F \leq 4 $ 的范围内，BPS不变量 $ n_g(\beta) $ 为整数，验证了Gopakumar-Vafa整数性猜想在此范围内的成立。
• 表2至表5列出了 $ g \leq 10 $、$ n = 1,2,3,4 $ 的显式BPS数 $ n_g(d,n) $，其中 $ n_0(2,2) = 9 $，$ n_1(3,3) = 1016 $，$ n_2(4,4) = 95313 $。
• 利用已知的BPS数据（包括 $ n_2(4H_1 + 2H_2) = 116 $）固定了亏格2的全息歧义项 $ f_2(x,y) $，其形式为 $ x,y $ 的有理函数。
• 证明了生成函数 $ Z_{g;n}(q) $ 是权重为 $ 2g + 6n - 2 $ 的拟模形式，显式依赖于 $ E_2, E_4, E_6 $。
• 在 $ q=1 $ 的极限下，恢复了BCOV全纯异常方程，且参数化方式从单参数约化中恢复出两个模参数 $ H_1 + H_2 $ 和 $ H_2 $。
• 表6至表8列出了 $ a,b \leq 7 $ 的BPS数 $ n_g(a,b) $，其中 $ n_0(7,7) = 3986927140 $，$ n_1(7,7) = 73400088512 $，$ n_2(7,7) = 754509553664 $。