[论文解读] The Gorenstein defect category

Petter Andreas Bergh, David A. Jorgensen+1 more|arXiv (Cornell University)|Feb 13, 2012

Algebraic structures and combinatorial models参考文献 10被引用 6

一句话总结

本文引入了Gorenstein缺陷范畴，这是一个三角范畴，用于衡量诺特环偏离Gorenstein环的程度。证明了从完全挠曲复形的同伦范畴到奇异范畴的自然函子是稠密的，当且仅当该环是Gorenstein环，从而为阿廷环和交换诺特局部环提供了Gorenstein环的范畴化特征刻画。

ABSTRACT

We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the Gorenstein defect category of the ring, a category which in some sense measures how far the ring is from being Gorenstein.

研究动机与目标

• 使用三角范畴提供Gorenstein环的范畴化特征刻画。
• 定义并研究Gorenstein缺陷范畴，作为衡量环偏离Gorenstein性质程度的工具。
• 研究从完全挠曲复形到奇异范畴的函子稠密的条件。
• 分析Gorenstein缺陷范畴的维数，特别是在阿廷环和交换局部环的背景下。
• 识别出存在非平凡完全挠曲复形的最小非Gorenstein环。

提出的方法

• 使用在度数零处的粗略截断，诱导出从完全挠曲复形的同伦范畴到奇异范畴的三角函子。
• 将Gorenstein缺陷范畴定义为奇异范畴关于该函子像的商范畴。
• 应用厚子范畴技巧，并利用环的根基的Loewy长度来界定奇异范畴的维数。
• 应用Buchweitz等人关于导出范畴和最大Cohen-Macaulay模的稳定范畴的结果。
• 应用Christensen与Veliche的定理，以限制存在Loewy长度较小的完全挠曲复形的环的结构。
• 利用如下事实：若环的根基的幂零指数为n，则其奇异范畴的维数至多为n−2，从而界定Gorenstein缺陷范畴的维数。

实验结果

研究问题

• RQ1 对于诺特环，从完全挠曲复形的同伦范畴到奇异范畴的函子在何时是稠密的？
• RQ2 对于阿廷环和交换诺特局部环，Gorenstein缺陷范畴的结构与维数如何？
• RQ3 哪些有限维局部环存在非平凡的完全挠曲复形但不是Gorenstein环？
• RQ4 存在非平凡完全挠曲复形的非Gorenstein局部环的最小可能Loewy长度、嵌入维数和长度分别是多少？
• RQ5 Gorenstein缺陷范畴的维数与Loewy长度、嵌入维数等不变量之间有何关系？

主要发现

• 对于阿廷环或交换诺特局部环，从完全挠曲复形的同伦范畴到奇异范畴的函子是稠密的，当且仅当该环是Gorenstein环。
• Gorenstein缺陷范畴是平凡的（即零范畴），当且仅当该环是Gorenstein环。
• 对于满足𝔪ⁿ = 0的交换局部环，奇异范畴的维数至多为n−2。
• 环R = k[x,y,z]/(x²,y²,z²,yz) 是在Loewy长度、嵌入维数和长度方面最小的交换局部非Gorenstein环（在存在非平凡完全挠曲复形的意义下）。
• R的Gorenstein缺陷范畴的维数至多为1，且由于它是奇异范畴的商，其维数受奇异范畴维数的限制。
• 对于环R，Gorenstein缺陷范畴的维数至多为1，且该界是紧的，这由其根基与挠元的结构决定。