arXiv++ Combinatorics

We give bijective proofs of Monk's rule for Schubert and double Schubert polynomials computed with bumpless pipe dreams. In particular, they specialize to bijective proofs of transition and cotransition formulas of Schubert and double Schubert polynomials, which can be used to establish bijections with ordinary pipe dreams.

Knutson and Miller (2005) established a connection between the anti-diagonal Gröbner degenerations of matrix Schubert varieties and the pre-existing combinatorics of pipe dreams. They used this correspondence to give a geometrically-natural explanation for the appearance of the combinatorially-defined Schubert polynomials as representatives of Schubert classes. Recently, Hamaker, Pechenik, and Weigandt (2022) proposed a similar connection between diagonal degenerations of matrix Schubert varieties and bumpless pipe dreams, newer combinatorial objects introduced by Lam, Lee, and Shimozono (2021). Hamaker, Pechenik, and Weigandt described new generating sets of the defining ideals of matrix Schubert varieties and conjectured a characterization of permutations for which these generating sets form diagonal Gröbner bases. They proved special cases of this conjecture and described diagonal degenerations of matrix Schubert varieties in terms of bumpless pipe dreams in these cases. The purpose of this paper is to prove the conjecture in full generality. The proof uses a connection between liaison and geometric vertex decomposition established in earlier work with Rajchgot (2021).

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 [arXiv:2003.07342] 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 given 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.

The geometric naturality of Schubert polynomials and their combinatorial pipe dream representations was established by Knutson and Miller (2005) via antidiagonal Gröbner degeneration of matrix Schubert varieties. We consider instead diagonal Gröbner degenerations. In this dual setting, Knutson, Miller, and Yong (2009) obtained alternative combinatorics for the class of "vexillary'' matrix Schubert varieties. We initiate a study of general diagonal degenerations, relating them to a neglected formula of Lascoux (2002) in terms of the $6$-vertex ice model (recently rediscovered by Lam, Lee, and Shimozono (2018) in the guise of "bumpless pipe dreams'').

In their work on the infinite flag variety, Lam, Lee, and Shimozono (2018) introduced objects called bumpless pipe dreams and used them to give a formula for double Schubert polynomials. We extend this formula to the setting of K-theory, giving an expression for double Grothendieck polynomials as a sum over a larger class of bumpless pipe dreams. Our proof relies on techniques found in an unpublished manuscript of Lascoux (2002). Lascoux showed how to write double Grothendieck polynomials as a sum over alternating sign matrices. We explain how to view the Lam-Lee-Shimozono formula as a disguised special case of Lascoux's alternating sign matrix formula. Knutson, Miller, and Yong (2009) gave a tableau formula for vexillary Grothendieck polynomials. We recover this formula by showing vexillary marked bumpless pipe dreams and flagged set-valued tableaux are in weight preserving bijection. Finally, we give a bijection between Hecke bumpless pipe dreams and decreasing tableaux. The restriction of this bijection to Edelman-Greene bumpless pipe dreams solves a problem of Lam, Lee, and Shimozono.