[论文解读] The Partition Function Of Argyres-Douglas Theory On A Four-Manifold

Gregory W. Moore, Iurii Nidaiev|arXiv (Cornell University)|Nov 25, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 34被引用 11

一句话总结

本文利用 $u$-平面积分方法，推导出在 $b_2^+ > 0$ 的紧致、定向、单连通四维流形上，拓扑扭曲的 AD3（Argyres-Douglas）理论的分划函数的显式公式。结果表明，该分划函数可表示为经典上同调不变量与 Seiberg-Witten 不变量的组合，揭示了在 Seiberg-Witten 简单型流形上，$0$-可观测量作为零向量起作用，暗示可能存在非简单型的标准四维流形。

ABSTRACT

Using the $u$-plane integral as a tool, we derive a formula for the partition function of the simplest nontrivial (topologically twisted) Argyres-Douglas theory on compact, oriented, simply connected, four-manifolds without boundary and with $b_2^+>0$. The result can be expressed in terms of classical cohomological invariants and Seiberg-Witten invariants. Our results hint at the existence of standard four-manifolds that are not of Seiberg-Witten simple type.

研究动机与目标

• 计算在紧致、定向、单连通四维流形上，$b_2^+ > 0$ 的拓扑扭曲 AD3 理论的分划函数。
• 确定该分划函数是否产生超越经典与 Seiberg-Witten 不变量的新四维流形不变量。
• 研究在 Seiberg-Witten 简单型情况下，$0$-可观测量作为零向量的物理与数学含义。
• 探讨在 $b_2^+ = 1$ 的流形上，分划函数的度量依赖性，挑战拓扑不变性的标准预期。
• 基于分划函数的结构特征，提供存在非 Seiberg-Witten 简单型标准四维流形的证据。

提出的方法

• 以 $u$-平面积分形式作为核心工具，计算四维流形上 AD3 理论的分划函数。
• 应用缩放极限 $u = u_* + \frac{2}{3}\nu + \nu^{3/2}v$，以处理在 $SU(2)$, $N_f=1$ 理论中特殊真空 $u_*$ 附近的奇异性。
• 依赖于在 $m = m_*$ 时，$SU(2)$, $N_f=1$ 理论与 AD3 理论之间的对应关系，通过极限过程提取分划函数。
• 利用模形式与 Eisenstein 级数描述在奇点 $u_\pm$ 附近 $u$ 和 $du/da$ 的行为，展开式以 $q_\pm$ 表示。
• 通过涉及 $H(q_\pm)$ 和 $F_\pm$ 的亚纯形式的围道积分，将分划函数表示为来自两个奇点（$+$ 和 $-$）的贡献之和。
• 通过求解归一化常数 $\mathcal{N}^1_\pm$, $\mathcal{N}^{AD}_\pm$ 与缩放参数 $n_0$, $n_2$ 之间的相容性条件，将 $u$-平面贡献与 AD3 理论匹配，从而确认所提出的公式。

实验结果

研究问题

• RQ1 在四维流形上，拓扑扭曲 AD3 理论的分划函数是否产生超越 Seiberg-Witten 与经典不变量的新四维流形不变量？
• RQ2 为何在 Seiberg-Witten 简单型情况下，$0$-可观测量成为零向量？这对其理论结构有何含义？
• RQ3 是否存在非 Seiberg-Witten 简单型的标准四维流形？若存在，其存在的证据是什么？
• RQ4 为何在 $b_2^+ = 1$ 的流形上，分划函数不再保持微分同胚不变性？这对拓扑场论意味着什么？
• RQ5 $u$-平面积分方法能否系统性地推广至其他具有一维序参数空间的非实现 $N=2$ 理论？

主要发现

• 在 $b_2^+ > 0$ 的四维流形上，拓扑扭曲 AD3 理论的分划函数可表示为 $u$-平面上两个奇点贡献之和，使用模形式与围道积分。
• 该公式仅依赖于经典上同调不变量与 Seiberg-Witten 不变量，表明该理论未生成新的不变量。
• 在 Seiberg-Witten 简单型流形上，分划函数简化为公式 (55)，其中 $0$-可观测量作为零向量起作用，导致相关函数为零。
• 当 $b_2^+ = 1$ 时，分划函数不再是微分同胚不变量，因其随度量连续变化，挑战了标准拓扑场论范式。
• 通过求解归一化常数与缩放参数之间的四个匹配条件，确认了 $u$-平面与 AD3 理论结果的一致性，所有条件在推导出的关系式 (152) 下均满足。
• 在 $u$-平面贡献的指数中存在非平凡的 $\mu^{3/2}$-依赖相位，暗示模形式与序参数空间几何之间存在微妙的相互作用。