[論文レビュー] Lagrangian Cobordism and Fukaya Categories

Paul Biran, Octav Cornea|arXiv (Cornell University)|Apr 22, 2013

Geometric and Algebraic Topology参考文献 24被引用数 5

ひとこと要約

本稿は、シンプレクティック多様体内の幾何的ラグランジュコボルディズムと導来フクヤカテゴリにおける反復三角分解の間で関手的な対応を確立する。モノイダルなコボルディズムの圏と三角分解の解消圏を用いて、コボルディズムから導来フクヤカテゴリへのモノイダル関手を構成し、任意のラグランジュコボルディズムが正確な三角形の系列を誘導することを証明する。これにより、正の端末が負の端末によって生成される三角分解部分圏に埋め込まれることが示される。

ABSTRACT

Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a functor that maps this category to a variant of the derived Fukaya category of M in a way that takes into account the triangulated structure of the latter.

研究の動機と目的

• 幾何的ラグランジュコボルディズムと導来フクヤカテゴリ内の三角分解構造との間で、関手的かつ代数的な対応を確立すること。
• 導来フクヤカテゴリの非幾何的性質を解消し、その三角分解構造がコボルディズム幾何学から自然に生じることを示すこと。
• ラグランジュコボルディズムのモノイダル圏 Cob(M) と、反復正確な三角形を符号化するターゲット圏 T SDFuk(M) を構成すること。
• 導来フクヤカテゴリが、関手 eF を通じてコボルディズムの位相的・代数的構造を捉えていることを証明すること。

提案手法

• 対象がラグランジュ部分多様体の有限順序族であり、射が複数の端を持つ許容的ラグランジュコボルディズムの同値類（同倫的）であるような圏 Cob(M) を定義する。
• 導来フクヤカテゴリから導かれる三角分解解消圏として、T SDFuk(M) を構成し、反復正確な三角形による解体をパラメトライズする。
• A∞-圏におけるヤオダ埋め込みと写像コーン構成を用いて、導来フクヤカテゴリ内で正確な三角形を代数的に定義する。
• 各ラグランジュを自分自身に、各コボルディズムを正確な三角形の系列に写すモノイダル関手 eF: Cob(M) → T SDFuk(M) を確立する。
• A∞-圏のホモロジー的ユニタリティと三角分解閉包性を活用し、関手が導来圏の代数的構造を保つことを保証する。
• グロモフ＝ウィッテン理論と J-擬正則曲線の数え上げを用いて、幾何的コボルディズムデータがチェーンレベル構造へ一貫して持ち上がることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュコボルディズムはどのように導来フクヤカテゴリ内で代数的に符号化可能か？
• RQ2 コボルディズムが導来フクヤカテゴリ内で誘導する正確な代数的構造は何か？
• RQ3 導来フクヤカテゴリの三角分解構造は、幾何的コボルディズムから関手的に生じるか？
• RQ4 コボルディズムの合成は、導来圏における三角分解の精錬に対応するか？
• RQ5 幾何的コボルディズム圏から導来圏の解消圏への標準的なモノイダル関手が存在するか？

主な発見

• 主結果、定理Bは、各ラグランジュを自分自身に、各コボルディズムを正確な三角形の系列に写すモノイダル関手 eF: Cob(M) → T SDFuk(M) を確立する。
• 定理Aはその推論として得られる：k個の負の端末 L1,…,Lk と1つの正の端末 L を持つ任意のラグランジュコボルディズムは、DFuk(M) 内で k−1 個の正確な三角形の系列を誘導し、L が L1,…,Lk によって生成される三角分解部分圏に属することを示す。
• 構成により、コボルディズムの連結が三角分解の精錬に対応し、代数的解体の幾何的実現が得られる。
• 導来フクヤカテゴリ DFuk(M) は、コボルディズムによって誘導される三角分解構造を捉え、抽象的な三角分解閉包を幾何的に意味のあるものにする。
• A∞-圏におけるヤオダ埋め込みと写像コーン構成は、コボルディズムデータから正確な三角形を実現する代数的道具を提供する。
• この枠組みは補助的選択（例えば、ほぼ複素構造）に依存せず、関手 eF が同値類の下で正しく定義され、同倫的不変性を保つ。