arXiv++ Combinatorics

Given two families $X$ and $Y$ of integral polytopes with nice combinatorial and algebraic properties, a natural way to generate new class of polytopes is to take the intersection $\mathcal{P}=\mathcal{P}_1\cap\mathcal{P}_2$, where $\mathcal{P}_1\in X$, $\mathcal{P}_2\in Y$. Two basic questions then arise: 1) when $\mathcal{P}$ is integral and 2) whether $\mathcal{P}$ inherits the "old type" from $\mathcal{P}_1, \mathcal{P}_2$ or has a "new type", that is, whether $\mathcal{P}$ is unimodularly equivalent to some polytope in $X\cup Y$ or not. In this paper, we focus on the families of order polytopes and chain polytopes and create a new class of polytopes following the above framework, which are named order-chain polytopes. In the study on their volumes, we discover a natural relation with Ehrenborg and Mahajan's results on maximizing descent statistics.

We analyze marked poset polytopes and generalize a result due to Hibi and Li, answering whether the marked chain polytope is unimodular equivalent to the marked order polytope. Both polytopes appear naturally in the representation theory of semi-simple Lie algebras, and hence we can give a necessary and sufficient condition on the marked poset such that the associated toric degenerations of the corresponding partial flag variety are isomorphic. We further show that the set of lattice points in such a marked poset polytope is the Minkowski sum of sets of lattice points for 0-1 polytopes. Moreover, we provide a decomposition of the marked poset into indecomposable marked posets, which respects this Minkowski sum decomposition for the marked chain polytopes polytopes.

We study a family of posets and the associated chain and order polytopes. We identify the order polytope as a maximal Kogan face in a Gelfand-Tsetlin polytope of a multiple of a fundamental weight. We show that the character of such a Kogan face equals to the character of a Demazure module which occurs in the irreducible representation of $\mathfrak{sl}_n$ having highest weight multiple of fundamental weight and for any such Demazure module there exists a corresponding poset and associated maximal Kogan face. We prove that the chain polytope parametrizes a monomial basis of the associated PBW-graded Demazure module and further, that the Demazure module is a favourable module, e.g. interesting geometric properties are governed by combinatorics of convex polytopes. Thus, we obtain for any minuscule Schubert variety a flat degeneration into a toric projective variety which is projectively normal and arithmetically Cohen-Macaulay. We provide a necessary and sufficient condition on the Weyl group element such that the toric variety associated to the chain polytope and the toric variety associated to the order polytope are isomorphic.

Cutting a polytope is a very natural way to produce new classes of interesting polytopes. Moreover, it has been very enlightening to explore which algebraic and combinatorial properties of the orignial polytope are hereditary to its subpolytopes obtained by a cut. In this work, we put our attention to all the seperating hyperplanes for some given polytope (integral and convex) and study the existence and classification of such hyperplanes. We prove the exitence of seperating hyperplanes for the order and chain polytopes for any finite posets that are not a single chain; prove there are no such hyperplanes for any Birkhoff polytopes. Moreover, we give a complete seperating hyperplane classification for the unit cube and its subpolytopes obtained by one cut, together with some partial classification results for order and chain polytopes.

This article illustrates the dynamical concept of $homomesy$ in three kinds of dynamical systems -- combinatorial, piecewise-linear, and birational -- and shows the relationship between these three settings. In particular, we show how the rowmotion and promotion operations of Striker and Williams can be lifted to (continuous) piecewise-linear operations on the order polytope of Stanley, and then lifted to birational operations on the positive orthant in $\mathbb{R}^{|P|}$ and indeed to a dense subset of $\mathbb{C}^{|P|}$. When the poset $P$ is a product of a chain of length $a$ and a chain of length $b$, these lifted operations have order $a+b$, and exhibit the homomesy phenomenon: the time-averages of various quantities are the same in all orbits. One important tool is a concrete realization of the conjugacy between rowmotion and promotion found by Striker and Williams; this $recombination$ $map$ allows us to use homomesy for promotion to deduce homomesy for rowmotion. NOTE: An earlier draft showed that Stanley's transfer map between the order polytope and the chain polytope arises as the tropicalization of an analogous map in the bilinear realm; in 2020 we removed this material for the sake of brevity, especially after Joseph and Roby generalized our proof to the noncommutative realm (see arXiv:1909.09658v3). Readers who nonetheless wish to see our proof can find the September 2018 draft of this preprint through the arXiv.

The problem when the order polytope and the chain polytope of a finite partially ordered set are unimodularly equivalent will be solved.

It will be shown that the toric ring of the chain polytope of a finite partially ordered set is an algebra with straightening laws on a finite distributive lattice. Thus in particular every chain polytope possesses a regular unimodular triangulation arising from a flag complex.

Stanley (1986) showed how a finite partially ordered set gives rise to two polytopes, called the order polytope and chain polytope, which have the same Ehrhart polynomial despite being quite different combinatorially. We generalize his result to a wider family of polytopes constructed from a poset P with integers assigned to some of its elements. Through this construction, we explain combinatorially the relationship between the Gelfand-Tsetlin polytopes (1950) and the Feigin-Fourier-Littelmann polytopes (2010), which arise in the representation theory of the special linear Lie algebra. We then use the generalized Gelfand-Tsetlin polytopes of Berenstein and Zelevinsky (1989) to propose conjectural analogues of the Feigin-Fourier-Littelmann polytopes corresponding to the symplectic and odd orthogonal Lie algebras.

We consider the inversion enumerator I_n(q), which counts labeled trees or, equivalently, parking functions. This polynomial has a natural extension to generalized parking functions. Substituting q = -1 into this generalized polynomial produces the number of permutations with a certain descent set. In the classical case, this result implies the formula I_n(-1) = E_n, the number of alternating permutations. We give a combinatorial proof of these formulas based on the involution principle. We also give a geometric interpretation of these identities in terms of volumes of generalized chain polytopes of ribbon posets. The volume of such a polytope is given by a sum over generalized parking functions, which is similar to an expression for the volume of the parking function polytope of Pitman and Stanley.