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
0 references