Hopf algebras of parking functions and decorated planar trees (Q2104904)

The Loday-Ronco construction is extended to planar (non necessarily binary) trees, giving two Hopf algebras, isomorphic via an explicit map using an order on planar trees. A similar construction is done on labeled planar trees and another family of trees on bijection with parking functions. It is proved that the last one is a bidendriform bialgebra, which implies that it is isomorphic to the Hopf algebra introduced by Novelli and Thibon, in a non explicit way. Orders are introduced on these trees, generalizing the Tamari orders, and it is proved that the product in the dual of these objects are given by intervals for these orders, as in Loday-Ronco or Malvenuto-Reutenauer Hopf algebras. Aguiar and Sottile's methods [\textit{M. Aguiar} and \textit{F. Sottile}, Adv. Math. 191, No. 2, 225--275 (2005; Zbl 1056.05139); J. Algebra 295, No. 2, 473--511 (2006; Zbl 1099.16015)] are axiomatized and then used on these objects, which gives monomial bases and proving their cofreeness. Formulas for the product and the antipode in these bases are given.