Dual immaculate creation operators and a dendriform algebra structure on the quasisymmetric functions
arXiv:1410.0079 · doi:10.4153/CJM-2016-018-8
Abstract
The dual immaculate functions are a basis of the ring QSym of quasisymmetric functions, and form one of the most natural analogues of the Schur functions. The dual immaculate function corresponding to a composition is a weighted generating function for immaculate tableaux in the same way as a Schur function is for semistandard Young tableaux; an "immaculate tableau" is defined similarly to a semistandard Young tableau, but the shape is a composition rather than a partition, and only the first column is required to strictly increase (whereas the other columns can be arbitrary; but each row has to weakly increase). Dual immaculate functions have been introduced by Berg, Bergeron, Saliola, Serrano and Zabrocki in arXiv:1208.5191, and have since been found to possess numerous nontrivial properties. In this note, we prove a conjecture of Mike Zabrocki which provides an alternative construction for the dual immaculate functions in terms of certain "vertex operators". The proof uses a dendriform structure on the ring QSym; we discuss the relation of this structure to known dendriform structures on the combinatorial Hopf algebras FQSym and WQSym.
41 pages. Updated postprint (version 5 was published in Canad. J. of Math.; published version is version 5 without ancillary file). The ancillary PDF file (compiled from the same source) has more details and proves Proposition 5.7. Comments are welcome! Version 9: Even more typos fixed. Silly question at the end replaced by an interesting one. Includes tweaked allrunes package to work around LaTeX incompatibility