[论文解读] Crystals and intersecting branes

Daniel L. Jafferis|ArXiv.org|Jul 5, 2006

Black Holes and Theoretical Physics参考文献 16被引用 14

一句话总结

本论文通过受限三维分拆的组合学方法，利用等变局部化将IIA型弦理论在toric Calabi-Yau流形上的D4、D2和D0膜的BPS束缚态的几何实现建立起来，将模空间的欧拉示性数简化为不变构型的计数。关键结果是一个晶体模型，该模型直接实现了OSV猜想，即顶点模型的拓扑弦生成函数的平方，其中晶体结构通过在形变D4膜表面的奇点处的D0束缚态编码了完整的BPS指数。

ABSTRACT

We show that the index of BPS bound states of D4, D2 and D0 branes in IIA theory compactified on a toric Calabi Yau are encoded in the combinatoric counting of restricted three dimensional partitions. Using the torus symmetry, we demonstrate that the Euler character of the moduli space of bound states localizes to the number of invariant configurations that can be obtained by gluing D0 bound states in the C^3 vertex along the D2 brane wrapped P^1 legs of the toric diagram. We obtain a geometric realization of these configurations as a crystal associated to the extra bound states of D0 branes at the singular points of a single D4 brane wrapping a high degree equivariant surface that carries the total D4 charge. We reproduce some known examples of the partition function computed in the opposite regime where D0 and D2 charge are dissolved into D4 flux, as well as significantly generalize these results. The crystal representation of the BPS bound states provides a direct realization of the OSV relation to the square of the topological string partition function, which in toric Calabi Yau is also described by a theory of three dimensional partitions.

研究动机与目标

• 理解IIA型弦理论在toric Calabi-Yau流形上紧化时，D4、D2和D0膜的BPS束缚态的指数。
• 为这些束缚态的模空间欧拉示性数提供几何与组合学描述。
• 通过由受限三维分拆构建的晶体模型，直接实现OSV猜想。
• 通过晶体构型将D0和D2束缚态纳入考虑，推广已知的大D4膜荷极限下生成函数的结果。

提出的方法

• 利用环面对称性和等变局部化，将D膜束缚态模空间的欧拉示性数简化为在toric图中的固定点和P^1腿上的不变构型计数。
• 通过沿D2膜包裹的P^1腿将C^3顶点处的D0束缚态胶合，构建束缚态，构型以受限三维分拆编码。
• 通过将单个D4膜形变为包裹高阶等变曲面，定义几何晶体，其中D0束缚态局域化在对应于晶体顶点的奇点处。
• 通过源自toric几何和膜荷的截断规则，计算三维分拆的组合学生成函数。
• 该方法在D0和D2荷溶解为D4通量的对偶区域中重现了已知结果，并将其推广至具有非平凡D0束缚态的新几何结构。
• 晶体模型被证明实现了OSV关系为|ψ_top|^2，其中拓扑弦生成函数也由toric Calabi-Yau几何中的三维分拆描述。

实验结果

研究问题

• RQ1 如何利用几何与组合学方法计算IIA型弦理论在toric Calabi-Yau流形上D4-D2-D0束缚态的BPS指数？
• RQ2 能否通过形变D4膜表面奇点处的D0束缚态晶体模型，几何实现OSV猜想？
• RQ3 等变局部化在将模空间欧拉示性数简化为不变构型的离散求和中起到什么作用？
• RQ4 受限三维分拆的组合学如何在大D4膜荷极限下编码完整的BPS指数？
• RQ5 在toric Calabi-Yau几何中，晶体模型与拓扑弦生成函数之间的确切关系是什么？

主要发现

• D4-D2-D0束缚态的BPS指数编码于在C^3顶点处沿D2膜包裹的P^1腿胶合D0束缚态所生成的受限三维分拆的组合学中。
• 等变局部化将模空间欧拉示性数简化为不变构型的计数，这些构型与受限三维分拆一一对应。
• 通过将单个D4膜形变为包裹高阶等变曲面，构建了几何晶体模型，其中D0束缚态局域化在对应于晶体顶点的奇点处。
• 晶体模型直接实现了OSV猜想，其中BPS生成函数等于拓扑弦生成函数的平方，即|ψ_top(g_top, t_a)|^2。
• 该方法在D0和D2荷溶解为D4通量的对偶区域中重现了已知结果，并将其推广至包含非平凡D0束缚态的新几何结构。
• 晶体构造揭示了D4膜规范理论与拓扑弦之间的深刻联系，其中斜Schur函数和表示论在生成函数计算中起核心作用。