arXiv++ Combinatorics

Let $I\subseteq S$ be a monomial ideal with minimal generator degrees between $e$ and $d$, where $2\leq e\leq d$. We prove that if $t_a(S/I)<ea$, then $$ t_{a+b}(S/I)\leq t_a(S/I)+ \left\lceil\frac{(2d-1)b}{2}\right\rceil $$ for $a\geq2$, $b\geq0$, and $a+b\leq\operatorname{pd}_S(S/I)$. Consequently, $$ t_{a+b}(S/I)\leq ae+db-1-\left\lfloor\frac b2\right\rfloor. $$ In particular, if $t_2(S/I)<2e$, then $$ t_i(S/I)\leq \left\lceil\frac{(2d-1)i}{2}\right\rceil-2(d-e) $$ for $2\leq i\leq\operatorname{pd}_S(S/I)$. We also obtain a regularity bound and give a quadratic family in which our estimate for the last shift is smaller than every bound obtained from ordinary subadditivity. The constant $2d-1$ is sharp for $d=2$.

Let $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $t_i(S/I)$ denotes the maximal shift in the minimal graded free $S$-resolution of the graded algebra $S/I$ at degree $i$, where $I$ is an edge ideal. In this paper, we prove that if $t_b(S/I)\geq \lceil \frac{3b}{2} \rceil$ for some $b\geq 0$, then the subadditivity condition $t_{a+b}(S/I)\leq t_a(S/I)+t_b(S/I)$ holds for all $a\geq 0$. In addition, we prove that $t_{a+4}(S/I)\leq t_a(S/I)+t_4(S/I)$ for all $a\geq 0$ (the case $b=0,1,2,3$ is known). We conclude that if the projective dimension of $S/I$ is at most $9$, then $I$ satisfies the subadditivity condition.

Among other results, we prove that if $I$ is a monomial ideal of $S=K[x_1,\ldots,x_n]$, where $K$ is a field, and $a\geq b-1\geq0$ are integers such that $a+b\leq\mathrm{proj~dim}(S/I)$, then $$t_{a+b}\leq t_a+t_1+t_2+\cdots+t_b-\frac{b(b-1)}{2},$$ where $t_1,t_2,\dots$ are the maximal shifts in the minimal graded free $S$-resolution of $S/I$.

We consider two problems regarding vanishing patterns in the Betti table of edge ideals $I$ in polynomial algebra $S$. First, we show that the $j$-strand is connected if $j=3$ (for $j=2$ this is easy and known), and give examples where the $j$-strand is not connected for any $j>3$. Next, we apply our result on strand connectivity to establish the subadditivity conjecture for edge ideals, $t_{a+b}\leq t_a+t_b$, in case $b=2,3$ (the case $b=1$ is known). Here $t_i$ stands for the maximal shifts in the minimal free $S$-resolution of $S/I$