The University of Michigan Combinatorics Seminar
The k-Schur functions were first introduced by Lapointe, Lascoux and Morse in the hopes of refining the expansion of Macdonald polynomials into Schur functions. Recently, an alternative definition for k-Schur functions was given by Lam, Lapointe, Morse, and Shimozono as the weighted generating function of starred strong tableaux. This definition has been shown to correspond to the Schubert basis for the affine Grassmannian and at t=1 it is equivalent to the k-tableaux characterization of Lapointe and Morse. Using this new definition for k-Schur functions, we prove the symmetry and Schur positivity of k-Schur functions combinatorially using the theory of dual equivalence graphs. Central to our proof is our discovery of an analog of dual equivalence for the affine symmetric group.
This is joint work with Sara Billey.