The monomial basis and the Q-basis of the Hopf algebra of parking functions.

From MaRDI portal
(Redirected from Publication:494299)
The monomial basis and the \(Q\)-basis of the Hopf algebra of parking functions.



Abstract: Consider the vector space mathbbKmathcalP spanned by parking functions. By representing parking functions as labeled digraphs, Hivert, Novelli and Thibon constructed a cocommutative Hopf algebra PQSym∗ on mathbbKmathcalP. The product and coproduct of PQSym∗ are analogous to the product and coproduct of the Hopf algebra NCSym of symmetric functions in noncommuting variables defined in terms of the power sum basis. In this paper, we view a parking function as a word. We shall construct a Hopf algebra PFSym on mathbbKmathcalP with a formal basis Ma analogous to the monomial basis of NCSym. By introducing a partial order on parking functions, we transform the basis Ma to another basis Qa via the M"{o}bius inversion. We prove the freeness of PFSym by finding two free generating sets in terms of the M-basis and the Q-basis, and we show that PFSym is isomorphic to the Hopf algebra PQSym∗. It turns out that our construction, when restricted to permutations and non-increasing parking functions, leads to a new way to approach the Grossman-Larson Hopf algebras of ordered trees and heap-ordered trees.


The space generated by parking functions holds several Hopf algebra structures, including a commutative one, introduced by Hivert, Novelli and Thibon and refered to as \(\mathbf{PQSym}\). A new one is introduced here, using a generalization of the monomial basis of the Hopf algebra on noncommutative symmetric functions. It is denoted by \(\mathbf{PFSym}\). A second basis is introduced, with the help of a Möbius inversion. Both bases give a proof of the freeness of \(\mathbf{PFSym}\), the first one considering the elements indexed by atomic parking functions, the second one considering the elements indexed by unsplitable parking functions. As a consequence, \(\mathbf{PFSym}\) and the dual of \(\mathbf{PQSym}\) are isomorphic, in a nontrivial way. Several Hopf subalgebras of \(\mathbf{PFSym}\) are introduced, including one isomorphic to noncommutative symmetric functions, and other ones isomorphic to Grossman-Larson's Hopf algebras of ordered or heap-ordered trees.











This page was built for publication: The monomial basis and the \(Q\)-basis of the Hopf algebra of parking functions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494299)