عدد نظم توان دوم ایده آل های یالی

فرض کنید g یک گراف با ایده آل یالی i(g) باشد. بنرجی و نِوو ثابت کردند که برای هر گراف g، نامساوی reg(i(g)^2)≤reg(i(g))+2 برقرار است. در این مقاله اثبات دیکری برای این مظلب ارائه می کنیم. [1] banerjee[2] nevo

regularity of second power of edge ideals

introduction‎‎ the study of the minimal free resolution of homogenous ideals and their powers is an interesting and active area of research in commutative algebra. two invariants which measure the complexity of the minimal free resolutions are the socalled “projective dimension” and “castelnuovomumford regularity” (or simply, regularity) of the given ideal. projective dimension determines the length of the minimal free resolution, while regularity is defined in terms of the degree of the entries of the matrices defining the differentials of the resolution. the focus of this paper is on the regularity of powers of ideals. one of the main results in this area is obtained by cutkosky, herzog, trung [7], and independently kodiyalam [8]. they proved that for a homogenous ideal i in a polynomial ring, the regularity of powers of i is asymptotically linear. in other words, there exist integers a(i) and b(i) such that regis=ais+b(i) for every integer s≫0. it is known that a(i) is bounded above by the maximum degree of generators of i. moreover, if i is generated in a single degree d, then ai=d. but in general, it is not so much known about b(i) even if i is monomial ideal. however, when i is a quadratic squarefree monomial ideal, alilooee, banerjee, beyarslan and ha [9] conjectured that bi≤regi2. in fact, they conjectured that the inequality regis≤2s+regi2 holds for any integer s≥1, when i is quadratic squarefree monomial ideal. recently, benerjee and nevo [10] proved this conjecture for s=2. in this paper, we provide an alternative proof for their result. while the proof in [10] is based on topological arguments and using the hochster’s formula, our proof is purely algebraic. material and methodsto every simple graph g one associates a quadratic squarefree monomial ideal, called its edge ideal, whose generators are the quadratic squarefree monomials corresponding to the edges of g. this association is a strong tool in the study of squarefree monomial ideals, as one can use the combinatorial properties of g to obtain information about the algebraic and homological properties of it, s edge ideal.one of the main results for bounding the regularity of powers of edge ideals is obtained by benerjee [1]. he proved that the regularity of the sth power of an edge ideal i(g) has an upper bound which is defined in terms of the regularity of its  (s1)th power and the regularity of the edge ideal of some graphs which are explicitly determined by the structure of the g. this result has an essential role in our proof. results and discussionthe main result of this paper states that for every graph g, with edge ideal i(g), we have regig2≤reg(ig)+2. in order to prove this inequality, using the aforementioned result of benerjee, we must prove that the regularity of certain colon ideals are at most regig. to achieve this goal, we use a short exact sequence argument which allows us to estimate the regularity of the colon ideas in terms of the regularity of edge ideal of some graphs which are strictly smaller than g.conclusionthe following conclusions were drawn from this research.the conjectured inequality of alilooee, banerjee, beyarslan and ha [9] is true for the case of s=2.it is known that for every graph g with edge ideal i(g) and induced matching number ν(g), we have 2s+νg1≤reg(igs), for every integer s≥1. thus, our result implies that if regig=νg+1, then regig2=νg+3.the short exact sequence argument is a common technique in the study of regularity of monomial ideals. so, it would be interesting if one can prove the abovementioned conjecture, using this method, even in the case of s=3 .