Let G a semisimple simply connected group over an algebraically closed field.


Let $Gr:= G(k((t))/G(k[[t]])$ be the affine grassmanian. It admits a stratification indexed by the dominant cocaracter


$Gr=\coprod\limits\_{\lambda\in X\_{\*}(T)^{+}} G(k[[t]])t^{\lambda}G(k[[t]])$


Let $\overline{Gr}^{\lambda}$ be the closure of a strata. The question is concerning the resolution of sigularity.


I Know that we have to pass to a certain strata $\overline{IwI}\subset G(k((t)))/I$ where I is the Iwahori, and then solve the strata.


But first, how this $w$ is related to $\lambda$ and second if we consider the strata $\overline{Kt^{\lambda}I}$, do we have a proper birational map to $\overline{Gr}^{\lambda}$ and how can we solve $\overline{Kt^{\lambda}I}$?



resolution of strata of the affine grassmanian
More generally, let $\overline{BwP}/P$ be an orbit closure in a partial flag manifold. If $w$ is minimal in the coset $w W\_P$, then $\overline{BwB}/B \to \overline{BwP}/P$ is birational, so it suffices to resolve $\overline{BwB}/B$. We can do that with a Bott-Samelson-Demazure-Hansen manifold, constructed from a reduced word for $w$. One place to read about those is the book [Brion-Kumar] on Frobenius splitting.


In your case, $B=I$ and $P=G(k[[t]])$, $W/W\_P$ is the coweight lattice $\Lambda$, and $W = W\_{finite} \ltimes \Lambda$. So $w$ is the minimal representative of the coset of $\lambda$.


