[论文解读] Donaldson = Seiberg-Witten from Mochizuki's formula and instanton counting

Lothar Göttsche, Hiraku Nakajima+1 more|arXiv (Cornell University)|Jan 27, 2010

Black Holes and Theoretical Physics参考文献 18被引用 4

一句话总结

本文通过$N=2$超对称 gauge 理论中带有基础物质多重态的 Nekrasov 修正分划函数，建立了一个精确的数学公式，将四维流形的 Donaldson 不变量与 Seiberg-Witten 不变量联系起来。利用代数几何设定下的 Mochizuki 公式，作者通过瞬子计数推导出显式系数，并证明了此类四维流形的 Witten 猜想及超共形单型条件。

ABSTRACT

We propose an explicit formula connecting Donaldson invariants and Seiberg-Witten invariants of a 4-manifold of simple type via Nekrasov's deformed partition function for the N=2 SUSY gauge theory with a single fundamental matter. This formula is derived from Mochizuki's formula, which makes sense and was proved when the 4-manifold is complex projective. Assuming our formula is true for a 4-manifold of simple type, we prove Witten's conjecture and sum rules for Seiberg-Witten invariants (superconformal simple type condition), conjectured by Mariño, Moore and Peradze.

研究动机与目标

• 建立四维流形单型情形下 Donaldson 不变量与 Seiberg-Witten 不变量之间严格的数学联系。
• 利用瞬子计数与等变局部化方法，推导 Donaldson 系数的显式公式。
• 通过 Nekrasov 分划函数证明 Witten 猜想，即 Donaldson 与 Seiberg-Witten 不变量之间的关系。
• 在 Mochizuki 公式假设下，验证 Seiberg-Witten 不变量的超共形单型条件（求和规则）。
• 证明 Donaldson 系数为带有基础物质的$N=2$超对称 gauge 理论中 Nekrasov 修正分划函数的首项系数。

提出的方法

• 从 Mochizuki 公式推导 Donaldson 生成函数，该公式将 Donaldson 不变量表示为复射影曲面上点的 Hilbert 模式积上${\mathbb{C}}^*$-等变积分的留数。
• 将 Donaldson 系数识别为$N=2$超对称 gauge 理论中带有单个基础超多重态的 Nekrasov 修正分划函数的首项$F_0$、$H$、$A$、$B$。
• 利用分划函数的爆破公式，关联不同四维流形上的不变量，并提取生成函数的结构。
• 将 Atiyah-Bott-Lefschetz 不动点定理应用于 Mochizuki 原始推导中的$\operatorname{SO}(3)$-单极模空间的代数几何类比。
• 在包含$\zeta$-依赖幂次与相交数的生成函数中，对$\zeta=0$进行留数计算，利用 Seiberg-Witten 曲线结构与参数$u$。
• 通过关于度数$n = \chi_h(X) - (K_X^2) - 4$的降阶归纳法证明超共形单型条件，表明在公式假设下高阶项消失。

实验结果

研究问题

• RQ1 能否通过代数几何与等变技术，使 Donaldson 与 Seiberg-Witten 不变量之间的关系在数学上严格化？
• RQ2 Donaldson 生成函数中的系数是否与$N=2$超对称 gauge 理论中带有基础物质的 Nekrasov 分划函数的首项一致？
• RQ3 Seiberg-Witten 不变量的超共形单型条件是否可由 Mochizuki 公式与瞬子计数推导而出？
• RQ4 Donaldson 不变量的生成函数能否表示为在$u = \pm 2\Lambda^2$处具有奇点的 Seiberg-Witten 曲线上的积分？
• RQ5 Seiberg-Witten 不变量的求和规则是否可由分划函数结构与留数计算推导得出？

主要发现

• Donaldson 系数$f_{k,l}$被显式给出为带有单个基础超多重态的$N=2$超对称 gauge 理论中 Nekrasov 修正分划函数的首项。
• 该公式在 Mochizuki 公式成立的假设下，证明了 Witten 猜想，即四维流形单型情形下 Donaldson 与 Seiberg-Witten 不变量之间的关系。
• 通过关于度数$n = \chi_h(X) - (K_X^2) - 4$的降阶归纳法，验证了 Seiberg-Witten 不变量的超共形单型条件（求和规则）。
• $\zeta = 0$处的留数计算得到一个与$k^l / (3^l l!)$成正比的非零系数，确保了展开中首项的非退化性。
• 证明了 Donaldson 不变量的生成函数与自旋$^c$结构$\xi$无关，表明该公式在不同$\xi$选择下的一致性。
• 该证明表明，在公式假设下，展开中的所有高阶项均消失，从而确认了对所有$n \leq \chi_h(X) - (K_X^2) - 4$的超共形单型条件。