Eulerian posets and $Z$-polynomials

Abstract

Let $P$ be a finite partially ordered set. In a recent series of works, Proudfoot introduced the notion of $Z$-polynomials associated with $P$-kernels, providing a unified framework for various intersection cohomology Poincaré polynomials arising in diverse areas of mathematics. One of the problems posed by Proudfoot was to interpret the $Z$-polynomial in a fundamental setting -- namely, when $P$ is the lattice of faces of a convex polytope (or, more generally, an Eulerian poset). We resolve this problem by proving that the $Z$-polynomial of any Eulerian poset coincides with the toric $h$-polynomial of the poset of all (possibly empty) closed intervals of $P$, ordered by reverse inclusion. Under suitable polyhedral conditions, this result identifies the $Z$-polynomial of a polytope with the Poincaré polynomial of the intersection cohomology of an associated auxiliary polytope. We prove some results about the Chow polynomials of the poset of intervals of an Eulerian poset and relate them with the Veronese transforms on polynomials.

Figures (2)

• Figure 1: An Eulerian poset $P$ and its poset of intervals $\widehat{P}$.
• Figure 2: A Gorenstein* poset with bad toric $h$- and $Z$-polynomials

Theorems & Definitions (19)

• Theorem 1.2
• Theorem 1.3
• Theorem 1.4
• Theorem 2.1
• Definition 2.2
• Proposition 2.3: stanley-local
• Lemma 3.1
• proof
• Example 3.2
• Theorem 3.3