7
$\begingroup$

Let $G$ be a connected, simply-connected complex semisimple linear algebraic group, and denote by $\mathcal{G}$ its affine Grassmannian. Fix a maximal torus $T\subseteq G$. We know that $\mathcal{G}$ has a natural stratification $\{\mathcal{G}^{\lambda}\}_{\lambda\in\Lambda^+}$, where $\Lambda^+$ is the collection of dominant coweights of $T$. I am looking for a detailed formulation of the result that $\mathcal{G}^{\lambda}$ is an affine bundle over a partial flag variety. I would appreciate any and all references.

$\endgroup$

2 Answers 2

3
$\begingroup$

The general statement to know is, if $\mathbb G_m$ acts on a smooth complete scheme $X$, then each Białynicki-Birula stratum is an affine bundle over its fixed-point set. This is in the original paper [B-B].

It's tempting to try to apply it to the ind-scheme $\mathcal G$, but that's infinite-dimensional, and more importantly, not ind-smooth.

To actually apply it, start with $\mathcal G^\lambda$, take its closure, and resolve the singularities thereby introduced equivariantly w.r.t. the loop rotation action. Use that equivariance argue that $\mathcal G^\lambda$ is a B-B stratum of either its closure or the resolution.

$\endgroup$
1
  • 5
    $\begingroup$ This seems like it's making things too complicated. If you look at the Iwahori orbit through $t^\lambda$, this is an affine space, and the orbit of $G(\mathcal{O})$ is just the induction from the Iwahori up to the whole group, and thus clearly an affine space bundle over $G(\mathcal{O})/I\cong G/B$. $\endgroup$
    – Ben Webster
    Commented Nov 20, 2013 at 3:14
5
$\begingroup$

One can also argue as follows:

$G(\mathcal{O})$ operates transitivly on each stratum $\mathcal{G}^\lambda$. The isotropy group at $t^\lambda$ is $P^a_\lambda:= (t^\lambda)^{-1}G(\mathcal{O})t^\lambda\cap G(\mathcal{O})$. Let $P_\lambda$ denote the parabolic subgroup of $G$ with Levi factor $\lambda$. Then the evaluation at zero homomorphism $ev_0:G(\mathcal{O})\to G$ restricts to an epimorphism $P^a_\lambda \to P_\lambda$ with pro-unipotent kernel $U$. More over $ev_0$ induces a map $G(\mathcal{O})/P_\lambda^a\to G/P_\lambda $ with fiber $(\ker ev_0)/U$ which is easily seen to be affine.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .