arXiv++ Combinatorics

To every poset P, Stanley (1986) associated two polytopes, the order polytope and the chain polytope, whose geometric properties reflect the combinatorial qualities of P. This construction allows for deep insights into combinatorics by way of geometry and vice versa. Malvenuto and Reutenauer (2011) introduced 'double posets', that is, (finite) sets equipped with two partial orders, as a generalization of Stanley's labelled posets. Many combinatorial constructions can be naturally phrased in terms of double posets. We introduce the 'double order polytope' and the 'double chain polytope' and we amply demonstrate that they geometrically capture double posets, i.e., the interaction between the two partial orders. We describe the facial structures, Ehrhart polynomials, and volumes of these polytopes in terms of the combinatorics of double posets. We also describe a curious connection to Geissinger's valuation polytopes and we characterize 2-level polytopes among our double poset polytopes. Fulkerson's 'anti-blocking' polytopes from combinatorial optimization subsume stable set polytopes of graphs and chain polytopes of posets. We determine the geometry of Minkowski- and Cayley sums of anti-blocking polytopes. In particular, we describe a canonical subdivision of Minkowski sums of anti-blocking polytopes that facilitates the computation of Ehrhart (quasi-)polynomials and volumes. This also yields canonical triangulations of double poset polytopes. Finally, we investigate the affine semigroup rings associated to double poset polytopes. We show that they have quadratic Groebner bases, which gives an algebraic description of the unimodular flag triangulations described in the first part.

Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional flat of the associated reflection arrangement. We prove this conjecture for the infinite types, reflection groups of rank at most $3$, and $F_4$ and we give computational evidence for $H_4$. This is a generalization of Timofte's degree principle to reflection groups. For general reflection groups, we compute nontrivial upper bounds on the minimal dimension of flats of the reflection arrangement meeting $X$ from the combinatorics of parabolic subgroups. We also give generalizations to real varieties invariant under Lie groups.