[論文レビュー] Canonical models of filtered $A_\infty$-algebras and Morse complexes

Kenji Fukaya, Yong‐Geun Oh+2 more|ArXiv.org|Dec 10, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 4

ひとこと要約

本稿は、擬全純曲線と勾配流れ線のモジュライ空間を用いて、相対的スピンなラグランジュ部分多様体上のモース複体に対するフィルター付き $A_\infty$-代数の正規形モデルを構成する。主な貢献は、重み付きの次元0の仮想的配置の数え上げを通じて、モース余チェイン複体上での $A_\infty$-構造の幾何的実現を提供することであり、ハミルトニアン的・シンプレクティックトポロジーにおけるフローリング的計算のための選択に依存しない、正規化された枠組みを確立する。

ABSTRACT

The purpose of this paper is two-fold. First we explain the construction of the canonical model of filtered $A_\infty$-algebras given in the authors' book [FOOO]. The canonical model plays a crucial role in the study of Lagrangian Floer theory on toric manifolds in our recent papers, arXiv:0802.1703 and arXiv:0810.5654. Then using a variation of the arguments used in that construction, we define a natural filtered $A_\infty$-structure on the Morse complex of a Morse function and its $A_\infty$ homotopy to the $A_\infty$-algebras on a Lagrangian submanifold constructed in [FOOO]. The corresponding graphical moduli spaces `summing over trees' involve holomorphic discs connected by the gradient flow lines.

研究の動機と目的

• 相対的スピンなラグランジュ部分多様体のモース余チェイン複体上に、選択に依存しない正規化された $A_\infty$-構造を構成すること。
• 擬全純曲線と勾配流れ線のモジュライ空間を通じた幾何的実現によって、フィルター付き $A_\infty$-代数の枠組みをモース理論へと拡張すること。
• モース複体に関連する $A_\infty$-代数の正規形モデルを提供し、構成における補助的選択の不変性を保証すること。
• 正規形モデルを用いて、弱いバインディング余チェインの空間上でのポテンシャル関数 $\mathfrak{PO}(b)$ の幾何的実現を確立すること。
• モース理論的データを用いて、ラグランジュ部分多様体の清浄的・横断的交差に対するフィルター付き $A_\infty$-バイモジュールへの構成を一般化すること。

提案手法

• 配置のパラメトライゼーションに装飾付き平面上の木 $\Gamma \in G_{k+1}^+$ を用いる。
• 各木 $\Gamma$ に対して、境界にマークされた点と臨界点を結ぶ流れ線を含む、境界付き安定写像のモジュライ空間 $\mathcal{M}_\Gamma(h; p_1, \dots, p_k, q)$ を定義する。
• 各 $\mathfrak{m}_\Gamma$ 操作は、$\mathcal{M}_\Gamma$ の重み付き仮想次元0成分の数え上げとして定義され、各ドリルバブルに対して $e^{\mu(\beta)/2}$ を含む重みが関与する。
• 全 $A_\infty$-操作 $\mathfrak{m}_k$ は、$G_{k+1}^+$ に属するすべての木 $\Gamma$ に対する和として得られ、$T^{E(\Gamma)}$ で重み付けされ、$E(\Gamma)$ は配置の全エネルギーである。
• 正規形モデルは、フィルター付き $A_\infty$-代数のホモトピー理論を用いて導出され、部分複体や摂動の選択に依存しない不変性を保証する。
• 本手法は、クラスカルスキー写像の体系的多価摂動と、単一のモース関数の使用に依存しており、最終的な構成で複数のモース関数を必要としない。

実験結果

リサーチクエスチョン

• RQ1 相対的スピンなラグランジュ部分多様体のモース余チェイン複体上に、選択に依存しない正規化された $A_\infty$-構造をどのように構成できるか？
• RQ2 モース複体上での $A_\infty$-操作は、擬全純曲線と勾配流れ線の観点から、どのように幾何的に実現されるか？
• RQ3 フィルター付き $A_\infty$-代数の正規形モデルは、フローリング理論におけるポテンシャル関数 $\mathfrak{PO}(b)$ とどのように関係するか？
• RQ4 複数のモース関数に依存せずに、単一のモース関数と摂動論を用いてモース複体上の $A_\infty$-構造を構成できるか？
• RQ5 正規形モデルの枠組みは、清浄的または横断的ラグランジュ交差に対する $A_\infty$-バイモジュールへどのように拡張できるか？

主な発見

• フィルター付き $A_\infty$-操作は、擬全純ドリルと破断した負の勾配流れ線を含む配置の仮想次元0モジュライ空間の重み付き数え上げとして実現される。
• 得られる $CM^\bullet(f)$ 上の $A_\infty$-構造は、部分複体や摂動の補助的選択に依存しない。これは正規形モデルの構成によるものである。
• 正規形モデルは、ポテンシャル関数 $\mathfrak{PO}(b)$ の定義域を明確にし、フローリング的不変量の整合性を保証する。
• 本構成は、ラグランジュ部分多様体の横断的および清浄的交差に適用可能であり、$C^\bullet(L_0 \cap L_1; \Theta)$ 上のバイモジュール構造は、$h$ が交差上でのモース関数であるとき、モース複体 $CM^\bullet(h; \Theta)$ に還元される。
• 最終的な $A_\infty$-構造では、複数のモース関数を必要とせず、単一のモース関数と正規形モデルの枠組みを用いて横断性を達成する。
• 正規形モデルはスペクトル系列の収束を保証し、元の複体のコホモロジー次元が有界でない場合でも、$A_\infty$-代数の安定なホモトピー型を提供する。