On a conjecture of R. P. Stanley. I: Monomial ideals

Apel, Joachim

Journal of Algebraic Combinatorics, Tome 17 (2003) no. 1, pp. 39-56.

Résumé

Summary: In 1982 Richard P. Stanley conjectured that any finitely generated $Ropf^{ n }$-graded module $M$ over a finitely generated $Nopf^{ n }$-graded K-algebra $R$ can be decomposed in a direct sum $M = oplus_{ i = 1} ^{ t }ngr _{i}S _{ i }$ of finitely many free modules $ngr_{ i } S _{ i }$ which have to satisfy some additional conditions. Besides homogeneity conditions the most important restriction is that the $S _{ i }$ 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.

Détail

Keywords: monomial ideal, combinatorial decomposition, involutive basis