Eine kategoriale Äquivalenz, die die Satake-Isomorphie aufwertet: Sie identifiziert die tensorielle Kategorie der G(O)-äquivarianten perversen Garben (oder die entsprechend definierte Satake-Kategorie) auf dem affinen Grassmannian einer reduktiven Gruppe G mit der tensorlichen Kategorie algebraischer Darstellungen der Langlands-dualen Gruppe G^∨ und realisiert so die duale Gruppe und ihre Darstellungen geometrisch.

Prinzip

Tannakisches Konvolutionsprinzip: Die Konvolution äquivariant-perverser Garben entspricht dem Tensorprodukt von Darstellungen, und die Satake-Kategorie ist neutral tannakisch, sodass ihr Faserfunktor (z. B. globale Kohomologie) die duale Gruppe als tannakische Gruppe rekonstruiert und eine geometrische Inkarnation der Darstellungskategorie der dualen Gruppe liefert.

Demonstration

Für eine reduzible Gruppe G über C entspricht die Schnittkohomologiegarbe der Abschlussbahn einer G(O)-Orbit im affinen Grassmannian einer irreduziblen höchstgewichtigen Darstellung von G^∨; die Konvolution solcher IC-Garben modelliert das Tensorprodukt der entsprechenden irreduziblen Darstellungen und liefert ein explizites geometrisches Beispiel.

Fehlanwendung

Nicht-äquivariante Komplexe, abgeleitete Objekte ohne perverse t-Struktur-Normalisierung zu verwenden oder in kleiner Charakteristik ohne Korrekturen für l-adische oder Paritätsprobleme zu arbeiten; die Äquivalenz als bloßes Algebraisomorphismus statt als tensorielle Äquivalenz von Kategorien zu behandeln, lässt wesentliche strukturelle Inhalte verloren gehen.

Konsequenz

Rekonstruiert die Langlands-duale Gruppe und ihre Darstellungskategorie geometrisch, liefert Reinheits- und Gewichtsinformationen für Darstellungen und fungiert als Brücke zwischen geometrischen Objekten (Garben, Zyklen) und darstellungstheoretischen Invarianten (Gewichte, Tensorprodukte, kanonische Basen).

Umkehrung

Die Umkehrperspektive würde versuchen, den affinen Grassmannian und seine Konvolutionsgeometrie allein aus der abstrakten Darstellungskategorie zu erzeugen, ohne die geometrische Herkunft der tensoriellen Strukturen anzuerkennen; obwohl tannakische Rekonstruktion möglich ist, sind geometrische Graduierungen, perverse Strukturen und Filtrationen nicht automatisch gegeben.

Abgrenzung

Gilt unter geeigneter Wahl von Koeffizienten (z. B. komplexe oder l-adische Koeffizienten mit guten Charakteristikannahmen) und für reduzible Gruppen und ihre affinen Grassmannians; Erweiterungen auf modulare Koeffizienten oder abgeleitete Verbesserungen erfordern verfeinerte Aussagen und zusätzliche Voraussetzungen.

Semantische Spannung

Es besteht Spannung zwischen der geometrischen Satake (kategorial, garbentheoretisch) und der klassischen Satake-Isomorphie (algebraisch); erstere hebt Funktionen zu Garben und Algebren zu tensoriellen Kategorien, und in der Praxis muss zwischen diesen Ebenen und ihren technischen Bedingungen unterschieden werden.

Synthese

Die geometrische Satake-Korrespondenz hebt die Satake-Isomorphie zu einer tensoriellen Äquivalenz von Kategorien: Die Konvolution äquivariant-perverser Garben auf dem affinen Grassmannian realisiert die tensorielle Kategorie der Darstellungen der Langlands-dualen Gruppe und konstruiert so geometrisch die duale Gruppe und ihre Darstellungstheorie.