# Restriction to Levi Subgroups and the Affine Grassmannian

Let $G$ be a complex reductive group, $L\subset G$ a Levi subgroup and $Rep(G)$ the category of rational representations of $G$.

My Question: What is the geometric analogue of the restriction functor $Res^G_L:Rep(G)\to Rep(L)$?

To be a little bit more precise:

Let $\check{G}$ be the dual group of $G$. As usual define $\mathcal{K}:=\mathbb{C}$ and $\mathcal{O}:=\mathbb{C}[[t]]$. Let further $Gr_{\check{G}}:=\check{G}(\mathcal{K})/\check{G}(\mathcal{O})$ denote the affine Grassmannian and $P_{\check{G}(\mathcal{O})}(Gr_{\check{G}})$ the category of $\check{G}(\mathcal{O})$-equivariant perverse sheaves on $Gr$. The geometric Satake Isomorphism gives an equivalence of tensor categories categories $$P_{\check{G}(\mathcal{O})}(Gr_{\check{G}}) \cong Rep(G)$$

Is there a nice (from the geometric viewpoint) functor $\check{Res}:P_{\check{G}(\mathcal{O})}(Gr_{\check{G}})\to P_{\check{L}(\mathcal{O})}(Gr_{\check{L}})$ which corresponds under the geometric Satake isomorphism to the restriction functor $Res^G_L$?

-
On the level of functions it is the "constant term map" , see e.g. math.ucdavis.edu/~kapovich/EPR/HKM.pdf Somebody probably worked this out on the level of sheaves too. –  Misha Sep 20 '13 at 12:23
I can't find a reference, but I would guess that some pull-push formula like math.harvard.edu/~gaitsgde/GL/CT.pdf should work. –  Clemens Koppensteiner Sep 20 '13 at 15:02
To give one perspective on your first question (although not on the more precise formulation), the flag variety of $L$ is a natural subvariety of the flag variety of $G$, and the restriction functor identifies with restriction of sections of bundles. This gives a geometric interpretation, although it probably doesn't say much about the case of the affine Grassmannian. –  Chuck Hague Sep 20 '13 at 15:29
Let me make one comment about it. Although, the construction is indeed as described above, there is one subtle thing about it. Namely, on the representation theory side, the restriction functor depends only on $L$ but not a choice of a parabolic $P$. However, geometrically the functor depends on the parabolic very heavily (note that you can have non-conjugate parabolics with the same Levi). I don't know any geometric way (without using Satake equivalence) to prove independence of $P$ - this is actually a very good problem (but probably it has no reasonable solution). –  Alexander Braverman Nov 18 '13 at 11:01
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9825041890144348, "perplexity": 294.2928344013545}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-10/segments/1394010076008/warc/CC-MAIN-20140305090116-00079-ip-10-183-142-35.ec2.internal.warc.gz"}