[论文解读] Quantum Homology of fibrations over $S^2$

Dusa McDuff|ArXiv.org|May 14, 1999

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

一句话总结

本文研究了以 $S^2$ 为底空间、结构群由纤维 $(M,\omega)$ 的哈密顿辛同胚构成的纤维丛的量子同调与上同调。利用虚拟模空间周期理论和格罗莫夫-威滕不变量的高级工具，证明了有理上同调在加法意义下分解为 $H^*(M) \otimes H^*(S^2)$，并确定了量子环结构也分解的条件，推广了拉隆德-麦克道夫-波尔特罗维奇与塞德尔的早期结果。

ABSTRACT

This paper studies the (small) quantum homology and cohomology of fibrations $p: P o S^2$ whose structural group is the group of Hamiltonian symplectomorphisms of the fiber $(M,\om)$. It gives a proof that the rational cohomology splits additively as the vector space tensor product $H^*(M)\otimes H^*(S^2)$, and investigates conditions under which the ring structure also splits, thus generalizing work of Lalonde-McDuff-Polterovich and Seidel. The main tool is a study of certain operations in the quantum homology of the total space $P$ and of the fiber $M$, whose properties reflect the relations between the Gromov-Witten invariants of $P$ and $M$. In order to establish these properties we further develop the language introduced in [Mc3] to describe the virtual moduli cycle (defined by Liu-Tian, Fukaya-Ono, Li-Tian, Ruan and Siebert).

研究动机与目标

• 理解以 $S^2$ 为底空间、结构群为哈密顿辛同胚的辛纤维丛 $p: P \to S^2$ 的量子同调与上同调。
• 确定总空间 $P$ 的有理上同调在加法和环论意义下分解为 $H^*(M) \otimes H^*(S^2)$ 的条件。
• 推广拉隆德-麦克道夫-波尔特罗维奇与塞德尔关于 $S^2$ 上纤维丛的量子上同调分解的早期结果。
• 发展并应用一种精细化的虚拟模空间周期语言，以分析 $P$ 与 $M$ 的格罗莫夫-威滕不变量之间的关系。

提出的方法

• 利用刘-田、福凯-大岛、李-田、阮与齐伯特建立的虚拟模空间周期框架，分析总空间 $P$ 中伪全纯曲线的性质。
• 引入并研究 $P$ 与 $M$ 的量子同调中的运算，以反映其格罗莫夫-威滕不变量之间的相互作用。
• 应用 [Mc3] 中的技术，描述哈密顿纤维丛背景下虚拟基本类的结构。
• 分析 $H_*(P; \Lambda)$ 中的量子乘积结构，其中 $\Lambda$ 为诺维科夫环，以检测环论意义下的分解。
• 建立量子上同调环在 $P$ 上分解为 $M$ 的量子上同调与 $S^2$ 的普通上同调的张量积的条件。
• 运用谱序列论证与滤子技术，将 $P$ 的量子同调与 $M$ 及 $S^2$ 的量子同调联系起来。

实验结果

研究问题

• RQ1 在何种条件下，$S^2$ 上哈密顿纤维丛的有理上同调可分解为 $H^*(M) \otimes H^*(S^2)$？
• RQ2 在何种条件下，总空间 $P$ 的量子上同调环可分解为纤维 $M$ 的量子上同调与 $S^2$ 的普通上同调的张量积？
• RQ3 在哈密顿纤维丛的背景下，$P$ 的格罗莫夫-威滕不变量与纤维 $M$ 的格罗莫夫-威滕不变量之间有何关系？
• RQ4 虚拟模空间周期在控制此类纤维丛的量子同调结构中起何种作用？
• RQ5 虚拟基本周期的语言能否被有效用于推导 $S^2$ 上纤维丛的量子上同调结构结果？

主要发现

• 总空间 $P$ 的有理上同调在加法意义下分解为 $H^*(M) \otimes H^*(S^2)$，确认了 $S^2$ 上哈密顿纤维丛的一项结构性质。
• 本文确定了量子上同调环在 $P$ 上也作为张量积分解的充分条件，推广了拉隆德-麦克道夫-波尔特罗维奇与塞德尔的早期结果。
• $P$ 与 $M$ 的量子同调中的运算被证明编码了其格罗莫夫-威滕不变量之间的关系，构成了关键技术工具。
• 虚拟模空间周期形式化方法使得对量子乘积结构的精确控制成为可能，从而推导出环论意义下的分解结果。
• 分析表明，$P$ 的量子同调深受 $M$ 的量子同调与 $S^2$ 的拓扑影响，后者在度数 2 上贡献了一个生成元。
• 本研究建立了一个通过格罗莫夫-威滕不变量与虚拟周期技术相互作用来研究纤维丛上量子上同调的框架。