Grade and Cohen-Macaulayness for DG-modules

Abstract

We establish an inequality relating the projective dimension of a DG-module in ${\mathrm{D}}_{\mathrm{f}}^{\mathrm{b}}(A)$ to its grade and introduce the concept of perfect DG-modules as a natural generalization of perfect modules. It is proved that a DG-module $M$ over a local Cohen-Macaulay DG-ring with constant amplitude is Cohen-Macaulay if and only if $M$ is perfect and $\mathrm{amp}M\le \mathrm{amp}\mathrm{R}\hat{I}{“}_{\bar{\mathfrak{m}}}(M)$. An affirmative answer is provided to Conjecture 2.11 of Yoshida [J. Pure Appl. Algebra 123 (1998) 313--326]. We also study the grade of DG-modules with finite injective dimension and examine the preservation of Cohen-Macaulayness under tensor products.

comments welcome!