[论文解读] Higher genus quasimap wall-crossing for semi-positive targets

Ionuţ Ciocan-Fontanine, Bumsig Kim|arXiv (Cornell University)|Aug 29, 2013

Algebraic Geometry and Number Theory参考文献 14被引用 20

一句话总结

本文建立了半正性GIT商空间的拟映射不变量的高亏格wall-crossing公式，将原本仅适用于亏格零的结果推广至高亏格。通过$J$-函数及其$1/z$-展开，证明了格罗莫夫-威滕与拟映射生成函数之间猜想的关联关系，对半正性toric簇和局部Calabi-Yau目标给出了完整证明，方法基于局部化与$T$-等变技术。

ABSTRACT

In previous work (arXiv:1304.7056) we have conjectured wall-crossing formulas for genus zero quasimap invariants of GIT quotients and proved them via localization in many cases. We extend these formulas to higher genus when the target is semi-positive, and prove them for semi-positive toric varieties, in particular for toric local Calabi-Yau targets. The proof also applies to local Calabi-Yau's associated to some non-abelian quotients.

研究动机与目标

• 在半正性GIT商空间的背景下，将亏格零的拟映射wall-crossing公式推广至高亏格。
• 证明关于高亏格不变量的格罗莫夫-威滕与拟映射生成函数之间猜想的wall-crossing公式。
• 通过局部化与$T$-等变方法，建立半正性toric簇和局部Calabi-Yau目标的公式。
• 验证wall-crossing变换由小$J$-函数的$1/z$-展开所控制。

提出的方法

• 使用$J$-函数$J^\varepsilon(q,t,z)$及其小版本$J^\varepsilon_{sm}(q,z)$，建立拟映射与格罗莫夫-威滕不变量之间的联系。
• 采用小$J$-函数的$1/z$-展开：$J^\varepsilon_{sm}(q,z) = J^\varepsilon_0(q)\mathbbm{1} + J^\varepsilon_1(q)/z + O(1/z^2)$。
• 在$\varepsilon$-稳定拟映射的模空间上应用局部化技术，计算顶点贡献并匹配$J$-函数。
• 将小$I$-函数$I_{sm}(q,z)$视为$J^\varepsilon_{sm}$在$\varepsilon \to 0^+$时的极限，且在半正性条件下有$I_0 = 1$。
• 依赖目标的$T$-等变结构以确保固定点孤立且一维轨道存在，从而实现精确的顶点计算。
• 通过验证$J$-函数系数，证明变换后的生成函数$F^\varepsilon_g$与格罗莫夫-威滕生成函数$F^\infty_g$一致，从而验证wall-crossing公式。

实验结果

研究问题

• RQ1 在半正性目标下，高亏格拟映射不变量与格罗莫夫-威滕不变量在wall-crossing下的关系如何？
• RQ2 此前通过局部化方法证明的亏格零wall-crossing公式，能否推广至高亏格？
• RQ3 对于半正性GIT商空间，高亏格下拟映射与格罗莫夫-威滕生成函数之间的精确变换律是什么？
• RQ4 小$J$-函数的$1/z$-展开是否控制高亏格下的wall-crossing变换？
• RQ5 wall-crossing公式在所有稳定性参数$\varepsilon$下统一成立的条件是什么？

主要发现

• 对于所有$\varepsilon \geq 0^+$，wall-crossing公式$(J^\varepsilon_0)^{2g-2} F^\varepsilon_g(\mathbf{t}) = F^\infty_g\left( \frac{\mathbf{t} + J^\varepsilon_1}{J^\varepsilon_0} \right)$在半正性情形下成立。
• 该公式通过对半正性toric簇和局部Calabi-Yau目标使用局部化与$T$-等变技术得以证明。
• 当$g=1$时，由于$\overline{M}_{1,1}$上反常的稀释方程失效，需加入校正项$\frac{1}{24}\chi_{\text{top}}(X)\log J^\varepsilon_0$。
• 小$I$-函数满足半正性三元组下$I_0 = 1$，从而简化了wall-crossing变换。
• wall-crossing公式在变换$\mathbf{t}(\psi) \mapsto J^\varepsilon_0 \mathbf{t}(\psi) - J^\varepsilon_1$下保持不变，确保了不同$\varepsilon$下的统一性。
• 结果可推广至局部Grassmannian与旗流形，其中$I$-函数被显式计算，且由于顶点贡献的均匀性，wall-crossing关系依然成立。