[论文解读] Canonical models of filtered $A_\infty$-algebras and Morse complexes

Kenji Fukaya, Yong‐Geun Oh+2 more|ArXiv.org|Dec 10, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 4

一句话总结

本论文通过伪全纯曲线和梯度流线的模空间，构建了相对自旋拉格朗日子流形上莫尔斯上链复形的过滤$A_\infty$-代数的典范模型。关键贡献在于通过加权计数虚拟维数为零的配置，几何化实现莫尔斯上链复形上的$A_\infty$-结构，为辛拓扑中的弗洛尔理论计算提供了一个典范的、与选择无关的框架。

ABSTRACT

The purpose of this paper is two-fold. First we explain the construction of the canonical model of filtered $A_\infty$-algebras given in the authors' book [FOOO]. The canonical model plays a crucial role in the study of Lagrangian Floer theory on toric manifolds in our recent papers, arXiv:0802.1703 and arXiv:0810.5654. Then using a variation of the arguments used in that construction, we define a natural filtered $A_\infty$-structure on the Morse complex of a Morse function and its $A_\infty$ homotopy to the $A_\infty$-algebras on a Lagrangian submanifold constructed in [FOOO]. The corresponding graphical moduli spaces `summing over trees' involve holomorphic discs connected by the gradient flow lines.

研究动机与目标

• 构建相对自旋拉格朗日子流形的莫尔斯上链复形上的典范、与选择无关的$A_\infty$-结构。
• 通过伪全纯曲线和梯度流线的模空间，几何化实现操作，将过滤$A_\infty$-代数的框架扩展至莫尔斯理论。
• 为与莫尔斯复形相关的$A_\infty$-代数提供一个典范模型，确保构造中辅助选择的不变性。
• 利用典范模型，对弱绑定上链的势函数$\mathfrak{PO}(b)$在空间上的几何实现进行建立。
• 通过莫尔斯理论数据，将构造推广至干净或横截相交拉格朗日子流形的过滤$A_\infty$-双模。

提出的方法

• 通过带标记的平面树$\Gamma \in G_{k+1}^+$来参数化伪全纯盘和断裂负梯度流线的配置。
• 对每个树$\Gamma$，定义模空间$\mathcal{M}_\Gamma(h; p_1, \dots, p_k, q)$，其由具有边界标记点和连接临界点的流线的带边稳定映射组成。
• 通过计数$\mathcal{M}_\Gamma$的加权虚拟0维分量定义操作$\mathfrak{m}_\Gamma$，权重中包含每个圆盘泡的$e^{\mu(\beta)/2}$。
• 通过在所有树$\Gamma \in G_{k+1}^+$上求和，得到完整的$A_\infty$-操作$\mathfrak{m}_k$，权重为$T^{E(\Gamma)}$，其中$E(\Gamma)$为配置的总能量。
• 通过过滤$A_\infty$-代数的同伦理论推导典范模型，确保对子复形和扰动的选择不变性。
• 该方法依赖于库兰斯基映射的系统性多值扰动，以及使用单一莫尔斯函数，避免了最终构造中对多个莫尔斯函数的需求。

实验结果

研究问题

• RQ1 如何为相对自旋拉格朗日子流形的莫尔斯上链复形构造一个典范的、与选择无关的$A_\infty$-结构？
• RQ2 莫尔斯复形上的$A_\infty$-操作在伪全纯曲线和梯度流线方面的几何实现是什么？
• RQ3 过滤$A_\infty$-代数的典范模型与弗洛尔理论中势函数$\mathfrak{PO}(b)$的关系如何？
• RQ4 能否仅通过单个莫尔斯函数和扰动理论，避免依赖多个莫尔斯函数来构造莫尔斯复形上的$A_\infty$-结构？
• RQ5 典范模型框架如何推广至干净或横截拉格朗日子流形相交的$A_\infty$-双模？

主要发现

• 过滤$A_\infty$-操作在莫尔斯复形上被实现为涉及伪全纯盘和断裂负梯度流线的配置的0维模空间的加权计数。
• 由于典范模型的构造，$CM^\bullet(f)$上的$A_\infty$-结构独立于子复形和扰动等辅助选择。
• 典范模型为势函数$\mathfrak{PO}(b)$提供了明确定义的定义域，确保弗洛尔理论不变量的一致性。
• 该构造适用于拉格朗日子流形的横截与干净相交，当$h$为交集上的莫尔斯函数时，$C^\bullet(L_0 \cap L_1; \Theta)$上的双模结构退化为莫尔斯复形$CM^\bullet(h; \Theta)$。
• 该方法避免了在最终$A_\infty$-结构中使用多个莫尔斯函数，转而依赖单一莫尔斯函数和典范模型框架以实现横截性。
• 典范模型确保了谱序列的收敛性，并为$A_\infty$-代数提供了稳定的同伦型，即使原始复形具有无界上同调度数亦成立。