[論文レビュー] A Geometric Depiction of Solomon-Tukachinsky's Construction of Open GW-Invariants

Xujia Chen|arXiv (Cornell University)|Dec 9, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 6

ひとこと要約

本稿は、ラグランジュ境界におけるサイクルのリンク数を用いて、ソロモン＝トゥカチンスキーの開Gromov-Witten不変量の幾何的解釈を提供する。これは、彼らの$A_{inity}$-代数のアプローチを、より弱い位相的仮定と任意の環へと拡張するものである。主な貢献は、リンク不変量を通じた直接的な幾何的実現であり、その結果、シンプレクティック六重多様体におけるウェルシュインガー不変量との関係についての期待が裏付けられる。

ABSTRACT

The 2016 papers of J. Solomon and S. Tukachinsky use bounding chains in Fukaya's $A_{\infty}$-algebras to define numerical disk counts relative to a Lagrangian under certain regularity assumptions on the moduli spaces of disks. We present a (self-contained) direct geometric analogue of their construction under weaker topological assumptions, extend it over arbitrary rings in the process, and sketch an extension without any assumptions over rings containing the rationals. This implements the intuitive suggestion represented by their drawing and P. Georgieva's perspective. We also note a curious relation for the standard Gromov-Witten invariants readily deducible from their work. In a sequel, we use the geometric perspective of this paper to relate Solomon-Tukachinsky's invariants to Welschinger's open invariants of symplectic sixfolds, confirming their belief and G. Tian's related expectation concerning K. Fukaya's earlier construction.

研究の動機と目的

• $A_{inity}$-代数の境界鎖に基づく、ソロモン＝トゥカチンスキーの開Gromov-Witten不変量の代数的構成の幾何的解釈を提供すること。
• 正則性仮定やカルラビ＝ヤウ条件を越えて、より弱い位相的条件を用いて構成を拡張すること。
• 開GW不変量とラグランジュ境界におけるサイクルのリンク数との直接的な幾何的関係を確立すること。
• シンプレクティック六重多様体におけるソロモン＝トゥカチンスキーの不変量とウェルシュインガーの開不変量との関係が期待通りであることを確認すること。
• 任意の可換環へと一般化することを目的とし、有理数体を含む場合に仮定なしに成立する拡張を提示すること。

提案手法

• ホロモーフィックディスクの境界のサイクルのリンク数を用いて、開GW不変量を構成し、ウェルシュインガーのアプローチを一般化する。
• 境界鎖を$A_{inity}$-代数の基礎として用いるが、$Y$におけるサイクルの交線とリンクを用いて幾何的に再解釈する。
• 制約付きディスクのモジュライ空間のファイバー積構成を適用し、相対OSpin構造を用いて方向付けを行う。
• 擬等長写像と微分同相写像の符号計算を用いて、ほぼ複素構造の変形のもとでの不変性を保証する。
• マスロフ指数、余次元、境界マークド点の数を含む組合せ論的公式を用いて、方向付けの符号を導出する。
• ノード的退化においてリンク数の変化を追跡するために、パスの変形の幾何的リフトを用い、不変量を保存する。

実験結果

リサーチクエスチョン

• RQ1 ソロモン＝トゥカチンスキーの開GW不変量の代数的構成は、リンク数を用いた直接的な幾何的解釈を与えられるか？
• RQ2 正則性仮定やカルラビ＝ヤウ条件を越えて、この構成をどのように拡張できるか？
• RQ3 シンプレクティック六重多様体におけるソロモン＝トゥカチンスキーの不変量とウェルシュインガーの開不変量との正確な関係は何か？
• RQ4 不変量は任意の可換環上で定義可能であり、有理数体が一般の場合に果たす役割は何か？
• RQ5 モジュライ空間のファイバー積における方向付けの符号は、不変量の不変性と構造にどのように影響するか？

主な発見

• 幾何的構成により、ソロモン＝トゥカチンスキーの不変量は、ラグランジュ多様体における境界サイクルのリンク数による重み付きホロモーフィックディスクの符号付き数として実現される。
• 正則性条件が保たれる限り、ほぼ複素構造の変形に対しても不変量が不変のままであり、その位相的性質が裏付けられる。
• $n=3$の場合、開GW不変量は[17]で定義されたディスク数と一致し、先行する幾何的構成と整合性が確認される。
• 単位元を持つ任意の可換環へと構成を拡張可能であり、$\mathbb{Q}$ を含む環では、正則性仮定なしに成立する。
• モジュライ空間を結ぶ微分同相写像の符号は、マスロフ指数、境界マークド点の数、ストラトの余次元を含む公式により計算される。
• 本稿は、シンプレクティック六重多様体におけるソロモン＝トゥカチンスキーの不変量がウェルシュインガーの不変量と等価であることを確認し、長年の期待が裏付けられた。