Classification of nondegenerate $G$-categories (with an appendix written jointly with Germán Stefanich)

Cet article classe une partie « ouverte dense » des catégories munies d'une action d'un groupe réductif, appelées catégories non dégénérées, en termes de leur donnée radicielle, et applique ces résultats pour renforcer une équivalence de Ginzburg et Lonergan en une équivalence monoïdale ainsi que pour étayer une conjecture de Ben-Zvi et Gunningham concernant la restriction parabolique.

L'essentiel

Imaginez que vous êtes un architecte chargé de classer des millions de bâtiments différents. Certains sont des gratte-ciels complexes, d'autres de simples cabanes. Dans le monde des mathématiques avancées, ces « bâtiments » sont des catégories (des collections d'objets et de règles) qui subissent l'action d'un groupe de symétries (comme faire tourner un objet ou le déplacer).

Ce papier, écrit par Tom Gannon (avec une aide de Germán Stefanich), propose une méthode géniale pour trier une grande partie de ces bâtiments complexes. Voici l'explication simple, sans jargon mathématique lourd.

1. Le Problème : Une Ville de Bâtiments Incompréhensibles

Imaginez une ville infinie où chaque bâtiment est une catégorie mathématique. Ces bâtiments sont habités par des « groupes de symétrie » (des forces invisibles qui les font tourner, se refléter, etc.).

• Le défi : Comprendre la structure de chaque bâtiment individuellement est impossible. Il y en a trop, et ils sont trop compliqués.
• L'objectif : Trouver une règle simple qui permet de dire : « Ah, ce bâtiment-là, c'est en fait juste une version d'un modèle standard que nous connaissons déjà. »

2. La Solution : Le « Tri des Bâtiments Non-Défectueux »

Les auteurs se concentrent sur un sous-ensemble spécial de ces bâtiments qu'ils appellent « catégories non-dégénérées ».

