Pseudo Cohen-Macaulay and pseudo generalized Cohen-Macaulay modules. (Q1403896)

The purposes of the paper are to study the structure of pseudo (generalized) Cohen-Macaulay modules and to apply the results to a characterization of sequentially (generalized) Cohen-Macaulay modules. Let \(R\) be a Noetherian local ring and \(M\) a finitely generated \(R\)-module of dimension \(d\). Let \(\underline{x}=(x_1,\ldots,x_d)\) be a system of parameters of \(M\) and \(\underline{n}=(n_1,\ldots,n_d)\) a set of positive integers. Set \(I_{M,\underline{x}}(\underline{n}) = \ell(M/\underline{x}(\underline{n})M) - n_1 \cdots n_d\,e(\underline{x},M)\) and \(J_{M,\underline{x}}(\underline{n}) = n_1 \cdots n_d\,e(\underline{x},M) - \ell(M/Q_M(\underline{x}(\underline{n})))\), where \(\underline{x}(\underline{n}) = (x_1^{n_1},\ldots,x_d^{n_d})\) and \(Q_M(\underline{x}) = \bigcup_{t>0}((x_1^{t+1},\ldots,x_d^{t+1})M : x_1^t \cdots x_d^t)\). It is known that the functions \(I_{M,\underline{x}}(\underline{n})\) and \(J_{M,\underline{x}}(\underline{n})\) of \(\underline{n}\) are bounded above by polynomials in \(\underline{n}\). The least degree of all polynomials in \(\underline{n}\) bounding above \(I_{M,\underline{x}}(\underline{n})\) (respectively \(J_{M,\underline{x}}(\underline{n})\)) is independent of the choice of \(\underline{x}\) and is denoted by \(p(M)\) (respectively \(pf(M)\)). We say that \(M\) is a pseudo Cohen-Macaulay \(R\)-module (respectively a pseudo generalized Cohen-Macaulay \(R\)-module) if \(pf(M) = -\infty\) (respectively \(pf(M) \leq 0\)). Theorem 3.1: Suppose \(R\) posseses a dualizing complex. Let \(0 = \bigcap N_i\) be a reduced primary decomposition of \(0 \subset M\) where \(N_i\) is \(p_i\)-primary and \(N = \bigcap_{\dim R/p_i=d} N_i\). Then (1) \(M\) is pseudo Cohen-Macaulay if and only if \(M/N\) is Cohen-Macaulay, (2) \(M\) is pseudo generalized Cohen-Macaulay if and only if \(M/N\) is generalized Cohen-Macaulay. We say that \(M\) is a sequentially (generalized, respectively) Cohen-Macaulay \(R\)-module if there exists a filtration \(0=N_0 \subset N_1 \subset \cdots \subset N_t=M\) of submodules of \(M\) such that \(N_i/N_{i-1}\) is (generalized, respectively) Cohen-Macaulay for \(i=1,\ldots,t\) and \(\dim N_1/N_0 < \dim N_2/N_1 < \cdots < \dim N_t/N_{t-1}\). Theorem 5.1 and Theorem 5.3: Suppose \(R\) posseses a dualizing complex. Let \(0=M_0 \subset M_1 \subset \cdots \subset M_t=M\) be the dimension filtration of \(M\), i.e. a filtration of submodules of \(M\) such that \(M_{i-1}\) is the largest submodule of \(M_i\) which has dimension strictly less than \(\dim M_i\) for \(i=1,\ldots,t\). Then \(M\) is sequentially (generalized, respectively) Cohen-Macaulay if and only if \(M_i\) is pseudo (generalized, respectively) Cohen-Macaulay for \(i=1,\ldots,t\).