[論文レビュー] The Fukaya category pairs with Lagrangian cobordisms exactly

Hiro TANAKA|arXiv (Cornell University)|Sep 27, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 7

ひとこと要約

この論文は、ラグラングィアンコボルディズムの∞-圏からフォーカー圏の加群の∞-圏への関手Ξが正確であることを証明している。すなわち、ファイバー列とマッピングコーンを保存する。この結果により、ラグラングィアンコボルディズムとフロアー・コホモロジーの間の正確なホモトピー的ペアリングが確立され、古典的なコボルディズム写像がスペクトルに上昇し、フォーカー圏のスペクトル的上昇への重要な一歩を確認する。

ABSTRACT

We prove that a pairing between the Fukaya category and the oo-category of Lagrangian cobordisms respects mapping cones. This is another step toward constructing a lift of Fukaya categories to the level of spectra (in the sense of stable homotopy theory). As corollaries, we show that the map in our previous work from cobordism groups to Floer cohomology lifts to the level of spectra, and one also recovers some results of Biran and Cornea for what we call "vertically collared" cobordisms.

研究の動機と目的

• ラグラングィアンコボルディズムからフォーカー圏の加群への関手Ξが、ファイバー列とマッピングコーンを保存するという正確性を確立すること。
• 古典的なラグラングィアンコボルディズムとフロアー・コホモロジーのペアリングをホモトピー論的に精緻化し、群写像をスペクトルに上昇させること。
• BiranとCorneaが垂直にコラージュされたコボルディズムについて得た結果を、スペクトルのレベルにまで拡張すること。
• Tan16で構成されたコボルディズム群からフロアー・コホモロジーへの写像が、Ξを介してスペクトルの写像に上昇することを示すこと。
• ラグラングィアンコボルディズムの∞-圏の幾何的安定性が、フォーカー圏加群圏の形式的安定性と整合することを示すこと。

提案手法

• ラグラングィアンコボルディズムから包絡フォーカー圏の加群への関手Ξ: LagΛ(M) → WΛ(M)Modを構成する。
• ラグラングィアンコボルディズムの∞-圏におけるマッピングコーンとして、幾何的に定義された核を用いる。
• ホモトピー論的技法を用いて、Ξがファイバー列を保存することを示し、チェーン複体における明示的なホモトピー下付き図式を構成する。
• 安定∞-圏とチェーン複体上のA∞-加群の∞-圏的枠組みを用いて、正確性条件を形式化する。
• ピラミッド図式と3-単体を用いて、核およびコーンへの誘導写像がホモトピー同値であることを検証する。
• 終域の圏がチェーン複体への豊富な構造のおかげで安定的であるのに対し、始域の安定性はコボルディズム構造に由来する幾何的性質であることに依拠する。

実験結果

リサーチクエスチョン

• RQ1 ラグラングィアンコボルディズムからフォーカー圏加群への関手Ξは、ファイバー列とマッピングコーンを保存するか？
• RQ2 古典的なコボルディズム群からフロアー・コホモロジーへの写像は、Ξを介してスペクトルの写像に上昇できるか？
• RQ3 ラグラングィアンコボルディズムの幾何的構造は、フォーカー圏の代数的安定性とどのように作用するか？
• RQ4 BiranとCorneaの垂直にコラージュされたコボルディズムに関する結果は、どの程度スペクトルのレベルにまで拡張可能か？
• RQ5 両者とも安定な∞-圏であるにもかかわらず、関手Ξは安定∞-圏の意味で正確であるか？

主な発見

• 関手Ξが正確であることが証明され、これは∞-圏的意味でファイバー列とマッピングコーンを保存することを意味する。
• Tan16で既に構成済みのコボルディズム群からフロアー・コホモロジーへの写像が、スペクトルの写像に上昇することを確認し、スペクトル的精緻化を裏付けた。
• 垂直にコラージュされたコボルディズムに対しては、Ξの正確性のおかげでBiranとCorneaの結果が再現される。
• ラグラングィアン・サーブリッジを用いて定義されたコボルディズムの幾何的核が、加群圏における代数的核と正確に一致することが示された。
• ホモトピー下付き図式 (6.3) がチェーン複体において下付き図式であることが証明され、Ξがコーン構成を保存することを確認した。
• ピラミッド図式と3-単体の埋め込みを用いて、幾何的コーンと代数的コーンの同値性を確立し、Ξが三角構造と整合することを示した。