Rigidity for the Hopf Algebra of Quasisymmetric Functions

We investigate the rigidity for the Hopf algebra QSym of quasisymmetric functions with respect to the monomial, the fundamental and the quasisymmetric Schur basis, respectively. By establishing some combinatorial properties of the posets of compositions arising from the analogous Pieri rules for quasisymmetric functions, we show that QSym is rigid as an algebra with respect to the quasisymmetric Schur basis, and rigid as a coalgebra with respect to the monomial and the quasisymmetric Schur basis, respectively. The natural actions of reversal, complement and transpose of the labelling compositions lead to some nontrivial graded (co)algebra automorphisms of QSym. We prove that the linear maps induced by the three actions are precisely the only nontrivial graded algebra automorphisms that take the fundamental basis into itself. Furthermore, the complement map on the labels gives the unique nontrivial graded coalgebra automorphism preserving the fundamental basis, while the reversal map on the labels gives the unique nontrivial graded algebra automorphism preserving the monomial basis. Therefore, QSym is rigid as a Hopf algebra with respect to the monomial and the quasisymmetric Schur basis.

Cofree compositions of coalgebras

International audience We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad $\mathcal{D}$ and the other is a connected graded coalgebra with coalgebra map to $\mathcal{D}$. We conclude with examples of these structures, where the factor coalgebras have bases indexed by the vertices of multiplihedra, composihedra, and hypercubes. Nous développons la notion de composition de coalgèbres, qui apparaît naturellement dans la théorie des catégories d'ordre supérieur et dans la théorie des espèces. Nous montrons que la composée de deux coalgèbres colibres est colibre et nous donnons des conditions qui impliquent que la composée est une algèbre de Hopf unilatérale. Ces conditions sont valables quand l'une des coalgèbres est une opérade de Hopf graduée $\mathcal{D}$ et l'autre est une coalgèbre graduée connexe avec un morphisme vers $\mathcal{D}$. Nous concluons avec des exemples de ces structures, où les coalgèbres composées ont des bases indexées par les sommets de multiplièdres, de composièdres, et d'hypercubes.

On A Multiplicativity up to Homotopy of the Gugenheim Map

In the category of differential algebras with strong homotopy there is a Gugenheim's map {ρ 𝑖} : 𝐴* → 𝐶* from Sullivan's commutative cochain complex to the singular cochain complex of a space, which induces a differential graded coalgebra map of appropriate Bar constructions. Both (𝐵𝐴*, dBA , Δ,) and (𝐵𝐶*, dBC* , Δ,) carry multiplications. We show that the Gugenheim's map 𝐵{ρ 𝑖} : (𝐵𝐴*, dBA* , Δ,) → (𝐵𝐶*, dBC* , Δ,) is multiplicative up to homotopy with respect to these structures.