[论文解读] Lectures on Instanton Counting

Hiraku Nakajima, Kōta Yoshioka|ArXiv.org|Nov 5, 2003

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

一句话总结

本文通过将Nekrasov的形变分划函数与瞬子模空间上的等变上同调联系起来，为N=2超对称Yang-Mills理论中的Nekrasov分划函数提供了严格的数学框架。通过爆破方程推导了亏格1校正项（$\varepsilon_1\varepsilon_2$和$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$的系数），将其与Seiberg-Witten $u$-平面积分中的测度因子$A$和$B$对应起来，从而建立了物理分划函数与几何不变量之间的精确联系。

ABSTRACT

These notes have two parts. The first is a study of Nekrasov's deformed partition functions $Z(\ve_1,\ve_2,\vec{a};\q,\vecτ)$ of N=2 SUSY Yang-Mills theories, which are generating functions of the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$. The second is review of geometry of the Seiberg-Witten curves and the geometric engineering of the gauge theory, which are physical backgrounds of Nekrasov's partition functions. The first part is continuation of math.AG/0306198, where we identified the Seiberg-Witten prepotential with $Z(0,0,\vec{a};\q,0)$. We put higher Casimir operators to the partition function and clarify their relation to the Seiberg-Witten $u$-plane. We also determine the coefficients of $\ve_1\ve_2$ and $(\ve_1^2+\ve_2^2)/3$ (the genus 1 part) of the partition function, which coincide with two measure factors $A$, $B$ appeared in the $u$-plane integral. The proof is based on the blowup equation which we derived in the previous paper.

研究动机与目标

• 严格定义并计算Nekrasov在$N=2$ SUSY Yang-Mills理论中形变分划函数的亏格1校正项（$\varepsilon_1\varepsilon_2$和$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$的系数）
• 将这些校正项与Seiberg-Witten $u$-平面积分中出现的测度因子$A$和$B$对应起来，从而建立物理分划函数与几何不变量之间的联系
• 通过等变上同调与爆破技术，将Seiberg-Witten预势能视为分划函数在$\varepsilon_1 = \varepsilon_2 = 0$极限下的形式，从而拓展对其的理解
• 通过将分划函数与瞬子模空间及$u$-平面结构联系起来，为其提供几何与代数基础

提出的方法

• 从瞬子模空间上的等变上同调推导爆破方程，用于关联在4-流形及其爆破上的分划函数
• 通过涉及$\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$的积分表示的渐近展开，结合差分方程与Barnes积分技巧，计算分划函数的亏格1部分
• 使用等变Borel-Moore同调来定义对非紧致瞬子模空间的积分，确保分划函数的收敛性与良定义性
• 显式展开生成函数$\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$关于$t$的幂级数，其中系数$c_n$由$\frac{1}{(e^{\varepsilon_1 t}-1)(e^{\varepsilon_2 t}-1)}$的洛朗级数导出，从而实现低阶校正的计算
• 通过比较对数项与多项式项，将分划函数中的$\varepsilon_1\varepsilon_2$与$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$项与$u$-平面积分中的测度因子$A$和$B$对应起来
• 应用微扰论与$\gamma_{\varepsilon_1,\varepsilon_2}$的差分方程，验证亏格1校正项及其与爆破公式的自洽性

实验结果

研究问题

• RQ1 如何利用等变上同调与爆破技术，严格计算Nekrasov形变分划函数中的亏格1校正项？
• RQ2 分划函数中$\varepsilon_1\varepsilon_2$与$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$的系数与Seiberg-Witten $u$-平面积分中测度因子$A$和$B$之间的精确数学关系是什么？
• RQ3 从瞬子模空间上的等变上同调导出的爆破方程如何约束分划函数及其低亏格展开的结构？
• RQ4 Seiberg-Witten预势能是否可作为分划函数在$\varepsilon_1 = \varepsilon_2 = 0$极限下的形式？高阶校正如何改进这一极限？
• RQ5 高阶卡西米尔算子在分划函数中起什么作用？它们与$u$-平面几何有何关联？

主要发现

• 分划函数中$\varepsilon_1\varepsilon_2$的系数被识别为Seiberg-Witten $u$-平面积分中的测度因子$A$，而$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$的系数被识别为测度因子$B$。
• 分划函数的亏格1校正项被显式计算为$\frac{1}{\varepsilon_1\varepsilon_2}\left(-\frac{1}{2}x^2\log\left(\frac{x}{\Lambda}\right) + \frac{3}{4}x^2\right) + \frac{\varepsilon_1 + \varepsilon_2}{2\varepsilon_1\varepsilon_2}\left(-x\log\left(\frac{x}{\Lambda}\right) + x\right) - \frac{\varepsilon_1^2 + \varepsilon_2^2 + 3\varepsilon_1\varepsilon_2}{12\varepsilon_1\varepsilon_2}\log\left(\frac{x}{\Lambda}\right)$，与$u$-平面测度的预期形式一致。
• 爆破方程被用作关键工具，推导并验证了亏格1校正项，建立了分划函数与$u$-平面几何结构之间的一致性。
• 分划函数中的$\varepsilon_1\varepsilon_2$与$\frac{\varepsilon_1^2 + \varepsilon_2^2}{3}$项被证明与$u$-平面积分中出现的两个测度因子$A$和$B$完全一致，从而以严格数学方式证实了物理上的预期。
• 函数$\gamma_{\varepsilon_1,\varepsilon_2}(x;\Lambda)$被展开为$t$的幂级数，其对数项与多项式项与分划函数的亏格1部分匹配，从而得到了校正项的显式表达式。
• 利用$\gamma_{\varepsilon_1,\varepsilon_2}$的差分方程，验证了对正负$k$的亏格1校正项的一致性，确认了该展开在所有相关定义域内的有效性。