arXiv++ Combinatorics

We study the class $\mathcal C$ of symmetric functions whose coefficients in the Schur basis can be described by generating functions for sets of tableaux with fixed shape. Included in this class are the Hall-Littlewood polynomials, $k$-atoms, and Stanley symmetric functions; functions whose Schur coefficients encode combinatorial, representation theoretic and geometric information. While Schur functions represent the cohomology of the Grassmannian variety of $GL_n$, Grothendieck functions $\{G_λ\}$ represent the $K$-theory of the same space. In this paper, we give a combinatorial description of the coefficients when any element of $\mathcal C$ is expanded in the $G$-basis or the basis dual to $\{G_λ\}$.

We prove the Murgnaghan--Nakayama rule for $k$-Schur functions of Lapointe and Morse, that is, we give an explicit formula for the expansion of the product of a power sum symmetric function and a $k$-Schur function in terms of $k$-Schur functions. This is proved using the noncommutative $k$-Schur functions in terms of the nilCoxeter algebra introduced by Lam and the affine analogue of noncommutative symmetric functions of Fomin and Greene.

The affine Dynkin diagram of type $A_n^{(1)}$ has a cyclic symmetry. The analogue of this Dynkin diagram automorphism on the level of crystals is called a promotion operator. In this paper we show that the only irreducible type $A_n$ crystals which admit a promotion operator are the highest weight crystals indexed by rectangles. In addition we prove that on the tensor product of two type $A_n$ crystals labeled by rectangles, there is a single connected promotion operator. We conjecture this to be true for an arbitrary number of tensor factors. Our results are in agreement with Kashiwara's conjecture that all `good' affine crystals are tensor products of Kirillov-Reshetikhin crystals.

In 2002, Feigin and Veselov defined the space of m-quasiinvariants for any Coxeter group, building on earlier work of Chalykh and Veselov. While many properties of those spaces were proven from this definition, an explicit computation of a basis was only done in certain cases. In particular, Feigin and Veselov computed bases for the m-quasiinvariants of dihedral groups, including S_3, and Felder and Veselov computed the non-symmetric m-quasiinvariants of lowest degree for general S_n. In this paper, we provide a new characterization of the m-quasiinvariants of S_n, and use this to provide a basis for the isotypic component indexed by the partition [n-1,1]. This builds on a previous paper in which we computed a basis for S_3 via combinatorial methods.

Let $s_{ij}$ represent a tranposition in $S_n$. A polynomial $P$ in $\mathbb{Q}[X_n]$ is said to be $m$-quasiinvariant with respect to $S_n$ if $(x_i-x_j)^{2m+1}$ divides $(1-s_{ij})P$ for all $1 \leq i, j \leq n$. We call the ring $m$-quasiinvariants $QI_m[X_n]$. We describe a method for constructing a basis for the quotient $QI_m[X_3]/< e_1, e_2, e_3>$. This leads to the evaluation of certain binomial determinants that are interesting in their own right.