Un isomorfismo de álgebras en la teoría de representaciones de grupos p-ádicos reductivos que identifica la álgebra de Hecke esférica de funciones bi-K-invariantes de soporte compacto (o su álgebra de convolución) con el anillo de coordenadas (o anillo de representaciones) del toro complejo asociado al grupo dual de Langlands, restringido a invariantes de W, conectando así el análisis armónico en el lado p-ádico con funciones algebraicas en el lado dual.

Principio

Principio de la transformada esférica: los operadores de convolución no ramificados (K-esféricos) corresponden bajo la transformada de Satake a la multiplicación por funciones simétricas de clases de conjugación semisimples en el toro dual; la convolución se convierte en multiplicación puntual al pasar al álgebra del lado dual.

Demostración

Para G = GL_n sobre un campo local no archimediano con K hiperespecial, la álgebra de Hecke esférica es isomorfa a un anillo de polinomios en n variables simétricas bajo el grupo de Weyl, y los autovalores de los operadores de Hecke en series principales no ramificadas se codifican por clases de conjugación semisimples (parámetros de Satake) en el GL_n(C) dual.

Aplicación incorrecta

Aplicar el isomorfismo de Satake cuando las representaciones están ramificadas (sin vectores K-fijos) o a subgrupos compactos no hiperespeciales, o confundir el isomorfismo algebraico clásico de Satake con sus mejoras categóricas o geométricas que requieren hipótesis adicionales.

Consecuencia

Proporciona el diccionario local no ramificado de Langlands: las representaciones no ramificadas corresponden a clases de conjugación semisimples (parámetros de Langlands) del grupo dual, y los autovalores de Hecke se leen a través del isomorfismo, siendo un pilar para la compatibilidad local-global en el programa de Langlands.

Inversión

Una inversión ingenua intentaría recuperar las estructuras de convolución del lado p-ádico a partir del anillo de coordenadas del toro dual sin respetar la medida, la topología o la normalización de la medida de Haar; tal inversión omite el contenido analítico codificado en la álgebra de convolución original.

Límite

Válido para grupos reductivos sobre campos locales no archimedianos, para las álgebras de Hecke esféricas asociadas a subgrupos compactos máximos hiperespeciales y en el contexto no ramificado; no se aplica directamente a álgebras de Hecke ramificadas, grupos no reductivos o lugares archimedianos sin modificaciones.

Tensión semántica

Existe tensión entre el isomorfismo de Satake clásico (algebraico) y la correspondencia de Satake geométrica, que eleva el isomorfismo a una equivalencia de categorías tensoriales; los tratamientos prácticos deben distinguir entre versiones algebraicas, geométricas y categóricas y sus hipótesis.

Síntesis

El isomorfismo de Satake traduce la álgebra de convolución de funciones K-biinvariantes de soporte compacto en un grupo p-ádico reductivo a un álgebra de funciones simétricas en el toro dual, codificando datos de representaciones no ramificadas como funciones algebraicas sobre parámetros duales de Langlands.