[论文解读] Topological Quiver Matrix Models and Quantum Foam

Daniel L. Jafferis|arXiv (Cornell University)|May 16, 2007

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

一句话总结

本文提出，拓扑 quiver 矩阵模型描述了 IIA 弦理论中 D6/D2 束缚态的 BPS 界态，表明 0-膜探测器感受到卡拉比-丘几何的凯勒爆破——实现了 A 模型的量子泡沫。矩阵模型的划分函数通过 D0-膜构型模空间上的等变局部化，局域化为反鬼丛的欧拉示性数，精确重现了已知的拓扑顶点振幅。

ABSTRACT

We study the matrix models that describe the BPS bound states of branes arising from the quiver picture of the derived category. These theories have a topological partition function that localizes to the Euler character of the anti-ghost bundle over the classical BPS moduli space. We examine the effective internal geometry of D6/D2 bound states in the local vertex geometry, using BPS 0-brane probes. The Kahler blowups of the Calabi-Yau that we find utilizing these quiver theories are a realization of A-model quantum foam in the full IIA theory.

研究动机与目标

• 理解 IIA 理论中 D6/D2 束缚态内 BPS 0-膜探测器所经历的有效内部几何。
• 建立拓扑 quiver 矩阵模型与拓扑 A 模型的量子泡沫图像之间的联系。
• 证明顶点几何中 D0-膜的模空间对应于沿 D2-膜曲线的凯勒爆破。
• 表明 quiver 模型的拓扑划分函数通过不动点局部化重现了已知的拓扑顶点振幅。

提出的方法

• 构建拓扑 quiver 矩阵模型，作为 IIA 紧化于卡拉比-丘三fold 上的 D6/D4/D2/D0 束缚态的低能有效理论。
• 通过 D-膜世界体积理论的拓扑扭转，得到具有 BRST 平凡作用量的 0 维矩阵模型。
• 在 T^3 环面作用上应用等变局部化，将划分函数计算为 BPS 模空间中不动点的和。
• 通过探测器分析，将 N 个 D0-膜的模空间几何与沿 D2-膜曲线的卡拉比-丘爆破联系起来。
• 使用反鬼丛形式化，证明划分函数局域化为障碍丛的欧拉示性数。
• 通过计数 T^3 作用下的不动点，验证其与已知拓扑顶点振幅的一致性。

实验结果

研究问题

• RQ1 在 D6/D2 束缚态中，BPS 0-膜探测器所经历的有效卡拉比-丘几何如何涌现？
• RQ2 拓扑 quiver 矩阵模型能否通过局部化重现拓扑顶点振幅？
• RQ3 D-项和 FI 参数在顶点几何中 D0-膜模空间的形成中起什么作用？
• RQ4 例外除子的凯勒大小与量子泡沫图像中的弦耦合常数有何关系？
• RQ5 该矩阵模型的大 N 极限能否揭示 OSV 范畴中 BPS 黑洞的熵信息？

主要发现

• 在 D6/D2 背景中，单个 0-膜的模空间微分同构于沿 D2-膜所包裹曲线的卡拉比-丘凯勒爆破。
• 拓扑 quiver 矩阵模型的划分函数局域化为经典 BPS 模空间上反鬼丛的欧拉示性数。
• 通过计数 T^3 作用的不动点，该模型精确重现了已知的拓扑顶点振幅，证实了与 A 模型量子泡沫的一致性。
• 0-膜探测器所见的有效几何与文献 [23] 预测的非卡拉比-丘爆破一致，实现了 IIA 理论中的完整量子泡沫。
• 具有 N > 1 个 D0-膜的探测器揭示了与例外除子相关的线丛，表明在有限 N 下存在非平凡几何。
• 发现例外除子的凯勒大小为 g_s 阶，与量子泡沫图像的预期一致。