[论文解读] Hamiltonian S^1 manifolds are uniruled

Dusa McDuff|ArXiv.org|Jun 5, 2007

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

一句话总结

该论文证明了每个闭的哈密顿 $S^1$-流形都是辛无理的，即存在一个非零的亏格零 Gromov–Witten 不变量，且带有点约束。证明结合了哈密顿群基本群在量子同调中的 Seidel 表示与爆破技巧，表明从极大值到极小值不动点集的 $S^1$-不变梯度流线的存在性诱导出非平凡的量子乘积，从而即使在稳定子群非平凡的情况下，也意味着无理性。

ABSTRACT

The main result of this note is that every closed Hamiltonian S^1 manifold is uniruled, i.e. it has a nonzero Gromov--Witten invariant one of whose constraints is a point. The proof uses the Seidel representation of π_1 of the Hamiltonian group in the small quantum homology of M as well as the blow up technique recently introduced by Hu, Li and Ruan. It applies more generally to manifolds that have a loop of Hamiltonian symplectomorphisms with a nondegenerate fixed maximum. Some consequences for Hofer geometry are explored. An appendix discusses the structure of the quantum homology ring of uniruled manifolds.

研究动机与目标

• 建立所有闭的哈密顿 $S^1$-流形都是辛无理的，即存在一个非平凡的亏格零 Gromov–Witten 不变量，且带有点插入。
• 利用量子同调工具将无理性质从已知情形（例如 $n=1,2$）推广到任意维数。
• 解决如下问题：在辛范畴中，若每个点都存在 $S^1$-不变的 $J$-全纯球面，是否意味着无理性？
• 探讨该结果对 Hofer 几何与量子同调环结构的影响。

提出的方法

• 利用 $\pi_1(\mathrm{Ham}(M,\omega))$ 在小量子同调 $QH_*(M)$ 中的 Seidel 表示，以检测非平凡的量子乘积。
• 应用 Hu、Li 与 Ruan 的爆破技巧，对流形进行修改，使得最大与最小不动点集变为除数。
• 通过在 $S^1$-不变的几乎复结构下，将梯度流线的轨道构造为 $S^1$-不变的 $J$-全纯球面。
• 利用每个此类球面代表一个满足 $c_1(\alpha) = 2$ 的类 $\alpha$，并分析 Gromov–Witten 不变量 $\langle \mathrm{pt}, F_{\min}, F_{\max} \rangle_\alpha^M$。
• 对量子乘积系数使用扰动论证，证明存在某个 $a$ 使得量子乘积 $\mathrm{pt} \ast_a \xi_j \neq 0$，从而推出无理性。
• 依赖于量子同调环的结构及其通过 $*_{a}$ 的形变，表明某些系数的非零性意味着无理性。

实验结果

研究问题

• RQ1 在哈密顿 $S^1$-流形中，若每个点都存在 $S^1$-不变的 $J$-全纯球面，是否意味着该流形是辛无理的？
• RQ2 即使 $S^1$-作用具有非平凡稳定子群，每个闭的哈密顿 $S^1$-流形是否都是无理的？
• RQ3 在非半自由情形下，Seidel 表示能否用于检测非平凡的 Gromov–Witten 不变量？
• RQ4 在哈密顿 $S^1$-作用背景下，无理性质在辛爆破与反爆破下是否保持不变？
• RQ5 哈密顿 $S^1$-流形中，量子同调环结构与无理性质之间的确切关系是什么？

主要发现

• 每个闭的哈密顿 $S^1$-流形都是辛无理的，即存在一个非零的亏格零 Gromov–Witten 不变量 $\langle \mathrm{pt}, a_2, \dots, a_k \rangle_{k,\beta}^M$，其中 $\beta \neq 0$。
• 即使 $S^1$-作用不是半自由的，该结果依然成立，通过 Seidel 表示检测非平凡的量子乘积。
• 在量子同调中，存在某个 $a$ 使得量子乘积 $\mathrm{pt} \ast_a \xi_j \neq 0$，这通过 $QH_*(M)$ 的结构意味着无理性。
• 无理性质在辛爆破与反爆破下保持不变，如 Hu–Li–Ruan 所建立，该结果被用于将流形简化为不动点集为除数的形式。
• 非平凡的三焦点不变量 $\langle \mathrm{pt}, F_{\min}, F_{\max} \rangle_\alpha^M$ 的存在性由量子乘积的非零性所蕴含，确认了在许多情形下具有强无理性。
• 量子同调环的结构，特别是偶数量子环 $QH_{\mathrm{ev}}^a(M)$ 中单位的存在性，通过条件 (*) 表征了无理性，将代数结构与辛几何联系起来。