Skip to main content
2 of 2
deleted 3 characters in body

Do the following two filtrations of the affine Grassmannian agree?

Let $H = L^{2}(S^{1},\mathbb{C}^{n})$, $H_{0}\subseteq H$ the subset of maps that extend holomorphically to the unit disc, and $H_{m} = z^{m}H_{0}$. Consider the affine Grassmannian for $GL_{n}$ in the lattice model:

$\mathcal{Gr}_{n} = \left\{ V\subseteq H:\, zV\subseteq V\right\}$

Let me describe two possible filtrations of this object. The first, is by the subspaces whose lattice diagrams have all their sticks and dots concentrated in a band of width $2i$ about zero:

$\mathcal{Gr}_{n}^{i} = \left\{V \in \mathcal{Gr}_{n}:\, H_{i}\subseteq V\subseteq H_{-i}\right\}$

I think this can also be identified as the union of orbits of elements $f \in \mathrm{GL}_{n}(\mathcal{K})$ such that $f(z) = \sum_{\vert k\vert \leq m} A_{k}z^{k}$.

The second filtration I can think of comes from the decomposition of the affine Grassmannian into $\mathcal{Gr}_{\lambda}$'s. For each coroot $\lambda = (\lambda_{1},\dots,\lambda_{n})$ satisfying $\lambda_{1}\geq \lambda_{2}\geq\dots\geq \lambda_{n}$, we get a finite dimensional variety $\mathcal{Gr}_{\lambda}$ from the orbit of $GL_{n}(\mathcal{O})$ through $\text{diag}(z^{\lambda_{1}},\dots,z^{\lambda_{n}})\cdot H_{0}$.

If a coroot $\lambda = (\lambda_{1},\dots,\lambda_{n})$, define its height by $\text{ht}(\lambda) = \sum_{i} \lambda_{i}$. Let $\check{T}/W$ denote the set of Weyl orbits of the coroot lattice, for which I always pick representatives in the positive Weyl chamber, and define:

$X_{i} = \coprod_{\lambda \in \check{T}/W,\, \text{ht}(\lambda) \leq i} \mathcal{Gr}_{\lambda}$

My question: Is $X_{i}$ the same space as $\mathcal{Gr}_{m}^{i}$? I think the main difficulty I'm having with answering this for myself is that I'm not sure how to compute to which $\mathcal{Gr}_{\lambda}$ a given lattice $V$ belongs. Any reference or explanation for this would be much appreciated!

Thanks!