arXiv++ Combinatorics

Let $I(G)$ be the edge ideal of a simple graph $G$. We prove that $I(G)^2$ has a linear free resolution if and only if $G$ is gap-free and reg$I(G) \le 3$. Similarly, we show that $I(G)^3$ has a linear free resolution if and only if $G$ is gap-free and reg$I(G) \le 4$. We deduce these characterizations from a general formula for the regularity of powers of edge ideals of gap-free graphs $${\rm reg}(I(G)^s) = \max({\rm reg} I(G) + s-1,2s),$$ for $s =2,3$.

Let $I(G)$ be the edge ideal of a simple graph $G$ over a field k. We prove that $${\rm reg}(\overline {I(G)^s}) = {\rm reg}(I(G)^s),$$ for all $s \le 4$. Furthermore, we provide an example of a graph $G$ such that $${\rm reg} I(G)^s = {\rm reg} \overline{I(G)^s} = {\rm reg} I(G)^{(s)} = \begin{cases} 5 + 2s & \text{ if char k} = 2 \\ 4 + 2s & \text{ if char k} \neq 2, \end{cases}$$ for all $s \ge 1.$

Let $Δ$ be a simplicial complex of a matroid $M$. In this paper, we explicitly compute the regularity of all the symbolic powers of a Stanley-Reisner ideal $I_Δ$ in terms of combinatorial data of the matroid $M$. In order to do that, we provide a sharp bound between the arboricity of $M$ and the circumference of its dual $M^*$.

Let $I(G)$ be the edge ideal of a simple graph $G$. In this paper, we will give sufficient and necessary combinatorial conditions of $G$ in which the second symbolic and ordinary power of its edge ideal are Cohen-Macaulay (resp. Buchsbaum, generalized Cohen-Macaulay). As an application of our results, we will classify all bipartite graphs in which the second (symbolic) powers are Cohen-Macaulay (resp. Buchsbaum, generalized Cohen-Macaulay).

We classify Cohen-Macaulay graphs of girth at least $5$ and planar Gorenstein graphs of girth at least $4$. Moreover, such graphs are also vertex decomposable.

We present criteria for the Cohen-Macaulayness of a monomial ideal in terms of its primary decomposition. These criteria allow us to use tools of graph theory and of linear programming to study the Cohen-Macaulayness of monomial ideals which are intersections of prime ideal powers. We can characterize the Cohen-Macaulayness of the second symbolic power or of all symbolic powers of a Stanley-Reisner ideal in terms of the simplicial complex. These characterizations show that the simplicial complex must be very compact if some symbolic power is Cohen-Macaulay. In particular, all symbolic powers are Cohen-Macaulay if and only if the simplicial complex is a matroid complex. We also prove that the Cohen-Macaulayness can pass from a symbolic power to another symbolic powers in different ways.