Stanley depth of complete intersection monomial ideals and upper-discrete partitions (Q1014603): Difference between revisions

Let \(K\) be a field and \(S=K[x_1, \ldots, x_n]\) the polynomial ring over \(K\) with \(n\) variables \(x_1,\ldots, x_n\). Suppose \(M\) is a finitely generated \(\mathbb Z^n\)-graded \(S\)-module. For a homogeneous element \(u\in M\) in \(\mathbb Z^n\)-grading and a subset \(Z\) of \(\{x_1,\ldots, x_n\}\), \(uK[Z]\) is a \(K\)-vector subspace of \(M\). \(uK[Z]\) is called a Stanley space of dimension \(|Z|\) if \(uK[Z]\) is a free \(K[Z]\)-module. A Stanley decomposition of \(M\) is a direct sum decomposition \[ D: M=\bigoplus_{i=1}^r u_iK[Z_i] \] of \(M\) as a \(K\)-vector space, where \(u_iK[Z_i]\) is a Stanley space for each \(i\). Set \(\text{sdepth}D=\min\{|Z_1|,\ldots,|Z_r|\}\) and \[ \text{sdepth}(M)=\max\{\text{sdepth}D\mid \text{\(D\) is a Stanley decomposition of \(M\)}\}. \] \(\text{sdepth}(M)\) is called the Stanley depth of \(M\). It is conjectured by \textit{R. P. Stanley} [Invent. Math. 68, 175--193 (1982; Zbl 0516.10009)] that \(\text{depth}(M)\leq\text{sdepth}(M)\) for any finitely generated \(\mathbb Z^n\)-graded \(S\)-module \(M\). In the paper under review, the author considers \(\text{sdepth}(M)\) in the case where \(M\) is a monomial ideal of \(S\). The author shows that if \(I\) is an \(m\)-generated complete intersection ideal, then \(\text{sdepth}(I)= n-\lfloor m/2\rfloor\). The cases where \(I\) is a square-free \(3\) or \(4\)-generated ideal are also treated and it is shown that \(\text{sdepth}(I)=n-1\) if \(I\) is \(3\)-generated and \(\text{sdepth}(I)\geq n-2\) if \(I\) is \(4\)-generated. The author's proof heavily depends on the result of \textit{J. Herzog} et al. [``How to compute the Stanley depth of a monomial ideal'', J. Algebra (in press), doi:10.1016/j.jalgebra.2008.01.006, Theorem 2.1], which assures that \(\text{sdepth}(I)\) can be computed by considering partitions of the poset of monomials corresponding to \(I\).