[论文解读] On relation between Nekrasov functions and BS periods in pure SU(N) case

A. Popolitov|arXiv (Cornell University)|Jan 11, 2010

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

一句话总结

本文对纯 SU(N) 规律理论中，当一个 Omega 背景参数设为零时，Nekrasov 函数与量化的 Seiberg-Witten 前势能之间的对偶性进行了详细的分析与计算验证。该文推导出任意 N 下高达 $\hbar^6$ 和 $\ln\Lambda$ 阶的显式公式，并对 $N=2,3,4$ 在更高阶次上进行了数值验证，通过系统计算量子周期与 Nekrasov 函数，以高精度确认了该猜想。

ABSTRACT

We investigate the duality between the Nekrasov function and the quantized Seiberg-Witten prepotential, first guessed in [1] and further elaborated in [2] and [3]. We concentrate on providing more thorough checks than the ones presented in [3] and do not discuss the motivation and historical context of this duality. The check of the conjecture up to $o (\hbar^6, \ln (Λ))$ is done by hands for arbitrary $N$ (explicit formulas are presented). Moreover, details of the calculation that are essential for the computerization of the check are worked out. This allows us to test the conjecture up to $\hbar^6$ and up to higher powers of $Λ$ for $N = 2,3,4$. Only the case of pure SU(N) gauge theory is considered.

研究动机与目标

• 为猜想中 $\epsilon_2 = 0$ 的 Nekrasov 函数与纯 $SU(N)$ 规律理论中量化的 Seiberg-Witten 前势能之间的对偶性提供更严格且更全面的检验。
• 将此前局限于 $o(\hbar^2, \Lambda^{2N})$ 阶的检验扩展至更高阶次，具体为高达 $o(\hbar^6, \ln\Lambda)$ 阶，适用于任意 $N$。
• 阐明实现对偶性检验自动化的中间计算步骤，从而实现系统化的计算机验证。
• 针对小的 $N=2,3,4$，使用显式但冗长的公式以高于分析可行精度的方式测试对偶性，这些公式难以以闭合形式书写。

提出的方法

• 通过比较量化的 Seiberg-Witten 微分的量子 Bohr-Sommerfeld 周期 $\Pi^\hbar_{A_i}$ 和 $\Pi^\hbar_{B_i}$ 与 Nekrasov 函数 $\mathcal{F}_{\text{Nek}}(\hbar, 0, \Lambda)$ 对 $a_i$ 参数的导数，来检验对偶性。
• 以经典 Seiberg-Witten 前势能 $\mathcal{F}_{\text{SW}}(0, \Lambda)$ 为起点，通过其导数得到 $\Pi^0_{B_i}$，然后利用算符 $\hat{\mathcal{O}}$ 量化至 $o(\hbar^6)$ 阶。
• 显式计算至 $\hbar^6$ 阶的量化算符 $\hat{\mathcal{O}}$，从而以 $\lambda_j$（Baxter 方程的根）表示 $\Pi^\hbar_{B_i}$。
• 将 Nekrasov 函数按 $\hbar$ 和 $\Lambda$ 的幂次展开，并利用 $a_{ij} = a_i - a_j$ 变量的对称多项式计算其导数。
• 通过将 $a_i$ 用 $\lambda_j$ 表示，利用对称函数恒等式与指标重标号技术，比较 $\Pi^\hbar_{B_i}$ 与 $-\frac{1}{4}\partial_{a_i}\mathcal{F}_{\text{Nek}}(\hbar, 0, \Lambda)$。
• 对于 $N=2,3,4$，使用计算机代数系统进行数值验证，检验范围扩展至超过分析公式所覆盖的 $\Lambda$ 高阶次。

实验结果

研究问题

• RQ1 对于任意 $N$，$\epsilon_2 = 0$ 且 $\epsilon_1 = \hbar$ 的 Nekrasov 函数是否与量化的 Seiberg-Witten 前势能在 $o(\hbar^6, \ln\Lambda)$ 阶次完全匹配？
• RQ2 是否能够以足够精度计算量子周期 $\Pi^\hbar_{B_i}$，从而实现与 Nekrasov 函数导数的直接比较？
• RQ3 在 $a_{ij} = a_i - a_j$ 表达下，Nekrasov 函数与量子周期展开中出现的对称和（双重、三重、四重）是否恒为零，以保证一致性？
• RQ4 是否能够通过计算手段对 $N=2,3,4$ 实现高于分析方法可行精度的对偶性验证？
• RQ5 在 $\hbar^6$ 阶以内，量化算符 $\hat{\mathcal{O}}$ 的结构为何？其系数如何贡献于匹配？

主要发现

• 本文推导出任意 $N$ 下高达 $o(\hbar^6, \ln\Lambda)$ 阶的 Nekrasov 函数与量子周期的显式公式，使得对偶性的分析检验成为可能。
• 在 $\mathcal{D}_3^2$ 贡献项的 $\hbar^6$ 项中，系数 $\frac{1}{1260}$ 被正确重现，确认了高阶次的一致性。
• 所有在展开中出现的高阶对称和（双重、三重、四重）在 $a_{ij}$ 变量下由于指标置换下的反对称性而恒为零。
• 对于 $N=2,3,4$，对偶性在高达 $\hbar^6$ 阶及更高阶次上通过数值方法得到确认，Nekrasov 函数与量子前势能以高精度匹配。
• 量化算符 $\hat{\mathcal{O}}$ 的结构已完全计算至 $\hbar^6$ 阶，为未来自动化与推广提供了关键技术工具。
• 本工作为验证高秩 $SU(N)$ 规律理论中的对偶性建立了清晰的计算路径，为未来推广至含物质多重态的理论铺平了道路。