[论文解读] BPS jumping loci and special cycles

Shamit Kachru, Arnav Tripathy|arXiv (Cornell University)|Mar 1, 2017

Black Holes and Theoretical Physics参考文献 20被引用 4

一句话总结

本文引入了BPS跃迁loci——在模空间中由于增强对称性或手征电流而突然出现BPS态的子loci——与壁穿刺现象相区别。通过Hodge-elliptic亏格及与Noether-Lefschetz loci和特殊Shimura子簇的联系，作者证明这些跃迁loci在大体积极限下为上同调跃迁loci，其应用涵盖K3紧化中的精炼BPS态计数以及异质/F-theory对偶性。

ABSTRACT

We study BPS jumping loci, or the subloci in moduli spaces of supersymmetric string vacua where BPS states come into existence discontinuously. This phenomenon is distinct from wall-crossing. We argue that these loci should be thought of as special cycles in the sense of Noether-Lefschetz loci or special Shimura subvarieties, which are indeed examples of BPS jumping loci for certain string compactifications. We use the Hodge-elliptic genus as an informative tool, suggesting that our work can be extended to understand the jumping behavior of motivic Donaldson-Thomas invariants.

研究动机与目标

• 表征模空间中BPS态以不连续方式出现的子loci，与壁穿刺现象相区别。
• 区分类型1（未索引计数中的一般模依赖性）与类型2（未索引计数中的上半连续跃迁）的跃迁现象。
• 确立BPS跃迁loci在大体积极限下对应于上同调跃迁loci，尤其在K3和环面紧化中成立。
• 将这些loci与K3曲面模空间中的经典Noether-Lefschetz理论及特殊Shimura子簇相联系。
• 通过Hodge-elliptic亏格提出理解动机Donaldson-Thomas不变量中跃迁行为的框架。

提出的方法

• 将Hodge-elliptic亏格用作II型紧化于$K3 \times T^2$时1/4-BPS态的生成函数，定义为对Ramond基态的迹，其中包含左、右移动费米子数算符。
• 将BPS跃迁loci识别为模空间中出现额外手征电流的点，导致BPS谱的不连续跃迁。
• 应用Noether-Lefschetz理论于$O(2,18)$-双陪集模空间的椭圆K3曲面，将跃迁loci识别为与全纯对称形式正交的代数循环loci。
• 将分析扩展至异质对偶在$T^4 \times S^1$上的$O(4,20)$-双陪集模空间，并对完整的D1-D5系统提出$O(4,21)$-结构的猜想。
• 通过K3曲面的twistor族分析，证明1/2-BPS态的Yau-Zaslow计数是模无关的，因为复结构在$S^2$上的完整旋转确保每个曲线类在某点成为代数类。
• 利用$SU(2)$作用于$J$，$\text{Re}\,\Omega$和$\text{Im}\,\Omega$，证明除非$\gamma$已是代数类且与$J$正交（这对正面积类不可能），否则类$\gamma$在twistor球面上唯一一点处保证代数性。

实验结果

研究问题

• RQ1 BPS态在模空间中不连续生成的几何与物理起源是什么，与壁穿刺现象有何区别？
• RQ2 类型1与类型2跃迁现象在模依赖性及其与未索引BPS计数关系上的差异为何？
• RQ3 在$\mathcal{N}=4$紧化中，BPS跃迁loci在多大程度上对应于经典Noether-Lefschetz loci或特殊Shimura子簇？
• RQ4 Hodge-elliptic亏格如何检测跃迁行为？能否用于研究动机Donaldson-Thomas不变量？
• RQ5 为何K3曲面上1/2-BPS态的Yau-Zaslow计数与模无关？twistor构造如何确保这一点？

主要发现

• BPS跃迁loci被识别为模空间中高余维子loci，由于增强的手征电流或对称性提升而出现新BPS态，与壁穿刺现象相区别。
• 类型2跃迁——未索引BPS计数中的上半连续跃迁——被证明同构于大体积极限下的上同调跃迁loci，其中BPS态由D-brane或层模空间的上同调描述。
• 在椭圆K3曲面的$O(2,18)$-模空间中，跃迁loci对应于Noether-Lefschetz loci，此时全纯对称形式$\Omega$与整类正交。
• K3曲面上1/2-BPS态的Yau-Zaslow计数是模无关的，因为每个曲线类在twistor $S^2$上恰好一点处成为代数类，这是由于复结构的$SU(2)$旋转。
• Hodge-elliptic亏格在存在额外手征电流的loci检测跃迁行为，其结构暗示其自然推广至动机Donaldson-Thomas不变量。
• 对于D1-D5系统，模空间被猜想为$O(4,21)$-双陪集，推广了异质对偶在$T^4 \times S^1$上的$O(4,20)$-结构。