arXiv++ Combinatorics

Motivated by Kontsevich's graph complexes, this paper gives a systematic study of matroid complexes. We construct deletion and contraction bicomplexes on the vector space spanned by matroid classes equipped with ground-set orientations, organizing the several naturally arising variants into a single unified framework. We show that direct sum and restriction-contraction make this space into a connected graded Hopf algebra extending Schmitt's matroid Hopf algebra, and use the resulting dg-algebra structure to prove broad acyclicity results. We compute the total, simple, loopless, regular, binary, and ternary matroid complexes through ground-set size $9$, and the connected quotient of the simple loopless regular complex through ground-set size $15$. These computations detect nontrivial homology and lead to a conjectural description in terms of odd-wheel matroids.

We introduce a combinatorial model for the Milnor fibration of a complexified real arrangement using oriented matroids. It is a poset quasi-fibration, a notion recently introduced by the first author, whose domain is a subdivision of the Salvetti complex stemming from a natural subdivision of the dual oriented matroid complex. This yields a concrete finite regular CW complex which is homotopy equivalent to the Milnor fiber of the complexified real arrangement and implies that the homotopy type of the Milnor fiber of a complexified real arrangement only depends on the underlying combinatorial structure given by its oriented matroid. Moreover, our construction works for any oriented matroid, disregarding realizability, so we obtain a notion of a combinatorial Milnor fibration for any oriented matroid.

In this article we construct a combinatorial quasi-free differential graded model for the Orlik-Solomon algebra of supersolvable matroids, which generalizes in a matroidal setting the cdga of admissible graphs introduced by M. Kontsevich for the braid arrangements. Our construction draws on well-known concepts from matroid theory, including modularity, single-element extensions, and generalized parallel connections. We also show that this model carries a cooperadic structure in a suitably generalized sense. As an application, we use this model to give a new proof that the Orlik-Solomon algebras of supersolvable matroids are Koszul.

The theory of shellable simplicial complexes brings together combinatorics, algebra, and topology in a remarkable way. Initially introduced by Alder for $q$-simplicial complexes, recent work of Ghorpade, Pratihar, and Randrianarisoa extends the study of shellability to $q$-matroid complexes and determines singular homology groups for a subclass of these $q$-simplicial complexes. In this paper, we determine the homotopy type of shellable $q$-simplicial complexes. Moreover, we establish the shellability of order complexes from lexicographically shellable $q$-simplicial complexes, that include the $q$-matroid complexes. This results in a comprehensive determination of the homology groups for any lexicographically shellable $q$-complexes.

Let $m_{λ}$ be the monomial symmetric functions, $ λ$ being an integer partition of $n\in \mathbb{N}^{\ast }$. For the specialization corresponding to the $q$-deformation of the exponential, we prove that each $m_{λ}$ is associated with a polynomial $J_{λ}\left( q\right) $ whose coefficients belong to $\mathbb{Z}$. $J_{λ}$ is a generalization of the case $λ=\left( n\right) $ for which $ J_{\left( n\right) }=J_{n}$ is the enumerator of tree inversions. Some relations between $J_{λ}$ and $J_{n}^{\left( r\right) }$ are obtained, these $J_{n}^{\left( r\right) }$ having been defined algebraically in a previous work of the author for $n\geq r\geq 1$ and being classically combinatorial enumerators with $J_{n}^{\left( 1\right) }=J_{n}$. From the calculation by induction of $J_{λ}$ for $n\leq 6$, we conjecture that the coefficients of each $J_{λ}$ are strictly positive and log-concave. As a consequence of Huh's Theorem on the $h$-vector of matroid complex it is shown that the coefficients of $J_{n}^{\left( r\right) }$ are strictly positive and log-concave, which gives a second argument in favor of these conjectures. It is also proven that the last $n-1$ coefficients of $ J_{λ}$ are proportional to the first coefficients of column $n-r-1$ of Pascal's triangle, $r$ being the length of $λ$. This is a third argument to state the conjectures. The calculation of $J_{\left( 3,2,1\right) }$ shows the existence of an obstacle, if one wants to prove the conjectures by application of Huh's theorem cited above.

