We show that the cotilting heart associated to a tilting complex is a locally coherent and locally coperfect Grothendieck category (i.e. an Ind-completion of a small artinian abelian category) if and only if is product-complete. We then apply this to the specific setting of the derived category of a commutative noetherian ring . If , we show that there is a derived duality between and a noetherian abelian category if and only if is a homomorphic image of a Cohen–Macaulay ring. Along the way, we obtain new insights about t-structures in . In the final part, we apply our results to obtain a new characterization of the class of those finite-dimensional Noetherian rings that admit a Gorenstein complex.

生成讲解博客的中文版本

生成AI智能校验的中文版本