关于格罗滕迪克多项式的一个猜想默比乌斯反演公式的证明

舒伯特多项式 $\mathfrak{S}_w$ 是完备旗簇中舒伯特簇上同调类的多项式代表，而格罗滕迪克多项式 $\mathfrak{G}_w$ 是舒伯特簇结构层 $K$-理论类的类似代表。在 $\mathfrak{S}_w$ 为无重数单项式和的特例下，K. Mészáros、L. Setiabrata 与 A. St. Dizier 猜想 $\mathfrak{G}_w$ 可通过某一偏序集上的默比乌斯反演由 $\mathfrak{S}_w$ 轻松算出。我们证明了这一猜想。