arXiv++ Combinatorics

We classify Schur positivity in two families of symmetric functions $f_n^T$ introduced by Sundaram. For $k\ge2$, $f_n^{\{1,k\}}$ fails to be Schur-positive exactly when $n=k$ and $k$ is an even integer greater than $2$. For $T_k=\{k^i:i\ge0\}$, $f_n^{T_k}$ fails to be Schur-positive exactly when $k$ is an even integer greater than $2$ and $n=k^a$ for some $a\ge1$. In every exceptional degree, the coefficient of $s_{(1^n)}$ is $-1$, and all other Schur coefficients are nonnegative. Together with Sundaram's product implication, these classifications settle her Conjectures~1--3. We also recast Sundaram's plethystic identities in divisor-indexed coordinates and classify nonnegative Foulkes coordinates in each fixed degree and globally. If a composite $k$ divides $n$, both $f_n^{\{1,k\}}$ and $f_n^{T_k}$ have a negative Foulkes coordinate even when they are Schur-positive. Extending Hou's bounded-interval argument, we prove a uniform criterion for real divisor weights for $n\ge18$. If $1\in T$ and the Möbius weight $ψ^T$ satisfies the required bounds, $f_n^T$ is Schur-positive for every odd $n\ge18$. For even $n\ge18$, it fails exactly when $n\in T$ and $n/2\notin T$; then $s_{(1^n)}$ indexes the unique negative Schur coefficient, equal to $-1$. Finally, for $k=q^s$ with $q$ prime, $s\ge2$, $k\mid n$, and $n>k$, we derive major-index residue inequalities and classify all equality cases. For $n\ge18$, we also obtain a uniform quantitative estimate for partitions whose first row and first column each have length at most $n/2$.

Jensen, Su, and Yang described the projective indecomposable modules of the $0$-Schur algebra $\mathbf{S}_0(n,r)$ using its geometric realization. In this paper, the simple modules of $\mathbf{S}_0(n,r)$ are identified by computing the tops of the projective indecomposable modules. Furthermore, functorial relations among the module categories $\mathbf{H}_r(0)$\textsf{-mod}, $\mathbf{S}_0(n,r)$\textsf{-mod}, and $U_0(\mathfrak{gl}_n)$\textsf{-mod} are examined, where $\mathbf{H}_r(0)$ denotes the $0$-Hecke algebra and $U_0(\mathfrak{gl}_n)$ denotes the degenerate quantum group.

Let $α$ range over the set of compositions. Dual immaculate quasisymmetric functions $\mathfrak{S}_α^*$, 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}_α$ whose image under the quasisymmetric characteristic is $\mathfrak{S}_α^*$. In this paper, we prove that $\mathcal{V}_α$ 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}_α^*$ 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}_α$ whose image under the quasisymmetric characteristic is the Young quasisymmetric Schur function $\hat{\mathscr{S}}_α$. 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}_α$.

Let $\mathrm{Int}(n)$ denote the set of nonempty left weak Bruhat intervals in the symmetric group $\mathfrak{S}_n$. We investigate the equivalence relation $\overset{D}{\simeq}$ on $\mathrm{Int}(n)$, where $I \overset{D}{\simeq} J$ if and only if there exists a descent-preserving poset isomorphism between $I$ and $J$. For each equivalence class $C$ of $(\mathrm{Int}(n), \overset{D}{\simeq})$, a partial order $\preceq$ is defined by $[σ, ρ]_L \preceq [σ', ρ']_L$ if and only if $σ\preceq_R σ'$. Kim-Lee-Oh (2023) showed that the poset $(C, \preceq)$ is isomorphic to a right weak Bruhat interval. In this paper, we focus on lower and upper descent weak Bruhat intervals, specifically those of the form $[w_0(S), σ]_L$ or $[σ, w_1(S)]_L$, where $w_0(S)$ is the longest element in the parabolic subgroup $\mathfrak{S}_S$ of $\mathfrak{S}_n$, generated by $\{s_i \mid i \in S\}$ for a subset $S \subseteq [n-1]$, and $w_1(S)$ is the longest element among the minimal-length representatives of left $\mathfrak{S}_{[n-1] \setminus S}$-cosets in $\mathfrak{S}_n$. We begin by providing a poset-theoretic characterization of the equivalence relation $\overset{D}{\simeq}$. Using this characterization, the minimal and maximal elements within an equivalence class $C$ are identified when $C$ is a lower or upper descent interval. Under an additional condition, a detailed description of the structure of $(C, \preceq)$ is provided. Furthermore, for the equivalence class containing $[w_0(S), σ]_L$, an injective hull of ${\sf B}([w_0(S), σ]_L)$ is given, and for the equivalence class containing $[σ, w_1(S)]_L$, a projective cover of ${\sf B}([σ, w_1(S)]_L)$ is given.

