[论文解读] Virtual neighborhoods and pseudo-holomorphic curves

Yongbin Ruan|ArXiv.org|Nov 19, 1996

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

一句话总结

本文通过引入虚拟邻域和扰动技术，解决了非齐次辛流形中伪全纯曲线模空间的维数问题。通过障碍丛与相容扰动构造虚拟基本类，作者为格罗莫夫-威滕不变量建立了严格的数学基础，证明了量子上同调的结合性，并实现了法诺与卡拉比-丘流形中理性曲线计数等枚举不变量的计算。

ABSTRACT

We use virtual neighborhood technique to establish GW-invariants, Quantum cohomology, equivariant GW-invariants, equivariant quantum cohomology and Floer cohomology for general symplectic manifold. We also establish GW-invariants for a family of symplectic manifolds. As a consequence, we prove Arnold conjecture for nondegenerate Hamiltonian symplectomorphisms.

研究动机与目标

• 解决非齐次辛流形中稳定映射模空间的预期维数失效问题。
• 为超越枚举几何的量子上同调与格罗莫夫-威滕不变量提供严格的数学基础。
• 将伪全纯曲线理论扩展至非半正则辛流形，支持阿诺德猜想与双有理几何的应用。
• 通过扰动理论与障碍丛构造虚拟基本类，确保不变量的一致性。

提出的方法

• 引入虚拟邻域，作为模空间非横截时传统紧化方法的替代方案。
• 通过柯西-黎曼算子的扰动，利用障碍丛技术定义虚拟基本类。
• 采用带有角相容截面的稳定化过程，确保适当的评估映射与紧致性。
• 应用涉及Maslov指数与第一陈类的虚拟维数公式：$\mu(x^{-},u^{-}) - 2C_1(V)(A)$。
• 通过截面与评估映射的推出构造链映射 $\phi: C_m(V,H) \to C_m(V,\Lambda_\omega)$。
• 利用从线丛与对偶切层的拉回构造全局 $V$-丛，以支配局部 $V$-丛。

实验结果

研究问题

• RQ1 当预期维数失效时，如何为伪全纯曲线模空间定义一致的虚拟基本类？
• RQ2 格罗莫夫-威滕不变量是否可在一般辛流形中严格定义，并证明其结合律？
• RQ3 如何利用虚拟技术计算法诺与卡拉比-丘流形中的枚举不变量（如理性曲线计数）？
• RQ4 障碍丛与扰动在稳定模空间及确保横截性方面起到何种作用？

主要发现

• 模空间 $\mathcal{M}(x^{-},u^{-};pt,A)$ 的虚拟维数为 $\mu(x^{-},u^{-}) - 2C_1(V)(A)$，提供了精确的维数计数。
• 链映射 $\phi$ 满足 $\phi\delta = \delta\phi$，确保其与弗洛尔同调微分的相容性。
• $\phi$ 关于与角结构相容的虚拟邻域选择保持不变，确保了不变性。
• 在弗洛尔同调上，有 $\phi\psi = \mathrm{id}$ 且 $\psi\phi = \mathrm{id}$，证明 $\phi$ 是同构。
• 从 $f^*L \otimes \lambda_C$ 构造了全局 $V$-丛，其通过群环表示支配任意局部 $V$-丛。
• 存在一个截面 $v$ 满足 $v(x)=1$ 且对非单位元稳定子元素有 $v(g(v))=0$，确保群环可嵌入上同调，从而实现支配性。