[论文解读] Exponential BPS graphs and D-brane counting on toric Calabi-Yau threefolds: Part II

Sibasish Banerjee, Pietro Longhi+1 more|arXiv (Cornell University)|Dec 17, 2020

Black Holes and Theoretical Physics被引用 16

一句话总结

该论文将指数网络扩展至在 $S^1 \times \mathbb{R}^4$ 上的 5d $\epsilon=1$ $SU(2)$ Yang-Mills 理论中计算 BPS 指数，利用局部 Hirzebruch 表面 $\mathbb{F}_0$ 的镜像几何结构。推导出 BPS 态生成函数的代数方程，通过显式对称的鞍点基底验证了纤维-基底对称性，并展示了 5d 与 4d Seiberg-Witten 谱之间的平滑插值，与量子图和例外族描述一致。

ABSTRACT

We study BPS states of 5d $\mathcal{N}=1$ $SU(2)$ Yang-Mills theory on $S^1 imes \mathbb{R}^4$. Geometric engineering relates these to enumerative invariants for the local Hirzebruch surface $\mathbb{F}_0$. We illustrate computations of Vafa-Witten invariants via exponential networks, verifying fiber-base symmetry of the spectrum at certain points in moduli space, and matching with mirror descriptions based on quivers and exceptional collections. Albeit infinite, parts of the spectrum organize in families described by simple algebraic equations. Varying the radius of the M-theory circle interpolates smoothly with the spectrum of 4d $\mathcal{N}=2$ Seiberg-Witten theory, recovering spectral networks in the limit.

研究动机与目标

• 通过指数网络在具有紧致四维胞腔的 toric Calabi-Yau 三复形上计算 D-膜束缚态的 BPS 指数，特别是 $K_{\mathbb{F}_0}$。
• 通过提供一种可直接从指数网络而非仅从量子图表示计算 BPS 指数的方法，弥补了先前工作的空白。
• 利用指数网络的几何结构，在对称模量点 $\mathbf{Q}_0$ 处验证 BPS 谱的纤维-基底对偶对称性。
• 通过调节 M-理论圈半径 $R$，探索 5d 与 4d BPS 谱之间的插值行为，并在 $R \to 0$ 极限下恢复出谱网络。
• 从指数网络推导出 $K_{\mathbb{F}_0}$ 的 BPS 量子图和超势能，并与量子图和例外族方法的结果相匹配。

提出的方法

• 使用指数网络探测镜像几何结构 $Y$ 中的特殊拉格朗日子流形，将其映射到镜像曲线 $\Sigma \subset (\mathbb{C}^*)^2$ 上的校准子流形。
• 为指数网络赋予组合数据（如孤立子生成函数 $\Upsilon_i$、路径传输 $F(\wp)$），通过沿路径的平行传输计算 BPS 指数。
• 应用符号规则 (215) 和平坦性方程，计算壁穿跃数据，如 $\Upsilon_2 = X_{a_2}(1 - X_{a_1}\Delta_1)$，从而实现在节点处的指数计算。
• 推导出生成函数的代数方程，如 $Q(x) = 1 + x Q(x)^7$，以编码无限族的 BPS 态。
• 利用模量点 $\mathbf{Q}_0$ 的 $\mathbb{Z}_2$ 对称性，证明指数网络鞍点基底显式实现了纤维-基底对偶性。
• 调节 M-理论圈半径 $R$ 以实现 5d 与 4d 极限之间的插值，表明在 $R \to 0$ 极限下指数网络退化为谱网络。

实验结果

研究问题

• RQ1 如何将指数网络扩展以计算具有紧致四维胞腔的 Calabi-Yau 三复形中 D4-D2-D0 束缚态的 BPS 指数？
• RQ2 $K_{\mathbb{F}_0}$ 的 BPS 谱在对称模量点 $\mathbf{Q}_0$ 处是否表现出纤维-基底对称性？若是，该对称性如何通过指数网络的几何结构显现？
• RQ3 当 M-理论圈半径 $R$ 变化时，BPS 谱的行为如何？其在 5d 与 4d 理论之间如何实现插值？
• RQ4 能否从指数网络推导出 $K_{\mathbb{F}_0}$ 的 BPS 量子图和超势能？其结果是否与量子图和例外族方法一致？
• RQ5 BPS 态的无限族生成函数如何从网络结构中产生？其控制代数方程为何？

主要发现

• 在 $n(\overline{D2}_f\text{-}2D0)$ 束缚态谱中，生成函数 $Q(x) = \prod_{n \geq 1} (1 - x^n)^{n\Omega(n)}$ 编码了该谱，其满足代数方程 $Q(x) = 1 + x Q(x)^7$。
• 在 $\mathbf{Q}_0$ 点，指数网络鞍点基底显式表现出 BPS 谱的纤维-基底对称性，而这一对称性在量子图描述中并不明显。
• 当 M-理论圈半径 $R \to 0$ 时，5d BPS 谱简化并退化为 4d $SU(2)$ Seiberg-Witten 谱，且指数网络退化为谱网络。
• 在大 Kähler 模量极限下，部分 BPS 态发生解耦，而另一些则在保持有限质量的同时发生指数跃迁，与壁穿跃现象一致。
• 成功地从指数网络推导出 $K_{\mathbb{F}_0}$ 的 BPS 量子图及其超势能，结果与量子图和例外族方法一致。
• 计算 $\bar{\Xi}_{ij,m+ln} = (-1)^l (l+1) \Theta^l \Xi_{ij,m}$ 确认了 BPS 态的无限族结构及其代数编码。