[論文レビュー] Categorification of Seidel's representation

François Charette, Octav Cornea|arXiv (Cornell University)|Jul 27, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 6

ひとこと要約

この論文は、シンプレクティック位相幾何学における2つの基本的構成、Seidelのハミルトニアン多様体の基本群の量子表現とラグランジュ的ススペンション構成との間の深いつながりを、カテゴリ化された同値性として確立する。この論文は、コボルディズム圏から導来フクヤカタゴリィへの関手が、これら2つの作用を整合的に結ぶことを証明し、カテゴリ化されたSeidel表現が、この関手的整合性を通じてススペンション構成から自然に生じることを示している。

ABSTRACT

Two natural symplectic constructions, the Lagrangian suspension and Seidel's quantum representation of the fundamental group of the group of Hamiltonian diffeomorphisms, Ham(M), with (M,ω) a monotone symplectic manifold, admit categorifications as actions of the fundamental groupoid Π(Ham(M)) on a cobordism category recently introduced in \cite{Bi-Co:cob2} and, respectively, on a monotone variant of the derived Fukaya category. We show that the functor constructed in \cite{Bi-Co:cob2} that maps the cobordism category to the derived Fukaya category is equivariant with respect to these actions.

研究の動機と目的

• シンプレクティック位相幾何学における2つの中心的構成、Seidelの量子表現とラグランジュ的ススペンションを関連付けること。
• 基本群族 Π(Ham(M)) の作用として、それぞれ異なる圏であるコボルディズム圏 Cob₀^d(M) と導来フクヤカタゴリィ D Fuk^d(M) における両構成のカテゴリフィケーションを行うこと。
• BC13, BC14 で導入された関手 F: Cob₀^d(M) → D Fuk^d(M) が、これら2つのカテゴリフィケーションされた作用に関して不変であることを確立すること。
• 導来フクヤカタゴリィにおけるSeidel表現が、関手 F によるラグランジュ的ススペンションの像として得られることを示すこと。
• 複数の相対Seidel準同型の定義（例えば、ピアリートレース、ホロモーフィック切断、可動境界曲線など）を共通のカテゴリカル枠組みで統一し、それらがホモロジー的に同値であることを示すこと。

提案手法

• ススペンダードラグランジュ的コボルディズムを用いて、コボルディズム圏 Cob₀^d(M) 上における Π(Ham(M)) の作用として、ラグランジュ的ススペンション構成をカテゴリフィケーションすること。
• ホロモーフィック曲線における可動境界条件を用いて、Seidelの量子表現を、モノトーン導来フクヤカタゴリィ D Fuk^d(M) 上における Π(Ham(M)) の作用としてカテゴリフィケーションすること。
• ススペンダードコボルディズムを導来フクヤカタゴリィ内の準同型に写す関手 F: Cob₀^d(M) → D Fuk^d(M) を定義すること。
• この関手 F が、2つの Π(Ham(M))-作用に関して不変であることを証明すること。すなわち、双関手の可換図式を通じて、作用を整合させる。
• 構成の関手性とホモトピー不変性を用いて、F によるススペンション関手の像が、量子ホモロジーにおけるSeidel要素を回復することを示すこと。
• 可動境界曲線、ピアリートレース、ホロモーフィック切断、量子モジュール作用を用いた7つの相対Seidel準同型の定義が、すべてホモロジーにおいて同型な準同型を生じることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ的ススペンション構成を、コボルディズム圏上の Π(Ham(M)) のカテゴリカル作用として自然に拡張することは可能か？
• RQ2 Seidelの量子表現は、導来フクヤカタゴリィ上にカテゴリフィケーション可能であり、その場合、ススペンション構成とどのように関係するか？
• RQ3 関手 F: Cob₀^d(M) → D Fuk^d(M) は、2つのカテゴリフィケーションされた Π(Ham(M)) の作用に関して不変か？
• RQ4 ピアリートレース、ホロモーフィック切断、可動境界曲線を用いた複数の幾何的定義が、ホモロジーにおいて同型な結果をもたらすか？
• RQ5 F によるススペンション関手の像と、量子ホモロジーにおけるSeidel表現との間の明確な関係は何か？

主な発見

• 関手 F: Cob₀^d(M) → D Fuk^d(M) は、コボルディズム圏と導来フクヤカタゴリィにおける Π(Ham(M))-作用に関して不変であり、双関手の可換図式を確立する。
• 関手 F によるススペンダードコボルディズム Ξ(w) の像は、QH(L_ℝ; ℤ₂) 内のSeidel要素 [w] に等しく、カテゴリフィケーションされたススペンションが量子モノドロミーを再現することを示している。
• F の像には、QH(L_ℝ) 内の部分群 β_ℝ⁻¹(G_M) が含まれており、同型 QH(L_ℝ) ≅ QH(M) を通じて、F がSeidel表現の全容を捉えていることを示している。
• 可動境界曲線、ピアリートレース、ホロモーフィック切断、量子モジュール作用を用いた7つの相対Seidel準同型の定義は、すべてホモロジーにおいて連鎖ホモトピー的または同型的であることが示された。
• [HLL11] における D = F の等価性は、カテゴリカルに正当化された：ホロモーフィック切断によるSeidel準同型は、関手 F によってピアリートレース準同型に対応する。
• 本構成により、Seidel表現が関手 F によるススペンション構成の像として自然に生じる統一的枠組みが提供され、Seidelの元々の表現がカテゴリフィケーションされた。