arXiv++ Combinatorics

In this paper, we introduce some reduction processes on graphs which preserve the regularity of related edge ideals. As a consequence, an alternative proof for the theorem of R. Fröberg on linearity of resolution of edge ideal of graphs is given.

We focus in this paper on edge ideals associated to bipartite graphs and give a combinatorial characterization of those having regularity 3. When the regularity is strictly bigger than 3, we determine the first step $i$ in the minimal graded free resolution where there exists a minimal generator of degree $>i+3$, show that at this step the highest degree of a minimal generator is $i+4$, and determine the value of the corresponding graded Betti number $β_{i,i+4}$ in terms of the combinatorics of the associated bipartite graph. The results can then be easily extended to the non-squarefree case through polarization. We also study a family of ideals of regularity 4 that play an important role in our main result and whose graded Betti numbers can be completely described through closed combinatorial formulas.

We study weighted graphs and their "edge ideals" which are ideals in polynomial rings that are defined in terms of the graphs. We provide combinatorial descriptions of m-irreducible decompositions for the edge ideal of a weighted graph in terms of the combinatorics of "weighted vertex covers". We use these, for instance, to say when these ideals are m-unmixed. We explicitly describe which weighted cycles, suspensions, and trees are unmixed and which ones are Cohen-Macaulay, and we prove that all weighted complete graphs are Cohen-Macaulay.

We introduce a class of ideals generated by a set of 2-minors of $m\times n$-matrix of indeterminates indexed by a pair of graphs. This class of ideals is a natural common generalization of binomial edge ideals and ideals generated by adjacent minors. We determine the minimal prime ideals of such ideals and give a lower bound for their degree of nilpotency. In some special cases we compute their Gröbner basis and characterize unmixedness and Cohen--Macaulayness.

Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is Cohen-Macaulay) for some integer $\ell \ge 3$ if and only if $G$ is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers $I(G)^{(\ell)}$ are Cohen-Macaulay ideals. Similarly, we characterize graphs $G$ for which $S/I(G)^{(\ell)}$ has (FLC). As an application, we show that an edge ideal $I(G)$ is complete intersection provided that $S/I(G)^{\ell}$ is Cohen-Macaulay for some integer $\ell \ge 3$. This strengthens the main theorem in [Effective Cowsik-Nori theorem for edge ideals by M.Crupi, G.Rinaldo, N.Terai, and K.Yoshida, Comm. Alg. 38 (2010), 3347-3357].

We compute the Betti numbers for all the powers of initial and final lexsegment edge ideals. For the powers of the edge ideal of an anti-$d-$path, we prove that they have linear quotients and we characterize the normally torsion-free ideals. We determine a class of non-squarefree ideals, arising from some particular graphs, which are normally torsion-free.

We construct several pairwise-incomparable bounds on the projective dimensions of edge ideals. Our bounds use combinatorial properties of the associated graphs; in particular we draw heavily from the topic of dominating sets. Through Hochster's Formula, these bounds recover and strengthen existing results on the homological connectivity of graph independence complexes.

In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.

Given finite simple graph one can associate the edge ideal. In this paper we discuss the non-vanishingness of the graded Betti numbers of edge ideals in terms of the original graph. In particular, we give a necessary and sufficient condition for a chordal graph on which the graded Betti number does not vanish and characterize the graded Betti number for a forest. Moreover we characterize the projective dimension for a chordal graph.

We give an upper bound for the Stanley depth of the edge ideal of a complete $k$-partite hypergraph and as an application we give an upper bound for the Stanley depth of a monomial ideal in a polynomial ring $S$. We also give a lower and an upper bound for the cyclic module $S/I$ associated to the complete $k$-partite hypergraph.

Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i, where "intcl" denotes integral closure and I(i) denotes the i-th power of I. We show that for edge ideals their corresponding stable sets are equal. To show our main result we use a classical result of Berge from matching theory and certain notions from combinatorial optimization.

We describe the Betti numbers of the edge ideals $I(G)$ of uniform hypergraphs $G$ such that $I(G)$ has linear graded free resolution. We give an algebraic equation system and some inequalities for the components of the $f$--vector of the clique complex of an arbitrary chordal graph. Finally we present an explicit formula for the multiplicity of the Stanley-Reisner ring of the edge ideals of any chordal graph.

Let C be a clutter and let I(C) be its edge ideal. This is a survey paper on the algebraic and combinatorial properties of R/I(C) and C, respectively. We give a criterion to estimate the regularity of R/I(C) and apply this criterion to give new proofs of some formulas for the regularity. If C is a clutter and R/I(C) is sequentially Cohen-Macaulay, we present a formula for the regularity of the ideal of vertex covers of C and give a formula for the projective dimension of R/I(C). We also examine the associated primes of powers of edge ideals, and show that for a graph with a leaf, these sets form an ascending chain.

