arXiv++ Combinatorics

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.

We study the depth of classes of binomial edge ideals and classify all closed graphs whose binomial edge ideal is Cohen--Macaulay.

We consider a class of graphs $G$ such that the height of the edge ideal $I(G)$ is half of the number $\sharp V(G)$ of the vertices. We give Cohen-Macaulay criteria for such graphs.

We study the topology of the lcm-lattice of edge ideals and derive upper bounds on the Castelnuovo-Mumford regularity of the ideals. In this context it is natural to restrict to the family of graphs with no induced 4-cycle in their complement. Using the above method we obtain sharp upper bounds on the regularity when the complement is a chordal graph, or a cycle, or when the primal graph is claw free with no induced 4-cycle in its complement. For the later family we show that the second power of the edge ideal has a linear resolution.

Let P = k[x_1, ..., x_n] be the polynomial ring in n variables. A homogeneous ideal I of P generated in degree d is called Gotzmann if it has the smallest possible Hilbert function out of all homogeneous ideals with the same dimension in degree d. The edge ideal of a simple graph G on vertices x_1, ..., x_n is the quadratic square-free monomial ideal generated by all x_i x_j where {x_i,x_j} is an edge of G. The only edge ideals that are Gotzmann are those edge ideals corresponding to star graphs.

Let $G$ be a chordal graph and $I(G)$ its edge ideal. Let $β(I(G)) = (β_0, β_1, ..., β_p)$ denote the Betti sequence of $I(G)$, where $β_i$ stands for the $i$th total Betti number of $I(G)$ and where $p$ is the projective dimension of $I(G)$. It will be shown that there exists a simplicial complex $Δ$ of dimension $p$ whose $f$-vector $f (Δ) = (f_0, f_1, ..., f_p)$ coincides with $β(I(G))$.

Let G be a bipartite graph with edge ideal I(G) whose quotient ring R/I(G) is sequentially Cohen-Macaulay. We prove: (1) the independence complex of G must be vertex decomposable, and (2) the Castelnuovo-Mumford regularity of R/I(G) can be determined from the invariants of G.

Let C be a clutter and let I be its edge ideal. We present a combinatorial description of the minimal generators of the symbolic Rees algebra Rs(I) of I. It is shown that the minimal generators of Rs(I) are in one to one correspondence with the irreducible parallelizations of C. From our description some major results on symbolic Rees algebras of perfect graphs and clutters will follow. As a byproduct, we give a method, using Hilbert bases, to compute all irreducible parallelizations of C along with all the corresponding vertex covering numbers.

We study minimal free resolutions of edge ideals of bipartite graphs. We associate a directed graph to a bipartite graph whose edge ideal is unmixed, and give expressions for the regularity and the depth of the edge ideal in terms of invariants of the directed graph. For some classes of unmixed edge ideals, we show that the arithmetic rank of the ideal equals projective dimension of its quotient.

We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geometric invariant of bipartite graphs, the "graphical dimension". We show that the graphical dimension of $G$ is not larger than $\dim(\AG)$, and equality holds in many cases (e.g. when $G$ is a tree, or a cycle). Finally, we discuss applications of this theory to the arithmetical rank.