6
$\begingroup$

Let $G$ be a connected, simply-connected complex semisimple group. Let $$\mathcal{G}r=G(\mathcal{\mathbb{C}((t))})/G(\mathcal{\mathbb{C}[[t]]})$$ be the affine Grassmannian of $G$. We know that $\mathcal{G}r$ has a natural increasing filtration $$\mathcal{G}r_0\subseteq\mathcal{G}r_1\subseteq\ldots\subseteq\mathcal{G}r_n\subseteq\ldots\subseteq\mathcal{G}r,$$ indexed by pole order considerations. Now, fix a maximal torus $T\subseteq G$. We also know that $\mathcal{G}r$ has a stratification into the subvarieties $$\mathcal{G}r^{\lambda}:=G(\mathbb{C}[[t]])t^{\lambda},$$ where $\lambda$ ranges over the dominant coweights of $T$.

Given a fixed $n$, I am seeking a description of those dominant coweights $\lambda$ for which $\mathcal{G}r^{\lambda}\subseteq\mathcal{G}r_n$. I would appreciate any references that might provide some details concerning this description.

$\endgroup$
0

1 Answer 1

3
$\begingroup$

I do not really answer you question but maybe this helps:

Let $\mathcal{K} =\mathbb{C}((t))$ and $\mathcal{O}:=\mathbb{C}[[t]]$. For $n\geq 0$ denote the $\mathcal{K}_n$ the $\mathcal{O}$ ideal in $\mathcal{K}$ generated by $t^{-n}$. Choose an embedding $G\hookrightarrow GL_m$. Let $$G(\mathcal{K}_n):=\{A\in G(\mathcal{K})\vert \text{ all entries of } A \text{ and } A^{-1} \text{ are in }\mathcal{K}_n\}$$

Then $$Gr_n=G(\mathcal{K}_n)/G(\mathcal{O})$$

Via this you can in principle calculate all $\lambda$ which are in $Gr_n$. (Note that you can write every $\lambda$ in the form $\lambda: \mathbb{C}^\times \to T$, $t\mapsto \begin{pmatrix}t^{\lambda_1} & & \\ & \ddots \\ && t^{\lambda_m} \end{pmatrix}$ for some $\lambda_i\in \mathbb{Z}$ and all unspecified entries are zero.)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.