English

Generic Initial Ideals And Graded Artinian Level Algebras Not Having The Weak-Lefschetz Property

Commutative Algebra 2007-05-23 v1

Abstract

We find a sufficient condition that \H is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function =˝(h0,h1,...,hd1>hd=hd+1)\H=(h_0,h_1,..., h_{d-1}>h_d=h_{d+1}) cannot be level if hd2d+3h_d\le 2d+3, and that there exists a level O-sequence of codimension 3 of type \H for hd2d+kh_d \ge 2d+k for k4k\ge 4. Furthermore, we show that \H is not level if β1,d+2(Ilex)=β2,d+2(Ilex)\beta_{1,d+2}(I^{\rm lex})=\beta_{2,d+2}(I^{\rm lex}), and also prove that any codimension 3 Artinian graded algebra A=R/IA=R/I cannot be level if β1,d+2(\Gin(I))=β2,d+2(\Gin(I))\beta_{1,d+2}(\Gin(I))=\beta_{2,d+2}(\Gin(I)). In this case, the Hilbert function of AA does not have to satisfy the condition hd1>hd=hd+1h_{d-1}>h_d=h_{d+1}. Moreover, we show that every codimension nn graded Artinian level algebra having the Weak-Lefschetz Property has the strictly unimodal Hilbert function having a growth condition on (hd1hd)(n1)(hdhd+1)(h_{d-1}-h_{d}) \le (n-1)(h_d-h_{d+1}) for every d>θd > \theta where h0<h1<...<hα=...=hθ>...>hs1>hs. h_0<h_1<...<h_\alpha=...=h_{\theta}>...>h_{s-1}>h_s. In particular, we find that if AA is of codimension 3, then (hd1hd)<2(hdhd+1)(h_{d-1}-h_{d}) < 2(h_d-h_{d+1}) for every θ<d<s\theta< d <s and hs13hsh_{s-1}\le 3 h_s, and prove that if AA is a codimension 3 Artinian algebra with an hh-vector (1,3,h2,...,hs)(1,3,h_2,...,h_s) such that hd1hd=2(hdhd+1)>0and\soc(A)d1=0 h_{d-1}-h_d=2(h_d-h_{d+1})>0 \quad \text{and} \quad \soc(A)_{d-1}=0 for some r1(A)<d<sr_1(A)<d<s, then (Id+1)(I_{\le d+1}) is (d+1)(d+1)-regular and dimk\soc(A)d=hdhd+1\dim_k\soc(A)_d=h_d-h_{d+1}.

Keywords

Cite

@article{arxiv.math/0607035,
  title  = {Generic Initial Ideals And Graded Artinian Level Algebras Not Having The Weak-Lefschetz Property},
  author = {Jea-Man Ahn and Yong Su Shin},
  journal= {arXiv preprint arXiv:math/0607035},
  year   = {2007}
}

Comments

25 pages