[论文解读] Quantum Black Holes, Wall Crossing, and Mock Modular Forms

Atish Dabholkar, Sameer Murthy+1 more|arXiv (Cornell University)|Aug 20, 2012

Black Holes and Theoretical Physics参考文献 117被引用 225

一句话总结

该论文建立了计数 N=4 弦理论中四分之一 BPS 态的亚纯雅可比形式的规范分解，其由一个模拟雅可比形式（编码单中心黑洞简并度）和一个阿佩尔-勒奇和（捕捉通过墙穿跃发生的多中心黑洞衰变）组成。关键结果是，尽管由于非紧致性导致解析异常，该模拟形式的补全仍恢复了 AdS₃/CFT₂ 的模对称性，从而将已知的模拟模形式（包括拉马努金的模拟θ函数和马蒂厄月光生成函数）统一于一个单一族中。

ABSTRACT

We show that the meromorphic Jacobi form that counts the quarter-BPS states in N=4 string theories can be canonically decomposed as a sum of a mock Jacobi form and an Appell-Lerch sum. The quantum degeneracies of single-centered black holes are Fourier coefficients of this mock Jacobi form, while the Appell-Lerch sum captures the degeneracies of multi-centered black holes which decay upon wall-crossing. The completion of the mock Jacobi form restores the modular symmetries expected from $AdS_3/CFT_2$ holography but has a holomorphic anomaly reflecting the non-compactness of the microscopic CFT. For every positive integral value m of the magnetic charge invariant of the black hole, our analysis leads to a special mock Jacobi form of weight two and index m, which we characterize uniquely up to a Jacobi cusp form. This family of special forms and another closely related family of weight-one forms contain almost all the known mock modular forms including the mock theta functions of Ramanujan, the generating function of Hurwitz-Kronecker class numbers, the mock modular forms appearing in the Mathieu and Umbral moonshine, as well as an infinite number of new examples.

研究动机与目标

• 解决由于墙穿跃现象导致的 N=4 弦理论中量子黑洞简并度计数中模性似乎丧失的问题。
• 建立亚纯雅可比形式到模拟模形式与极点部分的规范分解，将物理黑洞态与数学上的模拟模形式联系起来。
• 刻画一个参数为 m 的特殊模拟雅可比形式族（权为 2，指标为 m），在尖点形式意义下唯一，并证明其统一了已知的模拟模形式。
• 证明模拟形式的补全恢复了来自 AdS₃/CFT₂ 全息对偶的模对称性，尽管由于对偶 CFT 的非紧致性而存在解析异常。
• 提供一个统一框架，将拉马努金的模拟θ函数、类数生成函数与月光现象统一于单一模拟模形式族之下。

提出的方法

• 利用祖格尔斯对在挠点处有极点的亚纯雅可比形式的研究成果，将亚纯雅可比形式 ψₘ(τ,z)（即 Igusa 陈类形式 Φ₁₀ 的倒数的傅里叶系数）分解为有限部分 φ^F 与极点部分 φ^P。
• 将有限部分 φ^F 识别为具有权为 2、指标为 m 的纯模拟模形式系数的古典θ级数的线性组合。
• 使用阿佩尔-勒奇和表达极点部分 φ^P，其捕捉了在墙穿跃过程中衰变的多中心黑洞的简并度。
• 通过添加其影子的非全纯积分来完成模拟雅可比形式，从而在谐波马阿斯形式的意义下恢复模对称性。
• 将所得的特殊模拟雅可比形式族（权为 2，指标为 m）刻画为在雅可比尖点形式意义下唯一，并将其与已知数学对象（如拉马努金的模拟θ函数和类数生成函数）联系起来。
• 利用该分解证明：模拟形式的傅里叶系数给出单中心黑洞的量子简并度，而阿佩尔-勒奇和则解释多中心构型的简并度。

实验结果

研究问题

• RQ1 在墙穿跃存在的情况下，如何调和 N=4 弦理论中黑洞简并度计数中模性似乎丧失的现象与 AdS₃/CFT₂ 全息对偶之间的矛盾？
• RQ2 计数四分之一 BPS 态的亚纯雅可比形式 ψₘ(τ,z) 的规范数学分解是什么？它如何将单中心与多中心黑洞贡献分离开来？
• RQ3 模拟雅可比形式的傅里叶系数如何与单中心黑洞的量子简并度相关？阿佩尔-勒奇和分量的物理意义是什么？
• RQ4 在完成后的模拟形式中，解析异常的作用是什么？它如何反映对偶 CFT 的非紧致性？
• RQ5 权为 2、指标为 m 的特殊模拟雅可比形式族如何统一已知的模拟模形式（如拉马努金的模拟θ函数与月光生成函数）？

主要发现

• 亚纯雅可比形式 ψₘ(τ,z) 可规范地分解为一个模拟雅可比形式（φ^F）与一个阿佩尔-勒奇和（φ^P），前者编码单中心黑洞的简并度，后者捕捉通过墙穿跃发生的多中心黑洞衰变。
• 模拟雅可比形式 φ^F 的傅里叶系数给出了单中心黑洞的量子简并度，而阿佩尔-勒奇和 φ^P 则解释了在墙穿跃过程中衰变的多中心黑洞的简并度。
• 模拟雅可比形式的补全恢复了来自 AdS₃/CFT₂ 全息对偶的模对称性，但因对偶 CFT 的非紧致性而引入了解析异常。
• 对每个正整数 m，构造了一个唯一的特殊模拟雅可比形式族（权为 2，指标为 m），其在尖点形式意义下唯一，且该族统一了拉马努金的模拟θ函数、类数生成函数与月光现象。
• 权为 2 的形式族与一个相关的权为 1 的形式族包含了所有已知的模拟模形式（包括马蒂厄与配额月光中的形式），并生成无穷多个新示例。
• 推导出仅具有单极或双极的亚纯雅可比形式的极点部分 φ^P 的显式公式，将祖格尔斯的结果推广至挠点处有极点的情形。