Bumpless pipe dreams meet Puzzles

Abstract

Knutson and Zinn-Justin recently found a puzzle rule for the expansion of the product ${\mathfrak{G}}_u(x,t)\cdot {\mathfrak{G}}_v(x,t)$ of two double Grothendieck polynomials indexed by permutations with separated descents. We establish its triple Schubert calculus version in the sense of Knutson and Tao, namely, a formula for expanding ${\mathfrak{G}}_u(x,y)\cdot {\mathfrak{G}}_v(x,t)$ in different secondary variables. Our rule is formulated in terms of pipe puzzles, incorporating both the structures of bumpless pipe dreams and classical puzzles. As direct applications, we recover the separated-descent puzzle formula by Knutson and Zinn-Justin (by setting $y=t$) and the bumpless pipe dream model of double Grothendieck polynomials by Weigandt (by setting $v=\mathrm{id}$ and $x=t$). Moreover, we utilize the formula to partially confirm a positivity conjecture of Kirillov about applying a skew operator to a Schubert polynomial.

References in corpus (10)

• Back stable Schubert calculus
• Colored five-vertex models and Lascoux polynomials and atoms
• Left Demazure-Lusztig operators on equivariant (quantum) cohomology and K theory
• Equivariant K-theory of Grassmannians
• Double Grothendieck polynomials and colored lattice models
• Schubert Products for Permutations with Separated Descents
• Equivariant K-theory of Grassmannians II: The Knutson-Vakil conjecture
• Skew Divided Difference Operators and Schubert Polynomials
• Back stable K-theory Schubert calculus
• A Molev-Sagan type formula for double Schubert polynomials