[論文レビュー] Relative Gromov-Witten Invariants

Eleny-Nicoleta Ionel, Thomas H. Parker|ArXiv.org|Jul 23, 1999

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

ひとこと要約

この論文は、V-安定写像のコンpact化されたモジュライ空間を構成することで、codimension-twoのシンプレクティック部分多様体に関するシンプレクティック多様体の相対的Gromov-Witten不変量を導入する。主な貢献は、シンプレクティック和の公式を厳密に確立するための枠組みを構築したことであり、これはヒューリッツ数やCaporaso-Harris不変量を一般化し、相対的状況における数え上げ幾何学の基盤を提供する。

ABSTRACT

We define relative Gromov-Witten invariants of a symplectic manifold relative to a codimension two symplectic submanifold. These invariants are the key ingredients in the symplectic sum formula of [IP4]. The main step is the construction of a compact space of `V-stable' maps. Simple special cases include the Hurwitz numbers for algebraic curves and the enumerative invariants of Caporaso and Harris.

研究の動機と目的

• シンプレクティック多様体の相対的Gromov-Witten不変量を、codimension-twoのシンプレクティック部分多様体に関するものとして定義すること。
• 不変量を支えるために、V-安定写像のコンパクトなモジュライ空間を構成すること。
• Gromov-Witten理論におけるシンプレクティック和の公式の基礎的枠組みを提供すること。
• 古典的な数え上げ不変量（ヒューリッツ数やCaporaso-Harris不変量）をシンプレクティックな文脈に一般化すること。

提案手法

• 著者らは、シンプレクティック除数に沿った相対的条件を許容するための安定写像の一般化として、V-安定写像の概念を導入する。
• 仮想基本クラスに基づく安定性条件を用いて、除数に沿った所定の接合条件を満たす写像のモジュライ空間のコンパクト化を構成する。
• 不変量は、V-安定写像のコンパクト化されたモジュライ空間の仮想基本クラスへの統合によって定義される。
• コンパクト化されたモジュライ空間からの滑らかな接合性が保証され、シンプレクティック和の操作に対して適切に動作し、シンプレクティック和の公式が得られる。
• この手法は、Gromov-Witten理論および仮想サイクル理論を含むシンプレクティック位相幾何学の技術に依存している。
• 特別な場合（例えば曲線の相対不変量）において、代数幾何学と整合性を示す。

実験結果

リサーチクエスチョン

• RQ1 写像がシンプレクティック除数に沿って接合条件を満たす相対的状況において、Gromov-Witten不変量をどのように定義できるか。
• RQ2 退化に対してうまく振る舞う不変量を定義するためには、どのようなコンパクト性および安定性条件が必要か。
• RQ3 コンパクトなモジュライ空間から得られる相対的不変量を用いて、シンプレクティック和の公式を厳密に確立できるか。
• RQ4 これらの相対的不変量は、ヒューリッツ数やCaporaso-Harris不変量といった古典的数え上げ不変量とどのように関係するか。
• RQ5 相対的状況におけるコンパクト性および仮想次元の制御を達成するために、V-安定写像が果たす役割は何か。

主な発見

• 著者らは、相対的Gromov-Witten不変量を定義する基盤をなす、V-安定写像のコンパクトなモジュライ空間を成功裏に構成した。
• 相対的不変量は適切に定義されており、有限である。また、モジュライ空間の仮想次元は、障害理論から予想される次元と一致する。
• 不変量はシンプレクティック和の公式を満たしており、[IP4]の補足的論文で確認されたものである。これは、部分多様体に沿ってシンプレクティック多様体を接合する役割を果たすことを示している。
• この構成は既知の不変量を回復する。特に、滑らかで genus-zero の曲線の場合、ヒューリッツ数およびCaporaso-Harris不変量に特殊化される。
• この枠組みは代数幾何学と整合性を示し、代数的カテゴリにおける既存の数え上げ結果と一貫性を保っている。
• V-安定写像のモジュライ空間上の仮想基本クラスは適切に定義されており、不変量の統合を可能にしている。