We develop the notion of the composition of two coalgebras, which arises
naturally in higher category theory and in the theory of species.
We investigate algebraic structures that can be placed on vertices of the
multiplihedra, a family of polytopes originating in the study of higher
categories and homotopy theory. Most compelling among these are two distinct
structures of a Hopf module over the Loday-Ronco Hopf algebra.
We analyze the structure of the algebra N of symmetric polynomials in
non-commuting variables in so far as it relates to its commutative counterpart.
Using the "place-action" of the symmetric group, we are able to realize the
latter as the invariant polynomials inside the former. We discover a tensor
product decomposition of N analogous to the classical theorems of Chevalley,
Shephard-Todd on finite reflection groups.
We use Hopf algebras to prove a version of the Littlewood-Richardson formula
for skew Schur functions, which implies a conjecture of Assaf and McNamara. We
also establish a similar skew Littlewood-Richardson formula for Schur P- and
Q-functions.
The multiplihedra {M_n} form a family of polytopes originating in the study
of higher categories and homotopy theory. While the multiplihedra may be
unfamiliar to the algebraic combinatorics community, it is nestled between two
families of polytopes that certainly are not: the permutahedra {S_n} and
associahedra {Y_n}. The maps between these families reveal several new Hopf
structures on tree-like objects nestled between the Malvenuto-Reutenauer (MR)
Hopf algebra of permutations and the Loday-Ronco (LR) Hopf algebra of planar
binary trees.
The multiplihedra {M_n} form a family of polytopes originating in the study
of higher categories and homotopy theory. While the multiplihedra may be
unfamiliar to the algebraic combinatorics community, it is nestled between two
families of polytopes that certainly are not: the permutahedra {S_n} and
associahedra {Y_n}. The maps between these families reveal several new Hopf
structures on tree-like objects nestled between the Malvenuto-Reutenauer (MR)
Hopf algebra of permutations and the Loday-Ronco (LR) Hopf algebra of planar
binary trees.
For each n >1, we construct a left quantum group, i.e., a left Hopf algebra H
generated by comatrix units X_{ij} and modeled after SL_q(n), which has a left
antipode but no right antipode. The quantum special linear group SL_q(n) is a
homomorphic image of our H.