In this paper, we explore the relationship between quasisymmetric Schur $Q$-functions and peak Young quasisymmetric Schur functions. We introduce a bijection on $\mathsf{SPIT}(α)$ such that $\{\mathrm{w}_{\rm c}(T) \mid T \in \mathsf{SPIT}(α)\}$ and $\{\mathrm{w}_{\rm r}(T) \mid T \in \mathsf{SPIT}(α)\}$ share identical descent distributions. Here, $\mathsf{SPIT}(α)$ is the set of standard peak immaculate tableaux of shape $α$, and $\mathrm{w}_{\rm c}$ and $\mathrm{w}_{\rm r}$ denote column reading and row reading, respectively. By combining this equidistribution with the algorithm developed by Allen, Hallam, and Mason, we demonstrate that the transition matrix from the basis of quasisymmetric Schur $Q$-functions to the basis of peak Young quasisymmetric Schur functions is upper triangular, with entries being non-negative integers. Furthermore, we provide explicit descriptions of the expansion of peak Young quasisymmetric Schur functions in specific cases, in terms of quasisymmetric Schur $Q$-functions. We also investigate the combinatorial properties of standard peak immaculate tableaux, standard Young composition tableaux, and standard peak Young composition tableaux. We provide a hook length formula for $\mathsf{SPIT}(α)$ and show that standard Young composition tableaux and standard peak Young composition tableaux can be bijectively mapped to specific words in a familiar form. Especially, cases of compositions with rectangular shape are examined in detail.

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}_α(q,t) \mid α\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_α(q) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q)}$, where $G_α(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_α(q) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q)}$, where $M_α(q)$ is a $q$-analogue of the monomial quasisymmetric function.

Assuming Stanley's $P$-partition conjecture holds, the regular Schur labeled skew shape posets with underlying set $\{1,2,\ldots, n\}$ are precisely the posets $P$ such that the $P$-partition generating function is symmetric and the set of linear extensions of $P$, denoted $Σ_L(P)$, is a left weak Bruhat interval in the symmetric group $\mathfrak{S}_n$. We describe the permutations in $Σ_L(P)$ in terms of reading words of standard Young tableaux when $P$ is a regular Schur labeled skew shape poset, and classify $Σ_L(P)$'s up to descent-preserving isomorphism as $P$ ranges over regular Schur labeled skew shape posets. The results obtained are then applied to classify the $0$-Hecke modules $\mathsf{M}_P$ associated with regular Schur labeled skew shape posets $P$ up to isomorphism. Then we characterize regular Schur labeled skew shape posets as the posets whose linear extensions form a dual plactic-closed subset of $\mathfrak{S}_n$. Using this characterization, we construct distinguished filtrations of $\mathsf{M}_P$ with respect to the Schur basis when $P$ is a regular Schur labeled skew shape poset. Further issues concerned with the classification and decomposition of the $0$-Hecke modules $\mathsf{M}_P$ are also discussed.

Duchamp--Hivert--Thibon introduced the construction of a right $H_n(0)$-module, denoted as $M_P$, for any partial order $P$ on the set $[n]$. This module is defined by specifying a suitable action of $H_n(0)$ 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 $\bigoplus_{n \ge 0} G_0(\mathscr{P}(n))$ has a Hopf algebra structure that is isomorphic to the Hopf algebra of quasisymmetric functions, where $\mathscr{P}(n)$ is the full subcategory of $\textbf{mod-}H_n(0)$ whose objects are direct sums of finitely many isomorphic copies of poset modules and $G_0(\mathscr{P}(n))$ is the Grothendieck group of $\mathscr{P}(n)$. 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_α$ of Schur functions, where $α$ 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.

