The stirling polynomial of a simplicial complex

Abstract

We introduce a new encoding of the face numbers of a simplicial complex, its Stirling polynomial, that has a simple expression obtained by multiplying each face number with an appropriate generalized binomial coefficient. We prove that the face numbers of the barycentric subdivision of the free join of two CW-complexes may be found by multiplying the Stirling polynomials of the barycentric subdivisions of the original complexes. We show that the Stirling polynomial of the order complex of any simplicial poset and of certain graded planar posets has non-negative coefficients. By calculating the Stirling polynomial of the order complex of the r-cubical lattice of rank n + 1 in two ways, we provide a combinatorial proof for the following identity of Bernoulli polynomials: 1+rn∑k=1n( nk-1)/k.((Bk(x+1\r)-Bk(1/r))=(rx+1) n. Finally we observe that the Stirling polynomials of simplicial complexes associated to the cladistic characters defined by McMorris and Zaslavsky [21] are equal, up to a shift, to the Stirling polynomials defined by Gessel and Stanley [14]. © 2005 Springer Science+Business Media, Inc.