[論文レビュー] A geometric criterion for generating the Fukaya category

Mohammed Abouzaid|arXiv (Cornell University)|Jan 26, 2010

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

ひとこと要約

本稿では、ホッフシュレーディングホモロジーからシンプレクティックコホモロジーへの写像を用いて、リーマン多様体のラップドフクヤカテゴリを生成するための幾何的基準を確立する。この写像の像にシンプレクティックコホモロジーの単位元が含まれるとき、カテゴリ内の任意のラグランジュ部分多様体が与えられた集合によってスプリット生成されることを示し、二つの出力をもつ擬全純曲線およびカードイ関係を用いた幾何的・ホモロジー的操作によって生成性を検証する強力な道具を提供する。

ABSTRACT

Given a collection of exact Lagrangians in a Liouville manifold, we construct a map from the Hochschild homology of the Fukaya category that they generate to symplectic cohomology. Whenever the identity in symplectic cohomology lies in the image of this map, we conclude that every Lagrangian lies in the idempotent closure of the chosen collection. The main new ingredients are (1) the construction of operations controlled by discs with two outputs on the Fukaya category, and (2) the Cardy relation.

研究の動機と目的

• リーマン多様体のラップドフクヤカテゴリを有限個の正確なラグランジュ部分多様体がスプリット生成するための幾何的基準を確立すること。
• 二つの出力をもつ擬全純円板によって制御される操作を用いて、フクヤカテゴリのホッフシュレーディングホモロジーからシンプレクティックコホモロジーへの写像を構成すること。
• シンプレクティックコホモロジーの単位元がこの写像の像に含まれるならば、その部分カテゴリの対象が全カテゴリをスプリット生成することを証明すること。
• ホロモルフィッククィルト理論や高度なホモロジー代数を用いずに、幾何的構成およびカードイ関係に依拠する最小限の技術的仮定に基づく生成基準の証明を提供すること。

提案手法

• 二つの出力をもつ擬全純円板によって制御される操作を用いて、全部分カテゴリ 𝔹 のホッフシュレーディングホモロジーからシンプレクティックコホモロジー SH*(M) への写像を構成する。
• 各対象 K に対して、二重加群写像 Δ: 𝔹 → Y_K^l ⊗ Y_K^r を定義し、これがフクヤカテゴリにおける乗法の前双対として機能する。
• 同型 HH_*(𝔹, 𝔹) ≅ H*(Y_K^r ⊗_𝔹 Y_K^l) を用いて、ホッフシュレーディングホモロジーを Yoneda モジュールのテンソル積と関連付ける。
• カードイ関係を用いて、合成写像と前双対写像 Δ を関連付け、代数的構造の整合性を保証する。
• ラグランジュ境界条件および漸近的マーカーをもつ擬全純曲線のモジュライ空間を、行列式ラインバンドルによる標準的向きを備えて用いる。
• グルーリング理論およびコーサルルールを用いて、行列式ラインと向きバンドルの間の標準的同型を構成し、符号および向きの整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限個の正確なラグランジュ部分多様体がリーマン多様体のラップドフクヤカテゴリをスプリット生成するための幾何的条件は何か？
• RQ2 二つの出力をもつ擬全純円板からの操作を用いて、ホッフシュレーディングホモロジーからシンプレクティックコホモロジーへの写像を構成できるか？
• RQ3 カードイ関係は、ラップド状態におけるフクヤカテゴリの代数的構造にどのように制約を加えるか？
• RQ4 生成基準は、ホロモルフィッククィルト理論のような高度な道具を避けて、最小限のホモロジー代数および幾何的解析によってどの程度証明可能か？

主な発見

• シンプレクティックコホモロジーの単位元がホッフシュレーディングホモロジー写像の像に含まれるための必要十分条件は、全部分カテゴリ 𝔹 の対象がラップドフクヤカテゴリをスプリット生成することである。
• 二つの出力をもつ操作の構成は、シンプレクティックコホモロジーへの写像を定義するために不可欠な、乗法の前双対の幾何的実現を提供する。
• カードイ関係はラップド状態において確立され、フクヤカテゴリにおける前双対写像 Δ と合成写像の整合性を保証する条件として機能する。
• 複数の漸近的マーカーおよび境界条件をもつ擬全純曲線のモジュライ空間について、行列式ラインと向きバンドルの間の標準的同型が構成された。
• ホロモルフィッククィルト理論に依存せず、直接的な幾何的・解析的手段を用いて生成基準を確立した。