[论文解读] Notes on Kontsevich-Soibelman's theorem about cyclic A-infinity algebras

Cheol‐Hyun Cho, Sangwook Lee|arXiv (Cornell University)|Feb 19, 2010

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

一句话总结

本文提供了负循环上同调类与 $A_{\infty}$-代数中强同伦内积之间显式公式的链接，将 Kontsevich-Soibelman 定理推广至更一般情形。该文从给定的负循环上同调类 $[\phi]$ 构造了一个 $A_{\infty}$-双模映射 $\widetilde{\phi_0}: A \to A^*$，证明了由此诱导出的强同伦内积在拟同构意义下是良定义的，且仅依赖于上同调类。该结果进一步推广至具有非负能量系数的间隙过滤 $A_{\infty}$-代数。

ABSTRACT

Kontsevich and Soibelman has proved a relation between a non-degenerate cyclic homology element of an A-infinity algebra A and its cyclic inner products on the minimal model of A. We find an explicit formula of this correspondence, in terms of the strong homotopy inner products and negative cyclic cohomology of A. We prove that an equivalence class of the induced strong homotopy inner product depends only on the given negative cyclic cohomology class. Also, we extend such a correspondence to the case of gapped filtered A-infinity algebras.

研究动机与目标

• 为非退化的负循环上同调类与 $A_{\infty}$-代数中强同伦内积之间的对应关系提供显式公式。
• 阐明负循环上同调在显式构造中为何优于循环上同调。
• 将该对应关系推广至具有 Novikov 环系数与非负能量滤子的间隙过滤 $A_{\infty}$-代数。
• 解决在辛标准化过程中涉及 $A_{\infty}$-结构保持性时 Darboux 定理应用中的细微技术问题。
• 确立由诱导出的强同伦内积的同构类仅依赖于负循环上同调类，而与代表元无关。

提出的方法

• 作者使用强同伦内积，即满足特定相容性条件的 $A_{\infty}$-双模映射（定义 3.4），以在同伦意义下实现循环内积。
• 通过命题 6.1，从给定的负循环上同调类 $[\phi]$ 显式构造出 $A_{\infty}$-双模映射 $\widetilde{\phi_0}: A \to A^*$。
• 证明依赖于 $A_{\infty}$-代数的 Darboux 定理的改进版本，其中使用一个形式向量场 $v$ 满足 $\mathcal{L}_v \omega = -d\mathcal{L}_Q \eta$，以在形变辛形式的同时保持 $A_{\infty}$-结构。
• 采用对 $k + 2j = N$ 的归纳论证，其中 $k$ 为变量的幂次，$j$ 为能量层级，以控制滤子并确保在间隙过滤情形下的收敛性。
• 该构造确保同调类的负循环类诱导出同构的强同伦内积，方法是使用保持 $A_{\infty}$-结构的过滤 $A_{\infty}$-自同构。
• 作者引入弱过滤 $A_{\infty}$-双模映射的概念，并利用其在 Hochschild 同调中证明同构，从而支持分类结果。

实验结果

研究问题

• RQ1 如何从给定的负循环上同调类显式构造 $A_{\infty}$-代数上的强同伦内积？
• RQ2 为何在此背景下负循环上同调比循环上同调更适合于显式构造？
• RQ3 上同调类与强同伦内积之间的对应关系在拟同构与自同构下如何表现？
• RQ4 Kontsevich-Soibelman 定理能否推广至具有能量滤子的间隙过滤 $A_{\infty}$-代数情形？
• RQ5 在何种条件下，诱导出的强同伦内积仅依赖于上同调类，而与代表元无关？

主要发现

• 本文从一个同调非退化的负循环上同调类 $[\phi]$ 显式构造出 $A_{\infty}$-双模映射 $\widetilde{\phi_0}: A \to A^*$，从而在 $A$ 本身上诱导出强同伦内积，而不仅限于其极小模型。
• 诱导出的强同伦内积的同构类仅依赖于负循环上同调类 $[\phi]$，而与代表元的选择无关。
• 当上同调类及其相关映射的所有项均具有非负能量时，该对应关系可推广至间隙过滤 $A_{\infty}$-代数，且在滤子下保持结构不变。
• 作者通过构造一个阶数 $\geq 2$ 且无常数项的形式向量场 $v$，解决了 Darboux 定理应用中的细微问题，确保在辛标准化过程中 $A_{\infty}$-结构保持不变。
• 在过滤情形下，归纳论证被调整为对 $k + 2j = N$ 的求和，其中 $k$ 为单项式次数，$j$ 为能量层级，以确保构造的收敛性与正确性。
• 该构造产生一个从具有内积 $\psi$ 的循环 $A_{\infty}$-代数 $B$ 到 $A$ 的拟同构 $\iota: B \to A$，使得图 (1.1) 与 (9.6) 交换，从而确认了结构间的等价性。