Poset modules of the 0-Hecke algebras and related quasisymmetric power sum expansions

Abstract

Duchamp–Hivert–Thibon introduced the construction of a right $H_n\left(0\right)$-module, denoted as $M_P$, for any partial order $P$ on the set $\left[n\right]$. This module is defined by specifying a suitable action of $H_n\left(0\right)$ on the set of linear extensions of $P$. In this paper, we refer to this module as the poset module associated with $P$. Firstly, we show that ${⨁}_{n\ge 0}{G}_0\left(P\left(n\right)\right)$ has a Hopf algebra structure that is isomorphic to the Hopf algebra of quasisymmetric functions, where $P\left(n\right)$ is the full subcategory of $\mathrm{mod\; -}{H}_n\left(0\right)$ whose objects are direct sums of finitely many isomorphic copies of poset modules and $G_0\left(P\left(n\right)\right)$ is the Grothendieck group of $P\left(n\right)$. We also demonstrate how (anti-) automorphism twists interact with these modules, the induction product and restrictions. Secondly, we investigate the (type 1) quasisymmetric power sum expansion of some quasi-analogues $Y_{\alpha }$ of Schur functions, where $\alpha$ is a composition. We show that they can be expressed as the sum of the $P$-partition generating functions of specific posets, which allows us to utilize the result established by Liu–Weselcouch. Additionally, we provide a new algorithm for obtaining these posets. Using these findings, for the dual immaculate function and the extended Schur function, we express the coefficients appearing in the quasisymmetric power sum expansions in terms of border strip tableaux.