arXiv++ Combinatorics

We present a number of lower bounds for the h-vectors of k-CM, broken circuit and independence complexes. These lead to bounds on the coefficients of the characteristic and reliability polynomials of matroids. The main techniques are the use of series and parallel constructions on matroids and the short simplicial h-vector for pure complexes.

This note proves combinatorially that the intersection pairing on the middle dimensional compactly supported cohomology of a smooth toric hyperkaehler variety is always definite, providing a large number of non-trivial L^2 harmonic forms for toric hyperkaehler metrics on these varieties. This is motivated by a result of Hitchin about the definiteness of the pairing of L^2 harmonic forms on complete hyperkaehler manifolds of linear growth.

Let K be the face ring of the independence complex of a matroid. We show that if T is a generic linear system of parameters, then K/T satisfies a weak form of the Hard Lefschetz Theorem. As a result, the first half of the h-vector of the complex satisfies inequalities similar to the g-theorem for simplicial polytopes.

There is a one-to-one correspondence between geometric lattices and the intersection lattices of arrangements of homotopy spheres. When the arrangements are essential and fully partitioned, Zaslavsky's enumeration of the cells of the arrangement still holds. An application of the theory shows that all minimal cellular resolutions of matroid Steiner ideals are bounded subcomplexes of homotopy sphere arrangements of the given matroid. As a result the Betti numbers of the ideal are computed and seen to be equivalent to Stanley's formula in the special case of face ideals of independence complexes of matroids.