## [Geometrische Satake-Korrespondenz](/de/node/64056) Definition 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 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 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 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 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 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 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 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 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.