Subdivisions of lower Eulerian posets and KLS theory

TL;DR

This paper explores the relationship between local h-polynomials of subdivisions of lower Eulerian posets and KLS invariants, extending the theory to equivariant cases and linking to Ehrhart theory.

Contribution

It establishes a connection between local h-polynomials and KLS invariants, and develops equivariant extensions with applications to Ehrhart theory.

Findings

Local h-polynomials relate to KLS invariants in lower Eulerian posets.

Braden and MacPherson's relative g-polynomials encode local h-polynomials.

Develops equivariant KLS theory and applications to Ehrhart theory.

Abstract

In a companion paper, a canonical bijection was established between strong formal subdivisions of lower Eulerian posets and triples consisting of a lower Eulerian poset, a corresponding rank function, and a non-minimal element such that the join with any other element exists. The main goal of this paper is to relate the local $h$-polynomials of a strong formal subdivision to the Kazhdan-Lusztig-Stanley (KLS) invariants associated to its corresponding lower Eulerian poset under this bijection. As an application, we show that Braden and MacPherson's relative $g$-polynomials are alternative encodings of corresponding local $h$-polynomials. We also further develop equivariant KLS theory and give equivariant generalizations of our main results, as well as an application to equivariant Ehrhart theory.