[論文レビュー] Quantum Homology of fibrations over $S^2$

Dusa McDuff|ArXiv.org|May 14, 1999

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

ひとこと要約

この論文は、$(M,\omega)$ をファイバーとするハミルトニアンシンプレクティズムの構造群をもつ $S^2$ 上のファイブレーションの量子ホモロジーおよびコホモロジーを調査する。仮想モジュライサイクル理論とグロモフ＝ウィッテン不変量の高度な道具を用いて、有理コホモロジーが $H^*(M) \otimes H^*(S^2)$ として加法的に分解することを証明し、量子環の構造が同様に分解する条件を同定する。これは、Lalonde-McDuff-Polterovich および Seidel の先行結果を一般化する。

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).

研究の動機と目的

• ハミルトニアン構造群をもつシンプレクティックファイブレーション $p: P \to S^2$ の量子ホモロジーおよびコホモロジーを理解すること。
• 全空間 $P$ の有理コホモロジーが $H^*(M) \otimes H^*(S^2)$ として、加法的にも環論的にも分解する条件を特定すること。
• Lalonde-McDuff-Polterovich および Seidel による $S^2$ 上のファイブレーションにおける量子コホモロジーの分解に関する先行結果を一般化すること。
• 仮想モジュライサイクルの洗練された言語を構築し、$P$ と $M$ のグロモフ＝ウィッテン不変量の関係を分析すること。

提案手法

• Liu-Tian, Fukaya-Ono, Li-Tian, Ruan, Siebert が開発した仮想モジュライサイクル枠組みを用いて、全空間 $P$ 内の擬複素曲線を分析する。
• グロモフ＝ウィッテン不変量の相互作用を反映する、$P$ と $M$ の量子ホモロジーにおける作用素を導入し、それらを研究する。
• 文献 [Mc3] の技術を応用して、ハミルトニアンファイブレーションの文脈における仮想基本類を記述する。
• $\Lambda$ をノビコフ環とする $H_*(P; \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$ 上のハミルトニアンファイブレーションの構造的性質を裏付ける。
• 本論文は、量子コホモロジーリングがテンソル積として分解する十分条件を同定し、Lalonde-McDuff-Polterovich および Seidel の先行結果を一般化する。
• $P$ と $M$ の量子ホモロジーにおける作用素が、それらのグロモフ＝ウィッテン不変量の関係を符号化しており、主要な技術的道具であることが示された。
• 仮想モジュライサイクル形式的枠組みにより、量子積構造を正確に制御でき、環論的分解結果の導出が可能になった。
• 解析により、$P$ の量子ホモロジーは $M$ の量子ホモロジーと $S^2$ の位相的性質に深く依存しており、後者は次数 2 の生成子を一つ寄与することが判明した。
• グロモフ＝ウィッテン不変量と仮想サイクル技術の相互作用を通じて、ファイブレーションにおける量子コホモロジーを研究するフレームワークを確立した。