arXiv++ Combinatorics

In the present paper we study algebraic properties of edge ideals associated with plane curve arrangements via their Levi graphs. Using combinatorial properties of such Levi graphs we are able to describe those monomial algebras being Cohen-Macaulay, Buchsbaum, and sequentially Cohen-Macaulay. We also condsider the projective dimension and the Castelnuovo-Mumford regularity for these edge ideals. We provide effective lower and upper bounds on them. As a byproduct of our study we connect, in general, various Buchsbaum properties of squarefree modules.

We define the s-order principal component of the jets of a graph and give a description of the primary decomposition of its edge ideal in terms of the minimal vertex covers of the base graph. As an application, we show the s-order principal component of the jets of a cochordal graph is cochordal, and connect this to Froberg's theorem on the linear resolution of edge ideals of cochordal graphs. An appendix is provided describing some computations of jets in the computer algebra system Macaulay2.

We explore the dependence of the Betti numbers of monomial ideals on the characteristic of the field. A first observation is that for a fixed prime $p$ either the $i$-th Betti number of all high enough powers of a monomial ideal differs in characteristic $0$ and in characteristic $p$ or it is the same for all high enough powers. In our main results we provide constructions and explicit examples of monomial ideals all of whose powers have some characteristic-dependent Betti numbers or whose asymptotic regularity depends on the field. We prove that, adding a monomial on new variables to a monomial ideal, allows to spread the characteristic dependence to all powers. For any given prime $p$, this produces an edge ideal such that the Betti numbers of all its powers over $\mathbb{Q}$ and over $\mathbb{Z}_p$ are different. Moreover, we show that, for every $r \geq 0$ and $i \geq 3$ there is a monomial ideal $I$ such that some coefficient in a degree $\geq r$ of the Kodiyalam polynomials $\mathfrak P_3(I),\ldots,\mathfrak P_{i+r}(I)$ depends on the characteristic. We also provide a summary of related results and speculate about the behaviour of other combinatorially defined ideals.

