[论文解读] Symplectic hypersurfaces and transversality in Gromov-Witten theory

Kai Cieliebak, Klaus Mohnke|ArXiv.org|Feb 28, 2007

Geometric and Algebraic Topology参考文献 12被引用 8

一句话总结

本文提出了一种新颖的方法，通过使用高阶 symplectic 超曲面和受约束的标记点，实现闭 symplectic 流形中 $J$-holomorphic 圆环的横截性，确保稳定映射的模空间是一个光滑的、有限维流形。关键贡献是通过伪循环上同调评估，定义了一个与辅助选择（如超曲面和几乎复结构）无关的、良好定义且正则的亏格零 Gromov-Witten 不变量。

ABSTRACT

We use Donaldson hypersurfaces to construct pseudo-cycles which define Gromov-Witten invariants for any symplectic manifold which agree with the invariants in the cases where transversality could be achieved by perturbing the almost complex structure.

研究动机与目标

• 解决具有整数 symplectic 形式的闭 symplectic 流形中亏格零 Gromov-Witten 理论的横截性问题。
• 构建一个良好定义的、正则的、带有标记点映射到 symplectic 超曲面的 $J$-holomorphic 圆环的模空间。
• 通过伪循环上同调评估定义亏格零 Gromov-Witten 不变量，使其独立于辅助数据（如 symplectic 超曲面和几乎复结构的选择）。
• 在 Donaldson 对的同伦以及 symplectomorphisms 下建立不变量的不变性。
• 为 symplectic 几何中全纯曲线提供一种比一般 polyfold Fredholm 理论更简单的替代方法，仅依赖标准泛函分析工具。

提出的方法

• 引入一个高阶数 $D$ 的 symplectic 超曲面 $Y \subset X$，其表示 $D[\omega]$ 的 Poincaré 对偶，且其 Kähler 角 $\theta(Y;\omega,J) < \theta_3$ 受控。
• 使用 Donaldson 的构造，确保当 $D$ 足够大时，此类超曲面存在。
• 定义一个空间 $\mathcal{J}_{\ell+1}(X,Y;J,\theta_1)$，即 $X$ 上保持 $TY$ 的 $\omega$-tamed 几乎复结构集合，且在 $\theta_1$ 范围内接近 $J$，并关于 Deligne-Mumford 紧化 $\bar{\mathcal{M}}_{\ell+1}$ 光滑依赖于点。
• 通过要求最后 $\ell = D\omega(A)$ 个标记点映射到 $Y$ 来稳定定义域曲线，从而实现自动稳定化和横截性。
• 构造一个标记树 $T$ 上的 $K$-holomorphic 圆环的模空间 $\mathcal{M}_T(A,K;Y)$，其中最后 $\ell$ 个标记点位于 $Y$ 上，并证明其为实维数为 $2(n - 3 + k + c_1(A) - e(T))$ 的光滑流形。
• 使用伪循环上同调评估映射 $\mathrm{ev}^k$ 定义不变量，并在 Donaldson 对的同伦和 symplectomorphisms 下建立有理 cobordism 不变量性。

实验结果

研究问题

• RQ1 能否通过 symplectic 超曲面和标记点约束，在闭 symplectic 流形中实现 $J$-holomorphic 圆环的横截性？
• RQ2 在这些约束下，稳定映射的模空间是否构成一个光滑的、有限维流形？
• RQ3 能否定义一个独立于 symplectic 超曲面和几乎复结构选择的亏格零 Gromov-Witten 不变量？
• RQ4 该不变量是否在辅助数据（如 symplectomorphisms 和几乎复结构的路径）的同伦下保持不变？
• RQ5 该方法能否为 symplectic 几何中全纯曲线提供一种比一般 polyfold Fredholm 理论更简单的替代方案？

主要发现

• 对于任意具有 $[\omega] \in H^2(X; \mathbb{Z})$ 的闭 symplectic 流形 $(X^{2n}, \omega)$，以及任意阶数 $D \geq D^*(X,\omega,J)$ 的 Donaldson 对 $(J,Y)$，存在一个正则集合 $\mathcal{J}^{\mathrm{reg}}_{\ell+1}(X,Y;J,\theta_1)$，使得模空间 $\mathcal{M}_T(A,K;Y)$ 是一个实维数为 $2(n - 3 + k + c_1(A) - e(T))$ 的光滑流形。
• 评估映射 $\mathrm{ev}^k: \mathcal{M}_{k+\ell}(A,K;Y) \to X^k$ 是一个伪循环，其同调类定义了一个良好定义的亏格零 Gromov-Witten 不变量。
• 在有理 cobordism 下，满足 $\frac{1}{\ell_0!} \mathrm{ev}^k(J_0,Y_0) \sim \frac{1}{\ell_1!} \mathrm{ev}^k(J_1,Y_1)$，证明了对超曲面和几乎复结构选择的独立性。
• 该不变量在同痕于恒等映射的 symplectomorphisms 下保持不变，这是通过一条 symplectomorphism 路径诱导的有理 cobordism 所证明。
• 该构造在粘合下是稳定的，并且当在第二个超曲面 $Y_1$ 上增加 $\ell_1$ 个额外标记点时，诱导一个度数为 $\ell_1!$ 的覆盖映射，从而得到等式 $\mathrm{ev}^k(J_0,Y_0;K_0) \sim \frac{1}{\ell_1!} \mathrm{ev}^k(J_0,Y_0,J_1,Y_1;\pi_{\ell_0}^*K_0)$。
• 该方法避免了 polyfold 理论的完整框架，仅依赖标准泛函分析，从而为亏格零 Gromov-Witten 不变量提供了一种更简单、更有效的构造。