On the support of double Grothendieck polynomials

Abstract

We prove that the support of every double Grothendieck polynomial is an $M^{♮}$-convex set. Our main new tool is a rigidity result for the $K$-classes of multiprojective varieties with rational singularities.