[论文解读] Derived Algebraic Geometry II: Noncommutative Algebra

Jacob Lurie|ArXiv.org|Feb 11, 2007

Advanced Topics in Algebra被引用 7

一句话总结

本文在∞-范畴的框架下，基于导出代数几何研究了A∞-环及其模的理论，建立了关于平坦性、完美性及Tor-幅度的奠基性结果。证明了对于连通A∞-环，左模为完美模当且仅当其为几乎完美且具有有限的Tor-幅度，将同调代数中的经典结果推广至同伦设定。

ABSTRACT

In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits in each variable), and thereby recover the classical smash-product operation on spectra. We develop a general theory of algebras in a monoidal infinity category, which we use to (re)prove some basic results in the theory of associative ring spectra. We also develop an infinity-categorical theory of monads, and prove a version of the Barr-Beck theorem.

研究动机与目标

• 在∞-范畴的背景下发展A∞-环的理论，以建立经典非交换代数在同伦设定下的稳健推广。
• 定义并研究A∞-环上的模，特别关注在导出设定下模的有限性与平坦性性质。
• 通过Tor-幅度与几乎完美性，对连通A∞-环上的完美模进行刻画，推广经典结果。
• 为非交换代数提供一个同伦框架，支持如bar构造与平衡配对等构造。
• 通过在稳定∞-范畴中形式化张量结构与模范畴，为导出代数几何奠定基础。

提出的方法

• 使用∞-范畴与张量结构推广经典代数概念，以空间替代集合，以A∞-环替代环。
• 应用张量∞-范畴与代数对象的理论，将A∞-环定义为谱的∞-范畴中的代数对象。
• 通过张量∞-范畴与自同态代数引入并研究A∞-环上的模，从而实现同伦模理论。
• 在∞-范畴设定下应用Barr-Beck定理，分析伴随关系与下降理论，这对模的构造至关重要。
• 利用bar构造与平衡配对定义张量积，并在导出模范畴中推导有限性条件。
• 应用同伦代数技术，如同伦极限、同伦余极限与重言子对象，分析有限生成与完美模。

实验结果

研究问题

• RQ1 如何利用∞-范畴将经典非交换环论推广至同伦设定？
• RQ2 在同伦不变量（如Tor-幅度）的术语下，什么条件可刻画连通A∞-环上完美模的性质？
• RQ3 在导出设定下，何种条件下一个平坦的几乎完美模必为完美模？
• RQ4 如何系统地利用∞-范畴工具（如张量结构与伴随关系）发展A∞-环上模的理论？
• RQ5 Tor-幅度在分类A∞-环上的有限表示与完美模中起什么作用？

主要发现

• 连通A∞-环具有良好的模理论，其中平坦性与几乎完美性蕴含投影性。
• 对于连通A∞-环A，左A-模M为完美模当且仅当其为几乎完美且具有有限的Tor-幅度。
• 若左A-模M为平坦且几乎完美，则其为投影模，因此是有限生成自由A-模的重言子对象。
• 左A-模中具有有限Tor-幅度的类在重言子对象、有限余极限与平移下封闭，且包含A[n]（对所有整数n）。
• 任何连通A∞-环上的完美模均属于由有限生成投影模生成的最小稳定子范畴。
• 对于离散A∞-环A，左A-模的有上界复形为完美模当且仅当其同调等价于有限生成π0A-模的有界复形。