[論文レビュー] Source Spaces and Perturbations for Cluster Complexes

François Charest|arXiv (Cornell University)|Dec 12, 2012

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

ひとこと要約

本稿では、メトリック線分で接続されたマーク付き複素ディスクからなるソース空間を導入し、クラスターモジュライ空間の非対称および対称構造を構成する。Floer軌道上での一貫性のある摂動を提供することで、ピン±単調なラグランジュ部分多様体上の障害付き $A_{\infty}$-構造を、モース理論を用いて別種の方法で構成可能にする。その結果得られるモース関数の臨界点上の $A_{\infty}$-代数構造は、ノビコフ環上のコチェーン複体のホモトピー圏へのホモトピー不変性およびファンクター性を示す。

ABSTRACT

We define objects made of marked complex disks connected by metric line segments and construct nonsymmetric and symmetric moduli spaces of these objects. This allows choices of coherent perturbations over the corresponding versions of the Floer trajectories proposed by Cornea and Lalonde. These perturbations are intended to lead to an alternative description of the (obstructed) $A_\infty$-structures studied by Fukaya, Oh, Ohta and Ono. Given a $Pin_{\pm}$ monotone lagrangian submanifold $L \subset (M,ω)$ with minimal Maslov number $N_L \geq 2$, we define an $A_\infty$-algebra (resp. differential graded algebra) structure from the critical points of a generic Morse function on $L$. It is written as a cochain (resp. chain) complex extending the pearl complex introduced by Oh and further explicited by Biran and Cornea, equipped with its quantum product. We verify that the construction is homotopy invariant, defining a functor from a homotopy category of $Pin_{\pm}$ monotone lagrangian submanifolds $h\mathcal{L}^{mono, \pm}(M,ω)$ to the homotopy category of cochain (resp. chain) complexes $hK(Λ ext{-mod})$ where $Λ$ is a Novikov ring with coefficients in $\mathbb{Z}$.

研究の動機と目的

• モース理論と摂動付きFloer軌道を用いて、$Pin_{\pm}$ 単調ラグランジュ部分多様体上の $A_{\infty}$-構造を構築するための新しい枠組みを開発すること。
• マーク付きディスクとメトリック線分で構成されるソース空間を用いて、Floer軌道のモジュライ空間における一貫性のある摂動を定義すること。
• ホモトピー圏における $Pin_{\pm}$ 単調ラグランジュ部分多様体から、ノビコフ環上のコチェーン複体のホモトピー圏へのホモトピー不変ファンクターを確立すること。
• 量子積とモース理論的データを統合することで、パール複体の一般化を達成すること。
• 福嶋、オオ、オオタ、オノが定義した障害付き $A_{\infty}$-構造の別表現を、幾何学的・位相的道具を用いて提示すること。

提案手法

• メトリック線分で接続されたマーク付き複素ディスクから、$\otimes$-クラスターやキルトド $\otimes$-クラスターのモジュライ空間を構成する。
• 普遍曲線と、これらのモジュライ空間上での端と摂動の一貫性のある系を定義し、横断性を保証する。
• 方向性の問題を処理するため、$\widetilde{Gl_n(\mathbb{R})}^{\pm}$-構造と方向性系を導入する。
• ラグランジュ多様体 $L$ 上のモース関数の負勾配フロー線を用いて、コチェーン複体の微分を定義し、安定多様体の方向性によって符号を決定する。
• Floer軌道の正則性結果を適用し、モジュライ空間を分解し、$n \geq 3$ および $n \leq 2$ の場合を分析する。
• モルフィズムとホモトピーのカテゴリカルな定式化を導入し、$\otimes$-クラスターモジュライ複体間のファンクター的構成を達成する。

実験結果

リサーチクエスチョン

• RQ1 障害が存在する状況において、幾何的ソース空間を用いて、Floer軌道に対する一貫性のある摂動をどのように構成できるか。
• RQ2 $Pin_{\pm}$ 単調ラグランジュ多様体上の $A_{\infty}$-構造は、一般のモース関数の臨界点におけるモース理論的データによって再構成可能か。
• RQ3 $L$ 上の一般のモース関数の臨界点上の $A_{\infty}$-代数構造は、ホモトピー不変かつファンクター的か。
• RQ4 $\otimes$-クラスターモジュライ空間およびキルトド $\otimes$-クラスターモジュライ空間は、モース理論およびFloer理論におけるスターシェフのアソシアヘドロンとマルチプリヒドロンとどのように関係するか。
• RQ5 一貫性のある方向性と摂動は、微分がゼロになること、およびコホモロジーが $L$ の特異コホモロジーを正しく計算することを保証する役割を果たすか。

主な発見

• この構成により、$N_L \geq 2$ である $Pin_{\pm}$ 単調ラグランジュ多様体 $L$ 上の一般のモース関数の臨界点が生成するコチェーン複体上に $A_{\infty}$-代数構造が得られる。
• 微分 $\delta$ は $\delta \circ \delta = 0$ を満たし、複体が適切に定義され、特異コホモロジー $H^*(L, \mathbb{Z})$ を計算することを保証する。
• 得られる $A_{\infty}$-構造はホモトピー不変であり、$h\mathcal{L}^{\text{mono},\pm}(M,\omega)$ から $hK(\Lambda\text{-mod})$ へのファンクターを定義する。ここで $\Lambda$ は $\mathbb{Z}$ 上のノビコフ環である。
• 摂動は一貫しており、ソース空間の幾何に適合しており、正しく定義された擬全純曲線のモジュライ空間の定義を可能にする。
• 本手法は、勾配曲線と擬全純曲線の木構造的配置を用いて、量子補正と高次の作用素を統合することで、パール複体を拡張する。
• 本稿では、キルトド $\otimes$-クラスターのモジュライを通じて、マルチプリヒドロンの幾何的実現とその複素化を確立し、モース理論とFloer理論を結びつける。