arXiv++ Combinatorics

We describe an algorithm which pattern embeds, in the sense of Woo-Yong, any Bruhat interval of a symmetric group into an interval whose extremes lie in the same right Kazhdan-Lusztig cell. This apparently harmless fact has applications in finding examples of reducible associated varieties of $\mathfrak{sl}_n$-highest weight modules, as well as in the study of $W$-graphs for symmetric groups, and in comparing various bases of irreducible representations of the symmetric group or its Hecke algebra. For example, we are able to systematically produce many negative answers to a question from the 1980s of Borho-Brylinski and Joseph, which had been settled by Williamson via computer calculations only in 2014.

Factorial Schur functions are generalizations of Schur functions that have, in addition to the usual variables, a second family of "shift" parameters. We show that a factorial Schur function times a deformation of the Weyl denominator may be expressed as the partition function of a particular statistical-mechanical system (six vertex model). The proof is based on the Yang-Baxter equation. There is a deformation parameter $t$ which may be specialized in different ways. If $t=-1$, then we recover the expression of the factorial Schur function as a ratio of alternating polynomials. If $t=0$, we recover the description as a sum over tableaux. If $t=\infty$ we recover a description of Lascoux that was previously considered by McNamara. We also are able to prove using the Yang-Baxter equation the asymptotic symmetry of the factorial Schur functions in the shift parameters. Finally, we give a proof using our methods of the dual Cauchy identity for factorial Schur functions. Thus using our methods we are able to give thematic proofs of many of the properties of factorial Schur functions.

For a particular set of Boltzmann weights and a particular boundary condition for the six vertex model in statistical mechanics, we compute explicitly the partition function and show it to be equal to a factorial Schur function, giving a new proof of a theorem of Lascoux.

In this paper, we study Grothendieck polynomials from a combinatorial viewpoint. We introduce the factorial Grothendieck polynomials, analogues of the factorial Schur functions and present some of their properties, and use them to produce a generalisation of a Littlewood-Richardson rule for Grothendieck polynomials.