• L'analogie : Imaginez que certains bâtiments sont « pourris » par l'intérieur (ils s'effondrent sous certaines symétries). Les auteurs disent : « Oublions les bâtiments pourris. Concentrons-nous sur ceux qui sont solides et bien construits. »
• La découverte : Ils découvrent que tous ces bâtiments solides peuvent être décrits d'une seule et même manière, en utilisant une sorte de « plan d'architecte » universel basé sur les racines et les symétries du groupe (ce qu'ils appellent le « système de racines »).

En gros, ils disent : « Peu importe à quoi ressemble votre bâtiment complexe, si il est solide, il est en fait fait des mêmes briques que notre modèle universel, juste assemblé différemment. »

3. L'Outil Magique : Le « Miroir de Mellin »

Pour prouver cela, ils utilisent un outil puissant appelé la Transformée de Mellin.

• L'analogie : Imaginez que vous avez un objet complexe (un bâtiment) et que vous le passez dans un miroir magique. Ce miroir ne vous montre pas l'objet tel quel, mais il le transforme en une image simple et claire (un dessin sur un papier).
• Dans ce papier, ce miroir transforme des objets mathématiques très abstraits (des modules D sur un groupe) en des objets géométriques plus simples (des faisceaux sur un espace appelé $t^*$).
• Le résultat clé : Ils montrent que ce miroir ne fait pas que simplifier l'image, il préserve aussi la structure « monoidale » (la façon dont les objets peuvent être combinés ou « collés » ensemble). C'est comme si le miroir vous disait : « Non seulement je te montre le plan, mais je te montre aussi comment assembler les pièces. »

4. Les Deux Grandes Réussites du Papier

A. Répondre à une question de Drinfeld (Le problème du « Whittaker-Hecke »)
Il y avait une énigme vieille de plusieurs années : « Est-ce que la catégorie des objets de type « Whittaker » (un type spécial de bâtiment mathématique) a une structure symétrique ? »

• L'analogie : C'était comme demander : « Si je prends deux pièces de Lego de ce type spécial, puis-je les assembler de deux manières différentes (gauche-droite ou droite-gauche) et obtenir le même résultat ? »
• La réponse : Oui ! Grâce à leur classification, ils prouvent que oui, on peut les assembler dans les deux sens. C'est une découverte majeure qui confirme une intuition de l'illustre mathématicien Drinfeld.

B. La Conjecture de Ben-Zvi et Gunningham (Le « Parabolic Restriction »)
Imaginez que vous avez un objet très central (très important) dans votre ville de bâtiments. Vous voulez le « restreindre » (le regarder de plus près, comme zoomer sur une fenêtre).

• Le problème : Quand on zoome, l'objet perd souvent sa symétrie.
• La découverte : Les auteurs montrent que pour ces objets « très centraux », même après avoir zoomé, l'objet garde une symétrie cachée (une structure d'équivariance par le groupe de Weyl). C'est comme si, en regardant de plus près une sculpture, vous découvriez qu'elle était en fait un reflet parfait d'elle-même, ce qui n'était pas évident au premier coup d'œil.

5. Pourquoi c'est important ?

Ce papier est comme un dictionnaire universel.
Avant, pour comprendre un bâtiment mathématique complexe, il fallait étudier ses fondations pierre par pierre. Maintenant, grâce à ce travail, les mathématiciens peuvent dire : « Attends, ce bâtiment est juste une variante du modèle standard. Je n'ai pas besoin de tout reconstruire, je peux utiliser le plan universel. »

Cela ouvre la porte à de nouvelles découvertes en physique théorique (théorie des cordes, théorie quantique des champs) où ces structures mathématiques sont utilisées pour décrire l'univers.

En résumé :
Tom Gannon a trouvé une clé universelle pour déverrouiller la structure de la plupart des catégories mathématiques complexes. Il a prouvé qu'elles sont toutes liées à un modèle simple et élégant, résolvant ainsi des énigmes anciennes et offrant une nouvelle façon de voir le monde des symétries mathématiques.

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des représentations géométrique, plus précisément dans l'étude des catégories équipées d'une action d'un groupe réductif $G$ (split). Le problème central est de classifier ces catégories et de comprendre leurs symétries naturelles.

• Contexte : Traditionnellement, la théorie des représentations étudie les modules sur des algèbres ou les faisceaux sur des variétés. Ici, l'objet d'étude est une catégorie (spécifiquement une catégorie DG ou $\infty$-catégorie stable) sur laquelle un groupe $G$ agit.
• Défi technique : Contrairement à l'action d'un groupe sur un espace vectoriel (où l'on peut décomposer l'espace en sous-espaces propres), l'action d'un groupe sur une catégorie est plus subtile. Les invariants (sous-catégories fixes) et les coinvariants interagissent de manière complexe via des foncteurs adjoints.
• Objectif : L'auteur vise à classifier une sous-classe "ouverte et dense" de ces catégories, appelées catégories $G$ non dégénérées, en termes purement combinatoires et géométriques liés au système de racines du groupe $G$.

2. Définitions Clés et Préliminaires

• Catégorie $G$ non dégénérée : Une catégorie $G$-équivariante $\mathcal{C}$ est dite non dégénérée si, pour tout parabolique de rang un $P_\alpha$, les invariants sous l'action du sous-groupe unipotent radical $[P_\alpha, P_\alpha]$ sont nuls ($\mathcal{C}^{[P_\alpha, P_\alpha]} = 0$). Cette condition élimine les comportements "singuliers" et se comporte comme une localisation.
• Invariants de Whittaker : Une sous-catégorie cruciale est celle des invariants de Whittaker $\mathcal{C}^{N^-, \psi}$, où $N^-$ est le sous-groupe unipotent opposé et $\psi$ un caractère non dégénéré. Ces invariants sont souvent plus faciles à manipuler que les invariants standards.
• Quotient grossier (Coarse Quotient) : L'article utilise l'espace pré-stack $t^* // \tilde{W}_{aff}$, où $t^*$ est le dual de l'algèbre de Cartan et $\tilde{W}_{aff}$ le groupe de Weyl affine étendu. Cet espace joue le rôle d'un "spectre" pour la décomposition spectrale des catégories.

3. Méthodologie

L'approche de Gannon repose sur plusieurs piliers méthodologiques avancés :

1. Théorie des catégories supérieures et Ind-Cohérents : L'analyse se déroule dans le cadre des catégories DG (différentielles graduées) et utilise la théorie des faisceaux ind-cohérents ($\text{IndCoh}$) sur des ind-schémas, développée par Gaitsgory et ses collaborateurs.
2. Comonadicité (Théorème de Barr-Beck-Lurie) : Une grande partie de la preuve repose sur l'établissement de la comonadicité de certains foncteurs d'oubli ou d'induction. Cela permet de reconstruire une catégorie à partir de ses invariants et d'une structure de comodule.
3. Foncteurs d'Évaluation et Formalisme de Convolution : L'auteur utilise le formalisme de convolution pour identifier les catégories de modules avec des catégories de faisceaux sur des espaces de graphes (comme $\Gamma_{\tilde{W}_{aff}}$).
4. Transformée de Mellin : L'article généralise la transformée de Mellin classique (qui relie les D-modules sur un tore à des faisceaux sur l'espace dual) au contexte catégorique supérieur, en prouvant qu'elle est une équivalence symétrique monoidale.
5. Réduction au cas universel : La stratégie consiste souvent à prouver des résultats pour une catégorie "universelle" (comme $D(G)$ ou $D(N\backslash G/N)$) puis à étendre ces résultats à toute catégorie non dégénérée via des propriétés de générateurs compacts.

