Regularity of second power of edge ideals

Author
Seyed Amin Seyed Fakhari
Abstract


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 so-called “projective dimension” and “Castelnuovo-Mumford 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≤regI-2. In fact, they conjectured that the inequality regIs≤2s+regI-2 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 methods

To 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 (s-1)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 discussion

The 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.

Conclusion

The 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+νG-1≤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 above-mentioned conjecture, using this method, even in the case of s=3 .
Keywords
Edge ideal
Castelnuovo-Mumford regularity
1. Banerjee A., "The regularity of powers of edge ideals", J. Algebraic Combin. 41 (2015) 303-321.

2. Dao H., Huneke C., Schweig J., "Bounds on the regularity and projective dimension of ideals associated to graphs", J. Algebraic Combin. 38 (2013) 37-55.

3. Ha H. T., "Regularity of squarefree monomial ideals", In S.M. Copper and S. Sather-Wagstaff (Ed.) Connections Between Algebra, Combinatorics, and Geometry. Springer Proceedings in Mathematics Statistics 76 (2014) 251-276.

4. Jayanthan A. V., Narayanan N., Selvaraja S., "Regularity of powers of bipartite graphs", J. Algebraic Combin. 47 (2018), 17-38.

5. Seyed Fakhari S. A., Yassemi S., "Improved bounds for the regularity of edge ideals of graphs", Collect. Math. 69 (2018), 249-262.

6. Woodroofe R., "Matchings, coverings, and Castelnuovo-Mumford regularity”, J. Commut. Algebra 6 (2014), 287-304.

7. Cutkosky D., Herzog J., Trung N. V., "Asymptotic behaviour of Castelnuovo-Mumford regularity", it Compositito Math. 118 (1999), 243-261.

8. Kodiyalam V., "Asymptotic behaviour of Castelnuovo-Mumford regularity", Proc. Amer. Math. Soc. 128 (2000), 407-411.

9. Banerjee A., Beyarslan S., Ha H. T., "Regularity of edge ideals and their powers", Springer Proceedings in Mathematics & Statistics 277 (2019), 17-52.

10. Banerjee A., Nevo E., "Regularity of edge ideals via suspension", preprint 2019.

11. Herzog J., Hibi T., "Monomial Ideals", Springer-Verlag, (2011).

12. Peeva I., "Graded syzygies", Algebra and Applications, vol. 14, Springer-Verlag London Ltd., London, (2011).

13. Seyed Fakhari S. A., "Symbolic powers of cover ideal of very well-covered and bipartite graphs", Proc. Amer. Math. Soc. 146 (2018) 97-110.

14. Hoa L. T., Tam N. D., "On some invariants of a mixed product of ideals", Arch. Math. (Basel) 94 (2010) 327-337.
Mathematical Research
Volume 8, Issue 2 - Serial Number 21
Spring 2022
Pages 106-116