[論文レビュー] Virtual neighborhoods and pseudo-holomorphic curves

Yongbin Ruan|ArXiv.org|Nov 19, 1996

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

ひとこと要約

本稿は、非一様なシンプレクティック多様体における擬全純曲線のモジュライ空間の次元問題を解決するため、仮想近傍と摂動技術を導入する。障害 bundle と整合性のある摂動を用いて仮想基本類を構成することで、著者たちは Gromov-Witten 不変量の厳密な基礎を確立し、量子コホモロジーの結合則を証明するとともに、ファノ多様体やカーミル・ヤウ多様体における有理曲線の個数といった枚挙不変量の計算を可能にする。

ABSTRACT

We use virtual neighborhood technique to establish GW-invariants, Quantum cohomology, equivariant GW-invariants, equivariant quantum cohomology and Floer cohomology for general symplectic manifold. We also establish GW-invariants for a family of symplectic manifolds. As a consequence, we prove Arnold conjecture for nondegenerate Hamiltonian symplectomorphisms.

研究の動機と目的

• 非一様なシンプレクティック多様体における安定写像のモジュライ空間で予想される次元が成立しない問題に対処すること。
• 枚挙幾何学を越えて、量子コホモロジーと Gromov-Witten 不変量の数学的基盤を厳密に提供すること。
• 半正則なシンプレクティック多様体を超えて、擬全純曲線理論を拡張し、Arnold 猜測や双有理幾何への応用を可能にすること。
• 摂動理論と障害 bundle を用いて仮想基本類を構成し、不変量の整合性を保証すること。

提案手法

• モジュライ空間が横断的でない場合、従来のコンパクト化の代わりに仮想近傍を導入する。
• コーシー・リーマン作用素の摂動を用いて、障害 bundle 手法により仮想基本類を定義する。
• コーナー構造に適合するセクションを用いた安定化処理により、適切な評価写像とコンパクトネスを保証する。
• マスロフ指数と第一チャーン類を含む仮想次元の公式を用いる：$\mu(x^{-},u^{-}) - 2C_1(V)(A)$。
• セクションのプッシュフォワードと評価写像を用いて、$\phi: C_m(V,H) \to C_m(V,\Lambda_\omega)$ というチェーン写像を構成する。
• ラインバンドルの引き戻しと双対化された接層を用いたグローバルな $V$-バンドル構成により、局所的 $V$-バンドルを支配する。

実験結果

リサーチクエスチョン

• RQ1 予想される次元が成立しない場合、擬全純曲線のモジュライ空間に対して一貫した仮想基本類をどのように定義できるか？
• RQ2 一般のシンプレクティック多様体において、Gromov-Witten 不変量を厳密に定義し、その結合則を証明できるか？
• RQ3 仮想的手法を用いて、ファノ多様体やカーミル・ヤウ多様体における有理曲線の個数といった枚挙不変量をどのように計算できるか？
• RQ4 障害 bundle と摂動は、モジュライ空間の安定化と横断性の確保にどのように寄与するか？

主な発見

• モジュライ空間 $\mathcal{M}(x^{-},u^{-};pt,A)$ の仮想次元は $\mu(x^{-},u^{-}) - 2C_1(V)(A)$ で与えられ、正確な次元数え上げが可能になる。
• チェーン写像 $\phi$ は $\phi\delta = \delta\phi$ を満たし、フローリングホモロジーの微分と整合性を持つ。
• $\phi$ はコーナー構造に適合する仮想近傍の選び方に依存せず、不変性が保証される。
• フローリングホモロジー上で $\phi\psi = \mathrm{id}$ および $\psi\phi = \mathrm{id}$ が成り立つため、$\phi$ が同型写像であることが証明される。
• $f^*L \otimes \lambda_C$ から構成されるグローバルな $V$-バンドルは、群環表現を用いて任意の局所的 $V$-バンドルを支配する。
• 非自明な安定化作用素の要素 $g(v) \neq 1$ に対して $v(x)=1$ かつ $v(g(v))=0$ を満たすセクション $v$ の存在により、群環がコホモロジーへ埋め込まれ、支配性が実現される。