Let us fix a positive integer $ν>1$. For each positive integer $n>1$, we consider a normal supercharacter theory $\mathcal{S}_n$ of $G_n$, where $G_n$ is the direct-product of $n-1$ copies of the cyclic group of order $ν$. Then we endow $\bigoplus_{n \ge 0} \textsf{scf}(\mathcal{S}_n)$, the direct-product of supercharacter function spaces, with the Hopf algebra structure that is isomorphic to the Hopf algebra $\textsf{QSym}$ of quasisymmetric functions. Furthermore, we compute the structure constants of the Hopf algebra thus obtained for the basis consisting of superclass identifier functions. Using our categorifications, we study a new basis for the Hopf algebra $\textsf{NSym}_{\mathbb{C}(q,t)}$ of noncommutative symmetric functions over the rational function field $\mathbb{C}(q,t)$ in commuting variables $q$ and $t$, with an emphasis on the structure constants of $\textsf{NSym}_{\mathbb{C}(q,t)}$ for this basis. Some interesting applications are also obtained via the specializations of $q$ and $t$.

Let $n$ be a nonnegative integer. For each composition $α$ of $n$, Berg $\textit{et al.}$ introduced a cyclic indecomposable $H_n(0)$-module $\mathcal{V}_α$ with a dual immaculate quasisymmetric function as the image of the quasisymmetric characteristic. In this paper, we study $\mathcal{V}_α$'s from the homological viewpoint. To be precise, we construct a minimal projective presentation of $\mathcal{V}_α$ and a minimal injective presentation of $\mathcal{V}_α$ as well. Using them, we compute ${\rm Ext}^1_{H_n(0)}(\mathcal{V}_α, {\bf F}_β)$ and ${\rm Ext}^1_{H_n(0)}( {\bf F}_β, \mathcal{V}_α)$, where ${\bf F}_β$ is the simple $H_n(0)$-module attached to a composition $β$ of $n$. We also compute ${\rm Ext}_{H_n(0)}^i(\mathcal{V}_α,\mathcal{V}_β)$ when $i=0,1$ and $β\le_l α$, where $\le_l$ represents the lexicographic order on compositions.

Let $k$ and $m$ be positive integers and $λ/μ$ a skew partition. We compute the principal specialization of the skew Schur polynomials $s_{λ/μ}(x_1, \ldots, x_{k})$ modulo $q^m-1$ under suitable conditions. We interpret the results thus obtained from the viewpoint of the cyclic sieving phenomenon on semistandard Young skew tableaux of shape $λ/μ$. As an application, we deal with evaluations of the principal specialization of the skew Schur polynomials at roots of unity.

The purpose of this paper is to provide a unified method for dealing with various 0-Hecke modules constructed using tableaux so far. To do this, we assign a $0$-Hecke module to each left weak Bruhat interval, called a weak Bruhat interval module. We prove that every indecomposable summand of the $0$-Hecke modules categorifying dual immaculate quasisymmetric functions, extended Schur functions, quasisymmetric Schur functions, and Young row-strict quasisymmetric Schur functions is a weak Bruhat interval module. We further study embedding into the regular representation, induction product, restriction, and (anti-)involution twists of weak Bruhat interval modules.

Let $α$ be a composition of $n$ and $σ$ a permutation in $\mathfrak{S}_{\ell(α)}$. This paper concerns the projective covers of $H_n(0)$-modules $\mathcal{V}_α$, $X_α$ and $\mathbf{S}^σ_α$, which categorify the dual immaculate quasisymmetric function, the extended Schur function, and the quasisymmetric Schur function when $σ$ is the identity, respectively. First, we show that the projective cover of $\mathcal{V}_α$ is the projective indecomposable module $\mathbf{P}_α$ due to Norton, and $X_α$ and the $φ$-twist of the canonical submodule $\mathbf{S}^σ_{β,C}$ of $\mathbf{S}^σ_β$ for $(β,σ)$'s satisfying suitable conditions appear as $H_n(0)$-homomorphic images of $\mathcal{V}_α$. Second, we introduce a combinatorial model for the $φ$-twist of $\mathbf{S}^σ_α$ and derive a series of surjections starting from $\mathbf{P}_α$ to the $φ$-twist of $\mathbf{S}^{\mathrm{id}}_{α,C}$. Finally, we construct the projective cover of every indecomposable direct summand $\mathbf{S}^σ_{α, E}$ of $\mathbf{S}^σ_α$. As a byproduct, we give a characterization of triples $(σ, α, E)$ such that the projective cover of $\mathbf{S}^σ_{α, E}$ is indecomposable.

