[论文解读] Generators and dimensions of derived categories

Takuma Aihara, Ryo Takahashi|arXiv (Cornell University)|Jun 1, 2011

Algebraic structures and combinatorial models参考文献 1被引用 14

一句话总结

本文证明了含有完美剩余域的、包含域的诺特诺姆局部环上有限生成模的有界导出范畴具有有限维数。作者运用环论方法，证明了一个有限维数结果，为罗奎耶在完美域上关于导出范畴维数的仿射定理提供了新的代数证明，同时通过余维数和完备交点集，推导出奇点范畴与科恩-麦克aul伊稳定范畴的下界。

ABSTRACT

Several years ago, Bondal, Rouquier and Van den Bergh introduced the notion of the dimension of a triangulated category, and Rouquier proved that the bounded derived category of coherent sheaves on a separated scheme of finite type over a perfect field has finite dimension. In this paper, we study the dimension of the bounded derived category of finitely generated modules over a commutative Noetherian ring. The main result of this paper asserts that it is finite over a complete local ring containing a field with perfect residue field. Our methods also give a ring-theoretic proof of the affine case of Rouquier's theorem.

研究动机与目标

• 研究诺特诺姆交换环上有限生成模的有界导出范畴的维数。
• 为罗奎耶关于完美域上导出范畴有限维数的仿射情形定理提供环论证明。
• 确立奇点范畴与科恩-麦克aul伊模的稳定范畴维数的下界。
• 探讨局部环中导出维数、余维数与完备交点集之间的关系。

提出的方法

• 作者使用邦达尔、罗奎耶与范登伯格引入的三角范畴维数概念，分析导出范畴。
• 他们应用交换代数中的技术，特别是局部化与素理想链，以控制维数的增长。
• 证明依赖于对素理想高度与由正则序列生成的理想及环的谱结构之间关系的分析。
• 他们利用完备交点集 $\operatorname{CI}(R)$ 的概念对问题进行局部化，并应用完备交点环的已知下界。
• 通过素理想及其高度的引理，证明某些理想不包含在高度为 $d-1$ 的素理想的交集中，从而实现归纳维数控制。
• 该论证结合了局部化、维数理论以及奇点范畴的性质，推导出全局下界。

实验结果

研究问题

• RQ1 含有完美剩余域的诺特诺姆完备局部环上有限生成模的有界导出范畴是否具有有限维数？
• RQ2 罗奎耶关于完美域上仿射概形导出范畴有限维数的定理能否仅通过纯环论方法重新证明？
• RQ3 对于一般诺特诺姆交换环，奇点范畴 $\mathsf{D}_{\mathrm{Sg}}(R)$ 的维数的有效下界是什么？
• RQ4 局部环在完备交点集中的余维数如何与奇点范畴的维数相关？
• RQ5 科恩-麦克aul伊模的稳定范畴维数与完备交点局部化的余维数之间有何关系？

主要发现

• 当 $R$ 是一个包含域且剩余域为完美的诺特诺姆完备局部环时，有界导出范畴 $\mathsf{D}^b(\mathsf{mod}\,R)$ 具有有限维数。
• 本文为罗奎耶定理的仿射情形提供了环论证明，该定理最初依赖于几何方法。
• 对于任意有限克鲁尔维数的约化环 $R$，有 $\dim \mathsf{D}^b(\mathsf{mod}\,R) \geq \dim R - 1$。
• 奇点范畴的维数满足 $\dim \mathsf{D}_{\mathrm{Sg}}(R) \geq \sup\{\operatorname{codim} R_{\mathfrak{p}} \mid \mathfrak{p} \in \operatorname{CI}(R)\} - 1$。
• 若 $R$ 是哥伦布斯坦环，则科恩-麦克aul伊模的稳定范畴满足 $\dim \underline{\mathsf{CM}}(R) \geq \sup\{\operatorname{codim} R_{\mathfrak{p}} \mid \mathfrak{p} \in \operatorname{CI}(R)\} - 1$。
• 奇点范畴维数的下界是精确的，即与完备交点环的已知结果一致，且该证明扩展了阿夫拉莫夫与艾延加关于余正规自由秩的方法。