[論文レビュー] The gluing construction for normally generic J-holomorphic curves

Jean-Claude Sikorav|arXiv (Cornell University)|Feb 1, 2001

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

ひとこと要約

本稿は、ほぼ複素多様体内の通常的で一般の J-正則曲線に対して、貼り合わせ構成を確立し、このような曲線が、期待される次元の局所的ユークリッド近傍をモジュライ空間に持つことを証明する。次元4において、各成分が正の第一チエーン類を持ち、すべての特異点が通常の二重点であるとき、通常的で一般の性質が成立し、シンプレクティック同相性の結果が得られる：CP² 内の次数3のシンプレクティック面は、すべて代数的曲線とシンプレクティック同相である。

ABSTRACT

Under an assumption of normal genericity, we show that a stable J-holomorphic curve has, in the space of homologous curves of the same genus, a locally Euclidean neighbourhood of the expected dimension given by Riemann-Roch. In dimension 4, the normal genericity condition is satisfied in by every curve in CP2 (for an almost complex structure homotopic with the standard one) which has only nodes as singularities. This leads in particular to a solution of the symplectic isotopy problem for surfaces of degree 3.

研究の動機と目的

• J-正則曲線の貼り合わせ技法を有理曲線および横断的交わりの範囲を超えて拡張すること。
• 安定な J-正則曲線が、同ホロロジー類の曲線のモジュライ空間において、局所的にユークリッド空間と同相となる条件を確立すること。
• CP² 内の次数3のシンプレクティック面が、一般化された貼り合わせと同相性の議論により、代数的曲線とシンプレクティック同相であることを証明すること。
• 曲線に固定された有限個の点を含む場合の貼り合わせ構成を一般化すること。
• 一般的摂動のもとでモジュライ空間がパス接続性を保つことを確認することにより、同相性結果を可能にすること。

提案手法

• J-正則曲線のモジュライ空間の期待される次元を計算するために、リーマン・ロッホの公式の使用。
• J-正則方程式の線形化により、D_f0 = ∂̄ + a と定義される作用素を導入し、複素指数が ⟨c₁(TV), A⟩ + n(1−g) に等しいフレドホルム作用素であることを示す。
• D_f0 の像が補完可能であり、陰関数定理が適用可能であることを保証するための「通常的で一般の性質」の概念の導入。
• C^m × (C^{i(A,g)−m}/Γ₀) への局所ホメオモルフィズム φ_J を、C₀ の近傍のモジュライ空間から構成する。ここで m はノードの数である。
• ほぼ複素構造 J(V) 上の拡張モジュライ空間 M̄(V,A) を用い、射影 π: M̄(V,A) → J(V) を定義する。
• グロモフのコンパクト性とサード・スメールの定理を適用し、モジュライ空間内の特異ストラトムを一般に避けることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ノードを含む安定な J-正則曲線が、同ホロロジー類の曲線のモジュライ空間において、いつ局所的にユークリッド空間と同相となるか。
• RQ2 モジュライ空間が期待される次元と局所的構造を持つために必要な位相的および幾何的条件は何か。
• RQ3 CP² 内の次数3のシンプレクティック面は、貼り合わせと同相性の構成により、代数的曲線に同相に変形可能か。
• RQ4 有限個の点を固定することは、モジュライ空間の構造およびパス接続性の可能性にどのように影響するか。
• RQ5 通常的で一般の性質が、線形化された ∂̄-作用素の局所的逆写像の存在を保証するために果たす役割は何か。

主な発見

• 次元4において、通常的で一般の性質は、曲線の各成分が ⟨c₁(TV), C_i⟩ > 0 を満たし、すべての特異点が通常の二重点であるとき成立する。
• モジュライ空間 M̄_g(V,J,A) は、通常的で一般の曲線の近傍で、次元 i(A,g) = ⟨c₁(TV), A⟩ + (n−3)(1−g) の局所的ユークリッド近傍を持つ。
• CP² 内の次数3のシンプレクティック面に対して、9つではなく8つの点を固定することで、特異ストラトムを一般に避けることができ、モジュライ空間のパス接続性が保たれる。
• モジュライ空間 M̄(3;F) は3次元のトポロジカル多様体であり、境界を持つ。また、ほぼ複素構造の経路への射影はトポロジカルな部分埋め込みである。
• 特異軌跡の非切断性は一般に満たされており、これによりシンプレクティック同相性による代数的曲線への構成が可能になる。
• 固定された有限集合 F を含む曲線に対しても結果は拡張可能であり、F および経路 (J_t) の一般的選択のもとで、モジュライ空間はトポロジカル多様体のままである。