Une équivalence catégorique qui relève l'isomorphisme de Satake : elle identifie la catégorie tensorielle des faisceaux pervers G(O)-équivariants (ou la catégorie de Satake convenablement définie) sur la grassmannienne affine d'un groupe réductif G avec la catégorie tensorielle des représentations algébriques du groupe dual de Langlands G^∨, réalisant géométriquement le groupe dual et ses représentations.

Principe

Principe tannakien de convolution : la convolution de faisceaux pervers équivariants correspond au produit tensoriel des représentations, et la catégorie de Satake est tannakienne neutre de sorte que son foncteur fibre (par exemple la cohomologie globale) reconstruit le groupe dual comme groupe tannakien, fournissant une incarnation géométrique de la catégorie des représentations du groupe dual.

Démonstration

Pour un groupe réductif G sur C, le faisceau d'intersection cohomologique de l'adhérence d'une orbite G(O) dans la grassmannienne affine correspond à une représentation irréductible de plus haut poids de G^∨ ; la convolution de tels faisceaux IC modélise le produit tensoriel des représentations irréductibles correspondantes, donnant un exemple géométrique explicite.

Mauvaise application

Employer des complexes non équivariants, des objets dérivés sans normalisation de la t-structure perverse, ou travailler en petite caractéristique sans corriger pour des problèmes l-adiques ou de parité ; traiter l'équivalence comme un simple isomorphisme d'algèbres plutôt que comme une équivalence de catégories tensoriels fait perdre du contenu structurel essentiel.

Conséquence

Reconstruit géométriquement le groupe dual de Langlands et sa catégorie de représentations, fournit des informations de pureté et de poids pour les représentations, et sert de pont entre objets géométriques (faisceaux, cycles) et invariants de la théorie des représentations (poids, produits tensoriels, bases canoniques).

Inversion

La perspective inverse consisterait à tenter de produire la grassmannienne affine et sa géométrie de convolution à partir de la catégorie abstraite des représentations sans réaliser l'origine géométrique des structures tensorielles ; bien que la reconstruction tannakienne soit possible, les graduations géométriques, les structures perverses et les filtrations ne se déduisent pas automatiquement de la catégorie abstraite.

Limite

S'applique sous des choix de coefficients appropriés (par exemple coefficients complexes ou l-adiques avec hypothèses de bonne caractéristique) et pour des groupes réductifs et leurs grassmanniennes affines ; les extensions aux coefficients modulaires ou aux renforcements dérivés exigent des formulations affinées et des hypothèses supplémentaires.

Tension sémantique

Il existe une tension entre la Satake géométrique (catégorique, faisceautique) et l'isomorphisme de Satake classique (algébrique) ; la première élève les fonctions en faisceaux et les algèbres en catégories tensoriels, et l'usage pratique doit distinguer ces couches et leurs conditions techniques respectives.

Synthèse

La correspondance géométrique de Satake élève l'isomorphisme de Satake en une équivalence tensorielle de catégories : la convolution de faisceaux pervers équivariants sur la grassmannienne affine réalise la catégorie tensorielle des représentations du groupe dual de Langlands, construisant géométriquement le groupe dual et sa théorie des représentations.