[论文解读] Seiberg Duality, 5d SCFTs and Nekrasov Partition Functions

Masato Taki|arXiv (Cornell University)|Jan 28, 2014

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

一句话总结

本文通过使用精化拓扑顶点计算Nekrasov划分函数，建立了M理论在局部 del Pezzo 表面（dP_k）上紧化所得到的5d超 conformal 场论（SCFT）与其对应的toric '伪 del Pezzo'（PdP_k^p）对偶之间的对偶性。证明了dP_k的划分函数等于PdP_k^p的划分函数除以一个普遍的额外因子Z_extra^PdP_k^p，该因子用于描述非洛伦兹协变的态。此对偶性将4d Seiberg对偶性推广至5d，并通过瞬子展开得到验证。

ABSTRACT

It is known that a 4d N = 1 SCFT lives on D3-branes probing a local del Pezzo Calabi-Yau singularity. The Seiberg (or toric) duality of this SCFT arises from the Picard-Lefshetz transformation of the affine E_N 7-brane background that is associated with the Calabi-Yau threefold. In this paper we study the duality of the affine E_N background itself and a 5-brane probing it. We then find that many different Type IIB 5-brane webs describe the same SCFT in 5d. We check this duality by comparing the Nekrasov partition functions of these 5-brane web configurations.

研究动机与目标

• 通过识别非toric的局部 del Pezzo 表面（dP_k）与其toric伪对偶（PdP_k^p）之间的对偶性，将4d Seiberg对偶性推广至5d超 conformal 场论（SCFT）。
• 建立dP_k与PdP_k^p几何的Nekrasov划分函数之间的精确关系，该关系猜想为Z_dP_k = Z_PdP_k^p / Z_extra^PdP_k^p。
• 通过使用精化拓扑顶点形式化方法进行显式瞬子展开计算，验证该关系。
• 阐明在非toric Calabi-Yau紧化下产生的5d SCFT中，额外的、非洛伦兹协变自由度的作用。

提出的方法

• 利用精化拓扑顶点形式化方法计算toric PdP_k^p几何的Nekrasov划分函数，这些几何与非toric的dP_k表面互为对偶。
• 应用7-brane背景的Picard-Lefschetz变换（分支切割移动）生成对偶的5-brane网状构型，将5d SCFT中的对偶性与4d Seiberg对偶性联系起来。
• 通过递归应用Cauchy恒等式与精化顶点振幅C_Y1Y2Y3(t,q)，推导出Nekrasov划分函数K_R1R2^Γ的显式表达式。
• 引入一个普遍的额外因子Z_extra^PdP_k^p，用于描述5d谱中非洛伦兹协变态的贡献，这些态在dP_k理论中被解耦。
• 通过比较k=1至6的所有k值下Z_dP_k与Z_PdP_k^p / Z_extra^PdP_k^p的微扰项与瞬子项，进行瞬子展开检验。
• 使用拓扑顶点计算条状与T^2子图的划分函数，确认其递归结构及在Q3上的多项式性质。

实验结果

研究问题

• RQ1 在M理论紧化于局部 del Pezzo 表面 dP_k 与它们的 toric 伪对偶 PdP_k^p 之间是否存在对偶性，使得它们的 Nekrasov 划分函数通过一个普遍的额外因子相关联？
• RQ2 7-brane背景的 Picard-Lefschetz 变换如何生成对偶的 5-brane 网状构型，从而实现相同的 5d SCFT？
• RQ3 精化拓扑顶点形式化方法能否用于计算并比较 dP_k 与 PdP_k^p 几何的 Nekrasov 划分函数，包括其瞬子扇区？
• RQ4 额外因子 Z_extra^PdP_k^p 的起源与性质是什么？为何它在 5d 洛伦兹群下变换不正确？
• RQ5 所提出的关联 Z_dP_k = Z_PdP_k^p / Z_extra^PdP_k^p 是否对所有 k=1 至 6 成立，且通过瞬子展开得到验证？

主要发现

• dP_k 与 PdP_k^p 几何之间的对偶性在所有 k=1 至 6 的情况下普遍成立，且 dP_k 的 Nekrasov 划分函数由 Z_dP_k = Z_PdP_k^p / Z_extra^PdP_k^p 给出。
• 额外因子 Z_extra^PdP_k^p 源于 5d 谱中非洛伦兹协变自由度的贡献，这些自由度在 dP_k 理论中被解耦。
• 对于 PdP_5^III 几何，精化拓扑顶点计算得到的划分函数包含三个基本物质多重态，与 dP_5 SCFT 上的 SU(2) 规范理论一致。
• 尽管表达式复杂，T^2 子图划分函数 P_R1R2(Q1,Q2,Q3,t,q) 在 Q3 上是多项式，并满足在交换 R1↔R2 与 (t,q)↔(t^{-1},q^{-1}) 下的对偶性。
• dP_k 与 PdP_k^p / Z_extra^PdP_k^p 的划分函数的瞬子展开完全匹配，证实了该猜想在所有阶次下的有效性。
• 该对偶性根植于 7-brane 背景的 Picard-Lefschetz 变换，该变换生成对偶的 5-brane 网状构型，将 4d Seiberg 对偶性推广至 5d SCFT。