Given an edge ideal of graph G, we show that if the first nonlinear strand in the resolution of $I_G$ is zero until homological stage $a_1$, then the next nonlinear strand in the resolution is zero until homological stage $2a_1$. Additionally, we define a sequence, called a \emph{jump sequence}, characterizing the highest degrees of the free resolution of the edge ideal of G via the lower edge of the Betti diagrams of $I_G$. These sequences strongly characterize topological properties of the underlying Stanley-Reisner complexes of edge ideals, and provide general conditions on construction of clique complexes on a fix set of vertices. We also provide an algorithm for obtaining a large class of realizable jump sequences and classes of Gorenstein edge ideals achieving high regularity.

We show that the co-chordal cover number of a graph G gives an upper bound for the Castelnuovo-Mumford regularity of the associated edge ideal. Several known combinatorial upper bounds of regularity for edge ideals are then easy consequences of covering results from graph theory, and we derive new upper bounds by looking at additional covering results.

Let $G$ be a simple graph on the vertex set $V(G) = [n] = \{1,...,n\}$ and edge ideal $E(G)$. We consider the class of closed graphs. A closed graph is a simple graph satisfying the following property: for all edges $\{i, j\}$ and $\{k, \ell\}$ with $i < j$ and $k < \ell$ one has $\{j, \ell\}\in E(G)$ if $i = k$, and $\{i, k\}\in E(G)$ if $j = \ell$. We state some criteria for the closedness of a graph $G$ that do not depend necessarily from the labelling of its vertex set. Consequently, if $S = K[x_1,..., x_n, y_1,..., y_n]$ is a polynomial ring in $2n$ variables with coefficients in a field $K$, we obtain some criteria for the Koszulness of the quotient algebra $S /J_G$, where $J_G$ is the binomial edge ideal of $S$ i.e. the ideal generated by the binomials $f_{ij} = x_iy_j - x_jy_i$ such that $i<j$ and $\{i,j\}$ is an edge of $G$ (\cite{HH}).

In this paper we give upper bounds for the regularity of edge ideal of some classes of graphs in terms of invariants of graph. We introduce two numbers $a'(G)$ and $n(G)$ depending on graph $G$ and show that for a vertex decomposable graph $G$, $\reg(R/I(G))\leq \min\{a'(G),n(G)\}$ and for a shellable graph $G$, $\reg(R/I(G))\leq n(G)$. Moreover it is shown that for a graph $G$, where $G^c$ is a $d$-tree, we have $\pd(R/I(G))=\max_{v\in V(G)} \{°_G(v)\}$.

A graph $G$ is well-covered if it has no isolated vertices and all the maximal independent sets have the same cardinality. If furthermore two times this cardinality is equal to $|V(G)|$, the graph $G$ is called very well-covered. The class of very well-covered graphs contains bipartite well-covered graphs. Recently in \cite{CRT} it is shown that a very well-covered graph $G$ is Cohen-Macaulay if and only if it is pure shellable. In this article we improve this result by showing that $G$ is Cohen-Macaulay if and only if it is pure vertex decomposable. In addition, if $I(G)$ denotes the edge ideal of $G$, we show that the Castelnuovo-Mumford regularity of $R/I(G)$ is equal to the maximum number of pairwise 3-disjoint edges of $G$. This improves Kummini's result on unmixed bipartite graphs.

The algebra of basic covers of a graph G, denoted by \A(G), was introduced by Juergen Herzog as a suitable quotient of the vertex cover algebra. In this paper we show that if the graph is bipartite then \A(G) is a homogeneous algebra with straightening laws and thus is Koszul. Furthermore, we compute the Krull dimension of \A(G) in terms of the combinatorics of G. As a consequence we get new upper bounds on the arithmetical rank of monomial ideals of pure codimension 2. Finally, we characterize the Cohen-Macaulay property and the Castelnuovo-Mumford regularity of the edge ideal of a certain class of graphs.

Minimal cellular resolutions of the edge ideals of cointerval hypergraphs are constructed. This class of d-uniform hypergraphs coincides with the complements of interval graphs (for the case d=2), and strictly contains the class of `strongly stable' hypergraphs corresponding to pure shifted simplicial complexes. The polyhedral complexes supporting the resolutions are described as certain spaces of directed graph homomorphisms, and are realized as subcomplexes of mixed subdivisions of the Minkowski sums of simplices. Resolutions of more general hypergraphs are obtained by considering decompositions into cointerval hypergraphs.