Let $G$ be a finite simple graph on the vertex set $V(G)$ and let $\text{ind-match}(G)$, $\text{min-match}(G)$ and $\text{match}(G)$ denote the induced matching number, the minimum matching number and the matching number of $G$, respectively. It is known that the inequalities $\text{ind-match}(G) \leq \text{min-match}(G) \leq \text{match}(G) \leq 2\text{min-match}(G)$ and $\text{match}(G) \leq \left\lfloor |V(G)|/2 \right\rfloor$ hold in general. In the present paper, we determine the possible tuples $(p, q, r, n)$ with $\text{ind-match}(G) = p$, $\text{min-match}(G) = q$, $\text{match}(G) = r$ and $|V(G)| = n$ arising from connected simple graphs. As an application of this result, we also determine the possible tuples $(p', q, r, n)$ with ${\rm{reg}}(G) = p'$, $\text{min-match}(G) = q$, $\text{match}(G) = r$ and $|V(G)| = n$ arising from connected simple graphs, where $I(G)$ is the edge ideal of $G$ and ${\rm{reg}}(G) = {\rm{reg}}(K[V(G)]/I(G))$ is the Castelnuovo--Mumford regularity of the quotient ring $K[V(G)]/I(G)$.

Let $G$ be a simple graph on $n$ vertices and let $J_{G,m}$ be the generalized binomial edge ideal associated to $G$ in the polynomial ring $K[x_{ij}, 1\le i \le m, 1\le j \le n]$. We classify the Cohen-Macaulay generalized binomial edge ideals. Moreover we study the unmixedness and classify the bipartite and power cycle unmixed ones.

Let $G$ be a simple connected non-complete graph and $J_G$ be its binomial edge ideal in a polynomial ring $S$. Using certain invariants associated to graphs, say $U(G)$, Banerjee and Núñez-Betancourt gave an upper bound for the depth of $S/J_G$, and Rouzbahani Malayeri, Saeedi Madani and Kiani obtained a lower bound, say $L(G)$. Hibi and Saeedi Madani gave a structural classification of graphs satisfying $L(G)=U(G)$. In this article, we give structural classification of graphs satisfying $L(G)+1=U(G)$. We also compute the depth of $S/J_G$ for all such graphs $G$.

In this paper we provide a full combinatorial characterization of sequentially Cohen-Macaulay binomial edge ideals of closed graphs. In addition, we show that a binomial edge ideal of a closed graph is approximately Cohen-Macaulay if and only if it is almost Cohen-Macaulay.

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.$

A fruitful contemporary paradigm in graph theory is that almost all graphs that do not contain a certain subgraph have common structural characteristics. The "almost" is crucial, without it there is no structure. In this paper we transfer this paradigm to commutative algebra and make use of deep graph theoretic results. A key tool are the critical graphs introduced by Balogh and Butterfield. We consider edge ideals $I_G$ of graphs and their Betti numbers. The numbers of the form $β_{i,2i+2}$ constitute the "main diagonal" of the Betti table. It is well known that any Betti number $β_{i,j}(I_G)$ below (or equivalently, to the left of) this diagonal is always zero. We identify a certain "parabola" inside the Betti table and call parabolic Betti numbers the entries of the Betti table bounded on the left by the main diagonal and on the right by this parabola. Let $β_{i,j}$ be a parabolic Betti number on the $r$-th row of the Betti table, for $r\ge3$. Our main results state that almost all graphs $G$ with $β_{i,j}(I_G)=0$ can be partitioned into $r-2$ cliques and one independent set, and in particular for almost all graphs $G$ with $β_{i,j}(I_G)=0$ the regularity of $I_G$ is $r-1$.

We describe all the trees with the property that the corresponding edge ideal of their line graph has a linear resolution. As a consequence, we give a complete characterization of those trees $T$ for which the line graph $L(T)$ is co-chordal. We also compute the second Betti number of the edge ideal of $L(T)$ and we determine the number of cycles in $\overline{L(T)}$. As a consequence, we obtain also the first Zagreb index of a graph. For edge ideals of line graphs of caterpillar graphs we determine the Krull dimension, the Castelnuovo-Mumford regularity, and the projective dimension under some additional assumption on the degrees of the cutpoints.

In this paper, we study associated primes and depth of integral closures of powers of edge ideals. We provide sharp bounds on how big of powers for which the set of associated primes and the depth of integral closures of powers of edge ideals are stable.

We describe the simplicial complex $Δ$ such that the initial ideal of $J_G$ is the Stanley-Reisner ideal of $Δ$. By $Δ$ we show that if $J_G$ is $(S_2)$ then $G$ is accessible. We also characterize all accessible blocks with whiskers of cycle rank 3 and we define a new infinite class of accessible blocks with whiskers for any cycle rank. Finally, by using a computational approach, we show that the graphs with at most 12 vertices whose binomial edge ideal is Cohen-Macaulay are all and only the accessible ones.

The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer programming, and to study powers of monomial ideals and their integral closures using irreducible decompositions and polyhedral geometry. We study the Waldschmidt constant and the ic-resurgence of the filtration associated to a covering polyhedron and show how to compute these constants using linear programming. Then we show a lower bound for the ic-resurgence of the ideal of covers of a graph and prove that the lower bound is attained when the graph is perfect. We also show lower bounds for the ic-resurgence of the edge ideal of a graph and give an algorithm to compute the asymptotic resurgence of squarefree monomial ideals. A classification of when Newton's polyhedron is the irreducible polyhedron is presented using integral closure.

Let $\mathbb{K}$ be a field and $R = \mathbb{K}[x_1, \ldots, x_n]$. We obtain an improved upper bound for asymptotic resurgence of squarefree monomial ideals in $R$. We study the effect on the resurgence when sum, product and intersection of ideals are taken. We obtain sharp upper and lower bounds for the resurgence and asymptotic resurgence of cover ideals of finite simple graphs in terms of associated combinatorial invariants. We also explicitly compute the resurgence and asymptotic resurgence of cover ideals of several classes of graphs. We characterize a graph being bipartite in terms of the resurgence and asymptotic resurgence of edge and cover ideals. We also compute explicitly the resurgence and asymptotic resurgence of edge ideals of some classes of graphs.

Let $\mathcal{D}$ be a weighted oriented graph and $I(\mathcal{D})$ be its edge ideal. In this paper, we show that all the symbolic and ordinary powers of $I(\mathcal{D})$ coincide when $\mathcal{D}$ is a weighted oriented certain class of tree. Finally, we give necessary and sufficient conditions for the equality of ordinary and symbolic powers of naturally oriented lines.

Let $I(G)^{[k]}$ denote the $k$th squarefree power of the edge ideal of $G$. When $G$ is a forest, we provide a sharp upper bound for the regularity of $I(G)^{[k]}$ in terms of the $k$-admissable matching number of $G$. For any positive integer $k$, we classify all forests $G$ such that $I(G)^{[k]}$ has linear resolution. We also give a combinatorial formula for the regularity of $I(G)^{[2]}$ for any forest $G$.

In this paper, we obtain a combinatorial formula for computing the Betti numbers in the linear strand of edge ideals of bipartite Kneser graphs. We deduce lower and upper bounds for regularity of powers of edge ideals of these graphs in terms of associated combinatorial data and show that the lower bound is attained in some cases. Also, we obtain bounds on the projective dimension of edge ideals of these graphs in terms of combinatorial data.

We study homological properties of random quadratic monomial ideals in a polynomial ring $R = {\mathbb K}[x_1, \dots x_n]$, utilizing methods from the Erdös-Rényi model of random graphs. Here for a graph $G \sim G(n, p)$ we consider the `coedge' ideal $I_G$ corresponding to the missing edges of $G$, and study Betti numbers of $R/I_G$ as $n$ tends to infinity. Our main results involve setting the edge probability $p = p(n)$ so that asymptotically almost surely the Krull dimension of $R/I_G$ is fixed. Under these conditions we establish various properties regarding the Betti table of $R/I_G$, including sharp bounds on regularity and projective dimension, and distribution of nonzero normalized Betti numbers. These results extend work of Erman and Yang, who studied such ideals in the context of conjectured phenomena in the nonvanishing of asymptotic syzygies. Along the way we establish results regarding subcomplexes of random clique complexes as well as notions of higher-dimensional vertex $k$-connectivity that may be of independent interest.

Let $G$ be a finite simple non-complete connected graph on $\{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. Being motivated by the computation of the depth of the binomial edge ideal of $G$, the possible sequences $(n, q, f, d)$ of integers for which there is a finite simple non-complete connected graph $G$ on $\{1, \ldots, n\}$ with $q = κ(G), f = f(G), d = \mathrm{diam}(G)$ satisfying $f + d = n + 2 - q$ will be determined. Furthermore, finite simple non-complete connected graphs $G$ on $\{1, \ldots, n\}$ satisfying $f(G) + \mathrm{diam}(G) = n + 2 - κ(G)$ will be classified.

Let $\operatorname{pd}(I(G))$ and $\operatorname{reg}(I(G))$ respectively denote the projective dimension and the regularity of the edge ideal $I(G)$ of a graph $G$. For any positive integer $n$, we determine all pairs $(\operatorname{pd}(I(G)),\, \operatorname{reg}(I(G)))$ as $G$ ranges over all connected bipartite graphs on $n$ vertices.