[论文解读] The Witten equation and its virtual fundamental cycle

Huijun Fan, Tyler J. Jarvis+1 more|arXiv (Cornell University)|Dec 24, 2007

Advanced Differential Equations and Dynamical Systems参考文献 24被引用 97

一句话总结

本文通过引入对Witten方程的摄动，建立了Landau-Ginzburg/Calabi-Yau对映中Witten方程的分析基础，构造了解空间模空间上的虚拟基本周期，并证明该周期满足类似于Gromov-Witten和r自旋理论的公理。虚拟周期在墙穿跃下保持不变，并与Picard-Lefschetz理论一致，为奇点理论中的不变量计算提供了严格框架。

ABSTRACT

We study a system of nonlinear elliptic PDEs associated with a quasi-homogeneous polynomial. These equations were proposed by Witten as the replacement for the Cauchy-Riemann equation in the singularity (Landau-Ginzburg) setting. We introduce a perturbation to the equation and construct a virtual cycle for the moduli space of its solutions. Then, we study the wall-crossing of the deformation of the virtual cycle under perturbation and match it to classical Picard-Lefschetz theory. An extended virtual cycle is obtained for the original equation. Finally, we prove that the extended virtual cycle satisfies a set of axioms similar to those of Gromov-Witten theory and r-spin theory.

研究动机与目标

• 建立奇点理论与镜像对称背景下Witten方程的分析基础。
• 通过引入摄动并构造解空间模空间上的虚拟周期，解决Witten方程中奇异系数的挑战。
• 证明通过摄动理论构造的虚拟周期满足类似于Gromov-Witten和r自旋理论中公理的一组公理。
• 证明摄动参数的墙穿跃与经典Picard-Lefschetz单值化一致，将虚拟周期与拓扑不变量联系起来。
• 通过极限过程将虚拟周期扩展到原始（未摄动）的Witten方程。

提出的方法

• 对Witten方程引入摄动以正则化奇异系数，使Fredholm理论和Kuranishi理论得以应用。
• 应用柱面度量和渐近分析研究解在节点点和轨道奇异点附近的性质。
• 利用Gromov紧化和粘合技术构造解空间模空间的紧化。
• 采用多截面理论和隐函数定理构建局部坐标图并定义虚拟基本周期。
• 应用Kuranishi理论在刚化模空间上构造虚拟周期，然后通过群作用将其下降到原始空间。
• 通过一参数族多项式 $\tilde{W}_t = W + tZ$ 上的cobordism论证，证明虚拟周期在形变下保持不变。

实验结果

研究问题

• RQ1 在Witten方程具有奇异系数的条件下，如何为解空间的模空间构造一个虚拟基本周期？
• RQ2 通过摄动理论构造的虚拟周期是否满足类似于Gromov-Witten和r自旋理论中的公理？
• RQ3 摄动参数的墙穿跃与奇点理论中经典Picard-Lefschetz单值化之间有何关系？
• RQ4 能否将摄动Witten方程的虚拟周期扩展到原始（未摄动）方程？
• RQ5 虚拟周期与由多项式 $W$ 定义的奇点不变量之间存在何种关系？

主要发现

• 通过摄动构造的虚拟周期 $[\overline{\mathscr{M}}_{g,k,W}(\boldsymbol{\gamma})]^{vir}$ 满足Gromov-Witten和r自旋理论的所有公理。
• 虚拟周期在墙穿跃下保持不变，并与经典Picard-Lefschetz单值化一致，建立了与奇点理论的深刻联系。
• 原始Witten方程的扩展虚拟周期作为摄动周期的极限获得，其满足不连通图、弱凹性和指标零公理。
• 对于情形 $\overline{\mathscr{M}}_{0,3,W}(\gamma,\gamma^{-1},J^{-1})$，虚拟周期为配对在不变同调上的Casimir元的 $\frac{1}{|G|}$ 倍。
• 虚拟周期在形变下保持不变：$[\overline{\mathscr{M}}_{g,k,W,G}(\boldsymbol{\gamma})]^{vir} = \overline{\mathscr{M}}_{g,k,\tilde{W}}(\boldsymbol{\gamma}) \cap [\overline{\mathscr{M}}_{g,k,W}(\boldsymbol{\gamma})]^{vir}$，通过cobordism论证证明。
• 在刚化空间 $\overline{\mathscr{M}}^{\mathrm{rig}}_{g,k,W}(\boldsymbol{\gamma})$ 上的虚拟周期通过商映射 $so_\Gamma$ 降下来到原始空间，且该映射的次数在周期定义中起到了归一化作用。