Coproducts and the cd-Index

The linear span of isomorphism classes of posets, P, has a Newtonian coalgebra structure. We observe that the ab-index is a Newtonian coalgebra map from the vector space P to the algebra of polynomials in the noncommutative variables a and b. This enables us to obtain explicit formulas showing how the cd-index of the face lattice of a convex polytope changes when taking the pyramid and the prism of the polytope and the corresponding operations on posets. As a corollary, we have new recursion formulas for the cd-index of the Boolean algebra and the cubical lattice. Moreover, these operations also have interpretations for certain classes of permutations, including simsun and signed simsun permutations. We prove an identity for the shelling components of the simplex. Lastly, we show how to compute the ab-index of the Cartesian product of two posets given the ab-indexes of each poset.

[1]  Gil Kalai,et al.  A new basis of polytopes , 1988, J. Comb. Theory, Ser. A.

[2]  Joseph P. S. Kung,et al.  Gian-Carlo Rota on combinatorics : introductory papers and commentaries , 1995 .

[3]  D. Foata.  CHAPTER 16 – Nombres d'Euler et Permutations Alternantes , 1973 .

[4]  Gian-Carlo Rota,et al.  Gian-Carlo Rota on combinatorics , 1995 .

[5]  Richard P. Stanley,et al.  A Survey of Eulerian Posets , 1994 .

[6]  G. Ziegler.  Lectures on Polytopes , 1994 .

[7]  Richard Ehrenborg,et al.  The r-cubical Lattice and a Generalization of the cd-index , 1996, Eur. J. Comb..

[8]  S. Sundaram,et al.  The Homology Representations of the Symmetric Group on Cohen-Macaulay Subposets of the Partition Lattice , 1994 .

[9]  Philip S. Hirschhorn,et al.  Coalgebraic foundations of the method of divided differences , 1992 .

[10]  Richard Ehrenborg,et al.  Flags and Shellings of Eulerian Cubical Posets , 2000 .

[11]  R. Stanley.  Flagf-vectors and thecd-index , 1994 .

[12]  S. Sundaram.  The Homology of Partitions with an Even Number of Blocks , 1995 .

[13]  William R. Schmitt,et al.  Antipodes and incidence coalgebras , 1987, J. Comb. Theory, Ser. A.

[14]  M. Purtill.  André permutations, lexicographic shellability and the cd-index of a convex polytope , 1993 .

[15]  Louis J. Billera,et al.  Generalized Dehn-Sommerville relations for polytopes, spheres and Eulerian partially ordered sets , 1985 .

[16]  R. Ehrenborg.  On Posets and Hopf Algebras , 1996 .

[17]  A. Björner.  Shellable and Cohen-Macaulay partially ordered sets , 1980 .

[18]  Andrew Klapper,et al.  A new index for polytopes , 1991, Discret. Comput. Geom..

[19]  Peter McMullen,et al.  Polytopes: Abstract, Convex and Computational , 1994 .

[20]  Gábor Hetyei.  On thecd-variation polynomials of André and simsun permutations , 1996, Discret. Comput. Geom..

[21]  Gian-Carlo Rota,et al.  Coalgebras and Bialgebras in Combinatorics , 1979 .