arXiv++ Combinatorics

A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner's and Gale's criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.

We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that give rise to a Hopf monoid under join and deletion/contraction. The prototypical Hopf class is the family of ordered matroids. The idea of a Hopf class allows us to give a systematic study of simplicial complexes related to matroids, including shifted complexes, broken-circuit complexes, and \textit{unbounded matroids} (which arise from unbounded generalized permutohedra with 0/1 coordinates). We compute the antipodes in two cases: \textit{facet-initial complexes} (a much larger class than shifted complexes) and unbounded ordered matroids. In the latter case, we embed the Hopf monoid of ordered matroids into the Hopf monoid of ordered generalized permutohedra, enabling us to compute the antipode using the topological method of Aguiar and Ardila. The calculation is complicated by the appearance of certain auxiliary simplicial complexes that we call \textit{Scrope complexes}, whose Euler characteristics control certain coefficients of the antipode. The resulting antipode formula is multiplicity-free and cancellation-free.

We generalize the fundamental graph-theoretic notion of chordality for higher dimensional simplicial complexes by putting it into a proper context within homology theory. We generalize some of the classical results of graph chordality to this generality, including the fundamental relation to the Leray property and chordality theorems of Dirac.