Monopole-deformed Kim-Park dualities from elementary dualities

技术摘要：从基本对偶性推导单极子形变的 Kim–Park 对偶性

问题陈述
本文旨在解决 3d $\mathcal{N}=2$ 伴随（adjoint）幺正规范群 SQCD 中，单极子形变的 Kim–Park (KP) 对偶性的配分函数恒等式的推导问题。虽然 Kim–Park 对偶性（4d $\mathcal{N}=1$ Kutasov–Schwimmer 对偶性的 3d 对应物）及其单极子形变变体 ($KP^\pm_\beta$) 此前已被提出，但本研究旨在从“由对偶性推导对偶性”的严格视角来确立其有效性。具体而言，作者旨在证明复杂的 $KP^\pm_\beta$ 对偶性可以完全仅通过两个基本构建模块——Aharony 对偶性和 Benini–Benvenuti–Pasquetti (BBP) 对偶性来推导，而不依赖于外部假设或更高层级的对偶性。

方法论
作者采用超对称定域化（supersymmetric localization）技术，在电理论与磁理论之间匹配椭球配分函数 ($Z_{S^3_b}$)。推导过程遵循系统的“解禁闭-对偶化-禁闭”（deconfinement-dualization-confinement）策略：

1. 解禁闭 (Deconfinement)： 电理论中的伴随手征多重态被替换为一个线性拟图尾部（linear quiver tail），具体为 $C_p[U(N)]$ 理论，该理论已知可以 s-禁闭（s-confine）成一个伴随多重态。这一过程引入了一系列规范节点。
2. 顺序对偶化 (Sequential Dualization)： 作者沿拟图尾部逐个节点应用 Aharony (A) 和 BBP (B) 对偶性。
   • 对于特定情况（$\beta=0$ 或 $\beta=p$），分别应用统一序列的 B 或 A 对偶性。
   • 对于中间情况（$0 < \beta < p$），采用 A 和 B 对偶性的混合序列，随后使用降秩对偶链（rank-reducing duality chain）来消除中间规范节点。
   • 对于更高数值（$p < \beta \le 2p$），利用迭代方法，通过应用已建立的 KP 恒等式将问题简化为已知情况。
3. 禁闭 (Confinement)： 得到的对偶拟图尾部被重新禁闭回磁伴随多重态，从而得到预期的磁理论配分函数。
4. 降秩链 (Rank-Reducing Chain)： 当 FI 参数满足特定条件时，利用特定的对偶链来降低节点的规范秩，从而产生用于抵消不需要项的单态贡献。

作者还提供了一种仅使用 BBP 对偶性和数学归纳法来证明 $C_p[U(N)]$ s-禁闭性的替代推导方法。

核心贡献与结果

• 推导 $KP^\pm_\beta$ 恒等式： 本文成功推导了全系列单极子形变 Kim–Park 对偶性 ($KP^\pm_\beta$) 的椭球配分函数恒等式，涵盖了所有 $\beta \in [0, 2p]$ 的情况。
• 基本构建模块： 该推导证实了这些复杂的对偶性仅是 Aharony 对偶性和 BBP 对偶性的结果。作者显式地构建了对偶序列，并追踪了 FI 参数和 R-电荷，以确保每一步的自洽性。
• 单态匹配 (Singlet Matching)： 推导过程显式地考虑了单态场（介子和单极子修饰单态）的生成与抵消，证明了磁理论中的单态贡献与对偶映射所预测的结果相匹配。
• 替代 s-禁闭证明： 附录 A 提供了一个关于 $C_p[U(N)]$ s-禁闭性的替代配分函数证明，该证明严格依赖于 BBP 对偶性和归纳法。
• Quiver Lab： 作者引入了 "Quiver Lab"，这是一个独立的 HTML 应用程序（附录 C），用于将 3d $\mathcal{N}=2$ 对偶性可视化为拟图图表。该工具允许用户实现 Aharony、BBP、解禁闭、禁闭和降秩移动，从而便于验证文中描述的对偶序列。

意义
本文强化了“由对偶性推导对偶性”的范式，表明大量的 3d $\mathcal{N}=2$ 红外（IR）对偶性可以从一组极小且基本的对偶性（Aharony 和 BBP）中构建出来。通过提供单极子形变 Kim–Park 系列的显式、逐步推导，这项工作为这些理论的一致性提供了严谨的检验。作者指出，虽然其结果涵盖了先前文献中分类的单极子形变对偶性（最高至单极子算符的二次方幂），但是否所有一般的 3d 对偶性都能仅从这两个构建模块中推导出来，仍是一个有待未来研究的开放性问题。Quiver Lab 的开发通过提供一种算法化探索这些对偶移动的计算工具，进一步对该领域做出了贡献。