[論文レビュー] Kuranishi structure, Pseudo-holomorphic curve, and virtual fundamental chain: Part 2

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Apr 6, 2017

Advanced Algebra and Geometry被引用数 11

ひとこと要約

この論文は、シンプレクティック幾何学における仮想基本鎖およびサイクルの技法を、Kuranishi構造を用いて厳密に確立する。K-システムの同時摂動に注力し、擬全解析的曲線の不変量を定義する。先行研究に依存せず、自己完結的な枠組みを提供し、モジュライ空間が特異的または非コンパクトであっても、well-defined な数え上げ的不変量の構成を可能にする。

ABSTRACT

This article is the second part of the article we promised to write at the end of Section 1 of [FOOO15] (arXiv:1209.4410). (Part I appeared in [Part I] (arXiv:1503.07631).) We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version that appeared in [FOn] and also in Section A1, Section 7.5 [FOOO4], Section 12 [FOOO7], [Fu2]. This article is independent of our earlier writing [FOOO15]. We also do not assume that the readers have any knowledge on the pseudo-holomorphic curve. In this second part, we consider a system of spaces with Kuranishi structures (abbreviated as a K-system) and its simultaneous perturbations.

研究の動機と目的

• 仮想基本鎖およびサイクル技法の包括的かつ独立した基礎を、シンプレクティックトポロジーにおいて確立すること。
• 擬全解析的曲線の知識が事前に不要な形で、Kuranishi構造およびその同時摂動の理論を形式化すること。
• 特異的または非コンパクトなモジュライ空間を伴う擬全解析的曲線のwell-defined な不変量を構成すること。
• 先行研究 [FOn]、[FOOO4]、[FOOO7]、[Fu2] のアプローチを統合・一般化し、一貫性のある枠組みにすること。
• Gromov-Witten理論および関連分野における数え上げ的不変量の厳密な技術的基盤を確立すること。

提案手法

• 特異的モジュライ空間を扱う一般枠組みとして、Kuranishi構造を持つ空間の系（K-システム）を導入する。
• 幾何学的構造を変更せずに横断性を達成するため、K-システムの同時摂動の概念を発展させる。
• Kuranishiチャートとグルーピングデータを用いたパッチング構成により、モジュライ空間の異なるストラタ間の整合性を保証する。
• Kuranishiチャート上で分区画の原理を適用し、仮想次元を保存するグローバル摂動を構成する。
• 一様な境界と一貫性のあるKuranishiチャートの体系を用いて、仮想基本鎖の存在および一意性を保証する。
• 摂動されたセクションおよびその零点集合を用いた、仮想基本サイクルのチェーンレベルの構成を確立する。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間が特異的または非コンパクトである場合、擬全解析的曲線の仮想基本鎖をどのように定義できるか？
• RQ2 ほとんど複素構造の摂動に対して、仮想基本鎖の存在および不変性を保証する条件は何か？
• RQ3 K-システムの同時摂動をどのように構成すれば、仮想次元を保ちながら横断性を達成できるか？
• RQ4 Kuranishi構造が仮想不変量の整合的かつwell-defined な構成を可能にする明確な役割は何か？
• RQ5 この枠組みは、[FOn]、[FOOO4]、[FOOO7]、[Fu2] の先行研究の構成をどのように統合・一般化するか？

主な発見

• 本論文は、Kuranishi構造と同時摂動を用いて、擬全解析的曲線のモジュライ空間に対するwell-defined な仮想基本鎖を構成した。
• 仮想基本鎖が、ほとんど複素構造および摂動データの小さな摂動に対して不変であることを証明した。
• この枠組みは自己完備的であり、擬全解析的曲線の知識が事前に不要であるため、より広い読者にアクセス可能である。
• 構成により、Gromov-Witten理論における数え上げ的不変量の定義に用いるwell-defined な仮想基本サイクルが得られた。
• 摂動が十分に一般かつKuranishi構造と整合的であれば、得られる不変量は摂動の選び方に依存しないことが保証された。
• 理論が、[FOn]、[FOOO4]、[FOOO7]、[Fu2] の先行結果と整合的であり、それらを一般化することが示された。