Search

We prove that the regularity cannot increase when taking the integral closure for edge ideals of arbitrary weighted oriented graphs.

Let $G$ be a simple graph on $n$ vertices. We introduce the notion of bipartite connectivity of $G$, denoted by $\operatorname{bc}(G)$ and prove that $$\lim_{s \to \infty} \operatorname{depth} (S/I(G)^{(s)}) \le \operatorname{bc}(G),$$ where $I(G)$ denotes the edge ideal of $G$ and $S = \mathrm{k}[x_1, \ldots, x_n]$ is a standard graded polynomial ring over a field $\mathrm{k}$. We further compute the depth of symbolic powers of edge ideals of several classes of graphs, including odd cycles and whisker graphs of complete graphs to illustrate the cases where the above inequality becomes equality., Comment: Accepted for publication in the Pacific Journal of Mathematics

Let $I(G_{\mathbf{w}})$ be the edge ideal of an edge-weighted graph $(G,\mathbf{w})$. We prove that $I(G_{\mathbf{w}})$ is sequentially Cohen-Macaulay for all weight functions $w$ if and only if $G$ is a Woodroofe graph., Comment: 8 pages, submitted for publication

Let $I$ be the edge ideal of a cycle of length $n \ge 5$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_n]$. We prove that for $2 \le t < \lceil (n+1)/2 \rceil$, $$\operatorname{depth} (S/I^t) = \lceil \frac{n -t + 1}{3} \rceil.$$ When $G = T_{\mathbf{a}}$ is a starlike tree which is the join of $k$ paths of length $a_1, \ldots, a_k$ at a common root $1$, we give a formula for the depth of powers of $I(T_{\mathbf{a}})$.

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$., Comment: 14 pages. Update a proof of Theorem 2.13 with a statement for a squarefree monomial ideal. arXiv admin note: text overlap with arXiv:2109.06396