[论文解读] Virtual neighborhood technique for pseudo-holomorphic spheres

Bohui Chen, An-Min Li+1 more|arXiv (Cornell University)|Jun 14, 2013

Geometric and Algebraic Topology参考文献 22被引用 21

一句话总结

该论文提出了一种针对辛流形中伪全纯球面的虚拟邻域技术，通过截面与管状邻域定理解决了 $PSL(2,\mathbb{C})$-作用在 $W^{1,p}$-映射上的非可微性问题。通过利用有限维虚拟系统（基于恰当的局部态群概形与不变粘贴数据）实现虚拟轨道积分，建立了无需横截性假设的、定义良好的零亏格 Gromov-Witten 不变量。

ABSTRACT

This is the first part of a trilogy where we apply the theory of virtual manifold/orbifolds developed by the first named author and Tian to study the Gromov-Witten moduli spaces. In this paper, we resolve the main analytic issue arising from the lack of differentiability of $PSL(2, \C)$-action on spaces of $W^{1, p}$-maps from the Riemann sphere to a symplectic manifold $(X, ω, J)$ with a non-zero homology class $A$. In particular, we establish the slice and tubular neighbourhood theorems for $PSL(2, \C)$-action along smooth maps, and construct a $PSL(2, \C)$-obstruction bundle along $PSL(2, \C)$-orbit of a pseudo-holomorphic map representing a point in the moduli space $\cM_{0, 0}(X, A)$. In Sections 2 and 3 of this paper, we explain an integration theory on virtual orbifolds using proper étale groupoids and establish the virtual neighborhood technique for a general orbifold Fredholm system. When the moduli space $\cM_{0, 0}(X, A)$ of pseudo-holomorphic spheres in $(X, ω, J)$ is compact, applying the virtual neighborhood technique developed in Section 3, we obtain a virtual system for the moduli space $\cM_{0, 0}(X, A)$ of pseudo-holomorphic spheres in $(X, ω, J)$ and show that the genus zero Gromov-Witten invariant is well-defined.

研究动机与目标

• 为从黎曼球面到辛流形的 $W^{1,p}$-映射上的非可微 $PSL(2,\mathbb{C})$-作用提供解析上的解决方法。
• 通过虚拟轨道与恰当的局部态群概形，为伪全纯球面的紧致模空间建立虚拟邻域框架。
• 通过稳定化与不变粘贴数据构造有限维虚拟系统，实现无需横截性假设的零亏格 Gromov-Witten 不变量定义。
• 确保虚拟积分在不同单位分解与 Thom 形式选择下的不变性与定义良好性。

提出的方法

• 针对光滑伪全纯映射，建立 $PSL(2,\mathbb{C})$-作用的截面与管状邻域定理，确保商结构的局部光滑性。
• 利用恰当的局部态群概形建模模空间，并通过弗雷德霍姆系统的全局稳定化定义虚拟轨道。
• 通过不变局部稳定化与粘贴数据，实现 $G$-等变虚拟邻域技术，保持群作用相容性。
• 通过单位分解 $\{\eta_I\}$、过渡 Thom 形式 $\theta_I$ 与 $\Theta$-扭曲形式定义虚拟积分，以计算不变量。
• 通过积分 $\Phi(\alpha) = \sum_I \int_{{\mathcal{V}}_I} \eta_I \cdot \theta_I \cdot \alpha_I$ 应用虚拟欧拉类，定义 Gromov-Witten 不变量。
• 利用经典定向理论与扰动 $\bar{\partial}_J$-方程的椭圆正则性，验证定向性与假设 3.23。

实验结果

研究问题

• RQ1 如何克服 $W^{1,p}$-映射上 $PSL(2,\mathbb{C})$-作用的非可微性，以定义光滑商结构？
• RQ2 能否通过虚拟轨道技术，为伪全纯球面的模空间构造有限维虚拟系统？
• RQ3 在不假设 $\bar{\partial}_J$-截面横截性的情况下，零亏格 Gromov-Witten 不变量是否仍可定义良好？
• RQ4 如何使虚拟邻域构造具有 $G$-等变性，以保持重参数化下的对称性？
• RQ5 在何种条件下，虚拟积分的不变性可确保不受单位分解与 Thom 形式选择的影响？

主要发现

• 针对光滑映射，建立了 $PSL(2,\mathbb{C})$-作用的截面与管状邻域定理，解决了主要的解析障碍。
• 构造了 $G$-等变有限维虚拟系统 $\{ (\widetilde{\mathcal{V}}_I, \widetilde{E}_I, \widetilde{\sigma}_I) \}$，其零点集覆盖了全息模空间 $\widetilde{\mathcal{M}}$。
• 获得了有限维虚拟轨道系统 $\{ (\mathcal{V}_I, \mathbf{E}_I, \sigma_I) \}$，其零点集覆盖模空间 $\mathcal{M}$，确保了适当的轨道结构。
• 虚拟不变量 $\Phi(\alpha) = \sum_I \int_{{\mathcal{V}}_I} \eta_I \cdot \theta_I \cdot \alpha_I$ 定义良好且与选择无关，如附注 3.25 所证。
• 即使模空间不满足横截性，仍可通过虚拟邻域技术实现虚拟积分，从而定义良好的零亏格 Gromov-Witten 不变量。
• 该方法可推广至 $k$-标记点情形：当 $k \geq 3$ 时，系统本身已是轨道弗雷德霍姆系统；当 $k \leq 2$ 时，通过等变稳定化技术适用。