A uniform bound of reducibility index of good parameter ideals for certain class of modules (Q2421343)

Let \(R\) be a Noetherian ring with maximal ideal \(\mathfrak m\) and \(M\) a finitely generated \(R\)-module. Any submodule \(N\) of \(M\) is an intersection of irreducible submodules of \(M\) and the number of irreducible modules in the intersection is independent of the choice of such an intersection, We call this invariant the reducibility index of \(N\) in \(M\) and denote it by \(\operatorname{ir}_M N\). It is well-known that \(\operatorname{ir}_M \mathfrak qM\) is a constant for any parameter ideal \(\mathfrak q\) of \(M\) if \(M\) is Cohen-Macaulay and that \[ \sup\{\operatorname{ir}_M \mathfrak qM \mid \text{\(\mathfrak q\) is a parameter ideal of \(M\)}\} < \infty \tag{1} \] if \(M\) is generalized Cohen-Macaulay. Let \(\operatorname{p}(M)\) be the polynomial type of \(M\), introduced by \textit{Nguyen Tu Cuong} [Nagoya Math. J. 125, 105--114 (1992; Zbl 0783.13020)]. Then \(M\) is Cohen-Macaulay (resp.\ generalized Cohen-Macaulay) if and only if \(\operatorname{p}(M) = -1\) (resp.\ \(\operatorname{p}(M) \leq 0\)). Therefore (1) holds if \(\operatorname{p}(M) \leq 0\). Recently, \textit{Pham Hung Quy} [Arch. Math. 101, No. 5, 469--478 (2013; Zbl 1282.13045)] showed that (1) holds if \(\operatorname{p}(M) \leq 1\). In the present paper, authors improved Quy's theorem. If \(M\) is equidimensional and \(R\) a homomorphic image of a Cohen-Macaulay local ring, then \(\operatorname{p}(M)\) is the dimension of the non-Cohen-Macaulay locus of \(M\). In the case that \(M\) is not equidimensional, we need another invariant. The dimension filtration of \(M\) is a sequence of submodules of \(M\) \[ M = D_0 \supset \dots \supset D_t = H_{\mathfrak m}^0(M) \] such that \(D_i\) is the largest submodule of \(M\) such that \(\dim D_i < \dim D_{i-1}\). In this case, \(D_i/D_{i+1}\) is equidimensional. The sequentially polynomial type of \(M\) is \(\operatorname{sp}(M) = \max_i \operatorname{p}(D_i/D_{i+1})\). Let \(M = H_0 \supset \dots \supset H_n\) be a sequence of submodules of \(M\) such that \(\dim H_i < \dim H_{i-1}\) for all \(i\). A parameter ideal \(\mathfrak q = (x_1, \dots, x_d)\) is said to be a good parameter ideal of \(M\) with respect to the sequence above if \((x_{h_i+1}, \dots, x_n)M \cap H_i = 0\) for all \(i\) where \(h_i = \dim H_i\). Then the main theorem of this paper is stated as follows: Let \(M\) be a finitly generated \(R\)-module and \(M = D_0 \supset \dots \supset D_t = H_{\mathfrak m}^0(M)\) the dimension filtration of \(M\). Assume that \(\operatorname{sp}(M) \leq 1\), \(\operatorname{p}(D_0)\), \dots, \(\operatorname{p}(D_{k-1}) > 1\) and \(\operatorname{p}(D_k) \leq 1\). Then \(\sup\{\operatorname{ir}_M \mathfrak qM \mid \mathfrak q\) is a good parameter ideal of \(M\) with respect to \(M = D_0\), \dots, \(D_k\} < \infty\).