Gröbner bases of syzygies and Stanley depth (Q536172): Difference between revisions

Let \(S=K[x_1,\dots,x_n]\) denote the polynomial ring in \(n\) variables over a field \(K\) equipped with its \(\mathbb Z^n\)-grading. Let \(F_\cdot\) denote a free resolution of a finitely generated \(\mathbb Z^n\)-graded \(S\)-module. The authors prove that for an appropriate term order on the free modules \(F_\cdot\), the initial module of the \((p+1)\)-th syzygy module \(Z_p\subset F_p\), \(0\leq p\leq n\), is generated by terms \(m_ie_i\), where \(m_i\in K[x_{p+1},\dots,x_n]\) and generators \(e_i\) of \(F_p\). Then the initial module \(\text{in}(Z_p)\) is of the form \(\bigoplus_jI_je_j\), where the minimal generators of each \(I_j\) belongs to \(K[x_{p+1},\dots,x_n]\). For a large class of free resolutions (including Eliahou-Kervaire resolutions) it is shown that a Gröbner basis for \(Z_p\) is given by the boundaries of generators of \(F_{p+1}\). These results are applied in order to prove the following: (1) Lower bounds of the Stanley depth the \((p+1)\)-th syzygy module \(Z_p\), in particular it is \(\leq p+1\). (2) The Stanley depth of a squarefree monomial ideal \(I\subset S\) is of order \(\sqrt{2n}\).