A unique factorization theorem for matroids

We study the combinatorial, algebraic and geometric properties of the free product operation on matroids. After giving cryptomorphic definitions of free product in terms of independent sets, bases, circuits, closure, flats and rank function, we show that free product, which is a noncommutative operation, is associative and respects matroid duality. The free product of matroids $M$ and $N$ is maximal with respect to the weak order among matroids having $M$ as a submatroid, with complementary contraction equal to $N$. Any minor of the free product of $M$ and $N$ is a free product of a repeated truncation of the corresponding minor of $M$ with a repeated Higgs lift of the corresponding minor of $N$. We characterize, in terms of their cyclic flats, matroids that are irreducible with respect to free product, and prove that the factorization of a matroid into a free product of irreducibles is unique up to isomorphism. We use these results to determine, for K a field of characteristic zero, the structure of the minor coalgebra $\cal C$ of a family of matroids $\cal M$ that is closed under formation of minors and free products: namely, $\cal C$ is cofree, cogenerated by the set of irreducible matroids belonging to $\cal M$.Comment: Dedicated to Denis Higgs. 25 pages, 3 figures. Submitted for publication in the Journal of Combinatorial Theory (A). See arXiv:math.CO/0409028 arXiv:math.CO/0409080 for preparatory work on this subjec

A module-theoretic approach to matroids

Speyer recognized that matroids encode the same data as a special class of tropical linear spaces and Shaw interpreted tropically certain basic matroid constructions; additionally, Frenk developed the perspective of tropical linear spaces as modules over an idempotent semifield. All together, this provides bridges between the combinatorics of matroids, the algebra of idempotent modules, and the geometry of tropical linear spaces. The goal of this paper is to strengthen and expand these bridges by systematically developing the idempotent module theory of matroids. Applications include a geometric interpretation of strong matroid maps and the factorization theorem; a generalized notion of strong matroid maps, via an embedding of the category of matroids into a category of module homomorphisms; a monotonicity property for the stable sum and stable intersection of tropical linear spaces; a novel perspective of fundamental transversal matroids; and a tropical analogue of reduced row echelon form.Comment: 22 pages; v3 minor corrections/clarifications; to appear in JPA

Proto-exact categories of matroids, Hall algebras, and K-theory

This paper examines the category $\mathbf{Mat}_{\bullet}$ of pointed matroids and strong maps from the point of view of Hall algebras. We show that $\mathbf{Mat}_{\bullet}$ has the structure of a finitary proto-exact category - a non-additive generalization of exact category due to Dyckerhoff-Kapranov. We define the algebraic K-theory $K_* (\mathbf{Mat}_{\bullet})$ of $\mathbf{Mat}_{\bullet}$ via the Waldhausen construction, and show that it is non-trivial, by exhibiting injections $$\pi^s_n (\mathbb{S}) \hookrightarrow K_n (\mathbf{Mat}_{\bullet})$$ from the stable homotopy groups of spheres for all $n$. Finally, we show that the Hall algebra of $\mathbf{Mat}_{\bullet}$ is a Hopf algebra dual to Schmitt's matroid-minor Hopf algebra.Comment: 29 page

A blow-up construction and graph coloring

Given a graph G (or more generally a matroid embedded in a projective space), we construct a sequence of varieties whose geometry encodes combinatorial information about G. For example, the chromatic polynomial of G (giving at each m>0 the number of colorings of G with m colors, such that no adjacent vertices are assigned the same color) can be computed as an intersection product between certain classes on these varieties, and other information such as Crapo's invariant find a very natural geometric counterpart. The note presents this construction, and gives `geometric' proofs of a number of standard combinatorial results on the chromatic polynomial.Comment: 22 pages, amstex 2.