We study the behavior of $h$-vectors associated to matroid complexes under weak maps, or inclusions of matroid polytopes. Specifically, we show that the $h$-vector of the order complex of the lattice of flats of a matroid is component-wise non-increasing under a weak map. This result extends to the flag $h$-vector. We note that the analogous result also holds for independence complexes and rank-preserving weak maps.

We characterize the actions of compact tori on smooth manifolds for which the orbit space is a topological manifold (either closed or with boundary). For closed manifolds the result was originally proved by Styrt in 2009. We give a new proof for closed manifolds which is also applicable to manifolds with boundary. In our arguments we use the result of Provan and Billera who characterized matroid complexes which are pseudomanifolds. We study the combinatorial structure of torus actions whose orbit spaces are manifolds. In two appendix sections we give an overview of two theories related to our work. The first one is the combinatorial theory of Leontief substitution systems from mathematical economics. The second one is the topological Kaluza--Klein model of Dirac's monopole studied by Atiyah. The aim of these sections is to draw some bridges between disciplines and motivate further studies in toric topology.

We first give two new proofs of an old result that the reduced Euler characteristic of a matroid complex is equal to the Möbius number of the lattice of cycles of the matroid up to the sign. The purpose has been to find a model to establish an analogous result for the case of $q$-matroids and we find a relation between the Euler characteristic of the simplicial chain complex associated to a $q$-matroid complex and the lattice of $q$-cycles of the $q$-matroid. We use this formula to find the complete homology over $\mathbb{Z}$ of this shellable simplicial complex. We give a characterization of nonzero Euler characteristic for such order complexes. Finally, based on these results we remark why singular homology of a $q$-matroid equipped with order topology may not be effective to describe the $q$-cycles unlike the classical case of matroids.

A well-known conjecture of Stanley is that the h-vector of a matroid is a pure O-sequence. There have been numerous papers with partial progress on this conjecture, but it is still wide open. In particular, for graphic matroids coming from taking the spanning trees of a graph as bases, the conjecture is mostly unsolved. In graph theory, a set of vertices is called dominating if every other vertex is adjacent to some vertex inside the chosen set. Kook proved Stanley's conjecture for coned graphs, which is the class of graphs that are dominated by a single vertex. Cranford et al extended that result to biconed graphs, which is the class of graphs dominated by a single edge. In this paper we extend that result to triconed graphs, the class of graphs dominated by a path of length 2.

A well-known conjecture of Richard Stanley posits that the $h$-vector of the independence complex of a matroid is a pure ${\mathcal O}$-sequence. The conjecture has been established for various classes but is open for graphic matroids. A biconed graph is a graph with two specified `coning vertices', such that every vertex of the graph is connected to at least one coning vertex. The class of biconed graphs includes coned graphs, Ferrers graphs, and complete multipartite graphs. We study the $h$-vectors of graphic matroids arising from biconed graphs, providing a combinatorial interpretation of their entries in terms of `$2$-weighted forests' of the underlying graph. This generalizes constructions of Kook and Lee who studied the Möbius coinvariant (the last nonzero entry of the $h$-vector) of graphic matroids of complete bipartite graphs. We show that allowing for partially $2$-weighted forests gives rise to a pure multicomplex whose face count recovers the $h$-vector, establishing Stanley's conjecture for this class of matroids. We also discuss how our constructions relate to a combinatorial strengthening of Stanley's Conjecture (due to Klee and Samper) for this class of matroids.

For any matroid $M$, we compute the Tutte polynomial $T_M(x,y)$ using the mixed intersection numbers of certain classes in the combinatorial Chow ring $A^\bullet(M)$ arising from hypersimplices. Using the mixed Hodge-Riemann relations, we deduce a strengthening of the log-concavity of the $h$-vector of a matroid complex, improving on an old conjecture of Dawson.

