Bumpless pipe dreams encode Gröbner geometry of Schubert polynomials
arXiv:2108.08370
Abstract
In their study of infinite flag varieties, Lam, Lee, and Shimozono (2021) introduced bumpless pipe dreams in a new combinatorial formula for double Schubert polynomials. These polynomials are the TxT-equivariant cohomology classes of matrix Schubert varieties and of their flat degenerations. We give diagonal term orders with respect to which bumpless pipe dreams index the irreducible components of diagonal Gröbner degenerations of matrix Schubert varieties, counted with scheme-theoretic multiplicity. This indexing was conjectured by Hamaker, Pechenik, and Weigandt (2022). This result establishes that bumpless pipe dreams are dual to and as geometrically natural as classical pipe dreams, for which an analogous anti-diagonal theory was developed by Knutson and Miller (2005).
arXiv commentWe are very grateful to Matt Larson for supplying the argument to fix a crucial lemma (now Lemma 5.2) on which the main theorem rests and for which we'd previously given a faulty proof. In addition to having an incorrect proof, our previous version of the lemma also had an unneeded hypothesis. Dropping that hypothesis has allowed us to give a more streamlined argument in the paper's main theorem
References in corpus (9)
- A Pieri-type formula for isotropic flag manifolds
- Frobenius splitting, point-counting, and degeneration
- A Thom-Porteous formula for connective K-theory using algebraic cobordism
- Gröbner geometry of Schubert polynomials through ice
- Geometric vertex decomposition and liaison
- Schubert Products for Permutations with Separated Descents
- Bumpless Pipedreams, Reduced Word Tableaux and Stanley Symmetric Functions
- Prism tableaux for alternating sign matrix varieties
- Rees algebras of sparse determinantal ideals