On pseudo supports and non-Cohen-Macaulay locus of finitely generated modules (Q975106): Difference between revisions

Let \((R,\mathfrak m)\) be local noetherian ring and \(M\) a finitely generated \(R\)-module of dimension \(d\). The paper under review is concerned with studying the pseudo supports of \(M\) and non-Cohen-Macaulay locus of \(M\). For each non-negative integer \(i\), the \(i\)-th pseudo support of \(M\) is defined by \[ \mathrm{Psupp}_R^i(M):=\{\mathfrak p\in \mathrm{Spec} R|H_{\mathfrak p R_{\mathfrak p}}^ {i-\dim R/\mathfrak p}(M_{\mathfrak p})\neq 0\}. \] The notion of pseudo supports was introduced by \textit{M. Brodmann} and \textit{R. Y. Sharp} [Nagoya Math. J. 167, 217--233 (2002; Zbl 1044.13007)]. Also, non-Cohen-Macaulay locus of \(M\) is defined by \[ nCM(M):=\{\mathfrak p\in \mathrm{Spec} R|M_{\mathfrak p} \;\;\text{is not Cohen-Macaulay} \}. \] One of the main results of the paper asserts that \[ nCM(M)=\bigcup_{0\leq i<j\leq d} (\mathrm{Psupp}_R^i(M)\cap \mathrm{Psupp}_R^j(M)). \] Hence if all pseudo supports of \(M\) are closed, then \(nCM(M)\) is closed. By Proposition 2.5 of the above mentioned paper of Brodmann and Sharp if the ring \(R/\mathrm{Ann}_RM\) is universally catenary and all its formal fibers are Cohen-Macaulay, then \(\mathrm{Psupp}_R^i(M)= V(\mathrm{Ann}_R(H_{\mathfrak m}^i(M)))\) for all \(i\geq 0\). Hence if the ring \(R/\mathrm{Ann}_RM\) is universally catenary and all its formal fibers are Cohen-Macaulay, then \(nCM(M)\) is closed. This improves a result of Schenzel which says that \(nCM(M)\) is closed, provided \(R\) is a homeomorphic image of a Gorenstein local ring.