Using Schubert toolkit to compute with polynomials in several variables

Abstract

We give the Monk formula for double Schubert polynomials and we show how to use Schubert polynomials to compute in the ring of polynomials in n variables regarded as a free module of rank n! over the ring of symmetric polynomials. 1 Introduction Computations in the ring Z[x 1 ; : : : ; x n ] of polynomials in several variables are not so easy because dimensions grow very quickly with the number of variables and with the degree. The problem is to find linear bases adapted to some specific problems without losing track of the multiplicative structure. For n = 1, such bases are provided by interpolation theory. In higher dimensions, a polynomial can have some symmetry, which cannot be efficiently exploited if the polynomial is just written as a sum of monomials. For example, if a polynomial is totally symmetrical, we can have recourse to many combinatorial objects which render computations independent of the number of variables. To be able to use symmetry methods in the case of general p...