[論文レビュー] Open Gromov-Witten theory without Obstruction

Vito Iacovino|arXiv (Cornell University)|Nov 14, 2017

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

ひとこと要約

本稿は、境界のオイラー標数が固定された擬全複素曲線を数える、従来のバウンディングチェインの存在を要しない新しいオープン・グロモフ＝ミラー・インバリアントの構成を提案する。未接続の装飾付きグラフと新規のマルチカーブホモロジー枠組みを用いることで、従来の障害条件を回避し、任意の genus および非自明なホモロジーを持つラグランジュ部分多様体に対してもインバリアントを定義可能にする。

ABSTRACT

Open Gromov-Witten invariants are defined as cycles of the multi-curve chain complex, well defined up to isotopy.

研究の動機と目的

• ラグランジュ部分多様体に対するオープン・グロモフ＝ミラー・インバリアントを、バウンディングチェインの存在を要しない形で定義すること。これは、非自明なホモロジークラスに対して従来の障害となっていた。
• オープン・グロモフ＝ミラー・ポテンシャルおよび $A_\infty$ 構造の技術的制限を克服し、マルチカーブのモジュライ空間から直接インバリアントを構成すること。
• 量子マウラー＝カルタン方程式の高 genus における複雑さを避けることで、任意の genus にまで構成を拡張すること。
• オリジナルのマルチカーブホモロジーの技術的複雑さを簡略化する新しいホモロジー理論「ネイチ・マルチカーブホモロジー（NMCH）」を定義すること。
• インバリアントがシンプレクティック構造 $(M,\omega)$ と $\partial K = L$ を満たす 4-チェイン $K$ の選択にのみ依存することを示し、ホモロジー類における標準的なシフトを可能にする。

提案手法

• 未接続の装飾付きグラフに付随するマルチカーブのモジュライ空間を用いてインバリアントを構成し、境界成分とオイラー標数を符号化する。
• 離散的な 1-カレントの形式的線形結合の商として定義される、新たなホモロジー群「ネイチ・マルチカーブホモロジー（NMCH）」を導入する。これは、ホモトピーによる境界関係を modulo として扱う。
• $\partial K = L$ を満たす 4-チェイン $K$ を用いて、$H_1(L,\mathbb{Q})$ 内の標準的ベースクラス $\gamma_0$ を定義し、インバリアントのホモロジー類をシフトする。
• 境界の振る舞いを $\partial K$ を用いて組み込むことで、$K^n$ とのファイバー積として、モジュライ空間 $\overline{\mathcal{M}}_{\chi,(n,H)}(\beta)$ を定義する。
• グラフ構造に適合する摂動を用いて、ノード型および評価型の両方の境界面を含む境界公式を拡張する。
• モジュライ空間の摂動 $\mathfrak{s}$ を用いて、$MCH_0(\partial\beta + \gamma_0)$ 内にマルチカーブサイクルを構成し、より強い忘却条件の下で NMCH フレームワークと同倣であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ部分多様体の $H_1(L,\mathbb{Q})$ が非自明な場合、障害クラスの消滅（つまりバウンディングチェインの存在）を要さずに、オープン・グロモフ＝ミラー・インバリアントを定義できるか？
• RQ2 高 genus におけるオープンインバリアントの定義の障害を、量子マウラー＝カルタン方程式が数値的インバリアントを生まない場合にどう回避できるか？
• RQ3 マルチカーブ構成における未接続グラフは、個々の境界成分の接続条件の必要性を排除でき、インバリアント定義を単純化できるか？
• RQ4 インバリアントの本質的位相的データを捉えるが、計算に実行可能であるホモロジー論的枠組みは存在するか？
• RQ5 $\partial K = L$ を満たす 4-チェイン $K$ の選択が、インバリアントのホモロジー類における標準的シフトをどのように果たすか？

主な発見

• 本稿は、任意の $\beta \in H_2(M,L,\mathbb{Z})$ および $\chi \in \mathbb{Z}$ に対して、$\partial\beta = 0$ でない $H_1(L,\mathbb{Q})$ でなくてもよい条件下で、$Z_{\beta,\chi} \in NMCH_0(\partial\beta + \gamma_0)$ としてオープン・グロモフ＝ミラー・インバリアントを構成する。
• インバリアントは未接続の装飾付きグラフを用いて定義され、個々の境界成分の条件に代えて総合的境界連結数を用いることで、障害クラスを回避する。
• 構成は任意の genus で有効であり、オープン・グロモフ＝ミラー・ポテンシャルおよびその量子マウラー＝カルタン方程式の必要性を回避する。
• 著者らは、複素マルチカーブホモロジー $MCH_0$ が、離散的 1-カレントの形式的線形結合をホモトピー関係で割ったものとして定義されるより単純な $NMCH_0$ と同型であることを証明する。
• インバリアントはシンプレクティック構造 $(M,\omega)$ と $\partial K = L$ を満たす 4-チェイン $K$ の選択にのみ依存し、$\gamma_0 = (K \setminus \partial K) \cap L$ がホモロジー類における標準的シフトを提供する。
• 摂動 $\mathfrak{s}$ をノード型および評価型の両方の境界面にまで拡張し、$K^n$ および $\partial K$ を用いることで、モジュライ空間の境界ストラトムとの整合性を保証する。