Cohen-Macaulayness of tensor products (Q1880977)

Let \((R,m)\) be a Noetherian local ring, and let \(M\) and \(N\) be non-zero finitely generated \(R\)-modules. The main purpose of the paper is to give a condition on \(M\) for \(M \otimes_R N\) to be a Cohen-Macaulay \(R\)-module, provided that \(\text{Tor}^R_i(M,N) = 0\) for all \(i>0\) and that \(N\) is Cohen-Macaulay. We say that \(M\) is \(N\)-perfect if \(\text{proj.dim}_R\,M = \text{grade}(M,N)\) (\(=\min\{i \mid \text{Ext}_R^i(M,N)\neq0\}\)). The main theorem is as follows (theorem 1.8): Suppose that \(N\) is Cohen-Macaulay, that \(\text{proj.dim}_R\,M<\infty\) and that \(\text{Tor}^R_i(M,N) = 0\) for all \(i>0\). Then \(M \otimes_R N\) is Cohen-Macaulay if and only if \(M\) is \(N\)-perfect. In section 2, Serre's condition \((S_t)\) is considered. For example, the following theorem is shown: Suppose that \(\text{Tor}^R_i(M,N) = 0\) for all \(i>0\) and that \(\text{proj.dim}_R\,M<\infty\). If \(M \otimes_R N\) satisfies \((S_t)\), then so does \(N\) (i.e. \(\text{depth}\,N_p \geq \min\{t,\dim N_p\}\) for every \(p \in \text{Supp}\,N\)).