4. Résultats Principaux

A. Classification des Catégories Non Dégénérées (Théorème 1.2 et 1.14)

Le résultat central est une équivalence de 2-catégories :
$$G\text{-mod}_{\text{nondeg}} \simeq \text{IndCoh}(\Gamma_{\tilde{W}_{aff}})\text{-mod}$$
où $\Gamma_{\tilde{W}_{aff}}$ est un ind-schéma défini uniquement par l'action du groupe de Weyl affine étendu sur $t^*$.

• Concrètement, cela signifie que toute catégorie $G$ non dégénérée peut être vue comme un module sur la catégorie monoidale des faisceaux ind-cohérents sur l'espace quotient grossier $t^* // \tilde{W}_{aff}$.
• Cela fournit une description "cohérente" et spectrale de ces catégories, généralisant la décomposition de Jordan normal pour les matrices.

B. Équivalence Monoidale des D-modules de Whittaker (Théorème 1.4)

L'article améliore des résultats antérieurs de Ginzburg et Lonergan. Il établit une équivalence monoidale (et non seulement additive) entre :

1. La catégorie des D-modules bi-Whittaker sur $G$ (notée $H_\psi$).
2. La catégorie des faisceaux $\tilde{W}_{aff}$-équivariants sur $t^*$ qui descendent au quotient grossier.

• Signification : Cela répond à une question de Drinfeld en montrant que la catégorie de Hecke-Whittaker possède une structure symétrique monoidale. La preuve utilise la pleine fidélité d'un foncteur d'averaging (moyenne) relevé.

C. Équivariance des Faisceaux "Très Centraux" (Théorème 1.22)

L'auteur prouve une conjecture modifiée de Ben-Zvi et Gunningham concernant la restriction parabole des faisceaux "très centraux" (une classe spéciale de D-modules centraux).

• Résultat : La restriction parabole d'un faisceau très central admet une structure d'équivariance sous le groupe de Weyl $W$ telle qu'elle descend au quotient grossier $t^* // \tilde{W}_{aff}$.
• Cela est démontré en construisant un "foncteur horocycle non dégénéré" qui équivariantise la restriction.

D. Appendice : Transformée de Mellin Symétrique Monoidale

Avec Germán Stefanich, l'auteur prouve que la transformée de Mellin, habituellement vue comme une équivalence de catégories abéliennes, peut être relevée en une équivalence symétrique monoidale de catégories DG. Cela est crucial pour la structure algébrique des résultats principaux.

5. Contributions Techniques et Innovations

• Nouvelle preuve de la symétrie monoidale : Contrairement aux preuves antérieures (comme celle de Ben-Zvi-Gunningham) qui passaient par la théorie de Satake géométrique et des versions "sheared" (déformées), cette preuve est plus directe et repose sur la pleine fidélité des foncteurs d'averaging et la théorie des catégories.
• Localisation des 2-catégories : L'article formalise la notion de localisation des catégories $G$ vers les catégories non dégénérées, offrant un cadre pour étudier les représentations génériques.
• Identification des générateurs compacts : L'article identifie explicitement les générateurs compacts de la catégorie $\text{IndCoh}(t^* \times_{t^* // \tilde{W}_{aff}} t^*)$ en termes de l'orbite du groupe de Weyl affine, permettant de reconstruire toute la catégorie par complétion ind.

6. Signification et Impact

Ce travail a une importance majeure pour la correspondance de Langlands géométrique et la théorie des représentations :

1. Unification : Il unifie la compréhension des catégories de D-modules, des catégories de modules, et des faisceaux équivariants sous un même drapeau spectral.
2. Réponse aux questions ouvertes : Il résout la question de Drinfeld sur la symétrie monoidale de la catégorie de Hecke-Whittaker et valide des conjectures sur les faisceaux centraux.
3. Outils pour le futur : La classification fournie (via les modules sur $\text{IndCoh}(\Gamma_{\tilde{W}_{aff}})$) offre un cadre robuste pour étudier les représentations locales du groupe de lacets (loop group) et les correspondances de Langlands locales, en particulier en ce qui concerne le comportement du support singulier.

En résumé, Gannon démontre que la "partie générique" de la théorie des représentations géométrique d'un groupe réductif est entièrement contrôlée par la géométrie du quotient de l'espace dual de Cartan par le groupe de Weyl affine, offrant une vision spectrale profonde et puissante de ces structures.