[論文レビュー] Multiplicative structures on cones and duality

Kai Cieliebak, Alexandru Oancea|arXiv (Cornell University)|Aug 30, 2020

Geometric and Algebraic Topology参考文献 20被引用数 6

ひとこと要約

本稿は、フロアー理論におけるコーン上の乗法的構造のための新しい代数的枠組みを導入する。$A_2^+$-および $A_2$-代数構造を用いて、フロアー継続写像のコーン上に積を定義する。Rabinowitzフロアーホモロジー環の新たな構成と、関手性と双対写像を統一的な代数的設定で用いたホモロジーとコホモロジー間のポincare双対性の新たな証明を提供する。

ABSTRACT

We initiate the study of multiplicative structures on cones and show that cones of Floer continuation maps fit naturally in this framework. We apply this to give a new description of the multiplicative structure on Rabinowitz Floer homology and cohomology, and to give a new proof of the Poincaré duality theorem which relates the two. The underlying algebraic structure admits two incarnations, both new, which we study and compare: on the one hand the structure of $A_2^+$-algebra on the space $\mathcal{A}$ of Floer chains, and on the other hand the structure of $A_2$-algebra involving $\mathcal{A}$, its dual $\mathcal{A}^\vee$ and a continuation map from $\mathcal{A}^\vee$ to $\mathcal{A}$.

研究の動機と目的

• コーン上の乗法的構造のための新しい代数的枠組みを開発すること。
• フロアー継続写像からのコーン構成を用いて、Rabinowitzフロアーホモロジーおよびコホモロジー環を記述すること。
• コーン形式を用いて、Rabinowitzフロアーホモロジーとコホモロジー間のポincare双対性の新たな証明を提供すること。
• $A_2$-三重項の準同型写像に関して、コーン上の積構造の関手性およびホモトピー的不変性を確立すること。
• 双対化されたチェイン複体上の代数的構造を通じて、シンプレクティック位相幾何学における積と双対性の記述を統一すること。

提案手法

• チェイン写像 $c: \tau \to \tau$ のコーン $Cone(c) = \tau \oplus \tau[-1]$ 上に、$A_2$-三重項構造を用いて次数 0 の双線形積を構成する。
• 特定の次数および符号条件を満たす成分 $\mu, m_L, m_R, \tau_L, \tau_R, \sigma, \beta$ を用いて積を定義する。
• コーン積構成をフロアー継続写像に適用し、それがホモトピー同値を除いて自然に $A_2$-三重項を定めることが示される。
• 木を用いた図式的計算により、作用素および双対写像（評価 $\mathrm{ev}: \mathcal{A}^\vee \otimes \mathcal{A} \to \mathbb{K}$ 及びその双対）を表現する。
• 多変数シフトにおける符号規約を用いて、左/右乗法と積の関係を木の合成により確立する。
• $\mathcal{A}$ 上の $A_2^+$-代数構造と、 $\mathcal{A}, \mathcal{A}^\vee$ および継続写像 $\mathcal{A}^\vee \to \mathcal{A}$ を含む $A_2$-代数構造を用いる。

実験結果

リサーチクエスチョン

• RQ1 フロアー理論におけるコーン上の乗法的構造は、どのように代数的に形式化できるか？
• RQ2 Rabinowitzフロアーホモロジー環は、継続写像のコーン構成を用いて再構成可能か？
• RQ3 コーン形式は、Rabinowitzフロアーホモロジーとコホモロジー間のポincare双対性の新たな証明をどのように容易にするか？
• RQ4 $\mathcal{A}$ と $\mathcal{A}^\vee$ 間の関係を結ぶ双対写像と評価は、コーン積において果たす役割は何か？
• RQ5 符号規約と多変数シフトは、積および加群作用の整合性にどのように影響するか？

主な発見

• フロアー継続写像のコーンは、ホモロジーに誘導される次数 0 の明示的で関手的な積構造を備えている。
• 積は $A_2$-三重項から明示的に構成され、 $\mu, \tau_L, \tau_R, \beta, m_L, m_R, \sigma$ の写像が、正確な次数および符号条件を満たす。
• この構成により、Rabinowitzフロアーホモロジー環が継続写像のコーンのホモロジーとして新たな記述が得られる。
• Rabinowitzフロアーホモロジーとコホモロジー間のポincare双対性は、評価および双対化写像を用いたコーン形式により再証明される。
• $\mathcal{A}$ 上の $A_2^+$-代数構造と $\mathcal{A} \oplus \mathcal{A}^\vee[-1]$ 上の $A_2$-代数構造は、コーン構成の下で同値であることが示される。
• 図式的木計算は、積、加群作用、双対写像を定義・合成するための視覚的かつ代数的に整合性のある方法を提供する。