[论文解读] Quantum Witten localization and abelianization for qde solutions

Eduardo González, Chris Woodward|arXiv (Cornell University)|Nov 20, 2008

Algebraic structures and combinatorial models参考文献 80被引用 20

一句话总结

本文建立了规范Gromov-Witten不变量的Witten局部化公式的量子版本，实现了对基诺特商空间及其极大环面的量子阿贝利安化公式，并证明了全纯辛约化下的量子Lefschetz原理，通过等变局部化与图势能技术，推导出关于射影线上点的模空间及射影平面上框架层的量子微分方程解的显式公式。

ABSTRACT

We prove a quantum version of the localization formula of Witten that relates invariants of a git quotient with the equivariant invariants of the action. Using the formula we prove a quantum version of an abelianization formula of S. Martin relating invariants of geometric invariant theory quotients by a group and its maximal torus, conjectured by Bertram, Ciocan-Fontanine, and Kim. By similar techniques we prove a quantum Lefschetz principle for holomorphic symplectic reductions. As an application, we give a formula for the fundamental solution to the quantum differential equation (qde) for the moduli space of points on the projective line and for the smoothed moduli space of framed sheaves on the projective plane (a Nakajima quiver variety).

研究动机与目标

• 将Witten的非阿贝利安局部化公式推广至量子情形，建立一个流形与其GIT商空间之间等变Gromov-Witten不变量的关联。
• 证明图Gromov-Witten不变量的量子阿贝利安化公式，验证Bertram、Ciocan-Fontanine与Kim的猜想。
• 通过局部化技术，为全纯辛约化建立量子Lefschetz原理。
• 计算特定模空间的量子微分方程基本解，包括射影线P^1上点的模空间与射影平面P^2上框架层的模空间。
• 通过扭曲的局部化图势能与等变局部化在固定点流形上的应用，提供量子不变量的显式公式。

提出的方法

• 构建量子Kirwan映射，并应用绝热极限定理，关联等变不变量与量子不变量。
• 在主空间上使用局部化图势能，计算Kirwan-Ness层的贡献。
• 在极大环面作用的固定点分支上应用等变局部化，将非阿贝利安不变量约化为阿贝利安形式。
• 通过在流形与酉李代数的积上积分，推导出量子Witten迹的版本，借助解析延拓进行正则化。
• 在规范Gromov-Witten理论背景下应用虚拟局部化公式，计算商堆栈的不变量。
• 通过涉及根系与等变参数的无穷乘积的扭曲局部化势能，构造量子乘积的显式生成函数。

实验结果

研究问题

• RQ1 Witten的局部化公式能否推广至量子情形，建立流形与其GIT商空间之间等变Gromov-Witten不变量的关联？
• RQ2 Bertram、Ciocan-Fontanine与Kim所猜想的GIT商空间图Gromov-Witten不变量的量子阿贝利安化公式是否成立？
• RQ3 能否通过局部化方法为全纯辛约化建立量子Lefschetz原理？
• RQ4 射影线P^1上点的模空间的量子微分方程基本解的显式形式为何？
• RQ5 如何通过局部化与阿贝利安化方法计算Nakajima箭图变体（如射影平面P^2上框架层的模空间）的量子不变量？

主要发现

• 证明了Witten局部化公式的量子版本，将GIT商空间上的迹表示为Kirwan-Ness层贡献之和，且局部项具有显式公式。
• 建立了图Gromov-Witten不变量的量子阿贝利安化公式，表明由半单群作用的GIT商空间的量子不变量，等价于其极大环面作用下的不变量，通过扭曲的局部化势能实现。
• 对于射影线P^1上点的模空间，量子微分方程的基本解由包含(1+q)^k的生成函数给出，显式依赖于等变参数。
• 对于P^2上框架层的光滑化模空间（即Nakajima箭图变体），量子微分方程的解被导出为扭曲局部化势能与因子(1+qe^t)^{kδ_{r-1}(ξ_-+ξ_+)/ζ}的乘积，反映了量子修正。
• T作用在X上的扭曲局部化图势能被显式计算为度数元组的和，其中包含Δ_d(θ, w)乘积的有理函数编码了量子修正。
• 证明了在t=0时，量子势能指数等于(1+q)^{k(ξ_-+ξ_+)}及其他项，通过杨图恒等式验证了与先前结果的组合一致性。