[论文解读] Genus zero Gromov-Witten axioms via Kuranishi atlases

Robert Castellano|arXiv (Cornell University)|Jan 15, 2016

Geometric and Algebraic Topology参考文献 7被引用 6

一句话总结

本文通过引入横截子概形的概念并证明 $C^1$ 分层光滑 Kuranishi 概形足以为任意虚维数定义虚拟基本类，从而利用 Kuranishi 概形建立了零亏格 Gromov-Witten 不变量。该工作验证了这些不变量的所有 Kontsevich-Manin 公理，结合严格的扰动理论与横截性技术，完整完成了零亏格情形的构造。

ABSTRACT

A Kuranishi atlas is a structure used to build a virtual fundamental class on moduli spaces of $J$-holomorphic curves. They were introduced by McDuff and Wehrheim to resolve some of the challenges in this field. This paper completes the construction of genus zero Gromov-Witten invariants using Kuranishi atlases and proves the Gromov-Witten axioms of Kontsevich and Manin. To do so, we introduce the notion of a transverse subatlas, a useful tool for working with Kuranishi atlases.

研究动机与目标

• 通过 Kuranishi 概形在虚维数为零的情形之外完成零亏格 Gromov-Witten 不变量的构造。
• 将虚拟基本类的构造推广至 $C^1$ 分层光滑 Kuranishi 概形，推广此前针对光滑概形的结果。
• 引入并利用横截子概形的概念作为处理约束与扰动的关键技术工具。
• 在 Kuranishi 概形框架内验证零亏格 Gromov-Witten 不变量的所有 Kontsevich-Manin 公理。
• 建立适用于 $C^1$ SS 概形的扰动理论，确保横截性并避免低余维子集，尤其在 0 维情形下。

提出的方法

• 将 $C^1$ 分层光滑（$C^1$ SS）Kuranishi 概形引入为光滑 Kuranishi 概形的推广，以处理稳定映射模空间。
• 定义横截子概形作为控制扰动并确保与模空间中约束兼容的结构。
• 应用 Gromov-Pietsch 的横截性延拓定理，构造使横截性在开子集上成立的小扰动截面映射。
• 通过嵌套约化与适配扰动，保持不同层之间的横截性，同时保持与遗忘映射和取值映射的兼容性。
• 利用截断函数与局部扰动，将横截性从紧致子集扩展至更大定义域，确保全局横截性。
• 应用 McDuff（2016）的结果，表明 0 维概形的扰动零集可被选择完全位于顶层，避免余维 ≥2 的子集。

实验结果

研究问题

• RQ1 能否使用 $C^1$ SS Kuranishi 概形为任意虚维数的零亏格 Gromov-Witten 模空间构造虚拟基本类？
• RQ2 如何利用横截子概形控制扰动并确保与同调约束及定义域约束的兼容性？
• RQ3 是否可以构造避免低余维子集（尤其在 0 维情形下）的扰动，同时保持横截性？
• RQ4 能否在 $C^1$ SS Kuranishi 概形框架内验证全部 Kontsevich-Manin 公理？
• RQ5 何种条件可确保截面映射的扰动保持横截且足够小，以维持虚拟基本类？

主要发现

• 在 genus zero 稳定 $J$-全纯映射的模空间 $\overline{\mathcal{M}}_{0,k}(A,J)$ 上存在 $C^1$ 分层光滑 Kuranishi 概形，其虚维数为 $d = 2n + 2c_1(A) + 2k - 6$。
• 对于任意定向、弱、$d$-维的 $C^1$ SS Kuranishi 概形，其虚拟基本类 $[X]_{\mathcal{K}}^{vir} \in \check{H}_d(X;\mathbb{Q})$ 是良好定义的。
• 遗忘映射 $\pi_0: U \to \overline{\mathcal{M}}_{0,k}^{\text{new}}$ 是 $C^1$ SS，确保与 Deligne-Mumford 空间结构的兼容性。
• 通过 $ev_k \times \pi_0$ 下虚拟基本类的推出并与周期类代表元相交，定义了零亏格 Gromov-Witten 不变量。
• 对于 0 维的 $C^1$ SS Kuranishi 概形，扰动零集可被选择完全位于顶层，避免余维 $\geq 2$ 的子集。
• 可构造一个 $C^1$ SS 扰动 $\nu$，使得 $s_J + \widetilde{\nu}_J + \nu_{\pitchfork}$ 在整个定义域上与零横截，且 $\nu$ 与 $\nu_{\pitchfork}$ 均可任意小，并在预紧子集上具有紧支集。