[论文解读] On degree zero elliptic orbifold Gromov-Witten invariants

Hsian‐Hua Tseng|arXiv (Cornell University)|Dec 18, 2009

Algebraic Geometry and Number Theory参考文献 6被引用 8

一句话总结

本文使用两种方法计算了具有非堆栈插入的亏格一零度轨道 Gromov-Witten 不变量：直接分析模空间与虚拟局部化。它验证了涉及双惯性堆栈切丛第一陈类的猜想公式，为轨道 Gromov-Witten 理论中的 Virasoro 约束提供了基础性结果。

ABSTRACT

We compute, by two methods, the genus one degree zero orbifold Gromov-Witten invariants with non-stacky insertions which are exceptional cases of the dilaton and divisor equations. One method involves a detailed analysis of the relevant moduli spaces. The other method, valid in the presence of torus actions with isolated fixed points, is virtual localization. These computations verify the conjectural evaluations of these invariants. Some genus one twisted orbifold Gromov-Witten invariants are also computed.

研究动机与目标

• 计算由于模空间不稳定而成为小扰动与除数方程例外情况的亏格一零度轨道 Gromov-Witten 不变量。
• 解决在亏格 1、度数 0 且存在一个非堆栈标记点时标准 Gromov-Witten 方程失效的问题。
• 验证先前工作中提出的这些不变量的猜想公式，特别是涉及双惯性堆栈及其切丛的内容。
• 通过特征类与虚拟局部化方法，将计算扩展至扭曲轨道 Gromov-Witten 不变量。

提出的方法

• 分析亏格 1、度数 0 的稳定映射模堆栈 $\overline{\mathcal{M}}_{1,1}(\mathcal{X},0)^{\prime}$，其带有一个非堆栈标记点，该模堆栈缺乏通用族结构。
• 在具有孤立不动点的环面作用下应用虚拟局部化技术，通过等变积分计算不变量。
• 使用双惯性堆栈 $II\mathcal{X}$，其定义为三元组 $(x,g_1,g_2)$ 的堆栈，其中自同构彼此交换，将不变量表示为特征类的形式。
• 通过虚拟维数的 Riemann-Roch 计算与对虚拟基本类的积分推导不变量。
• 通过在被积函数中引入陈特征与对偶 Todd 类，将该策略应用于扭曲不变量，其成分来自 $K$-理论类与余切线丛。
• 依赖于 $F_{1,1,0} = R^\bullet\pi_*f^*F$ 的分解及其在 $II\mathcal{X}$ 上通过不变子丛的等变描述。

实验结果

研究问题

• RQ1 当标准小扰动与除数方程失效时，具有非堆栈插入的亏格一零度轨道 Gromov-Witten 不变量的值是什么？
• RQ2 在缺乏通用族结构的情况下，如何应用虚拟局部化来计算不变量？
• RQ3 不变量 $\left\langle\tau_1(1)\right\rangle_{1,1,0}^{\prime\mathcal{X}}$ 与 $\left\langle\tau_0(D)\right\rangle_{1,1,0}^{\prime\mathcal{X}}$ 的精确几何与上同调解释是什么？
• RQ4 在亏格一、度数零的情况下，扭曲 Gromov-Witten 不变量与未扭曲不变量之间有何关系？不变子丛 $F^{\langle g,h \rangle}$ 的作用是什么？
• RQ5 能否严格验证涉及 $c_{\text{top}}(T_{II\mathcal{X}})$ 与 $c_{\text{top}-1}(T_{II\mathcal{X}})$ 的猜想公式？

主要发现

• 不变量 $\left\langle\tau_1(1)\right\rangle_{1,1,0}^{\prime\mathcal{X}}$ 恰好为 $\frac{1}{24}\int_{II\mathcal{X}}c_{\text{top}}(T_{II\mathcal{X}})$，验证了文献 [8] 中的猜想。
• 不变量 $\left\langle\tau_0(D)\right\rangle_{1,1,0}^{\prime\mathcal{X}}$ 等于 $-\frac{1}{24}\int_{II\mathcal{X}}\pi_{\mathcal{X}}^*D \cup c_{\text{top}-1}(T_{II\mathcal{X}})$，确认了第二个猜想公式。
• 该计算通过两种独立方法验证：直接模空间分析与虚拟局部化，确保了结果的稳健性。
• 对于扭曲不变量，本文推导出一个一般公式，涉及 $ch_k(\pi_{\mathcal{X}}^*F)$、$c_{\text{top}}(T_{II\mathcal{X}})$ 以及特征类 $\mathbf{c}$ 的 $s_j$ 系数。
• 结果在等变与非等变设定下均成立，其中不变子丛 $F^{\langle g,h \rangle}$ 在局部化计算中起核心作用。
• 这些公式是首次在完全一般性下计算出的完整亏格一轨道 Gromov-Witten 不变量，扩展了此前针对 $\mathcal{X} = BG$ 的结果。