arXiv++ Combinatorics

By a classical result of Brodmann, the function $\operatorname{depth} R/I^t$ is asymptotically a constant, i.e. there is a number $s$ such that $\operatorname{depth} R/I^t = \operatorname{depth} R/I^s$ for $t > s$. One calls the smallest number $s$ with this property the index of depth stability of $I$ and denotes it by $\operatorname{dstab}(I)$. This invariant remains mysterious til now. The main result of this paper gives an explicit formula for $\operatorname{dstab}(I)$ when $I$ is an arbitrary ideal generated by squarefree monomials of degree 2. That is the first general case where one can characterize $\operatorname{dstab}(I)$ explicitly. The formula expresses $\operatorname{dstab}(I)$ in terms of the associated graph. The proof involves new techniques which relate different topics such as simplicial complexes, systems of linear inequalities, graph parallelizations, and ear decompositions. It provides an effective method for the study of powers of edge ideals.

Let $I$ be the edge ideal of a connected non-bipartite graph and $R$ the base polynomial ring. Then $\operatorname{depth} R/I \ge 1$ and $\operatorname{depth} R/I^t = 0$ for $t \gg 1$. We give combinatorial conditions for $\operatorname{depth} R/I^t = 1$ for some $t$ in between and show that the depth function is non-increasing thereafter. Especially, the depth function quickly decreases to 0 after reaching 1. We show that if $\operatorname{depth} R/I = 1$ then $\operatorname{depth} R/I^2 = 0$ and if $\operatorname{depth} R/I^2 = 1$ then $\operatorname{depth} R/I^5 = 0$. Other similar results suggest that if $\operatorname{depth} R/I^t = 1$ then $\operatorname{depth} R/I^{t+3} = 0$. This a surprising phenomenon because the depth of a power can determine a smaller depth of another power. Furthermore, we are able to give a simple combinatorial criterion for $\operatorname{depth} R/I^{(t)} = 1$ for $t \gg 1$ and show that the condition $\operatorname{depth} R/I^{(t)} = 1$ is persistent, where $I^{(t)}$ denotes the $t$-th symbolic powers of $I$.

In this paper, we give a complete description of the associated primes of every power of the edge ideal in terms of generalized ear decompositions of the graph. This result establishes a surprising relationship between two seemingly unrelated notions of Commutative Algebra and Combinatorics. It covers all previous major results in this topic and has several interesting consequences.