The derived category of a locally complete intersection ring (Q2324586): Difference between revisions

Let \(R\) be a commutative noetherian ring and \(\mathrm{D}(R)\) its derived category. Let \(\mathrm{D}^f(R)\) be the full subcategory of \(\mathrm{D}(R)\) consisting of complexes with finitely generated homology. A first main result of the paper says that if \(R\) is a commutative noetherian local ring, then the following are equivalent: (1) \(R\) is a complete intersection; (2) Every object of \(\mathrm{D}^f(R)\) is proxy small; (3) Every object of \(\mathrm{D}^f(R)\) is virtually small. In a second main result of the paper the author proves that a commutative noetherian ring \(R\) is locally a complete intersection if and only if every nontrivial object of \(\mathrm{D}^f(R)\) finitely builds a nontrivial perfect complex.