On a conjecture of R. P. Stanley; part I - Monomial ideals

被引:39
作者
Apel, J [1 ]
机构
[1] Univ Leipzig, Math Inst, D-04109 Leipzig, Germany
基金
美国国家科学基金会;
关键词
monomial ideal; combinatorial decomposition; involutive basis;
D O I
10.1023/A:1021912724441
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In 1982 Richard P. Stanley conjectured that any finitely generated Z(n)-graded module M over a finitely generated N-n-graded K-algebra R can be decomposed in a direct sum M = +(t)(i = 1) v(i) S-i of finitely many free modules v(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.
引用
收藏
页码:39 / 56
页数:18
相关论文
共 14 条
[1]   The theory of involutive divisions and an application to Hilbert function computations [J].
Apel, J .
JOURNAL OF SYMBOLIC COMPUTATION, 1998, 25 (06) :683-704
[2]   COMBINATORIAL DECOMPOSITIONS OF A CLASS OF RINGS [J].
BACLAWSKI, K ;
GARSIA, AM .
ADVANCES IN MATHEMATICS, 1981, 39 (02) :155-184
[3]  
Bayer D, 1998, MATH RES LETT, V5, P31
[4]  
EISENBUD D, 1995, GRADUATE TEXTS MATH, V150
[5]  
HEMMECKE R, CALIX PROJECT
[6]  
Janet M., 1929, LECONS SYSTEMES EQUA
[7]  
Kaplansky I., 1994, Commutative Rings
[8]   Generic and cogeneric monomial ideals [J].
Miller, E ;
Sturmfels, B ;
Yanagawa, K .
JOURNAL OF SYMBOLIC COMPUTATION, 2000, 29 (4-5) :691-708
[9]  
Rees D., 1956, P CAMBRIDGE PHIL SOC, V52, P12, DOI DOI 10.1017/S0305004100030917
[10]   COHEN-MACAULAY QUOTIENTS OF POLYNOMIAL RINGS [J].
REISNER, GA .
ADVANCES IN MATHEMATICS, 1976, 21 (01) :30-49