arXiv++ Combinatorics

A matroid complex is a pure complex such that every restriction is again pure. It is a long-standing open problem to classify all possible $h$-vectors of such complexes. In the case when the complex has dimension 1 we completely resolve this question. We also prove the 1-dimensional case of a conjecture of Stanley that all matroid $h$-vectors are pure ${O}$-sequences. Finally, we completely characterize the Stanley-Reisner ideals of 1-dimensional matroid complexes.

We point out a flaw in papers by Daniel Biss devoted to homotopy type of matroid Grassmannians.

The multiplicity conjecture of Herzog, Huneke, and Srinivasan is verified for the face rings of the following classes of simplicial complexes: matroid complexes, complexes of dimension one and two, and Gorenstein complexes of dimension at most four. The lower bound part of this conjecture is also established for the face rings of all doubly Cohen-Macaulay complexes whose 1-skeleton's connectivity does not exceed the codimension plus one as well as for all (d-1)-dimensional d-Cohen-Macaulay complexes. The main ingredient of the proofs is a new interpretation of the minimal shifts in the resolution of the face ring via the Cohen-Macaulay connectivity of the skeletons of the complex.

The main result is a proof that the g-vector of a simplicial complex with a convex ear decomposition is an M-vector. This is a generalization of similar results for matroid complexes. We also show that a finite building has a convex ear decomposition. This leads to connections between higher Cohen-Macaulay connectivity and increasing h-vectors.

The Laplacian spectral recursion, satisfied by matroid complexes and shifted complexes, expresses the eigenvalues of the combinatorial Laplacian of a simplicial complex in terms of its deletion and contraction with respect to vertex e, and the relative simplicial pair of the deletion modulo the contraction. We generalize this recursion to relative simplicial pairs, which we interpret as intervals in the Boolean algebra. The deletion modulo contraction term is replaced by the result of removing from the interval all pairs of faces in the interval that differ only by vertex e. We show that shifted pairs and some matroid pairs satisfy this recursion. We also show that the class of intervals satisfying this recursion is closed under a wide variety of operations, including duality and taking skeleta.

Building on a recent joint paper with Sturmfels, here we argue that the combinatorics of matroids is intimately related to the geometry and topology of toric hyperkaehler varieties. We show that just like toric varieties occupy a central role in Stanley's proof for the necessity of McMullen's conjecture (or g-inequalities) about the classification of face vectors of simplicial polytopes, the topology of toric hyperkaehler varieties leads to new restrictions on face vectors of matroid complexes. Namely in this paper we give two proofs that the injectivity part of the Hard Lefschetz theorem survives for toric hyperkaehler varieties. We explain how this implies the g-inequalities for rationally representable matroids. We show how the geometrical intuition in the first proof, coupled with results of Chari, leads to a proof of the g-inequalities for general matroid complexes, which is a recent result of Swartz. The geometrical idea in the second proof will show that a pure O-sequence should satisfy the g-inequalities, thus showing that our result is in fact a consequence of a long-standing conjecture of Stanley.

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.

Las Vergnas introduced several lattice structures on the bases of an ordered matroid M by using their external and internal activities. He also noted that when computing the Moebius function of these lattices, it was often zero, although he had no explanation for that fact. The purpose of this paper is to provide a topological reason for this phenomenon. In particular, we show that the order complex of the external lattice L of M is homotopic to the independence complex of the restriction M^*|T where M^* is the dual of M and T is the top element of L. We then compute some examples showing that this latter complex is often contractible which forces all its homology groups, and thus its Moebius function, to vanish. A theorem of Björner also helps us to calculate the homology of the matroid complex.

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.