Proof of a conjectured Möbius inversion formula for Grothendieck polynomials

Oliver Pechenik, Matthew Satriano

Schubert polynomials ${\mathfrak{S}}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathf…