8 votos

Explicación de la correspondencia de Satake

Hace algún tiempo me dijeron que hay una interesante clásica Satake correspondencia que voy a escribir como

$$[\mathop{\mathrm{disk}} \Rightarrow G] \\,\backslash\\, [\mathop{\mathrm{disk}^\times} \Rightarrow G] \\,/\\, [\mathop{\mathrm{disk}} \Rightarrow G] \\,=\\, X_*/W \\,=\\, G^\vee\mbox{-reps}$$

(donde $G$ es reductiva, $\mathrm{disk}$ podría ser el espectro de cualquiera de las $\mathbb Z_p$ o $k[[t]]$ $\Rightarrow $ denota algebraica de morfismos) y su categorified/geométrica versión (equivariant perversa poleas sobre afín grassmanian de $G$ forma el tensor de la categoría de representaciones de $G^\vee$).

Creo que me falta el contexto más amplio, sin embargo. No me refiero al contexto de la perversa poleas, geométrico Langlands, etc. Por el contrario, me siento como que se me olvida alguna intuición para el clásico de la teoría de la representación. ¿Por qué las declaraciones de este ser interesante?

Yo no era capaz de encontrar nada en la wikipedia o nLab.

Una cosa que sé, es que la correspondencia nos permite construir la Langlands dual grupo de una manera natural. Pero aún así, sería interesante saber si es parte de un panorama más amplio y si hay resultados relacionados.

Pregunta: ¿hay una intuición de Satake correspondencia que iba a hacer su declaración obvio?

10voto

Chad Cooper Puntos 131

Lo que has escrito más arriba no es clásica Satake; es la generalización de Bruhat de descomposición. Clásico de Alcance es mucho más interesante teorema que dice que el Hecke álgebra de $G(\mathcal{K})$ $G(\mathcal{O})$ (el compacto respaldado $G(\mathcal{O})$ bi-funciones invariantes en $G(\mathcal{K})$ con convolución de la multiplicación) es isomorfo a la representación anillo de $G^\vee$.

¿Por qué es esto interesante? Debido a que el Hecke álgebra $L^2[G(\mathcal{O})\backslash G(\mathcal{K})/G(\mathcal{O})]$ es el endomorfismo álgebra de $L^2(G(\mathcal{K})/G(\mathcal{O}))$, así que hay un bijection entre el $W$de las órbitas en $T^\vee$ y representaciones de $G(\mathcal{K})$ que aparecen en la $L^2$ por encima.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X