Back stable Schubert calculus

We study the back stable Schubert calculus of the infinite flag variety. Our main results are: – a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; – a novel definition of double and triple Stanley symmetric functions; – a proof of the positivity of double Edelman–Greene coefficients generalizing the results of Edelman–Greene and Lascoux–Schützenberger; – the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman–Greene insertion algorithm; – the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case; – equivariant Pieri rules for the homology of the infinite Grassmannian; – homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian.

Double Grothendieck Polynomials and Colored Lattice Models

We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model. We use our semidual model and the five-vertex model of Motegi and Sakai to give a new proof that double Grothendieck polynomials for vexillary permutations are equal to flagged factorial Grothendieck polynomials. Taking the stable limit of double Grothendieck polynomials, we obtain a new proof that the stable limit is a factorial Grothendieck polynomial as defined by McNamara. The states of our semidual model naturally correspond to families of nonintersecting lattice paths, where we can then use the Lindström–Gessel–Viennot lemma to give a determinant formula for double Schubert polynomials corresponding to vexillary permutations.

Zero-one Schubert polynomials

We prove that if $$\sigma \in S_m$$ σ ∈ S m is a pattern of $$w \in S_n$$ w ∈ S n , then we can express the Schubert polynomial $$\mathfrak {S}_w$$ S w as a monomial times $$\mathfrak {S}_\sigma $$ S σ (in reindexed variables) plus a polynomial with nonnegative coefficients. This implies that the set of permutations whose Schubert polynomials have all their coefficients equal to either 0 or 1 is closed under pattern containment. Using Magyar’s orthodontia, we characterize this class by a list of twelve avoided patterns. We also give other equivalent conditions on $$\mathfrak {S}_w$$ S w being zero-one. In this case, the Schubert polynomial $$\mathfrak {S}_w$$ S w is equal to the integer point transform of a generalized permutahedron.

The Prism tableau model for Schubert polynomials

International audience The Schubert polynomials lift the Schur basis of symmetric polynomials into a basis for Z[x1; x2; : : :]. We suggest the prism tableau model for these polynomials. A novel aspect of this alternative to earlier results is that it directly invokes semistandard tableaux; it does so as part of a colored tableau amalgam. In the Grassmannian case, a prism tableau with colors ignored is a semistandard Young tableau. Our arguments are developed from the Gr¨obner geometry of matrix Schubert varieties.

Kraskiewicz-Pragacz modules and Pieri and dual Pieri rules for Schubert polynomials

International audience In their 1987 paper Kraskiewicz and Pragacz defined certain modules, which we call KP modules, over the upper triangular Lie algebra whose characters are Schubert polynomials. In a previous work the author showed that the tensor product of Kraskiewicz-Pragacz modules always has KP filtration, i.e. a filtration whose each successive quotients are isomorphic to KP modules. In this paper we explicitly construct such filtrations for certain special cases of these tensor product modules, namely Sw Sd(Ki) and Sw Vd(Ki), corresponding to Pieri and dual Pieri rules for Schubert polynomials.