[論文レビュー] The Symplectic Sum Formula for Gromov-Witten Invariants

Eleny-Nicoleta Ionel, Thomas H. Parker|ArXiv.org|Oct 23, 2000

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

ひとこと要約

この論文は、2つのシンプレクティック多様体を共通のcodimension-two部分多様体に沿って貼り合わせて得られるシンプレクティック多様体のグロモフ＝ウイッテン不変量を、各成分からの相対不変量を用いて計算するシンプレクティック和の公式を確立する。この公式は特異な中央ファイバーへの退化とノード近傍での正規化された擬全純写像の取り扱いに依拠しており、和の不変量が接触次数とホモロジー類が一致する相対不変量の畳み込みに等しいことを示している。

ABSTRACT

In the symplectic category there is a `connect sum' operation that glues symplectic manifolds by identifying neighborhoods of embedded codimension two submanifolds. This paper establishes a formula for the Gromov-Witten invariants of a symplectic sum Z=X#Y in terms of the relative GW invariants of X and Y. Several applications to enumerative geometry are given.

研究の動機と目的

• シンプレクティック和 $ Z = X \#_V Y $ のグロモフ＝ウイッテン不変量を、$ (X,V) $ および $ (Y,V) $ の相対不変量で表す一般式を導出すること。
• 標準的な GW 不変量が極限における非連結な定義域を捉えられないとする課題に対処し、タウブス＝ウイッテン不変量の使用を必要とする理由を明らかにすること。
• ネック圧縮写像の非単射性を解消するため、ノード近傍で正規化された写像を導入し、収束に関する情報を回復すること。
• ノード曲線の近傍におけるほぼ複素構造の振る舞いを制御するため、安定写像のモジュライ空間に円柱型計量を定義・利用すること。
• 多様体 $ X $ と $ Y $ におけるほぼ複素構造が $ V $ に沿って整合するように保証するための $ V $-整合性条件を導入し、その条件が擬全純極限写像を保証するために不可欠であることを示すこと。

提案手法

• ディスク $ D $ 上の族 $ Z \to D $ を構成し、$ \lambda \neq 0 $ のときのファイバー $ Z_\lambda $ が滑らかで、中央ファイバー $ Z_0 = X \cup_V Y $ となるようにする。これは正規バンドルにおける方程式 $ xy = \lambda $ を用いる。
• $ J $-擬全純写像のコンパクト性定理を用いて、$ Z_\lambda $ への写像列が $ \lambda \to 0 $ のとき $ Z_0 = X \cup_V Y $ への写像に収束することを示し、極限に $ V $ に含まれる成分が現れる可能性があることを示す。
• ネック圧縮下での擬全純写像列の局所的振る舞いを解析するため、ノード近傍で正規化された写像 $ \hat{f}_n $ を導入し、精密な位相での収束を保証する。
• 複素構造の変化の $ L^2 $-ノルムを用いた距離関数をモジュライ空間に定義し、ノード集合近傍では計量 $ \sum_k |\log(\mu_k' / \mu_k)|^2 $ となるようにする。
• 円柱型エンドを $ (0,1]^\ell $ に同定することでモジュライ空間をコンパクト化し、デリーニュ＝ムーディのコンパクト化へ射影することで、退化の制御を可能にする。
• $ V $-整合性条件をほぼ複素構造に導入することで、極限写像が擬全純であることを保証するが、$ V $ 近傍での摂動的横断性を失う代償を負う。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック和 $ Z = X \#_V Y $ のグロモフ＝ウイッテン不変量は、$ (X,V) $ および $ (Y,V) $ の相対不変量でどのように表現できるか？
• RQ2 ネックサイズ $ \lambda \to 0 $ のとき、シンプレクティック和の退化下で擬全純写像はどのように振る舞い、その極限挙動はどのように制御できるか？
• RQ3 なぜ標準的な GW 不変量はシンプレクティック和の設定において正しい数え上げを捉えられておらず、代わりにどの不変量を用いるべきか？
• RQ4 ノード近傍での擬全純写像の収束を解析する際、ネック圧縮写像の非単射性はどのように解決できるか？
• RQ5 ノード曲線の近傍における複素構造の変化を一様に制御できる、安定写像のモジュライ空間上のどの計量構造が有効か？

主な発見

• シンプレクティック和の公式により、和 $ Z $ のタウブス＝ウイッテン不変量が、接触次数 $ s = (s_1, \dots, s_\ell) $ とホモロジー類が一致する $ X $ および $ Y $ からの相対不変量の畳み込みとして表現される。
• ほぼ複素構造が $ V $-整合的であれば、$ Z_\lambda $ への $ J $-擬全純写像列の極限は $ Z_0 = X \cup_V Y $ への擬全純写像となる。
• $ Z_0 $ への安定写像のモジュライ空間には、完全に $ V $ に含まれる成分を持つ写像が含まれるが、これらは相対不変量から除外され、和の公式の右辺に寄与しない。
• 円柱型計量 $ \sum_k |\log(\mu_k' / \mu_k)|^2 $ は、モジュライ空間におけるノード集合の補集合にグローバルで不完全な計量を提供し、各座標で円筒に類似した漸近的挙動を示す。
• 正規化写像 $ \hat{f}_n $ は、ノードを除くコンパクト集合上で $ C^{\infty} $-位相で収束し、正規バンドルへの持ち上げによりネック圧縮の極限を精密に制御できる。
• 円柱型エンドによるモジュライ空間のコンパクト化はデリーニュ＝ムーディのコンパクト化へ射影され、ノード的ストラトゥム $ \mathcal{N}_\ell $ 上のファイバーはトーラスバンドル $ W_\ell $ と同型である。