Schubert polynomials and the nilcoxeter algebra

Abstract

Schubert polynomials were introduced and extensively developed by Lascoux and Schützenberger, after an earlier less combinatorial version had been considered by Bernstein, Gelfand and Gelfand and Demazure. We give a new development of the theory of Schubert polynomials based on formal computations in the algebra of operators u1, u2, … satisfying the relations u2i=0, uiuj=ujui if |i-j| ≥ 2, and uiui+1ui = ui + 1uiui + 1. We call this algebra the nilCoxeter algebra of the symmetric group Sn. Our development leads to simple proofs of many standard results, in particular, (a) symmetry of the "stable Schubert polynomials" Fw, (b) an explicit combinatorial formula for Schubert polynomials due to Billey, Jockusch and Stanley, (c) the " Cauchy formula" for Schubert polynomials, and (d) a formula of Macdonald for Sw,(1, 1, …). Our main new result is a proof of a conjectured q-analogue of (d), due to Macdonald which gives a formula for Sw(1, q, q2,…). © 1994 Academic Press. All rights reserved. © 1994 Academic Press, Inc. All rights reserved.