Some results on the subadditivity condition of syzygies (Q2131116)

Let \(S=\Bbbk[x_1,\dots,x_n]\) be a polynomial ring on \(n\) variables over a field \(\Bbbk\). Let \(I\) be a graded ideal of \(S\) and \(\beta_{i,j}(I)\) the graded Betti numbers of \(I\). Let \(t_i\) denote the maximal shifts in the minimal free resolution of \(I\), i.e. \(t_i=\max\{j\mbox{ s.th. } \beta_{i,j}(I)\neq0\}\). We say that \(I\) satisfies the {\em subadditivity condition} if \(t_{a+b}\leq t_a+t_b\) for all \(a,b\geq 0\) and \(a+b\leq p\), where \(p\) is the projective dimension of \(I\). It is known that in general, graded ideals may not satisfy the subadditivity condition. However, no counter examples are known for monomial ideals. In the present paper, the author proves the following results related to the subadditivity condition for monomial ideals: \begin{itemize} \item If \(I\subseteq S\) is a monomial ideal and \(a\geq b-1\geq0\) are integers such that \(a+b\leq \mathrm{projdim}(S/I)\) then \[ t_{a+b}\leq t_a+t_1+t_2+\cdots+t_b-\frac{b(b-1)}{2}. \] \item If \(I=I_{\Delta}\) where \(\Delta\) is a simplicial complex such that \(\dim(\Delta)<t_a-a\) or \(\dim(\Delta)<t_b-b\), then \[ t_{a+b}\leq t_a+t_b. \] \item If \(I\) is a monomial ideal that is minimally generated by \(\{ m_1,\dots,m_r\}\) such that \(\frac{\mathrm{lcm}(m_1\dots,m_r)}{\mathrm{lcm}(m_1,\dots,\widehat{m}_i,\dots,m_r)}\notin\Bbbk\) for all \(i\), where \(\widehat{m}_i\) means that \(m_i\) is omitted, then \(t_{a+b}\leq t_a+t_b\) for all \(a,b\geq 0\) with \(a+b\leq \mathrm{projdim}(S/I)\). \end{itemize}