Polytopes, Hopf algebras and Quasi-symmetric functions

Original · EN

In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group P generated by all combinatorial polytopes. There are two natural bilinear operations on this group defined by a direct product × and a join of polytopes. (P,×) is a commutative associative bigraded ring of polynomials, and RP=(Z,) is a commutative associative threegraded ring of polynomials. The ring RP has the structure of a graded Hopf algebra. It turns out that P has a natural Hopf comodule structure over RP. Faces operators dₖ that send a polytope to the sum of all its (n-k)-dimensional faces define on both rings the Hopf module structures over the universal Leibnitz-Hopf algebra Z. This structure gives a ring homomorphism →⊗, where is P or RP. Composing this homomorphism with the characters Pⁿ→αⁿ of P, Pⁿ→αⁿ⁺¹ of RP, and with the counit we obtain the ring homomorphisms f→[α], fRP→[α], and:RP→, where F is the Ehrenborg transformation. We describe the images of these homomorphisms in terms of functional equations, prove that these images are rings of polynomials over Q, and find the relations between the images, the homomorphisms and the Hopf comodule structures. For each homomorphism f,fRP, and the images of two polytopes coincide if and only if they have equal flag f-vectors. Therefore algebraic structures on the images give the information about flag f-vectors of polytopes.