Enriched chain polytopes (Q2190058): Difference between revisions

A lattice polytope \(\mathscr{P}\subset \mathbb{R}^d\) is a convex polytope whose all vertices have integer coordinates. The Ehrhart polynomial \(L_{\mathscr{P}(m)}\) of \(\mathscr{P}\) is defined as \[ L_{\mathscr{P}}(m)=|m\mathscr{P}\cap \mathbb{Z}^d|. \] The Ehrhart series \(Ehr_{\mathscr{P}}(m)\) of \(\mathscr{P}\) is the formal power series \[ Ehr_{\mathscr{P}}(x)=1+\sum_{k=1}^{\infty} L_{\mathscr{P}}(k)x^k. \] The \(h^*\)-polynomial \(h^*(\mathscr{P},x)\) of \(\mathscr{P}\) is defined as \[ h^*(\mathscr{P},x) = (1-x)^{n+1}\cdot Ehr_{\mathscr{P}}(x). \] Given a poset \(P=[n]\), a chain polytope \(\mathscr{C}_P\) of \(P\) is the convex hull of \[ \{\mathbf{e}_{i_1}+ \cdots +\mathbf{e}_{i_k} : \{i_1,\dots, i_k\} \text{ is an antichain of } P\}, \] where \(\mathbf{e}_i\) is the \(i\)-th unit coordinate vector of \(\mathbb{R}^n\). There is a close interplay between the combinatorial structure of \(P\) and geometric structure of \(\mathscr{C}_P\). In this paper, the authors introduce the enriched chain polytope \(\mathscr{E}_P\) of poset \(P\) as the convex hull of \[ \{\pm \mathbf{e}_{i_1}\pm \cdots \pm \mathbf{e}_{i_k} : \{i_1,\dots, i_k\} \text{ is an antichain of } P\}. \] They study the geometric and combinatorial properties of \(\mathscr{E}_P\). In particular they relate the Ehrhart polynomial of the enriched chain polytope of the poset \(P\) with the left enriched order polynomial of \(P\). They also relate the \(h^*\)-polynomial of the enriched chain polytope of the \(P\) with the left peak polynomial of \(P\).