[论文解读] BPS invariants of N=4 gauge theory on a surface

Jan Manschot|arXiv (Cornell University)|Feb 28, 2011

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

一句话总结

本文计算了在 Hirzebruch 曲面 $Σ_\ell$ 上 $υ=4$ $U(r)$ 规范理论的 BPS 不变量的生成函数，其中 $r \leq 3$，通过高阶级的 Appell 函数表达秩-2 不变量，并通过非全纯项完成以实现模性质。一个关键的新结果是，在秩-2 情况下，于全纯异常方程中识别出一项新项 $R_2$，当特定极化如 $J = -K_\ell$ 时该新项消失，从而为超对称规范理论中 BPS 态的模结构提供了更深层次的理解。

ABSTRACT

Generating functions of BPS invariants for N=4 U(r) gauge theory on a Hirzebruch surface with r=2 and 3 are computed. The BPS invariants provide the Betti numbers of moduli spaces of semi-stable sheaves. The generating functions for r=2 are expressed in terms of higher level Appell functions for a certain polarization of the surface. The level corresponds to the self-intersection of the base curve of the Hirzebruch surface. The non-holomorphic functions are determined, which added to the holomorphic generating functions provide functions which transform as a modular form.

研究动机与目标

• 计算在 Hirzebruch 曲面 $Σ_\ell$ 上 $υ=4$ $U(r)$ 规范理论的 BPS 不变量生成函数，其中 $r \leq 3$，将先前仅限于 $r=2$ 和 $Σ_1$ 的结果拓展至更高秩。
• 理解高阶层层 sheaf 的 BPS 不变量的模性质，特别是全纯生成函数为何不作为模形式变换，以及为何需要非全纯完成。
• 通过在热算子作用中识别出全纯异常中一项新项 $R_2(\rho,\tau;\Sigma_\ell,J)$，澄清 $r=2$ 情况下的结构，超越已知的 $\mathcal{Z}_1^2$ 贡献。
• 为 $\Sigma_1$ 上 $r=3$，$c_1 = -C - \alpha f$，且 $2 \leq c_2 \leq 6$ 的稳定层模空间提供显式的贝蒂数表，验证其与维数和爆破公式的一致性。

提出的方法

• 通过不定 theta 函数和 $\ell$ 级的 Appell 函数构造生成函数 $\mathcal{Z}_r(z,\rho,\tau;\Sigma_\ell,J)$，这些函数编码了半稳定层模空间的贝蒂数。
• 对于 $r=2$，通过添加非全纯函数来完成全纯生成函数，形成 $\widehat{\mathcal{Z}}_2$，使其在 $SL(2,\mathbb{Z})$ 作用下作为模形式变换。
• 完成过程基于 Appell 函数 $A_\ell(u,v,\tau)$ 及其完成形式 $\widehat{A}_\ell(u,v,\tau)$，涉及函数 $R(u,\tau)$ 和 theta 函数。
• 通过热算子 $D_2$ 分析全纯异常，其作用于 $\widehat{\mathcal{Z}}_2$ 得到 $D_2\widehat{\mathcal{Z}}_2 = C_2(\mathrm{Im}\,\tau,J)\mathcal{Z}_1^2 + R_2(\rho,\tau;\Sigma_\ell,J)$，其中 $R_2$ 为新贡献项。
• 对于 $r=3$，构造了全纯生成函数 $\mathcal{Z}_3$ 并分析其模性质，但完整模行为的分析留待未来工作。
• 利用墙穿跃和爆破公式，显式计算并列出了 $\Sigma_1$ 上 $r=3$，$c_1 = -C - \alpha f$，$\alpha = 0,1,2$，且 $2 \leq c_2 \leq 6$ 的贝蒂数和欧拉示性数。

实验结果

研究问题

• RQ1 在 Hirzebruch 曲面 $\Sigma_\ell$ 上，$\mathcal{N}=4$ $U(r)$ 规范理论的 BPS 不变量在 $r=3$ 时的行为如何，从而扩展至已知的 $r=2$ 和 $r=1$ 情况？
• RQ2 在 $\Sigma_\ell$ 上 $r=2$ 情况下的全纯异常结构为何？其是否包含超越已知 $\mathcal{Z}_1^2$ 贡献的新项？
• RQ3 生成函数的非全纯完成是否确保在极化 $J$ 上的连续性，正如物理路径积分所预期的那样？
• RQ4 在 $\Sigma_1$ 上，$r=3$ 且 $c_1$、$c_2$ 变化的稳定层模空间的贝蒂数如何与爆破公式和对称性性质相关联？
• RQ5 在 $r=2$ 情况下，为何新异常项 $R_2$ 在 $J = -K_\ell$ 时消失？

主要发现

• 在 $\Sigma_\ell$ 上 $r=2$ 的生成函数以 $\ell$ 级高阶 Appell 函数表达，这些函数对应于底曲线的自交数。
• 非全纯完成 $\widehat{\mathcal{Z}}_2$ 作为模形式变换，完成项确保了尽管全纯函数本身不具备模性，但整体保持模不变性。
• 在全纯异常方程 $D_2\widehat{\mathcal{Z}}_2 = C_2(\mathrm{Im}\,\tau,J)\mathcal{Z}_1^2 + R_2$ 中，出现了一项此前文献中未知的新项 $R_2(\rho,\tau;\Sigma_\ell,J)$。
• 当 $J = -K_\ell$（即反 canonical 类）时，该项 $R_2$ 消失，尽管对于 $\ell > 2$，此选择不在 ample cone 内，因而其物理相关性有限。
• 对于 $r=3$，构造了全纯生成函数 $\mathcal{Z}_3$，其模性质比 $r=2$ 更为复杂，完整分析留待未来工作。
• 表 1–3 提供了在 $\Sigma_1$ 上 $r=3$，$c_1 = -C - \alpha f$，且 $2 \leq c_2 \leq 6$ 的稳定层模空间的显式贝蒂数和欧拉示性数，例如当 $c_1 = -C$，$c_2 = 5$ 时 $\chi = 20891$，与预期维数和对称性一致。