[论文解读] Virtual Neighborhood Technique for Holomorphic Curve Moduli Spaces

An-Min Li, Sheng Li|arXiv (Cornell University)|Oct 29, 2017

Geometric and Algebraic Topology参考文献 33被引用 4

一句话总结

本文提出了一种基于Ruan与Li-Ruan框架的虚拟邻域技术，通过在虚拟邻域的顶层上积分，而非处理低层结构，从而为一般辛流形定义Gromov-Witten不变量。作者通过局部正则化程序与具有指数衰减控制的全局丛构造，证明了这些不变量满足所有Kontsevich-Manin公理，包括WDVV方程与分裂公理。

ABSTRACT

In this paper we use the approach of Ruan and Li-Ruan to construct virtual neighborhoods and show that the Gromov-Witten invariants can be defined as an integral over top strata of virtual neighborhood. We prove that the invariants defined in this way satisfy all the Gromov-Witten axioms of Kontsevich and Manin.

研究动机与目标

• 为不满足半正则条件的一般辛流形定义Gromov-Witten不变量。
• 解决全纯曲线模空间中低层结构带来的技术难题。
• 构建一个虚拟邻域，使其顶层支持通过积分定义的不变量。
• 证明所得不变量满足所有Gromov-Witten公理，包括WDVV与分裂公理。
• 通过有限秩轨道丛与具有可控衰减的丛映射，建立全局正则化。

提出的方法

• 通过使用$G_{b_o}$-不变子空间$\widetilde{K}_{b_o}$与$\mathbf{A}$上的$Diff^+(\Sigma)$-不变距离，基于加厚的FREDHOLM系统实现局部正则化。
• 通过具有满线性化$D\mathcal{S}$的丛映射$\mathcal{S}: \mathbf{F} \to \mathcal{E}$，定义全局虚拟邻域$\mathbf{U} = \mathcal{S}^{-1}(0) \subset \mathcal{U}$。
• 使用有限开覆盖$\{\mathbf{O}_{[b_i]}(\delta_i, \rho_i)\}$覆盖$\overline{\mathcal{M}}_{g,n}(A)$，并配备相容的群作用与过渡数据。
• 在$\mathcal{U}$上构造有限秩轨道丛$\mathbf{F}$，使得$\widetilde{\mathbf{F}}|_{b_i}$包含$\mathbb{R}[G_{b_i}]$，以模仿Siebert的构造。
• 应用Thom形式$\Phi_c$与指数衰减估计，将$\mathbf{U}^T_c$上的积分约化为$\mathbf{U}^T_{1c} \times \mathbf{U}^T_{2c}$上的乘积，从而实现分裂公理的证明。
• 利用Stokes定理与满足$\Phi - \Delta^* = d\sigma$的微分形式$\sigma$，将积分与Poincaré对偶性及交数联系起来。

实验结果

研究问题

• RQ1 能否通过避开模空间中的低层结构，在不依赖半正则条件的情况下定义Gromov-Witten不变量？
• RQ2 能否基于Ruan与Li-Ruan方法的虚拟邻域构造，获得满足所有Kontsevich-Manin公理的不变量？
• RQ3 如何利用靠近低层结构时微分形式的指数衰减特性，通过顶层积分定义不变量？
• RQ4 能否通过有限秩轨道丛与具有可控满射性的丛映射实现全局正则化？
• RQ5 在虚拟邻域的背景下，能否利用Thom形式与Poincaré对偶性证明分裂公理？

主要发现

• 通过虚拟邻域顶层积分定义的Gromov-Witten不变量满足所有Kontsevich-Manin公理。
• 即使模空间存在低层结构，不变量仍为良好定义，原因在于靠近这些结构时形式的指数衰减。
• 分裂公理成立，其符号因子为$\epsilon(K,\alpha) = (-1)^{\deg(K_2)\sum_{i=1}^{n_1} \deg(\alpha_i)}$，且Poincaré对偶为$\Delta^* = \sum_{a,b} \eta^{ab} \beta_a \otimes \beta_b$。
• WDVV方程作为公理框架与虚拟邻域构造一致性的结果而成立。
• 通过具有满射微分$D\mathcal{S}$的丛映射$\mathcal{S}: \mathbf{F} \to \mathcal{E}$实现全局正则化，确保零点集良好定义。
• 该构造与重叠局部图之间的粘合及过渡数据相容，确保全局一致性。