Non Cohen-Macaulay locus of canonical modules (Q1730206): Difference between revisions

Let \(R\) be a Noetherian local ring with maximal ideal \(\mathfrak m\). We denotes the non-Cohen-Macaulay locus of a finitely generated \(R\)-module \(M\) by \(\operatorname{nCM}(M)\). Assume that \(R\) is a homomorphic image of a Gorenstein local ring. Then any finitely generated \(R\)-module \(M\) has the canonical module \(K_M\). It is known that \(\operatorname{nCM}(K_M) \subset \operatorname{nCM}(M)\). The authors study \(\dim \operatorname{nCM}(K_M)\). First, they show an inequality \[\dim \operatorname{nCM}(K_M) \leq \min\{\dim M-3, \dim \operatorname{nCM}(M)\}\] and give an example of a Noetherian local ring \(R\) such that \(\dim R = d\), \(\dim \operatorname{nCM}(R) = r\), \(\dim \operatorname{nCM}(K_M) = s\) for any integer \(d\), \(r\) and \(s\) such that \(-1 \leq s \leq d-3\), \(s \leq r \leq d-2\). On the other hand, the second author [Proc. Am. Math. Soc. 134, No. 10, 2785--2794 (2006; Zbl 1096.13026)] gave a necessary and sufficient condition for \(K_M\) to be Cohen-Macaulay. In the present paper, the authors give a necessary and sufficient condition for \(K_M\) to be generalized Cohen-Macaulay.