Pro-$p$ Iwahori-Hecke modules in semisimple rank one and singularity categories

Cet article établit une équivalence entre la catégorie d'homotopie des modules de l'algèbre de Hecke pro-$p$ d'Iwahori pour les groupes de rang semi-simple un et la catégorie de singularité d'un schéma explicite, permettant ainsi de retrouver la correspondance de Langlands mod-$p$ dans le cas de $\mathrm{GL}_2$ et de fournir une description complète pour $\mathrm{SL}_2$ et $\mathrm{PGL}_2$.

L'essentiel

🎭 Le Théâtre des Nombres : Une histoire de miroirs et de casseroles

Imaginez que vous êtes un architecte qui étudie des bâtiments très étranges. Ces bâtiments ne sont pas faits de briques, mais de nombres et de symétries. Le papier dont nous parlons est une carte au trésor qui explique comment naviguer dans ces bâtiments pour trouver des liens cachés avec l'univers des représentations de Galois (qui sont, en gros, des codes secrets décrivant comment les nombres se comportent dans l'univers).

L'auteur, Nicolas Dupré, s'intéresse à trois types de bâtiments particuliers (appelés $GL_2$, $SL_2$ et $PGL_2$) qui sont construits sur un terrain spécial : un corps local non-archimédien (pensez à un monde où les nombres ont une structure très particulière, comme une série infinie de décimales qui ne finit jamais).

Voici les trois grandes idées du papier, expliquées simplement :

1. Le Problème : Des pièces de puzzle qui ne s'assemblent pas toujours

Dans ce monde mathématique, il existe des objets appelés modules de Hecke. On peut les voir comme des pièces de puzzle complexes.

• Certaines pièces sont "simples" et "parfaites" (les modules supersinguliers).
• D'autres sont "cassées" ou ont une structure infiniment complexe (dimension projective infinie).

Le problème, c'est que quand on essaie de comparer ces pièces entre elles, on se perd. L'auteur dit : "Attendez, si on regarde ces pièces à travers un miroir spécial (la catégorie d'homotopie), on peut voir leur vraie forme."

Ce "miroir spécial" s'appelle la catégorie d'homotopie de Gorenstein. C'est comme si on prenait une photo de ces pièces en enlevant tout ce qui est "superflu" ou "réparable". Ce qui reste, c'est l'essence pure de la pièce.

2. La Solution : Transformer des maths abstraites en géométrie

L'idée géniale de l'auteur est de dire : "Au lieu de manipuler ces pièces de puzzle abstraites, dessinons-les !".

Il montre que pour les groupes les plus simples ($SL_2$ et $PGL_2$), ces pièces de puzzle correspondent exactement à des formes géométriques très précises : des chaînes de lignes droites qui se touchent (des chaînes de droites projectives).

• Imaginez une chaîne de perles où chaque perle est une ligne droite.
• L'auteur prouve que la "catégorie d'homotopie" (le miroir) est identique à la "catégorie de singularité" de ces chaînes de perles.

L'analogie : C'est comme si vous aviez un code secret complexe (les modules de Hecke) et que vous découvriez que ce code est en fait la même chose que la forme d'un collier de perles cassé à un endroit précis. Si vous comprenez la géométrie du collier, vous comprenez le code.

3. Le Lien avec le Langage de Langlands (Le "Grand Dictionnaire")

Le but ultime de ce travail est de participer au Programme de Langlands, qui est un peu comme un "Grand Dictionnaire" universel. Ce dictionnaire permet de traduire deux langues mathématiques qui semblaient ne jamais se comprendre :

1. La langue des nombres (représentations de Galois).
2. La langue des symétries (modules de Hecke).

L'auteur montre que son "miroir" (la catégorie d'homotopie) permet de faire cette traduction de manière très propre :

• Pour $GL_2$ (le groupe le plus "riche") : La traduction est parfaite. Chaque pièce de puzzle correspond à un point précis sur le collier de perles, et chaque point du collier correspond à une représentation de Galois. C'est une correspondance 1 pour 1.
• Pour $SL_2$ (un groupe plus "pauvre") : La traduction est un peu plus floue. Plusieurs pièces de puzzle peuvent correspondre au même point du collier. C'est comme si le dictionnaire avait des synonymes : plusieurs mots différents signifient la même chose. L'auteur explique exactement comment ces groupes de mots (les "L-paquets") sont liés.

🧩 Les Métaphores Clés

