The M\"obius function on Affine Grassmannian elements

TL;DR

This paper explores the M"obius function on affine Grassmannian elements by associating paths in the quantum Bruhat graph, leading to explicit K-theory expansions of sheaf bases in affine Grassmannians.

Contribution

It introduces a novel combinatorial approach linking affine Weyl group chains to paths in the quantum Bruhat graph, enabling explicit K-theoretic calculations.

Findings

Characterization of pairs with nonzero M"obius function

Explicit K-theory expansions of ideal sheaves

New combinatorial tools for affine Grassmannian analysis

Abstract

To any saturated chain in the affine Weyl group whose translation parts are sufficiently regular, we associate a near path and a far path in the quantum Bruhat graph. Using this, working in the Bruhat order on the minimal-length representatives of the cosets in the affine Weyl group with respect to the finite Weyl group, we characterize the pairs of elements for which the M\"obius function is nonzero. This is applied to obtain explicit expansions in the $K$-theory of affine Grassmannians, of the basis of ideal sheaves into the basis of structure sheaves of Schubert varieties.