Ein Algebraisomorphismus in der Darstellungstheorie reduktiver p-adischer Gruppen, der die sphärische Hecke-Algebra der bi-K-invarianten kompaktgetragenen Funktionen (oder deren Konvolutionsalgebra) mit dem Koordinatenring (oder Darstellungssring) des zugehörigen komplexen Tors des Langlands-dualen Gruppen-Parameters identifiziert, wobei man auf W-Invarianzen beschränkt wird und so harmonische Analyse auf der p-adischen Seite mit algebraischen Funktionen auf der dualen Seite verbindet.

Prinzip

Prinzip der sphärischen Transformation: Unverramifizierte (K-sphärische) Konvolutionsoperatoren entsprechen unter der Satake-Transformation der Multiplikation durch symmetrische Funktionen semisimpler Konjugationsklassen im dualen Torus; die Konvolution wird nach Passage zur dualen Algebra zu punktweiser Multiplikation.

Demonstration

Für G = GL_n über einem nichtarchimedischen lokalen Feld mit hyperspezialem K ist die sphärische Hecke-Algebra isomorph zur Polynomalgebra in n Variablen, symmetrisch unter der Weyl-Gruppe, und die Eigenwerte der Hecke-Operatoren auf unverramifizierten Hauptserien werden durch semisimple Konjugationsklassen (Satake-Parameter) im dualen GL_n(C) kodiert.

Fehlanwendung

Die Satake-Isomorphie auf ramifizierte Repräsentationen (ohne K-feste Vektoren) oder auf nicht-hyperspeziale kompakte Untergruppen anzuwenden, oder die klassische algebraische Satake-Isomorphie mit kategorialen oder geometrischen Erweiterungen zu verwechseln, die zusätzliche Voraussetzungen verlangen.

Konsequenz

Stellt das lokale unverramifizierte Langlands-Wörterbuch bereit: Unverramifizierte Darstellungen korrespondieren zu semisimplen Konjugationsklassen (Langlands-Parametern) der dualen Gruppe, und Hecke-Eigenwerte liest man mittels der Isomorphie ab; dies ist grundlegend für lokale-globale Verträglichkeit im Langlands-Programm.

Umkehrung

Eine naive Umkehrung würde versuchen, die Konvolutionsstruktur auf der p-adischen Seite aus dem Koordinatenring des dualen Torus zu rekonstruieren, ohne Maß, Topologie oder die Normierung des Haar-Maßes zu berücksichtigen; eine solche Umkehr lässt den analytischen Gehalt der ursprünglichen Konvolutionsalgebra außer Acht.

Abgrenzung

Gilt für reduzible Gruppen über nichtarchimedischen lokalen Feldern, für sphärische Hecke-Algebren bezüglich hyperspezialer maximaler kompakter Untergruppen und im unverramifizierten Rahmen; sie gilt nicht unmittelbar für ramifizierte Hecke-Algebren, nicht-reduktive Gruppen oder archimedische Stellen ohne Anpassung.

Semantische Spannung

Es besteht Spannung zwischen der klassischen (algebraischen) Satake-Isomorphie und der geometrischen Satake-Korrespondenz, die die Isomorphie zu einer Äquivalenz tensorieler Kategorien aufwertet; praktische Behandlungen müssen zwischen algebraischen, geometrischen und kategorialen Versionen und deren Voraussetzungen unterscheiden.

Synthese

Die Satake-Isomorphie übersetzt die Konvolutionsalgebra der K-biinvarianten kompaktgetragenen Funktionen auf einer reduktiven p-adischen Gruppe in eine Algebra symmetrischer Funktionen auf dem dualen Torus und kodiert unverramifizierte darstellungstheoretische Daten als algebraische Funktionen auf Langlands-dualen Parametern.