arXiv++ Combinatorics

In this thesis we investigate certain types of monomial ideals of polynomial rings over fields. We are interested in minimal free resolutions of these ideals (or equivalently the quotients of the polynomial ring by the ideals) considered as modules over the polynomial ring. There is no simple method of finding such resolutions but in the case of Stanley-Reisner ideals Hochster's formula and its variants provide a way to compute the Betti numbers of these resolutions. Even with these formulae it is not in general possible to find especially explicit or useful descriptions of the Betti numbers. However we restrict our attention to those ideals which are generated by square free monomials of degree 2. The purpose of this is to associate these ideals with graphs. This provides a link between algebraic objects, the monomial ideals, and combinatorial objects, the graphs. This correspondence enables us do define new numerical invariants of graphs: the Betti numbers and projective dimension of the corresponding graph ideals. We find explicit descriptions of the Betti numbers and projective dimensions of cycles and forests. In the case of forests we find a method of describing the Betti numbers in terms of the Betti numbers of subforests. This also leads to a description of the projective dimension of a forests in terms of the projective dimensions of its subforests. It turns out that the projective dimension of forests can be defined in purely combinatorial terms and hence it gives a new combinatorial numerical invariant of forests.

In this paper we study the Betti numbers of Stanley-Reisner ideals generated in degree 2. We show that the first six Betti numbers do not depend on the characteristic of the ground field. We also show that, if the number of variables $n$ is at most 10, all Betti numbers are independent of the ground field. For $n=11$, there exists precisely 4 examples in which the Betti numbers depend on the ground field. This is equivalent to the statement that the homology of flag complexes with at most 10 vertices is torsion free and that there exists precisely 4 non-isomorphic flag complexes with 11 vertices whose homology has torsion. In each of the 4 examples mentioned above the 8th Betti numbers depend on the ground field and so we conclude that the highest Betti number which is always independent of the ground field is either 6 or 7; if the former is true then we show that there must exist a graph with 12 vertices whose 7th Betti number depends on the ground field.

Given a simplicial complex, it is easy to construct a generic deformation of its Stanley-Reisner ideal. The main question under investigation in this paper is how to characterize the simplicial complexes such that their Stanley-Reisner ideals have Cohen-Macaulay generic deformations. Algorithms are presented to construct such deformations for matroid complexes, shifted complexes, and tree complexes.

We define a set of invariants of a homogeneous ideal $I$ in a polynomial ring called the symmetric iterated Betti numbers of $I$. For $I_Γ$, the Stanley-Reisner ideal of a simplicial complex $Γ$, these numbers are the symmetric counterparts of the exterior iterated Betti numbers of $Γ$ introduced by Duval and Rose. We show that the symmetric iterated Betti numbers of an ideal $I$ coincide with those of a particular reverse lexicographic generic initial ideal $\Gin(I)$ of $I$, and interpret these invariants in terms of the associated primes and standard pairs of $\Gin(I)$. We verify that for an ideal $I=I_Γ$ the extremal Betti numbers of $I_Γ$ are precisely the extremal (symmetric or exterior) iterated Betti numbers of $Γ$. We close with some results and conjectures about the relationship between symmetric and exterior iterated Betti numbers of a simplicial complex.

We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.