Un isomorphisme d'algèbres en théorie des représentations des groupes p-adiques réductifs qui identifie l'algèbre de Hecke sphérique des fonctions à support compact bi-K-invariantes (ou son algèbre de convolution) avec l'anneau des coordonnées (ou l'anneau des représentations) du tore complexe attaché au groupe dual de Langlands, restreint aux invariants du groupe de Weyl, reliant ainsi l'analyse harmonique côté p-adique aux fonctions algébriques côté dual.

Principe

Principe de la transformée sphérique : les opérateurs de convolution non-ramifiés (K-sphériques) correspondent sous la transformation de Satake à la multiplication par fonctions symétriques des classes de conjugaison semi-simples dans le tore dual ; la convolution devient multiplication point par point après passage à l'algèbre du côté dual.

Démonstration

Pour G = GL_n sur un corps local non archimédien avec K hyperspécial, l'algèbre de Hecke sphérique est isomorphe à une algèbre de polynômes en n variables symétriques sous le groupe de Weyl, et les valeurs propres des opérateurs de Hecke sur des séries principales non ramifiées sont encodées par des classes de conjugaison semi-simples (paramètres de Satake) dans le GL_n(C) dual.

Mauvaise application

Employer l'isomorphisme de Satake lorsque les représentations sont ramifiées (absence de vecteurs K-fixes) ou pour des sous-groupes compacts non hyperspéciaux, ou confondre l'isomorphisme algébrique classique de Satake avec des renforcements catégoriques ou géométriques qui exigent des hypothèses supplémentaires.

Conséquence

Fournit le dictionnaire local non ramifié de Langlands : les représentations non ramifiées correspondent à des classes de conjugaison semi-simples (paramètres de Langlands) du groupe dual, et les valeurs propres de Hecke se lisent via l'isomorphisme, constituant un pilier de la compatibilité local-global dans le programme de Langlands.

Inversion

Une inversion naïve tenterait de récupérer les structures de convolution côté p-adique à partir de l'anneau des coordonnées du tore dual sans respecter la mesure, la topologie ou la normalisation de la mesure de Haar ; une telle inversion omet le contenu analytique encodé dans l'algèbre de convolution d'origine.

Limite

Valide pour des groupes réductifs sur des corps locaux non archimédiens, pour les algèbres de Hecke sphériques associées à des sous-groupes compacts maximaux hyperspéciaux et dans le cadre non ramifié ; elle ne s'applique pas directement aux algèbres de Hecke ramifiées, aux groupes non réductifs ou aux places archimédiennes sans modifications.

Tension sémantique

Une tension existe entre l'isomorphisme de Satake classique (algébrique) et la correspondance de Satake géométrique, qui relève l'isomorphisme en une équivalence de catégories tensoriels ; les traitements pratiques doivent distinguer les versions algébriques, géométriques et catégoriques et leurs hypothèses.

Synthèse

L'isomorphisme de Satake traduit l'algèbre de convolution des fonctions K-biinvariantes à support compact sur un groupe p-adique réductif en une algèbre de fonctions symétriques sur le tore dual, codant les données de représentations non ramifiées comme fonctions algébriques sur les paramètres duals de Langlands.