[论文解读] Modular bootstrap for D4-D2-D0 indices on compact Calabi-Yau threefolds

Sergey Alexandrov, Nava Gaddam+2 more|arXiv (Cornell University)|Apr 5, 2022

Black Holes and Theoretical Physics被引用 1

一句话总结

该论文提出一种模块化Bootstrap方法，用于计算b2 = 1的紧致Calabi-Yau三fold上D4-D2-D0 BPS指标，基于秩-1 Donaldson-Thomas不变量提出生成函数h1(τ)极点项的猜想。在13种允许的三fold中，有10种情况下该猜想产生具有整数傅里叶系数的模形式，从而预测无限多组DT不变量。对于D4-brane荷r=2的情况，该方法通过Hurst类数构造比较级数以分离模部分，但由于缺乏完整猜想，极点项仍无法确定。

ABSTRACT

We investigate the modularity constraints on the generating series $h_r( au)$ of BPS indices counting D4-D2-D0 bound states with fixed D4-brane charge $r$ in type IIA string theory compactified on complete intersection Calabi-Yau threefolds with $b_2 = 1$. For unit D4-brane, $h_1$ transforms as a (vector-valued) modular form under the action of $SL(2,Z)$ and thus is completely determined by its polar terms. We propose an Ansatz for these terms in terms of rank 1 Donaldson-Thomas invariants, which incorporates contributions from a single D6-anti-D6 pair. Using an explicit overcomplete basis of the relevant space of weakly holomorphic modular forms (valid for any $r$), we find that for 10 of the 13 allowed threefolds, the Ansatz leads to a solution for $h_1$ with integer Fourier coefficients, thereby predicting an infinite series of DT invariants.For $r > 1$, $h_r$ is mock modular and determined by its polar part together with its shadow. Restricting to $r = 2$, we use the generating series of Hurwitz class numbers to construct a series $h^{an}_2$ with exactly the same modular anomaly as $h_2$, so that the difference $h_{2}-h^{an}_2$ is an ordinary modular form fixed by its polar terms. For lack of a satisfactory Ansatz, we leave the determination of these polar terms as an open problem.

研究动机与目标

• 使用模不变性确定b2 = 1的紧致Calabi-Yau三fold上D4-D2-D0束缚态的BPS指标。
• 解决计算秩零Donaldson-Thomas不变量的挑战，因其直接计算极为困难。
• 开发一种系统方法，利用模约束从极点项重构生成函数。
• 测试基于秩-1 DT不变量与单个D6-D6对贡献的极点项猜想的有效性。
• 将模块化Bootstrap框架扩展至更高秩D4-brane荷，特别是r=2的情形，此时生成函数为拟模形式。

提出的方法

• 基于秩-1 DT不变量提出生成函数h1(τ)极点项的猜想，假设来自单个D6-D6对的贡献。
• 使用弱解析模形式的显式超完备基，在模约束下求解h1(τ)。
• 对于r=2，通过Hurst类数生成函数构造比较级数h(an)2，以匹配h2的模异常。
• 将差值h2 − h(an)2定义为由其极点项唯一确定的标准模形式，若极点系数已知，则可完全重构。
• 利用SL(2,Z)作用下向量值模形式的模性质，从有限个系数约束整个生成函数。
• 应用广义Hecke算子与谱流，关联不同BPS指标并确保与模不变性的一致性。

实验结果

研究问题

• RQ1 能否利用模约束与物理猜想，系统地重构D4-D2-D0生成函数h1(τ)的极点项？
• RQ2 在b2 = 1的13种允许的紧致Calabi-Yau三fold中，该极点项猜想在哪些情况下产生具有整数傅里叶系数的模形式？
• RQ3 如何将模块化Bootstrap方法扩展至更高秩D4-brane荷（如r=2）的情形，此时生成函数为拟模形式？
• RQ4 秩-1 DT不变量与D6-D6对在决定h1(τ)极点结构中起何种作用？
• RQ5 为何r=2的极点项仍无法确定？需要何种额外的物理或数学输入才能填补这一空白？

主要发现

• 在13种允许的b2 = 1紧致Calabi-Yau三fold中，有10种情况下，极点项的猜想导致生成函数h1(τ)为具有整数傅里叶系数的模形式，从而预测无限多组秩零DT不变量。
• 单个D4-brane的生成函数h1(τ)作为权为w = -1/2b2(Y) - 1的向量值模形式，在SL(2,Z)作用下完全由其极点项确定。
• 对于r=2，h2(τ)的模异常通过由Hurst类数生成函数构造的级数h(an)2得以匹配，从而将模部分h2 − h(an)2分离为标准模形式。
• 差值h2 − h(an)2为由其极点项唯一固定的模形式，表明若极点系数已知，则可完全确定h2(τ)。
• 文献[56]中基于Bogomolov-Gieseker条件的DT不变量数学公式，除最极点情形外，无法重现猜想的极点项，表明其有效范围存在不匹配。
• 本文指出r=2极点项猜想存在缺口，由于缺乏令人满意的物理或数学猜想，其确定仍为开放问题。