On a Conjecture of R. P. Stanley; Part I—Monomial Ideals

Abstract

In 1982 Richard P. Stanley conjectured that any finitely generated \Bbb Zn-graded module M over a finitely generated \Bbb Nn-graded \Bbb K-algebra R can be decomposed in a direct sum M e ⊕i e 1t νiSi of finitely many free modules νiSi which have to satisfy some additional conditions. Besides homogeneity conditions the most important restriction is that the Si have to be subalgebras of R of dimension at least depth M. We will study this conjecture for the special case that R is a polynomial ring and M an ideal of R, where we encounter a strong connection to generalized involutive bases. We will derive a criterion which allows us to extract an upper bound on depth M from particular involutive bases. As a corollary we obtain that any monomial ideal M which possesses an involutive basis of this type satisfies Stanley's Conjecture and in this case the involutive decomposition defined by the basis is also a Stanley decomposition of M. Moreover, we will show that the criterion applies, for instance, to any monomial ideal of depth at most 2, to any monomial ideal in at most 3 variables, and to any monomial ideal which is generic with respect to one variable. The theory of involutive bases provides us with the algorithmic part for the computation of Stanley decompositions in these situations.