English

Behaviour of the normalized depth function

Commutative Algebra 2023-05-16 v2

Abstract

Let IS=K[x1,,xn]I\subset S=K[x_1,\dots,x_n] be a squarefree monomial ideal, KK a field. The kkth squarefree power I[k]I^{[k]} of II is the monomial ideal of SS generated by all squarefree monomials belonging to IkI^k. The biggest integer kk such that I[k](0)I^{[k]}\ne(0) is called the monomial grade of II and it is denoted by ν(I)\nu(I). Let dkd_k be the minimum degree of the monomials belonging to I[k]I^{[k]}. Then, depth(S/I[k])dk1\text{depth}(S/I^{[k]})\ge d_k-1 for all 1kν(I)1\le k\le\nu(I). The normalized depth function of II is defined as gI(k)=depth(S/I[k])(dk1)g_{I}(k)=\text{depth}(S/I^{[k]})-(d_k-1), 1kν(I)1\le k\le\nu(I). It is expected that gI(k)g_I(k) is a non-increasing function for any II. In this article we study the behaviour of gI(k)g_{I}(k) under various operations on monomial ideals. Our main result characterizes all cochordal graphs GG such that for the edge ideal I(G)I(G) of GG we have gI(G)(1)=0g_{I(G)}(1)=0. They are precisely all cochordal graphs GG whose complementary graph GcG^c is connected and has a cut vertex. As a far-reaching application, for given integers 1s<m1\le s<m we construct a graph GG such that ν(I(G))=m\nu(I(G))=m and gI(G)(k)=0g_{I(G)}(k)=0 if and only if k=s+1,,mk=s+1,\dots,m. Finally, we show that any non-increasing function of non-negative integers is the normalized depth function of some squarefree monomial ideal.

Keywords

Cite

@article{arxiv.2210.00210,
  title  = {Behaviour of the normalized depth function},
  author = {Antonino Ficarra and Jürgen Herzog and Takayuki Hibi},
  journal= {arXiv preprint arXiv:2210.00210},
  year   = {2023}
}

Comments

This is the final version of our paper accepted for pubblication in the Electronic Journal of Combinatorics. Some minor changes and typos fixed, bybliography updated

R2 v1 2026-06-28T02:30:47.768Z