Depth and Stanley depth of symbolic powers of cover ideals of graphs (Q2408821)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Depth and Stanley depth of symbolic powers of cover ideals of graphs
scientific article

    Statements

    Depth and Stanley depth of symbolic powers of cover ideals of graphs (English)
    0 references
    20 October 2017
    0 references
    Let \(S = \mathbb{K}[x_1, \dots , x_n]\) be the polynomial ring in \(n\) variables over a field \(\mathbb{K}\). \textit{R. P. Stanley} [Invent. Math. 68, 175--193 (1982; Zbl 0516.10009)] conjectured that every \(\mathbb{Z}^n\)-graded \(S\)-module \(M\) satisfies the inequality \[ \mathrm{depth}(M)\leq \mathrm{sdepth}(M). \] Since this conjecture has rejected by an example of squarefree monomial ideals, one may ask whether this inequality holds for high powers of monomial ideals. In fact the author of the present paper proposed the following question. Question 1. Let \(I\) be a monomial ideal. Is it true that \(I^k\) and \(S/I^k\) satisfy the Stanley's inequality for every integer \(k \gg 0\)? The affirmative answer is given to this question in [\textit{A. Alipour} et al., Arch. Math. 105, No. 4, 323--332 (2015; Zbl 1354.13017); \textit{M. R. Pournaki} et al. [Proc. Am. Math. Soc. 141, No. 10, 3327--3336 (2013; Zbl 1282.13023)]; \textit{S. A. Seyed Fakhari}, J. Algebra 489, 463--474 (2017; Zbl 1388.13031); \textit{S. A. S. Fakhari}, Arch. Math. 107, No. 5, 461--471 (2016; Zbl 1362.13010)] when \(I\) is the edge ideal or cover ideal of special graphs. Motivated by [\textit{I. Gitler} et al., Contemp. Math. 376, 273--279 (2005; Zbl 1096.13004)] and [\textit{S. A. S. Fakhari}, Arch. Math. 107, No. 5, 461--471 (2016; Zbl 1362.13010)] the author turns Question 1 into the following for symbolic powers of monomial ideals: Question 2. Let \(I\) be a monomial ideal. Is it true that \(I^{(k)}\) and \(S/I^{(k)}\) satisfy the Stanley's inequality for every integer \(k \gg 0\)? Then in the present paper he proves that Question 2 holds true when \(I\) is the cover ideal of a graph. Through achieving this answer, the author shows the convergence of the sequences \(\{\mathrm{sdepth}(S/J(G)^{(k)})\}^\infty _{k=1}\) and \(\{\mathrm{sdepth}(J(G)^{(k)})\}^\infty _{k=1}\), where \(J(G)\) is the cover ideal of a simple graph \(G\). Also, he reproves the gained formula for \(\mathrm{depth}(S/J(G)^{(k)})\) in [\textit{L. T. Hoa} et al., J. Algebra 473, 307--323 (2017; Zbl 1358.13020)] by another method. The results are nice and the paper is well organized.
    0 references
    Stanley depth
    0 references
    cover ideal
    0 references
    symbolic power
    0 references
    ordered matching number
    0 references

    Identifiers