On the Stanley depth of powers of edge ideals (Q1682054)

Let \(S= K[x_1,\ldots, x_n]\) be the polynomial ring in \(n\) variables over a field \(K\) and \(M\) be a finitely generated \(\mathbb{Z}^n\)-graded \(S\)-module. A decomposition of \(M\) as direct sum of \(K\)-vector spaces of the form \(\mathcal D: M= \bigoplus_{i=1}^ru_iK[Z_i]\), where \(u_i\in M\) is a homogeneous element and \(Z_i\subseteq \{x_1,\ldots, x_n\}\), is called a Stanley decomposition of \(M\). The number \(\mathrm{sdepth }\mathcal D:= \min\{|Z_i|: i=1,\ldots, r\}\) is called the Stanley depth of \(\mathcal D\). The Stanley depth of \(M\) is defined to be \[ \mathrm{sdepth }M:=\max \{\mathrm{sdepth }\mathcal D\;|\; \mathcal D \;\text{is a Stanley decomposition of} \;M\}. \] \textit{R. P. Stanley} [Invent. Math. 68, 175--193 (1982; Zbl 0516.10009)] conjectured that \(\mathrm{depth} M\leq \mathrm{sdepth }M\). This conjecture has been recently disproved, but it is still interesting to find the classes of modules which satisfy Stanley's inequality. The main goal of this paper is to study the Stanley depth of powers of edge ideals. Let \(G\) be a graph on the vertex set \(V(G)\) with \(|V(G)|=n\) and \(I=I(G)\) be the edge ideal of \(G\). It is already shown that if \(G\) is a forest then \(S/I^k\) and \(I^k/I^{k+1}\) satisfy Stanley's inequality for large \(k\). The author extends this results to all graphs. In the paper under review, It is proved that \(\mathrm{sdepth } (S/I^k)\geq p\) for every integer \(k\geq 1\) and \(\mathrm{sdepth }(I^k/I^{k+1})\geq p\) for every integer \(k\geq 0\), where \(p\) is the number of bipartite components of \(G\). On the other hand \textit{T. N. Trung} [J. Algebra 452, 157--187 (2016; Zbl 1335.13014)] proved that \(\mathrm{depth} S/I^k=p\) far every integer \(k\geq n-1\). Also \textit{J. Herzog} and \textit{T. Hibi} [J. Algebra 291, No. 2, 534--550 (2005; Zbl 1096.13015)] saw that \(\lim_{k\rightarrow\infty} \mathrm{depth}( I^k/I^{k+1})=\lim_{k\rightarrow\infty}\mathrm{depth} (S/I^k)\), hence \( \lim_{k\rightarrow\infty}\mathrm{depth}( I^k/I^{k+1})=p\). Therefore it is concluded that \(S/I^k\) satisfies Stanley's inequality for \(k\geq n-1\) and \(I^k/I^{k+1}\) satisfies Stanley's inequality for large \(k\). The author also proves that if either \(G\) is a non-bipartite graph, or at least one of the connected components of \(G\) is a tree with at least one edge, then \(I^k\) satisfies Stanley's inequality, for every \(k\geq n-1\).