[論文レビュー] Pseudoholomorphic curves and the symplectic isotopy problem

Vsevolod Shevchishin|ArXiv.org|Oct 27, 2000

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

ひとこと要約

本稿は、$ \mathbb{C}P^2 $ 内の同じ次数 $ d \leq 6 $ を持つ任意の2つのシンプレクティックに埋め込まれたコンパクトで連結かつ向き付けられた曲面が、シンプレクティックに同相であることを確立する。擬全純曲線の技法を用いて、一般のほぼ複素構造のホモトピー下での $ J_t $-全純曲線のモジュライ空間の鞍点性質を証明し、シンプレクティック同相性の構成を妨げる障害を取り除く。この性質を応用して、$ \mathbb{C}P^2 $ 内の低次の曲線における局所的および大域的シンプレクティック同相性問題を解決する。主な結果として、$ d \leq 6 $ に対してシンプレクティック同相性が成立することが確認され、以前の $ d \leq 3 $ の結果を拡張する。

ABSTRACT

The deformation problem for pseudoholomorphic curves and related geometrical properties of the total moduli space of pseudoholomorphic curves are studied. A sufficient condition for the saddle point property of the total moduli space is established. The local symplectic isotopy problem is formulated and solved for the case of imbedded pseudoholomorphic curves. It is shown that any two symplectically imbedded surfaces Sigma_0, Sigma_1 in CP^2 of the same degree d\le 6 are symplectically isotopic.

研究の動機と目的

• シンプレクティックに埋め込まれた $ \mathbb{C}P^2 $ 内の次数 $ d \leq 6 $ の曲面に対するシンプレクティック同相性問題を解決すること。
• 埋め込まれた擬全純曲線に対する局所的シンプレクティック同相性問題を定式化し、解くこと。
• 擬全純曲線の全モジュライ空間の鞍点性質を満たす十分条件を確立すること。
• シンプレクティック同相性の構成を妨げる、モジュライ空間内のトポロジカルな障害（局所的最大・最小点）を除去すること。
• $ c_1(X,\omega)[A] > 0 $ の場合に、より広範な肯定的解決への基盤を提供すること。

提案手法

• 一般のホモトピー $ h(t) = J_t $ による $ \omega $- tame ほぼ複素構造の変化の下で、$ J_t $-全純曲線の相対モジュライ空間 $ \mathcal{M}_h $ を分析する。
• $ c_1(X,\omega)[A] > 0 $ の場合、射影 $ \pi_h: \mathcal{M}_h \to [0,1] $ のすべての臨界点が鞍点であることを証明し、同相性の構成を妨げる局所的最大・最小点が存在しないことを保証する。
• グロモフコンパクトネスを用いて、$ t $ が定義域の境界に近づく際の曲線の極限挙動を制御する。特に、モジュライ空間が非コンパクトである場合に有効である。
• 擬全純曲線の特異点を標準的に滑らか化する手法を用いて、特に可約またはノードを持つ曲線の場合にシンプレクティックに同相な代表元を構成する。
• $ \mathcal{M}_h $ のコンパクト化における退化したストラトを避けることで、連続的切断 $ \sigma: [0,1] \to \mathcal{M}_h $ を構成し、同相性の存在を保証する。
• 代数幾何学およびセヴェリ問題の結果を応用し、特異曲線に近いノードを持つ曲線が、最大変形の滑らか化と同相であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $ (X,\omega) $ および $ [A] \in H_2(X,\mathbb{Z}) $ に対して、シンプレクティック同相性問題が肯定的解決を受ける条件は何か。
• RQ2 $ c_1(X,\omega)[A] > 0 $ の場合に、モジュライ空間 $ \mathcal{M}_h $ の鞍点性質を確立でき、シンプレクティック同相性の障害を排除できるか。
• RQ3 特に低次の曲線に対して、$ \mathbb{C}P^2 $ 内の埋め込み擬全純曲線に対する局所的シンプレクティック同相性問題は解けるか。
• RQ4 擬全純曲線の特異点を標準的に滑らか化することで、元の曲線とシンプレクティックに同相な曲線が得られるか。
• RQ5 一般の $ J_t $-全純曲線のパスが鞍点性質を持つ場合、$ \mathbb{C}P^2 $ 内で $ d \leq 6 $ の場合に大域的シンプレクティック同相性が保証されるか。

主な発見

• $ c_1(X,\omega)[A] > 0 $ の場合、射影 $ \pi_h: \mathcal{M}_h \to [0,1] $ の臨界点はすべて鞍点であり、同相性の構成を妨げる局所的最大・最小点が存在しない。
• 埋め込まれた擬全純曲線に対する局所的シンプレクティック同相性問題は、$ \mathbb{C}P^2 $ 内で、同じ次数 $ d \leq 6 $ を持つ任意の2曲線がシンプレクティックに同相であることを示し、解決された。
• $ d \leq 6 $ の場合、モジュライ空間を制約するのに必要なマークド点の数は $ 3d - 1 $ より厳密に小さいため、最大の $ t^+ < 1 $ が存在しないことが保証され、同相性が $ t = 1 $ まで拡張可能である。
• $ J_t $-全純曲線の系列の極限として得られる曲線 $ C^+ $ は、高々 $ \frac{d_1(d_1+3) + d_2(d_2+3)}{2} $ 個のマークド点を持つ。$ d \leq 6 $ の場合、この数は $ 3d - 1 $ よりも小さいため、最大の $ t^+ < 1 $ の存在は矛盾する。
• $ C^+ $ の特異点を標準的に滑らか化することで得られる曲線 $ C' $ は、元の曲線 $ C_0 $ とシンプレクティックに同相である。これにより、同相性の構成が完了する。
• 証明は、$ d \leq 6 $ の場合、モジュライ空間が最大の $ t^+ < 1 $ を持たないため、同相性パスを常に $ t = 1 $ まで拡張できることに依拠している。その結果、$ C_0 $ とシンプレクティックに同相な $ J_{\text{st}} $-全純曲線が得られる。