• Le Miroir (Catégorie d'homotopie) : Imaginez que vous regardez un objet dans un miroir qui efface les rayures et les bosses inutiles. Ce que vous voyez, c'est la forme fondamentale de l'objet. L'auteur utilise ce miroir pour voir la vraie nature des modules de Hecke.
• Le Collier de Perles (Le Schéma $X_{q,G}$) : C'est la représentation géométrique. Au lieu de faire des calculs compliqués, on regarde la forme du collier. Si le collier a un nœud ou une cassure (une singularité), cela nous dit quelque chose d'important sur les nombres.
• Le Dictionnaire (Correspondance de Langlands) : C'est le pont entre deux mondes. L'auteur montre que son miroir permet de traduire le langage des symétries en langage des nombres, et vice-versa, en suivant la géométrie du collier.

🏆 Pourquoi c'est important ?

Avant ce papier, les mathématiciens savaient que ces liens existaient, mais ils étaient difficiles à voir, comme essayer de lire un livre dans le brouillard.
Nicolas Dupré a écarté le brouillard.

1. Il a donné une description exacte de ce que sont ces objets pour les groupes simples.
2. Il a prouvé que la géométrie (les chaînes de perles) est la clé pour comprendre la théorie des nombres.
3. Il a confirmé que pour certains groupes, la traduction est parfaite, et pour d'autres, elle a des "groupes de synonymes" qu'il a réussi à classifier.

En résumé, ce papier est une carte routière qui dit aux mathématiciens : "Si vous voulez comprendre ces objets complexes, ne faites pas de calculs à l'aveugle. Regardez la forme géométrique du collier de perles associé, et tout deviendra clair."

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans le programme de Langlands mod-$p$, qui vise à établir des correspondances entre les représentations galoisiennes et les représentations automorphes (ou modules de Hecke) sur un corps local non archimédien $F$ de caractéristique résiduelle $p$.

• Objet d'étude : L'auteur étudie la catégorie des modules sur l'algèbre de Hecke pro-$p$ d'Iwahori, notée $H_G = \mathbb{F}_p[I \backslash G / I]$, où $G$ est un groupe réductif déployé de rang semi-simple 1 sur $F$ (spécifiquement $GL_2(F)$, $SL_2(F)$ ou $PGL_2(F)$).
• Problème central : Comprendre la structure de la catégorie d'homotopie $Ho(H_G)$ associée à la structure de modèle de Gorenstein projectif sur la catégorie des modules $\text{Mod}(H_G)$. Cette catégorie est obtenue en localisant $\text{Mod}(H_G)$ par rapport aux modules de dimension projective finie (les objets « triviaux »).
• Lien avec la géométrie : L'objectif est de relier cette catégorie d'homotopie, purement algébrique, à la catégorie de singularité $\text{Sing}(X_{q,G})$ d'un schéma $X_{q,G}$ paramétrant certaines représentations galoisiennes semi-simples. Ce schéma a été introduit précédemment par Dotto-Emerton-Gee et Pépin-Schmidt pour le cas $GL_2$.

2. Méthodologie

L'approche de l'auteur combine la théorie des représentations des groupes $p$-adiques, la théorie des algèbres de Hecke, la théorie des catégories de modèles (Hovey) et la géométrie algébrique des catégories de singularité (Krause, Orlov).

• Réduction via la théorie de Bruhat-Tits : L'auteur utilise les résolutions canoniques d'Ollivier-Schneider pour réduire l'étude de $Ho(H_G)$ à l'étude des catégories d'homotopie des algèbres de Hecke associées aux sous-groupes compacts maximaux (les algèbres $H_{x_0}$ et $H_{x_1}$).
• Décomposition par idempotents centraux : L'analyse est menée composante par composante en utilisant la décomposition de l'algèbre de Hecke selon les orbites du groupe de Weyl sur les caractères du tore fini $T(\mathbb{F}_q)$. Cela permet de distinguer les composantes « régulières » et « non régulières ».
• Équivalences de Quillen : L'auteur construit des adjonctions de Quillen entre les catégories de modules sur l'algèbre de Hecke et celles sur son centre (ou des algèbres centrales étendues), prouvant qu'elles induisent des équivalences de catégories d'homotopie.
• Interprétation géométrique : Pour $G \neq SL_2$, le schéma $X_{q,G}$ est construit explicitement comme un quotient de $\text{Spec}(Z(H_G))$. L'auteur démontre que le foncteur de poussée en avant induit une équivalence entre les catégories de singularité.
• Générateurs et DGA : Pour le cas $GL_2$, où la description est plus complexe, l'auteur identifie un générateur compact explicite (un module sphérique Gorenstein projectif) et montre que la catégorie d'homotopie est équivalente à la catégorie dérivée d'une algèbre différentielle graduée (DGA) explicite.

3. Résultats Principaux

A. Description explicite de $Ho(H_G)$ (Théorème A)

Pour les groupes de rang semi-simple 1, l'auteur donne une description complète de la catégorie d'homotopie :

• Cas $SL_2$ et $PGL_2$ : La catégorie $Ho(H_G)$ se décompose en un produit de catégories de modules sur des corps finis (ou produits de corps).
  • Pour $PGL_2$ ($p>2$) : $Ho(H_{PGL_2}) \simeq \prod_{\gamma \text{ régulier}} \text{Mod}(k^2)$.
  • Pour $SL_2$ ($p>2$) : Il y a un facteur supplémentaire $C$ (lié au caractère « signe » $\sigma$) : $Ho(H_{SL_2}) \simeq C \times \prod_{\gamma \text{ régulier}} (\text{Mod}(k^2) \times \text{Mod}(k^2))$.
  • Ces catégories sont triangulées de manière très simple (structure triviale ou échange de composantes).
• Cas $GL_2$ : La catégorie est équivalente à la catégorie dérivée d'une DGA explicite construite à partir d'un générateur sphérique.

B. Correspondance avec les catégories de singularité (Théorème B)

L'auteur établit un lien fondamental entre l'algèbre de Hecke et la géométrie des représentations galoisiennes :

• Il existe un foncteur triangulé $L_{G,*} : Ho(H_G) \to \text{Sing}(X_{q,G})$.
• Équivalence : Si $G = GL_2$ ou $PGL_2$, ce foncteur est une équivalence de catégories. Cela signifie que la structure homologique des modules de Hecke est entièrement capturée par la géométrie du schéma $X_{q,G}$.
• Cas $SL_2$ : Le foncteur n'est pas une équivalence. Cela reflète le fait que le centre de l'algèbre de Hecke $H_{SL_2}$ ne « voit » pas toutes les singularités (notamment celle liée au caractère signe $\sigma$). L'auteur propose un schéma étendu $X_{q,SL_2}$ (en ajoutant une composante projective) pour restaurer l'équivalence.

C. Correspondance de Langlands mod-$p$

L'application des objets de la catégorie d'homotopie aux points singuliers du schéma $X_{q,G}$ redonne la correspondance de Langlands mod-$p$ :

• Pour $GL_2$ et $PGL_2$, l'application $M \mapsto \text{Supp}(L_{G,*}(M))$ induit une bijection entre les classes d'isomorphie des modules supersinguliers simples de dimension projective infinie et les classes d'isomorphie des représentations galoisiennes irréductibles (récupérant ainsi le résultat de Große-Klönne).
• Pour $SL_2$, l'application est surjective mais pas injective : les fibres correspondent aux paquets $L$ de modules supersinguliers simples, conformément aux attentes de la théorie des représentations.

D. Anneaux d'endomorphismes

L'auteur calcule les anneaux d'endomorphismes dans $Ho(H_{GL_2})$ des modules supersinguliers simples. Il montre qu'ils sont isomorphes à l'algèbre de Hecke finie $H_{x_0}$ associée au sous-groupe compact maximal, offrant une description concrète de ces objets dans la catégorie dérivée.

4. Contributions et Significativité

• Unification Géométrique-Algébrique : Le papier fournit une preuve rigoureuse que la catégorie d'homotopie des modules de Hecke pro-$p$ (un objet purement algébrique) est équivalente à une catégorie de singularité d'un schéma géométrique. Cela valide et généralise les constructions géométriques de Dotto-Emerton-Gee et Pépin-Schmidt.
• Résolution du cas $SL_2$ : L'article clarifie pourquoi la correspondance de Langlands mod-$p$ pour $SL_2$ n'est pas une bijection (phénomène des paquets $L$) en le reliant à une singularité « cachée » dans le centre de l'algèbre de Hecke, qui nécessite une extension du schéma pour être vue géométriquement.
• Outils Nouveaux : L'introduction d'un générateur explicite pour $Ho(H_{GL_2})$ et la description de la catégorie comme une catégorie dérivée de DGA ouvrent la voie à des calculs plus poussés et à une compréhension structurelle plus fine des modules supersinguliers.
• Impact sur le Programme de Langlands : En reliant les modules de Hecke aux catégories de singularité, l'article offre un nouveau cadre pour étudier la correspondance de Langlands mod-$p$, suggérant que les propriétés homologiques des modules de Hecke sont gouvernées par la géométrie des variétés de modules de représentations galoisiennes.

En résumé, Nicolas Dupré réussit à « géométriser » la catégorie d'homotopie des modules de Hecke en rang 1, démontrant que les phénomènes profonds de la théorie des représentations mod-$p$ (comme les paquets $L$) ont une interprétation naturelle en termes de singularités géométriques.