On a new invariant of finitely generated modules over local rings
Let M be a finitely generated module on a local ring R and $\F: M_0\subset M_1\subset...\subset M_t=M$ a filtration of submodules of M such that do<d1<...<dt=d, where di=dimMi. This paper is concerned with a non-negative integer pF(M) which is defined as the least degree of all polynomials in n1,...,nd bounding above the function ℓ(M/(x1n1,...,xdnd)M)−∑i=0tn1...ndie(x1,...,xdi;Mi). We prove that pF(M) is independent of the choices of good systems of parameters x=x1,...,xd. When $\F$ is the dimension filtration of M we also present some relations between $p_\F(M)$ and the polynomial type of each Mi/Mi−1 and the dimension of the non-sequentially Cohen-Macaulay locus of M.