No Arabic abstract
We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanleys formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.
Cycle polytopes of matroids have been introduced in combinatorial optimization as a generalization of important classes of polyhedral objects like cut polytopes and Eulerian subgraph polytopes associated to graphs. Here we start an algebraic and geometric investigation of these polytopes by studying their toric algebras, called cycle algebras, and their defining ideals. Several matroid operations are considered which determine faces of cycle polytopes that belong again to this class of polyhedral objects. As a key technique used in this paper, we study certain minors of given matroids which yield algebra retracts on the level of cycle algebras. In particular, that allows us to use a powerful algebraic machinery. As an application, we study highest possible degrees in minimal homogeneous systems of generators of defining ideals of cycle algebras as well as interesting cases of cut polytopes and Eulerian subgraph polytopes.
A catalogue of simplicial hyperplane arrangements was first given by Grunbaum in 1971. These arrangements naturally generalize finite Coxeter arrangements and the weak order through the poset of regions. For simplicial arrangements, posets of regions are in fact lattices. We update Grunbaums catalogue, providing normals and invariants for all known sporadic simplicial arrangements with up to 37 lines. The weak order is known to be congruence normal, and congruence normality for simplicial arrangements can be determined using polyhedral cones called shards. In this article, we provide additional structure to the catalogue of simplicial hyperplane arrangements by determining which arrangements always/sometimes/never lead to congruence normal lattices of regions. To this end, we use oriented matroids to recast shards as covectors to determine congruence normality of large hyperplane arrangements. As a consequence of this approach we derive in particular which lattices of regions of sporadic simplicial arrangements of rank 3 are always congruence normal. We also show that lattices of regions from finite Weyl groupoids of any rank are congruence normal.
Let $D=(G,mathcal{O},w)$ be a weighted oriented graph whose edge ideal is $I(D)$. In this paper, we characterize the unmixed property of $I(D)$ for each one of the following cases: $G$ is an $SCQ$ graph; $G$ is a chordal graph; $G$ is a simplicial graph; $G$ is a perfect graph; $G$ has no $4$- or $5$-cycles; $G$ is a graph without $3$- and $5$-cycles; and ${rm girth}(G)geqslant 5$.
We describe the structure of the monoid of natural-valued monotone functions on an arbitrary poset. For this monoid we provide a presentation, a characterization of prime elements, and a description of its convex hull. We also study the associated monoid ring, proving that it is normal, and thus Cohen-Macaulay. We determine its Cohen-Macaulay type, characterize the Gorenstein property, and provide a Grobner basis of the defining ideal. Then we apply these results to the monoid of quasi-arithmetic multiplicities on a uniform matroid. Finally we state some conjectures on the number of irreducibles for the monoid of multiplicities on an arbitrary matroid.
The revised version has two additional references and a shorter proof of Proposition 5.7. This version also makes numerous small changes and has an appendix containing a proof of the degree formula for a parametrized surface.