In this paper, we compute explicitly the $q$-dimensions of highest weight crystals modulo $q^n-1$ for a quantum group of arbitrary finite type under certain assumption, and interpret the modulo computations in terms of the cyclic sieving phenomenon. This interpretation gives an affirmative answer to the conjecture by Alexandersson and Amini. As an application, under the assumption that $λ$ is a partition of length $<m$ and there exists a fixed point in $\mathsf{SST}_m(λ)$ under the action $\mathsf{c}$ arising from the crystal structure, we show that the triple $(\mathsf{SST}_m(λ), \langle \mathsf{c} \rangle, \mathsf{s}_λ(1,q,q^2, \ldots, q^{m-1}))$ exhibits the cycle sieving phenomenon if and only if $λ$ is of the form $((am)^{b})$, where either $b=1$ or $m-1$. Moreover, in this case, we give an explicit formula to compute the number of all orbits of size $d$ for each divisor $d$ of $n$.

We study the $H_n(0)$-module $\mathbf{S}^σ_α$ due to Tewari and van Willigenburg, which was constructed using new combinatorial objects called standard permuted composition tableaux and decomposed into cyclic submodules. First, we show that every direct summand appearing in their decomposition is indecomposable and characterize when $\mathbf{S}^σ_α$ is indecomposable. Second, we find characteristic relations among $\mathbf{S}^σ_α$'s and expand the image of $\mathbf{S}^σ_α$ under the quasi characteristic in terms of quasisymmetric Schur functions. Finally, we show that the canonical submodule of $\mathbf{S}^σ_α$ appears as a homomorphic image of a projective indecomposable module.

We construct a (bi)cyclic sieving phenomenon on the union of dominant maximal weights for level $\ell$ highest weight modules over an affine Kac-Moody algebra with exactly one highest weight being taken for each equivalence class, in a way not depending on types, ranks and levels. In order to do that, we introduce $\textbf{\textit{S}}$-evaluation on the set of dominant maximal weights for each highest modules, and generalize Sagan's action by considering the datum on each affine Kac-Moody algebra. As consequences, we obtain closed and recursive formulae for cardinality of the number of dominant maximal weights for every highest weight module and observe level-rank duality on the cardinalities.

In this paper, we study a new cyclic sieving phenomenon on the set $\mathsf{SST}_n(λ)$ of semistandard Young tableaux with the cyclic action $\mathsf{c}$ arising from its $U_q(\mathfrak{sl}_n)$-crystal structure. We prove that if $λ$ is a Young diagram with $\ell(λ) < n$ and $\gcd( n, |λ| )=1$, then the triple $\left( \mathsf{SST}_n(λ), \mathsf{C}, q^{- κ(λ)} s_λ(1,q, \ldots, q^{n-1}) \right) $ exhibits the cyclic sieving phenomenon, where $\mathsf{C}$ is the cyclic group generated by $\mathsf{c}$. We further investigate a connection between $\mathsf{c}$ and the promotion $\mathsf{pr}$ and show the bicyclic sieving phenomenon given by $\mathsf{c}$ and $\mathsf{pr}^n$ for hook shape.

We provide two shifted analogues of the tableau switching process due to Benkart, Sottile, and Stroomer, the shifted tableau switching process and the modified shifted tableau switching process. They are performed by applying a sequence of specially contrived elementary transformations called {\em switches} and turn out to have some spectacular properties. For instance, the maps induced from these algorithms are involutive and behave very nicely with respect to shifted Young tableaux whose reading words satisfy the lattice property. As an application, we give combinatorial interpretations of Schur $P$- and $Q$-function identities. We also demonstrate the relationship between the shifted tableau switching process and the shifted $J$-operation due to Worley.