[論文レビュー] Obstruction classes and Open Gromov-Witten invariants

Vito Iacovino|arXiv (Cornell University)|Aug 16, 2011

Geometric and Algebraic Topology参考文献 2被引用数 3

ひとこと要約

本稿は、相対的にスピンで、マスロフ指数がゼロであるラグランジュ部分多様体を備えたカルラヤ三様体に対して、障害類に基づく直接的定義を用いて、 genus-zero のオープン・グロモフ＝ウィッテン不変量を提示する。バウンディング・チェインとホモトピー・データを用いて再帰的にチェインを構成することで、生成関数に依存せずに有理数不変量を定義し、障害類が有理ホモロジーで消える場合に不変量が適切に定義されることを示し、再帰的チェインレベル構造によってその存在を証明する。

ABSTRACT

We define genus zero open Gromov-Witten invariants for Calabi-Yau three folds and relatively spin Lagrangian submanifold of Maslov index zero.

研究の動機と目的

• カルラヤ三様体に、マスロフ指数ゼロで相対的にスピンなラグランジュ部分多様体を備えた、生成関数を用いない、直接的で、有理数不変量としての genus-zero オープン・グロモフ＝ウィッテン不変量の定義を提供すること。
• 相対ホモロジー類だけでなく、固定されたシンプレクティック面積に対しても不変量を定義し、必要な条件を軽減すること。
• 障害類の役割と、それらの消滅が不変量の整合性と有理数性を保証する仕組みを明確にすること。
• オープン・グロモフ＝ウィッテン不変量とラグランジュフローリングホモロジーで用いられるバウンディング・チェインとの関係を確立し、後者を新たな方法で構成可能にする。

提案手法

• 方法は、頂点が相対ホモロジー類でラベル付けされた装飾付きツリーを用いて、マルチディスクのモジュライ空間を分析することで、再帰的にオープン・グロモフ＝ウィッテン不変量を定義する。
• 障害類 $ o(A) \in C_1(L, \mathbb{Q}) $ は、1つの頂点と1つの外部辺を持つツリーに関連する特異的チェインとして導入され、チェインレベルの接合における境界条件の不成立を測定する。
• バウンディング・チェイン $ b(A) \in C_2(L, \mathbb{Q}) $ は、障害を解消するために用いられ、$ \partial b(A) = o(A) $ を満たす。それらのホモトピー類が有理数不変量を決定する。
• シンプレクティックエネルギー準位 $ E_k $ に対して、エネルギー装飾付きツリーを用いて不変量 $ F_0(E_k) $ を定義し、障害 $ o(E_k) $ とバウンディング・チェイン $ b(E_k) $ を再帰的に定義する。
• 反シンプレクティック自己同型が存在する場合、対称性によりすべての障害類が消え、$ b(E) = 0 $ となる。これにより、[5] で得られた不変量が再現される。
• 生成関数のチェインレベル構造を避ける代わりに、チェインのホモトピー類と有理数係数に依存することで、不変量の有理数性を保証する。

実験結果

リサーチクエスチョン

• RQ1 生成関数を用いないで、オープン・グロモフ＝ウィッテン不変量を直接定義することは可能か？
• RQ2 オープン・グロモフ＝ウィッテン理論において、有理数不変量の定義を妨げる正確な障害類とは何か？
• RQ3 バウンディング・チェインは、不変量の構成の整合性およびラグランジュフローリングホモロジーとの関係において、どのように関与するか？
• RQ4 障害類が消える条件は何か？ そして、それらの消滅が不変量の有理数性および適切な定義に与える影響は？
• RQ5 相対ホモロジー類ではなく、固定されたシンプレクティック面積に対して不変量を定義することは可能か？ その場合、障害構造にどのような影響があるか？

主な発見

• 各相対ホモロジー類 $ A \in H_2(X,L) $ に対して、$ o(A) \in C_1(L,\mathbb{Q}) $ は、すべてのより小さい類 $ A' $ に対して $ o(A') $ と $ b(A') $ が定義されている限り、適切に定義される。これにより再帰的構成が可能になる。
• オープン・グロモフ＝ウィッテン不変量 $ F_0(A) \in \mathbb{Q} $ は、$ o(A) $ が定義されており、かつ $ [o(A)] = 0 $ が $ H_1(L,\mathbb{Q}) $ 内で成り立つ場合に定義される。このとき $ b(A) \in C_2(L,\mathbb{Q}) $ が $ \partial b(A) = o(A) $ を満たす。
• ラグランジュ部分多様体が反シンプレクティック自己同型の固定点集合として現れる場合、すべての障害類が消え、$ b(E) = 0 $ となる。これにより、[5] で得られた不変量と一致する。
• 不変量 $ F_0(A) $ は明示的に有理数である。これは、生成関数に基づく定義と比較して顕著な利点である。
• 本構成は、カルラヤ条件を要件としない、任意の次元におけるラグランジュフローリングホモロジーの新たなチェインレベルのアプローチを提供する。
• シンプレクティックエネルギー準位 $ E_k $ に対して、不変量 $ F_0(E_k) $ は再帰的に定義され、$ k' < k $ に対して $ b(E_{k'}) $ のホモトピー類に依存する。