[论文解读] Derived Categories

Amnon Yekutieli|arXiv (Cornell University)|Jan 16, 2020

Algebraic structures and combinatorial models参考文献 105被引用 36

一句话总结

本书预印本为交换与非交换代数中的导出范畴提供了基础性与应用性见解，强调构造与实例，而非公理化体系。它建立了诸如DG代数、三角范畴与导出范畴、K-内射/投影/平坦模等关键工具，并深入探讨了对偶复形、倾斜双模及非交换MGM等价性等高级主题，应用涵盖卡拉比-丘与阿廷-舍勒特正则环。

ABSTRACT

This is the fourth (and last) prepublication version of a book on derived categories, that will be published by Cambridge University Press. The purpose of the book is to provide solid foundations for the theory of derived categories, and to present several applications of this theory in commutative and noncommutative algebra. The emphasis is on constructions and examples, rather than on axiomatics. Here are the topics covered in the book: - A review of standard facts on abelian categories. - Differential graded algebra (DG rings, DG modules, DG categories and DG functors). - Triangulated categories and triangulated functors between them. How they arise from the DG background. The homotopy category K(A,M) of DG A-modules in M. - Localization of categories. The derived category D(A,M), which is the localization of K(A,M) with respect to the quasi-isomorphisms. - Left and right derived functors of a triangulated functor. - K-injective, K-projective and K-flat DG modules. Their roles, and their existence in several important algebraic situations. - Dualizing and residue complexes over commutative noetherian rings, including Van den Bergh rigidity. - Perfect DG modules and tilting DG bimodules over NC (noncommutative) DG rings. - NC connected graded rings, including Artin-Schelter regular rings. Derived torsion for NC connected graded rings, its relation to the chi condition of Artin-Zhang, and the NC MGM Equivalence. Balanced dualizing complexes, their uniqueness, existence and trace functoriality. - NC rigid dualizing complexes, following Van den Bergh. The uniqueness and existence of these complexes, a few examples, and their relation to Calabi-Yau rings. Readers of this preview version are urged to write to the author with any comments regarding errors, suggestions or questions.

研究动机与目标

• 建立导出范畴在代数中的严谨但易懂的基础，聚焦于构造与实例，而非抽象公理。
• 探讨DG代数、DG模与DG范畴作为导出范畴理论核心框架的作用。
• 在DG模的背景下，发展导出函子的理论，包括三角函子的左与右导出函子。
• 研究交换诺特环上的对偶复形与留数复形，包括范登伯格的刚性与迹函子性。
• 将理论拓展至非交换设定，特别是NC连通分次环、完美模与倾斜双模，并建立非交换MGM等价性。

提出的方法

• 以微分分次（DG）环与DG模作为构建导出范畴的主要代数框架。
• 在模范畴M中构造DG A-模的同伦范畴K(A,M)，并通过在拟同构处进行局部化，形成导出范畴D(A,M)。
• 应用局部化技术推导三角范畴并研究三角函子，尤其关注与导出函子的关系。
• 引入并分析K-内射、K-投影与K-平坦DG模，证明其在关键代数情境中的存在性。
• 通过平衡与刚性对偶复形，将理论应用于非交换环，利用迹函子性与阿廷-张的χ条件。
• 通过导出扭与卡拉比-丘性质在NC环中的联系，建立非交换MGM等价性。

实验结果

研究问题

• RQ1 如何系统地从DG代数与DG模构造导出范畴，以支持同调代数？
• RQ2 在重要代数设定中，确保K-内射、K-投影与K-平坦DG模存在的条件是什么？
• RQ3 对偶复形与留数复形在交换诺特环上如何表现？范登伯格刚性起什么作用？
• RQ4 在非交换代数中，NC DG环上的完美DG模与倾斜DG双模的结构与意义为何？
• RQ5 NC连通分次环中的导出扭如何与阿廷-张的χ条件及非交换MGM等价性相关？

主要发现

• 导出范畴D(A,M)被明确定义为同伦范畴K(A,M)在拟同构处的局部化，为导出函子提供了稳健框架。
• K-内射、K-投影与K-平坦DG模在重要代数情境中存在，支持左与右导出函子的构造。
• NC连通分次环上的平衡对偶复形在典范同构意义下唯一，并表现出迹函子性。
• 在非交换设定中，刚性对偶复形存在且唯一，有明确示例并与卡拉比-丘环相关联。
• 非交换MGM等价性在NC连通分次环上成立，将导出扭与阿廷-张的χ条件联系起来。
• 范登伯格对偶复形刚性定理在DG设定中得以确立，强化了这些复形的唯一性与结构。