[论文解读] Higher-genus quasimap wall-crossing via localization

Emily Clader, Felix Janda+1 more|arXiv (Cornell University)|Feb 11, 2017

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

一句话总结

本文提出了一种基于局部化的新型证明方法，用于完整交在射影空间中的高亏格准地图墙穿跃公式，采用具有 $mathbb{C}^*$-作用的扭曲图空间。该方法通过分析固定点上的等变虚拟循环，建立了墙穿跃公式，从而在至少存在一个标记点的条件下，给出了 Ciocan-Fontanine 与 Kim 猜想的新推导。

ABSTRACT

We give a new proof of Ciocan-Fontanine and Kim's wall-crossing formula relating the virtual classes of the moduli spaces of $ε$-stable quasimaps for different $ε$ in any genus, whenever the target is a complete intersection in projective space and there is at least one marked point. Our techniques involve a twisted graph space, which we expect to generalize to yield wall-crossing formulas for general gauged linear sigma models.

研究动机与目标

• 为射影空间中完整交的高亏格准地图墙穿跃公式提供一种新证明，将 Ciocan-Fontanine 与 Kim 的亏格零结果推广至任意亏格。
• 开发一种基于具有 $\mathbb{C}^*$-作用的扭曲图空间的局部化框架，其中 $\epsilon=\infty$ 与 $\epsilon$-稳定准地图作为固定点出现。
• 通过等变虚拟循环计算建立墙穿跃公式，特别是分析 $\psi$-类与插入项变化的行为。
• 证明墙穿跃公式在规范线性 sigma 模型（GLSM）的几何相中成立，为未来 Landau–Ginzburg 相的推广铺平道路。

提出的方法

• 构建一个具有 $\mathbb{C}^*$-作用的扭曲图空间，其固定点对应于 $\infty$-稳定与 $\epsilon$-稳定准地图。
• 利用局部化将扭曲图空间的虚拟循环表示为固定点之和，借助等变上推与留数理论。
• 定义插入算子 $\widetilde{g}_i(\overline{\psi})$ 与 $\epsilon'(\psi)$，以 $\psi$-类与 $I$-函数系数的形式编码插入项。
• 在同调环中引入 $U_{l,k}$ 分量，按次数分解墙穿跃公式，实现归纳分析。
• 对 $k$ 进行归纳，证明非正 $k$ 的贡献项消失，依赖于 $\lambda$ 的洛朗多项式行为与插入项变化。
• 利用 $\widetilde{g}_1(0)$ 在插入项从 $\mathbf{1}$ 变为 $H$ 时的非平凡变换，强制 $k_0$-项消失，完成归纳。

实验结果

研究问题

• RQ1 能否使用局部化技术重新证明射影空间中完整交的高亏格准地图墙穿跃公式？
• RQ2 在 $\mathbb{C}^*$-局部化下，扭曲图空间的虚拟循环如何分解？这揭示了关于墙穿跃的何种信息？
• RQ3 为何至少存在一个标记点对这种局部化方法至关重要？
• RQ4 能否通过分析 $\psi$-类与插入相关项的行为，从等变同调中推导出墙穿跃公式？
• RQ5 $I$-函数系数 $\mu^\epsilon_\beta(z)$ 在墙穿跃结构中扮演何种角色？它们如何在局部化公式中被编码？

主要发现

• 通过在扭曲图空间上使用 $\mathbb{C}^*$-等变局部化，严格重新证明了射影空间中完整交的高亏格准地图墙穿跃公式。
• 该证明依赖于对插入算子 $U_{l,k}$ 的次数分量 $k$ 的归纳论证，表明所有非正 $k$ 项均消失。
• 通过反证法，利用插入相关项的洛朗多项式行为，确立了 $\sum_{l=0}^\infty \pi_{l*}(\mathbf{1},\dots,\mathbf{1},U_{l,k})^{\text{WC}}$ 在 $k \leq 0$ 时的消失性。
• 关键步骤在于利用 $\widetilde{g}_1(0)$ 在插入项从 $\mathbf{1}$ 变为 $H$ 时的非平凡变换，该变换在 $\lambda$ 中引入无穷多个负幂次，强制整个表达式消失。
• 墙穿跃公式中 $k=0$ 项的 $y^0$-系数恢复了完整的墙穿跃关系，从而完成证明。
• 该方法揭示了标记点在局部化公式中通过插入项变化起关键作用，因为无标记情形在正亏格或正次数下无法产生非平凡关系。