It is known that there are finitely many simplicial complexes (up to isomorphism) with a given number of vertices. Translating to the language of $h$-vectors, there are finitely many simplicial complexes of bounded dimension with $h_1=k$ for any natural number $k$. In this paper we study the question at the other end of the $h$-vector: Are there only finitely many $(d-1)$-dimensional simplicial complexes with $h_d=k$ for any given $k$? The answer is no if we consider general complexes, but when focus on three cases coming from matroids: (i) independence complexes, (ii) broken circuit complexes, and (iii) order complexes of geometric lattices. We prove the answer is yes in cases (i) and (iii) and conjecture it is also true in case (ii).

Bárány, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tighter result - but we provide a counterexample already for the case of k=2, where a tight Tverberg-type theorem would be a topological Radon theorem for matroids. Nevertheless, we prove the topological Radon theorem for the counterexample family of matroids by an index calculation, despite the failure of the connectivity-based approach.

In this paper, we introduce the concept of $k$-clean monomial ideals as an extension of clean monomial ideals and present some homological and combinatorial properties of them. Using the hierarchal structure of $k$-clean ideals, we show that a $(d-1)$-dimensional simplicial complex is $k$-decomposable if and only if its Stanley-Reisner ideal is $k$-clean, where $k\leq d-1$. We prove that the classes of monomial ideals like monomial complete intersection ideals, Cohen-Macaulay monomial ideals of codimension 2 and symbolic powers of Stanley-Reisner ideals of matroid complexes are $k$-clean for all $k\geq 0$.

We partition in classes the set of matroids of fixed dimension on a fixed vertex set. In each class we identify two special matroids, respectively with minimal and maximal h-vector in that class. Such extremal matroids also satisfy a long-standing conjecture of Stanley. As a byproduct of this theory we establish Stanley's conjecture in various cases, for example the case of Cohen-Macaulay type less than or equal to 3.

Let M be a matroid on E, representable over a field of characteristic zero. We show that h-vectors of the following simplicial complexes are log-concave: 1. The matroid complex of independent subsets of E. 2. The broken circuit complex of $M$ relative to an ordering of E. The first implies a conjecture of Colbourn on the reliability polynomial of a graph, and the second implies a conjecture of Hoggar on the chromatic polynomial of a graph. The proof is based on the geometric formula for the characteristic polynomial of Denham, Garrousian, and Schulze.

We show that f-vectors of matroid complexes of realisable matroids are log-concave. This was conjectured by Mason in 1972. Our proof uses the recent result by Huh and Katz who showed that the coefficients of the characteristic polynomial of a realisable matroid form a log-concave sequence. We also discuss the relationship between log-concavity of f-vectors and h-vectors of matroids. In the last section we explain the connection between zonotopal algebra and f-vectors and characteristic polynomials of matroids.

Stanley conjectured in 1977 that the $h$-vector of a matroid simplicial complex is a pure $O$-sequence. We give simple constructive proofs that the conjecture is true for matroids of rank less than or equal to 3, and corank 2. We used computers to verify that Stanley's conjecture holds for all matroids on at most nine elements.

Stanley has conjectured that the h-vector of a matroid complex is a pure O-sequence. We will prove this for cotransversal matroids by using generalized permutohedra. We construct a bijection between lattice points inside a r-dimensional convex polytope and bases of a rank r transversal matroid.

We present criteria for the Cohen-Macaulayness of a monomial ideal in terms of its primary decomposition. These criteria allow us to use tools of graph theory and of linear programming to study the Cohen-Macaulayness of monomial ideals which are intersections of prime ideal powers. We can characterize the Cohen-Macaulayness of the second symbolic power or of all symbolic powers of a Stanley-Reisner ideal in terms of the simplicial complex. These characterizations show that the simplicial complex must be very compact if some symbolic power is Cohen-Macaulay. In particular, all symbolic powers are Cohen-Macaulay if and only if the simplicial complex is a matroid complex. We also prove that the Cohen-Macaulayness can pass from a symbolic power to another symbolic powers in different ways.