Discovering product and coproduct Rules for Bases of ${\textsf {QSym}}_F$ through Supercharacters

Abstract: In this paper, we establish product and coproduct rules for three bases of the Hopf algebra $\textsf{QSym}F$ of quasisymmetric functions over $F$, with $F$ being either $\mathbb{C}(q,t)$ or $\mathbb{C}(q)$. These results are derived through the categorizations of $\textsf{QSym}{\mathbb{C}}$ obtained by utilizing the normal lattice supercharacter theories. Firstly, we deal with a basis ${\mathcal{D}{\alpha}(q,t) \mid \alpha \in \textsf{Comp}}$ of $\textsf{QSym}{\mathbb{C}(q,t)}$, where $\textsf{Comp}$ denotes the set of all compositions. This basis is obtained from the direct sum of specific supercharacter function spaces and consists of superclass identifier functions. Upon appropriate specializations of $q$ and $t$, it yields notable bases of $\textsf{QSym}{\mathbb{C}}$ and $\textsf{QSym}{\mathbb{C}(q)}$, including enriched $q$-monomial quasisymmetric functions introduced by Grinberg and Vassilieva. Secondly, we deal with the basis ${G_{\alpha}(q) \mid \alpha \in \textsf{Comp}}$ of $\textsf{QSym}{\mathbb{C}(q)}$, where $G{\alpha}(q)$ represents the quasisymmetric Hall-Littlewood function introduced by Hivert. Our product rule is new, whereas our coproduct rule turns out to be equivalent to the existing coproduct rule of Hivert. Finally, we consider a basis ${M_{\alpha}(q) \mid \alpha \in \textsf{Comp}}$ of $\textsf{QSym}{\mathbb{C}(q)}$, where $M{\alpha}(q)$ is a $q$-analogue of the monomial quasisymmetric function.