[论文解读] Curve counting and instanton counting

Jian Zhou|ArXiv.org|Nov 14, 2003

Black Holes and Theoretical Physics参考文献 14被引用 33

一句话总结

本文证明了建立Nekrasov猜想所必需的关键组合恒等式，该猜想将局部Calabi-Yau几何上的拓扑弦生成函数与瞬子模空间的等变Â-亏格联系起来。通过舒尔函数微积分和斜舒尔函数的生成函数，本文验证了$K_{\mu^1\mu^2}(Q)$函数的猜想展开式，并证明了结构常数的非负性，完成了$SU(2)$情形的证明，并为$SU(N)$情形的推广奠定了基础。

ABSTRACT

We prove some combinatorial results required for the proof of the following conjecture of Nekrasov: The generating function of closed string invariants in local Calabi-Yau geometries obtained by appropriate fibrations of $A_N$ singularities over $P^1$ reproduce the generating function of equivariant $\hat{A}$-genera of moduli space of instants on $C^2$.

研究动机与目标

• 建立Nekrasov猜想的数学基础，该猜想将拓扑弦场论与瞬子模空间联系起来。
• 证明关于生成函数$K_{\mu^1\mu^2}(Q)$的猜想乘积公式，其以结构常数$f_{\mu^1\mu^2}(q)$表示。
• 验证$f_{\mu^1\mu^2}(q)$的级数展开中系数$C_k(\mu^1,\mu^2)$的非负性，这对物理一致性至关重要。
• 在$SU(2)$情形下证明一个关键恒等式，该恒等式将依赖于$Q$的乘积与双曲正弦函数之比联系起来，从而确认了划分函数的猜想形式。
• 通过验证推广拓扑顶点形式化所需的组合假设，将框架扩展至$SU(N)$情形。

提出的方法

• 使用标准舒尔函数微积分分析$K_{\mu^1\mu^2}(Q)$的结构，其定义为涉及结构常数$\mathcal{W}_{\mu^1\nu}\mathcal{W}_{\nu\mu^2}$的分拆之和。
• 应用涉及分拆及内容/勾长公式的一类无限乘积恒等式，推导出斜舒尔函数的生成函数。
• 利用对称函数理论和表示论恒等式，证明$K_{\mu^1\mu^2}(Q)$的猜想形式为$K_{(0)(0)}(Q)$与指数生成函数的乘积。
• 推导出级数展开$f_{\mu^1\mu^2}(q) = \sum_k C_k(\mu^1,\mu^2) q^k$，并利用分拆上的组合恒等式证明$C_k(\mu^1,\mu^2) \geq 0$。
• 验证了涉及$(1 - q^k Q)$的乘积恒等式，其幂次为$2C_k(\mu^1, (\mu^2)^t)$，在$SU(2)$情形下与双曲正弦函数之比匹配。
• 利用$\kappa_{\mu}$不变量及其在转置下的对偶性（$\kappa_{\mu^t} = -\kappa_{\mu}$）来关联划分函数中分拆权重。

实验结果

研究问题

• RQ1 生成函数$K_{\mu^1\mu^2}(Q)$是否允许猜想的分解形式，即$K_{(0)(0)}(Q) \cdot \exp\left(\sum_{n=1}^\infty \frac{Q^n}{n} f_{\mu^1\mu^2}(q^n)\right)$？
• RQ2 在$f_{\mu^1\mu^2}(q)$的级数展开中，系数$C_k(\mu^1, \mu^2)$是否对所有分拆$\mu^1, \mu^2$都是非负整数？
• RQ3 恒等式$\prod_k (1 - q^k Q)^{-2C_k(\mu^1, (\mu^2)^t)} = Q^{-|\mu^1|-|\mu^2|} 2^{-2(|\mu^1|+|\mu^2|)} q^{-\frac{1}{2}(\kappa_{\mu^1} - \kappa_{\mu^2})} \cdot \prod_{l,n} \frac{\sinh(\frac{\beta}{2}(a_{ln} + \hbar(\mu^l_i - \mu^n_j + j - i)))}{\sinh(\frac{\beta}{2}(a_{ln} + \hbar(j - i)))}$是否对所有$\mu^1, \mu^2$成立？
• RQ4 能否利用这些组合结果和拓扑顶点形式化，证明Nekrasov猜想的$SU(2)$情形？
• RQ5 基于推导出的恒等式，推广Nekrasov猜想至$SU(N)$情形所需的组合假设是否成立？

主要发现

• 在定理6.1中严格证明了猜想的分解形式$K_{\mu^1\mu^2}(Q) = K_{(0)(0)}(Q) \cdot \mathcal{W}_{\mu^1} \mathcal{W}_{\mu^2} \cdot \exp\left(\sum_{n=1}^\infty \frac{Q^n}{n} f_{\mu^1\mu^2}(q^n)\right)$。
• 在展开式$f_{\mu^1\mu^2}(q) = \sum_k C_k(\mu^1, \mu^2) q^k$中，系数$C_k(\mu^1, \mu^2)$被证明为非负整数，从而确认了关键的物理要求。
• 在推论7.1中证明了恒等式$\prod_k (1 - q^k Q)^{-2C_k(\mu^1, (\mu^2)^t)} = Q^{-|\mu^1|-|\mu^2|} 2^{-2(|\mu^1|+|\mu^2|)} q^{-\frac{1}{2}(\kappa_{\mu^1} - \kappa_{\mu^2})} \cdot \prod_{l,n} \frac{\sinh(\cdots)}{\sinh(\cdots)}$。
• 通过定理9.1，$SU(2)$情形的Nekrasov猜想被完全确立，表明归一化生成函数与包含双曲正弦函数之比的猜想形式一致。
• 本文通过结合已证明的组合恒等式与已知的拓扑顶点和局部化结果，为Nekrasov猜想的$SU(2)$情形提供了完整的数学证明。
• 通过验证必要的组合假设，将框架扩展至$SU(N)$情形，为一般猜想的完整数学证明铺平了道路。