[论文解读] Algebraic virtual cycles for quantum singularity theories

Huai-Liang Chang, Young Hoon Kiem+1 more|arXiv (Cornell University)|Jun 1, 2018

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

一句话总结

本文通过傅里叶-穆凯伊型积分变换，利用代数周期构造了量子奇点理论的代数虚拟周期，使得法-贾里斯-鲁安-温特（FJRW）不变量的上同调场论可通过代数周期实现。通过爆破解析奇点并应用余截面局部化，作者在紧致模空间上建立了计算窄扇区与宽扇区FJRW不变量的虚拟周期。

ABSTRACT

We construct algebraic virtual cycles that give us the cohomological field theories of Fan-Jarvis-Ruan invariants by integral transformations.

研究动机与目标

• 通过代数周期，提供量子奇点理论的纯粹代数化上同调场论构造。
• 通过在奇点处对基空间进行爆破，解决G自旋曲线模空间的非紧致性问题。
• 通过将数据提升至光滑爆破空间，将余截面局部化原理推广至奇异基空间，从而实现虚拟周期的构造。
• 通过积分变换利用代数虚拟周期实现FJRW不变量，从而在矩阵因子化理论与经典代数几何之间建立桥梁。
• 通过在交化解析中构造虚拟周期，将先前关于窄扇区的结果推广至宽扇区。

提出的方法

• 在原点处对奇异基空间 $ Z $ 进行爆破，得到光滑空间 $ Z' $，并将所有几何数据提升至 $ Y' $、$ E' $、$ s' $、$ \rho' $ 和 $ \tilde{p} $。
• 构造光滑态射 $ \boldsymbol{q}': Y' \to Z' $，并定义 $ X' $ 为 $ s' $ 的零点集，其中 $ S' = X' \times_{Z'} S $ 为紧致空间。
• 将[12]中的余截面局部化原理应用于光滑情形，得到局部虚拟周期 $ [X']^{\mathrm{vir}}_{\mathrm{loc}} \in A_*(S') $。
• 利用虚拟拉回 $ s^{!}_{\sigma} $ 与精炼Gysin映射，定义虚拟周期向 $ S $ 的推出，确保与原始不变量的相容性。
• 建立包含 $ H_*(Z') \to H_*(S') \to H_*(S) $ 的交换图，表明FJRW不变量作为积分变换的推出而出现。
• 通过投影公式与纤维图恒等式，证明虚拟周期 $ [X']^{\mathrm{vir}}_{\mathrm{loc}} $ 满足与原始不变量的相容性要求。

实验结果

研究问题

• RQ1 FJRW不变量的上同调场论是否可在窄扇区与宽扇区中，通过代数虚拟周期实现？
• RQ2 在G自旋曲线的背景下，余截面局部化原理如何推广至奇异基空间？
• RQ3 在原点处对基空间 $ Z $ 进行爆破在实现恰当虚拟周期构造中起到何种作用？
• RQ4 是否可能通过代数几何中的积分变换，将FJRW不变量表示为虚拟周期的推出？
• RQ5 在解析空间 $ X' $ 上的虚拟周期如何通过恰当推出与原始非紧致模空间 $ X $ 关联？

主要发现

• 作者在爆破基空间 $ Z $ 于原点后，通过余截面局部化在紧致模空间 $ S' $ 上构造了虚拟周期 $ [X']^{\mathrm{vir}}_{\mathrm{loc}} \in A_*(S') $。
• 虚拟周期 $ [X']^{\mathrm{vir}}_{\mathrm{loc}} $ 的公式为 $ s^{!}_{\sigma} [Y'] = [Y'] \cap e_{\sigma}(E', s') $，其与Gysin映射及爆破结构相容。
• 推出 $ p_*([X']^{\mathrm{vir}}_{\mathrm{loc}}) $ 等于 $ S $ 上的虚拟周期 $ [X]^{\mathrm{vir}}_{\mathrm{loc}} $，确保在恰当态射下不变量保持不变。
• FJRW不变量作为虚拟周期通过积分变换的推出而实现，定理5.4中的交换图确认了其与原始理论的一致性。
• 通过解析奇点与应用交化解析技术，该构造将先前关于窄扇区的结果推广至宽扇区。
• 关键恒等式 $ p_*([X']^{\mathrm{vir}}_{\mathrm{loc}} \cap q^*\alpha) = s^{!}_{\sigma} \mathbf{q}^* v $ 确认了积分变换在 $ H_*(S) $ 中正确计算了不变量。