Distinguished filtrations of the $0$-Hecke modules for dual immaculate quasisymmetric functions

TL;DR

This paper establishes a distinguished filtration for certain $0$-Hecke modules associated with dual immaculate quasisymmetric functions, providing a new representation-theoretic perspective on their expansion in Young quasisymmetric Schur functions.

Contribution

It introduces a novel filtration of $0$-Hecke modules linked to dual immaculate functions and constructs new indecomposable modules related to Young quasisymmetric Schur functions.

Findings

Proves existence of a distinguished filtration for $ ext{V}_oldsymbol{ extalpha}$

Constructs an indecomposable $0$-Hecke module $ extbf{Y}_oldsymbol{ extalpha}$ with specific characteristic

Establishes a version of Green's theorem for Mason's RSK analogue

Abstract

Let $\alpha$ range over the set of compositions. Dual immaculate quasisymmetric functions $\mathfrak{S}_\alpha^*$, introduced by Berg, Bergeron, Saliola, Serrano, and Zabrocki, provide a quasisymmetric analogue of Schur functions. They also constructed an indecomposable $0$-Hecke module $\mathcal{V}_\alpha$ whose image under the quasisymmetric characteristic is $\mathfrak{S}_\alpha^*$. In this paper, we prove that $\mathcal{V}_\alpha$ admits a distinguished filtration with respect to the basis of Young quasisymmetric Schur functions. This result offers a novel representation-theoretic interpretation of the positive expansion of $\mathfrak{S}_\alpha^*$ in the basis of Young quasisymmetric Schur functions. A key tool in our proof is Mason's analogue of the Robinson-Schensted-Knuth algorithm, for which we establish a version of Green's theorem. As an unexpected byproduct of our investigation, we construct an indecomposable $0$-Hecke module $\mathbf{Y}_\alpha$ whose image under the quasisymmetric characteristic is the Young quasisymmetric Schur function $\hat{\mathscr{S}}_\alpha$. Further properties of this module are also investigated. And, by applying a suitable automorphism twist to this module, we obtain an indecomposable $0$-Hecke module whose image under the quasisymmetric characteristic is the quasisymmetric Schur function $\mathscr{S}_\alpha$.