[论文解读] Wall-crossing holomorphic anomaly and mock modularity of multiple M5-branes

Murad Alim, Babak Haghighat+4 more|arXiv (Cornell University)|Dec 7, 2010

Black Holes and Theoretical Physics参考文献 74被引用 5

一句话总结

本文推导出两个M5-brane在卡拉比-丘三fold中包裹刚性除子时，其修正椭圆亏格的全纯异常方程，表明该异常源于通过模形式化处理编码D4-D2-D0 BPS不变量壁穿现象的不定θ函数。非全纯补全部分与束缚态贡献相关，该框架通过模形式统一了τ-对偶、τ-对偶及E-弦理论中的异常结构。

ABSTRACT

Using wall-crossing formulae and the theory of mock modular forms we derive a holomorphic anomaly equation for the modified elliptic genus of two M5-branes wrapping a rigid divisor inside a Calabi-Yau manifold. The anomaly originates from restoring modularity of an indefinite theta-function capturing the wall-crossing of BPS invariants associated to D4-D2-D0 brane systems. We show the compatibility of this equation with anomaly equations previously observed in the context of N=4 topological Yang-Mills theory on P^2 and E-strings obtained from wrapping M5-branes on a del Pezzo surface. The non-holomorphic part is related to the contribution originating from bound-states of singly wrapped M5-branes on the divisor. We show in examples that the information provided by the anomaly is enough to compute the BPS degeneracies for certain charges. We further speculate on a natural extension of the anomaly to higher D4-brane charge.

研究动机与目标

• 理解M-theory紧化中多个M5-brane的修正椭圆亏格的背景依赖性。
• 解决由于D4-D2-D0 brane系统中壁穿现象导致的BPS简并生成函数模性失效问题。
• 建立一个全纯异常方程，通过引入模形式的非全纯补全，恢复对偶性不变性。
• 证明所推导的异常与先前在τ-对偶和E-弦理论中观察到的异常相容。
• 探索该异常结构向更高D4-brane电荷配置的推广。

提出的方法

• 利用壁穿公式描述模空间中不同区域之间BPS简并性的不连续性。
• 应用模形式理论对D-brane束缚态产生的不定θ函数进行正则化。
• 推导出控制修正椭圆亏格对模参数的非全纯依赖性的全纯异常方程。
• 将非全纯部分与除子上单重包裹M5-brane束缚态的贡献联系起来。
• 利用θ函数与模形式在SL(2,ℤ)作用下的变换性质，推导模形式完备化规则。
• 通过与已知的τ-对偶τ-对偶和E-弦系统中的异常结构匹配，验证异常方程。

实验结果

研究问题

• RQ1 两个M5-brane的修正椭圆亏格中的全纯异常如何从D4-D2-D0系统中的壁穿现象中产生？
• RQ2 模形式在恢复S-duality不变性方面扮演何种角色？
• RQ3 异常的非全纯部分与M5-brane束缚态贡献之间有何关系？
• RQ4 所推导的异常方程能否与τ-对偶和E-弦理论中已知的异常结构一致匹配？
• RQ5 该异常结构向更高D4-brane电荷配置的自然推广是什么？

主要发现

• 通过将编码D4-D2-D0 BPS不变量壁穿现象的不定θ函数模形式化，推导出两个M5-brane的全纯异常方程。
• 异常的非全纯部分被识别为源自除子上单重包裹M5-brane束缚态的贡献。
• 证明了该异常方程与先前在τ-对偶τ-对偶和E-弦系统中观察到的异常相容。
• 该框架成功重现了K3和τ-对偶τ-对偶曲面的椭圆亏格已知结果，包括高包裹数下的模形式项。
• 推导出模形式在SL(2,ℤ)作用下的变换性质，并证明其与预期的对偶变换一致。
• 本文提供了一套系统方法，可结合边界条件计算特定电荷下的BPS简并度。