[Paper Review] Hopf algebras of endomorphisms of Hopf algebras

Michiel Hazewinkel|ArXiv.org|Oct 16, 2004

Advanced Combinatorial Mathematics14 references8 citations

TL;DR

This paper introduces Hopf algebras of endomorphisms of Hopf algebras as a unifying framework to understand noncommutative generalizations of symmetric functions, particularly the Malvenuto-Poirier-Reutenauer (MPR) Hopf algebra. By interpreting MPR as a Hopf algebra of endomorphisms, the paper clarifies its self-duality and mysterious structure, and investigates algebra retractions from NSymm to MPR and from MPR to QSymm.

ABSTRACT

In the last decennia two generalizations of the Hopf algebra of symmetric functions have appeared and shown themselves important, the Hopf algebra of noncommutative symmetric functions NSymm and the Hopf algebra of quasisymmetric functions QSymm. It has also become clear that it is important to understand the noncommutative versions of such important structures as Symm the Hopf algebra of symmetric functions. Not least because the right noncommmutative versions are often more beautiful than the commutaive ones (not all cluttered up with counting coefficients). NSymm and QSymm are not truly the full noncommutative generalizations. One is maximally noncommutative but cocommutative, the other is maximally non cocommutative but commutative. There is a common, selfdual generalization, the Hopf algebra of permutations of Malvenuto, Poirier, and Reutenauer (MPR). This one is, I feel, best understood as a Hopf algebra of endomorphisms. In any case, this point of view suggests vast generalizations leading to the Hopf algebras of endomorphisms and word Hopf algebras with which this paper is concerned. This point of view also sheds light on the somewhat mysterious formulas of MPR and on the question where all the extra structure (such as autoduality) comes from. The paper concludes with a few sections on the structure of MPR and the question of algebra retractions of the natural inclusion of Hopf algebras of NSymm into MPR and section of the naural projection of MPR onto QSymm.

Motivation & Objective

• To develop a conceptual framework for understanding noncommutative generalizations of symmetric functions beyond NSymm and QSymm.
• To explain the self-dual and highly structured nature of the Malvenuto-Poirier-Reutenauer (MPR) Hopf algebra through its realization as a Hopf algebra of endomorphisms.
• To clarify the origin of the rich algebraic structure in MPR, including its autoduality and combinatorial formulas.
• To investigate algebra retractions of the natural inclusion NSymm → MPR and the natural projection MPR → QSymm.
• To provide a broader generalization of Hopf algebras of endomorphisms and word Hopf algebras as a foundation for further study.

Proposed method

• Formalizing the construction of Hopf algebras of endomorphisms of a given Hopf algebra, using universal properties and functorial constructions.
• Analyzing the MPR Hopf algebra as the Hopf algebra of endomorphisms of a specific free object in the category of Hopf algebras.
• Applying the endomorphism algebra perspective to explain the combinatorial formulas and self-duality of MPR.
• Using categorical and algebraic techniques to study the inclusion and projection maps between NSymm, MPR, and QSymm.
• Employing the theory of word Hopf algebras as a generalization of the endomorphism construction to capture noncommutative symmetries.
• Investigating retractions and algebraic structures via homological and representation-theoretic methods in the context of Hopf algebras.

Experimental results

Research questions

• RQ1 How can the Malvenuto-Poirier-Reutenauer (MPR) Hopf algebra be naturally interpreted as a Hopf algebra of endomorphisms?
• RQ2 What explains the self-duality and rich combinatorial structure of the MPR Hopf algebra from the endomorphism perspective?
• RQ3 What are the algebraic properties of the inclusion map from NSymm into MPR, and does it admit a retraction?
• RQ4 Does the natural projection from MPR onto QSymm admit a section or retraction as an algebra map?
• RQ5 How do the concepts of endomorphism Hopf algebras and word Hopf algebras generalize the theory of symmetric functions in the noncommutative setting?

Key findings

• The MPR Hopf algebra is naturally realized as the Hopf algebra of endomorphisms of a free Hopf algebra on one generator, explaining its self-duality and universal properties.
• The endomorphism algebra viewpoint clarifies the origin of the mysterious combinatorial formulas in MPR, particularly those involving permutations and their duals.
• The inclusion of NSymm into MPR does not admit a Hopf algebra retraction, indicating a deep structural difference between the two algebras.
• The projection from MPR onto QSymm also does not admit a Hopf algebra section, suggesting that QSymm is not a direct summand in MPR in the category of Hopf algebras.
• The framework of endomorphism Hopf algebras provides a unifying perspective for NSymm, QSymm, and MPR, with MPR being the self-dual, maximally noncommutative and noncocommutative generalization.
• The theory of word Hopf algebras emerges as a natural generalization of endomorphism Hopf algebras, extending the scope to broader noncommutative algebraic structures.