[论文解读] Completing perfect complexes

Tobias Barthel, Bernhard Keller+1 more|arXiv (Cornell University)|May 28, 2018

Algebraic structures and combinatorial models参考文献 27被引用 8

一句话总结

本文提出了一种基于柯西序列的三角范畴的新完备化方法，证明了右诺特环上有限生成模的有界导出范畴是其完美复形范畴的完备化。关键结果是完美复形范畴的完备化与有限生成模的有界导出范畴之间存在自然的三角等价，该结果可推广至诺特概形，并可直接构造奇点范畴。

ABSTRACT

This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented modules over a right coherent ring is the completion of the category of perfect complexes. The result extends to non-affine noetherian schemes and gives rise to a direct construction of the singularity category. The parallel theory of completion for abelian categories is compatible with the completion of derived categories. There are three appendices. The first one by Tobias Barthel discusses the completion of perfect complexes for ring spectra. The second one by Tobias Barthel and Henning Krause refines for a separated noetherian scheme the description of the bounded derived category of coherent sheaves as a completion. The final appendix by Bernhard Keller introduces the concept of a morphic enhancement for triangulated categories and provides a proper foundation for completing a triangulated category.

研究动机与目标

• 开发一种基于柯西序列的三角范畴范畴完备化方法，类比于有理数构造实数的过程。
• 证明对于右诺特环 Λ，有界导出范畴 D^b(mod Λ) 可作为完美复形范畴 D^per(Λ) 的完备化。
• 将完备化构造推广至非仿射诺特概形，提供奇点范畴作为完备化完美复形范畴的 Verdier 商的直接描述。
• 建立阿贝尔范畴（如有限长模）的完备化与相应三角范畴的导出完备化之间的相容性。
• 探讨在环谱和诺特概形背景下，形态增强与等值塔在完备化过程中的作用。

提出的方法

• 将三角范畴 C 的序列完备化 定义为 ind-完备化中的全子范畴，其对象为柯西序列的余极限。
• 利用幻影态射与米尔诺精确序列的概念，确保当范畴满足无幻影条件时，完备化继承三角结构。
• 构造一个从完备化 到环境紧生成三角范畴 T 的全忠实三角函子，将柯西序列映射为其同伦余极限。
• 采用形态增强的概念，通过三角范畴的逐层提升实现完备化过程，借助等值塔实现迭代完备化。
• 应用马特利对偶性，将有限长模的完备化与导出范畴中的对偶性联系起来，从而得到三角等价。
• 验证在分离诺特概形上，完美复形范畴的完备化可恢复为凝聚层有界导出范畴。

实验结果

研究问题

• RQ1 能否通过柯西序列将右诺特环上有限生成模的有界导出范畴实现为完美复形范畴的完备化？
• RQ2 诺特概形上完美复形范畴的完备化是否等于凝聚层的有界导出范畴？其奇点范畴能否作为该完备化的商范畴直接构造？
• RQ3 在何种条件下，三角范畴的完备化能继承三角结构，特别是通过正合三角形的余极限？
• RQ4 阿贝尔范畴（如有限长模）的完备化与相应三角范畴的导出完备化之间有何关系？
• RQ5 完备化过程能否通过形态增强与等值塔迭代进行，尤其在环谱与诺特概形背景下？

主要发现

• 对任意右诺特环 Λ，存在完美复形范畴 D^per(Λ) 的完备化与 D^b(mod Λ) 之间的自然三角等价，完备化函子将柯西序列映射为其余极限。
• 诺特概形 X 上的凝聚层有界导出范畴与 X 上完美复形范畴的完备化同构，提供了直接的范畴构造。
• 诺特概形 X 的奇点范畴可自然地实现为完备化完美复形范畴关于原始完美复形范畴的 Verdier 商。
• 对于完备局部环上的诺特代数 Λ，有限长 Λ-模范畴的完备化等同于阿廷环 Λ-模范畴。
• 通过马特利对偶性，本文建立了 D^b(mod Λ)^op、D^b(ĥfl Γ) 与 D^b(fl Γ) 的完备化之间的三角等价，连接了对偶性与完备化。
• 通过有界柯西序列，右诺特环 Λ 的完美导出范畴的完备化对应于 mod Λ 的有界导出范畴，且该过程可通过形态增强与等值塔推广至环谱与诺特概形。