[论文解读] Multiplicative structures on cones and duality

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

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

一句话总结

本文提出了一种用于 Floer 理论中锥上乘法结构的新代数框架，利用 $A_2^+$- 和 $A_2$-代数结构，定义了 Floer 持续映射锥上的乘积。该研究提供了一种新的 Rabinowitz Floer 同调环构造方法，并通过函子性和对偶映射在统一的代数设定下，给出了同调与上同调之间 Poincaré 对偶性的新颖证明。

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}$.

研究动机与目标

• 开发用于 Floer 同调中锥上乘法结构的新代数框架。
• 通过 Floer 持续映射的锥构造，描述 Rabinowitz Floer 同调与上同调环。
• 利用锥形式化方法，为 Rabinowitz Floer 同调与上同调之间的 Poincaré 对偶性提供新的证明。
• 建立在 $A_2$-三元组的态射下，锥上乘积结构的函子性与同伦不变性。
• 通过在对偶链复形上的代数结构，统一描述辛拓扑中乘积与对偶性。

提出的方法

• 通过 $A_2$-三元组结构，在链映射 $c: \tau \to \tau$ 的锥 $Cone(c) = \tau \oplus \tau[-1]$ 上构造一个度数为 0 的双线性乘积。
• 通过满足特定度数与符号条件的分量 $\mu, m_L, m_R, \tau_L, \tau_R, \sigma, \beta$ 定义乘积。
• 将锥乘积构造应用于 Floer 持续映射，表明其在同伦等价意义下自然地给出 $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 在 Floer 理论中，如何代数化地形式化锥上的乘法结构？
• RQ2 Rabinowitz Floer 同调环能否通过持续映射的锥构造重建？
• RQ3 锥形式化如何促进 Rabinowitz Floer 同调与上同调之间 Poincaré 对偶性的新证明？
• RQ4 对偶映射与配对在锥乘积中如何关联 $\mathcal{A}$ 与 $\mathcal{A}^\vee$？
• RQ5 符号约定与多重线性移位如何影响乘积与模作用的一致性？

主要发现

• Floer 持续映射的锥携带一个明确定义的、函子性的 0 度乘积结构，且在同调上下降。
• 锥上的乘积通过 $A_2$-三元组显式构造，涉及满足精确度数与符号条件的映射 $\mu, \tau_L, \tau_R, \beta, m_L, m_R, \sigma$。
• 该构造给出了 Rabinowitz Floer 同调环的新描述，即作为持续映射锥的同调。
• 通过锥形式化，重新证明了 Rabinowitz Floer 同调与上同调之间的 Poincaré 对偶性，使用了配对与对偶化映射。
• 在锥构造下，$\mathcal{A}$ 上的 $A_2^+$-代数结构与 $\mathcal{A} \oplus \mathcal{A}^\vee[-1]$ 上的 $A_2$-代数结构被证明是等价的。
• 图示树演算提供了一种直观且代数一致的方法，用于定义和复合乘积、模作用与对偶映射。