On the partial Euler-Poincaré characteristics of certain systems of parameters in local rings (Q2365060)

Let \(x=\{x_1,\dots, x_d\}\) be a system of parameters of a module \(M\) over a local ring \((A,{\mathfrak m})\). Let \(n=(n_1,\dots,n_d)\) be a \(d\)-tuple of positive integers. Denote by \(H_i(x;M)\) the \(i\)-th Koszul homology of \(M\) with respect to \(x\). Then we show in this paper that the least degree of all polynomials in \(n\) bounding above the partial Euler-Poincaré characteristic \(\chi_k(x_1^{n_1},\dots, x_d^{n_d};M)= \sum_{i\geq k}(-1)^{i-k} \ell(H_i(x_1^{n_1},\dots, x_d^{n_d};M))\), is independent of the choice of \(x\), therefore it is an invariant of \(M\). Moreover, we prove that this invariant is exactly equal to \(\dim A/({\mathfrak a}_0(M)\dots {\mathfrak a}_{d-k}(M))\), where \({\mathfrak a}_i(M)\) is the annihilator of the \(i\)-th local cohomology module \(H^i_m(M)\). As consequence, we also get the same statement of the length of the Koszul homology \(\ell(H_k (x_1^{n_1},\dots, x_d^{n_d};M))\).