On the support of double Grothendieck polynomials

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