[论文解读] Introduction to A-infinity algebras and modules

Bernhard Keller|ArXiv.org|Nov 1, 1999

Algebraic structures and combinatorial models参考文献 19被引用 61

一句话总结

本文全面介紹了A-infinity代数及其模，重点关注其在同调代数和导出范畴中的作用。研究证明，复形的同调以及模范畴的扩张代数自然携带A-infinity结构，这些结构编码了实现拟同构重建所缺失的数据，其关键贡献在于最小模型的存在性，以及通过扭曲复形构造导出范畴的方法。

ABSTRACT

These are expanded notes of four introductory talks on A-infinity algebras, their modules and their derived categories.

研究动机与目标

• 解释A-infinity结构如何解决从复形的同调出发，以拟同构意义重建复形的问题。
• 证明模范畴的扩张代数携带A-infinity结构，该结构编码了模的迭代扩张。
• 通过扭曲对象提供A-infinity代数导出范畴的基础框架。
• 确立A-infinity代数最小模型的存在性，作为关键技术工具。
• 将A-infinity结构与拓扑起源联系起来，阐明其在代数几何与数学物理中的意义。

提出的方法

• 本文使用bar构造与扭曲复形来定义A-infinity代数的导出范畴。
• 引入扭曲对象的概念，作为导出范畴的可计算模型。
• 通过同伦传递定理确立A-infinity代数最小模型的存在性。
• 将导出范畴构造为在A-infinity代数最小模型上的扭曲复形范畴。
• 利用标准函子的范畴论形式化，将扩张代数与迭代扩张联系起来。
• 通过涉及映射φ_{n,t}与b_n的符号演算，验证扭曲复形范畴中A-infinity关系的成立。

实验结果

研究问题

• RQ1 能否从模复形的同调出发，以拟同构意义重建该复形？若不能，需要何种额外结构？
• RQ2 模集的扩张代数是否能确定其迭代扩张的范畴？若不能，还需何种额外结构？
• RQ3 A-infinity代数的导出范畴应如何构造？扭曲复形在此构造中扮演何种角色？
• RQ4 在A-infinity代数及其在导出范畴中的应用背景下，最小模型具有何种意义？
• RQ5 A-infinity结构如何从拓扑与同调问题中自然产生？其在镜像对称与表示论中扮演何种角色？

主要发现

• 在结合代数上的模复形的同调携带唯一的A-infinity模结构，该结构编码了以拟同构意义重建复形所需的数据。
• 模M的扩张代数Ext*(M,M)自然携带A-infinity代数结构，该结构编码了M_i的迭代扩张范畴。
• A-infinity代数的导出范畴与该代数最小模型上的扭曲复形范畴等价。
• 扭曲复形范畴构成一个A-infinity范畴，其A-infinity结构通过涉及映射φ_{n,t}与b_n的符号验证的复合法则构造而成。
• 在扭曲复形范畴中验证A-infinity关系的证明依赖于两个和Σ₁与Σ₂的比较，其中Σ₁因对应于b′_{r₂}∘α^⊗r₂的项相互抵消而消失。
• 该构造证实A-infinity代数的导出范畴是三角范畴，并且具有标准函子，为导出Morita理论提供了框架。