Modules basculants pour les groupes algébriques réductifs : caractères et variétés de support

Informations fondamentales

• ID de l'article : 2511.05063
• Titre : Tilting modules for reductive algebraic groups: characters and support varieties
• Auteurs : Pramod N. Achar (Louisiana State University), Simon Riche (Université Clermont Auvergne)
• Classification : math.RT (Théorie des représentations)
• Date de publication/Conférence : Soumis en novembre 2025, contribution aux actes de l'ICM 2026
• Lien de l'article : https://arxiv.org/abs/2511.05063

Résumé

Cet article constitue une contribution des auteurs aux actes de la conférence ICM 2026, présentant une synthèse des résultats obtenus par les auteurs et leurs collaborateurs en théorie des représentations des groupes algébriques réductifs sur des corps algébriquement clos de caractéristique positive. La recherche se concentre sur deux questions fondamentales concernant les modules basculants (tilting modules) : les formules de caractères et les variétés de support.

Contexte et motivation de la recherche

Problèmes fondamentaux

1. Problème du calcul des caractères : Sur un corps algébriquement clos de caractéristique p > 0, comment calculer les caractères des modules simples et des modules basculants d'un groupe algébrique réductif G ? Il s'agit d'une question fondamentale en théorie des représentations, analogue à la théorie des caractères dans les représentations complexes des groupes finis.
2. Problème de description des variétés de support : Comment décrire les variétés de support des modules basculants ? Cela implique la conjecture de Humphreys, qui prédit l'existence de liens profonds entre les variétés de support et les orbites nilpotentes.

Importance de la recherche

• Les caractères déterminent les facteurs de composition d'une représentation et leurs multiplicités, constituant des invariants clés pour comprendre la structure des représentations
• Les modules basculants jouent un rôle particulier en théorie des représentations : ils sont fermés sous le produit tensoriel et leurs caractères peuvent être utilisés pour dériver les caractères des modules simples
• Ces problèmes sont profondément liés à la combinatoire de Kazhdan-Lusztig du groupe de Weyl affine, illustrant l'entrecroisement entre combinatoire, géométrie et théorie des représentations

Limitations des méthodes existantes

1. Conjecture de Lusztig : Utilise les polynômes de Kazhdan-Lusztig classiques pour donner une formule de caractère des modules simples, mais ne s'applique que lorsque p est suffisamment grand, et Williamson a découvert des contre-exemples
2. Conjecture d'Andersen : Propose une formule similaire pour les modules basculants, mais nécessite également p ≥ h (où h est le nombre de Coxeter) et impose des restrictions sur les poids
3. Problème d'asymptotique : La combinatoire de Kazhdan-Lusztig classique ne fournit qu'une approximation « asymptotique », échouant en caractéristique générale

Points novateurs de cet article

Introduction de la p-canonical basis (base p-canonique) pour remplacer la base de Kazhdan-Lusztig classique. Il s'agit d'un nouvel outil développé par Williamson et d'autres, permettant de donner des formules exactes en caractéristique plus générale (p > h, voire pour tout p).

Contributions principales

Les contributions principales de cet article incluent :

1. Formule de caractère des modules basculants (Théorème 2.6) : Preuve de la formule de caractère des modules basculants utilisant les polynômes p-Kazhdan-Lusztig, applicable au cas p > h, avec une version valable pour tout p
2. Application de la conjecture de Finkelberg-Mirković : Lorsque p > h+1, cette conjecture (déjà prouvée par Bezrukavnikov et Riche) fournit une formule géométrique pour le caractère des modules simples
3. Preuve de la conjecture de Humphreys :
   • Preuve de la conjecture de Humphreys classique et relative lorsque p est suffisamment grand
   • Preuve de la conjecture de Humphreys relative pour tout p > h
   • Preuve de la version théorique des schémas pour GL_n lorsque p > n
4. Théorie des co-t-structures : Développement de la théorie des co-t-structures sur la catégorie dérivée des faisceaux cohérents sur le cône nilpotent, fournissant un nouveau cadre pour décrire la cohomologie relative des modules basculants
5. Version modulaire de la bijection de Lusztig-Vogan : Établissement d'une bijection de Lusztig-Vogan en caractéristique positive, reliant les poids dominants aux fibrés vectoriels basculants sur les orbites nilpotentes

Détail des méthodes

Cadre théorique

1. Configuration de base de la théorie des représentations

• Groupes algébriques réductifs : G est un groupe algébrique réductif connexe sur un corps algébriquement clos k de caractéristique p > 0
• Classes de modules clés :
  • Modules induits N(λ) : induits à partir de représentations unidimensionnelles du sous-groupe de Borel
  • Modules simples L(λ) : représentations irréductibles
  • Modules basculants T(λ) : modules indécomposables satisfaisant des conditions de filtration spéciales

2. Groupe de Weyl affine et action pointée

Le groupe de Weyl affine $W_{aff} = W \ltimes \mathbb{Z}\Phi$ agit sur le réseau des poids via l'action pointée : $(w \ltimes \mu) \bullet \lambda = w(\lambda + p\mu + \rho) - \rho$

Principe de connexion (Andersen) : Les groupes Ext des modules simples ne sont non nuls que pour les orbites identiques sous $W_{aff}$, ce qui entraîne une décomposition en blocs de la catégorie des représentations.

Méthode pour les formules de caractères

Outil fondamental : p-canonical basis

Pour l'algèbre de Hecke affine $\mathcal{H}_{aff}$, il existe :

• Base de Kazhdan-Lusztig classique $\{\underline{H}_w : w \in W_{aff}\}$
• Base p-canonique $\{^pH_w : w \in W_{aff}\}$ (dépendant du nombre premier p)

Définition des polynômes correspondants : $^pH_w = \sum_{y \in W_{aff}} \,^ph_{y,w} \cdot H_y$

Propriété clé : Lorsque p est suffisamment grand, $^pH_w = \underline{H}_w$, mais pour p général, ils peuvent différer.

Théorème 2.6 (Formule de caractère des modules basculants)

Pour tout sous-ensemble finitary $J \subset S_{aff}$ tel que $C_J \neq \emptyset$, et pour $y, w \in W^J_{aff}$ : $d^J_{y,w} = \sum_{z \in W} (-1)^{\ell(z)} \cdot \,^ph_{zyw_J, ww_J}(1)$

où $d^J_{y,w}$ est le coefficient du développement du caractère du module basculant dans la base des modules induits.

Stratégie de preuve (cas p > h)

1. Réalisation géométrique : Construction du foncteur de dégradation $\mathcal{F}: D^b\text{Coh}_{G \times \mathbb{G}_m}(\tilde{\mathcal{N}}) \to D^b\text{Rep}_{W_{ext} \bullet 0}(G)$ où $\tilde{\mathcal{N}} = G \times_B \mathfrak{n}$ est la décomposition de Springer
2. Catégorification : Preuve de l'existence d'une catégorie de Hecke $\mathcal{H}^k_{aff}$ agissant sur $\text{Rep}_{W_{aff} \bullet 0}(G)$
3. Dualité de Koszul : Utilisation de la théorie des couches perverses mixtes sur la Grassmannienne affine et de la dualité de Koszul
4. Théorie de Smith-Treumann : La preuve la plus générale utilise la théorie de Smith-Treumann dans l'équivalence de Satake géométrique

Méthode pour les variétés de support

Noyaux de Frobenius et cohomologie

• Noyau de Frobenius : $G_1 = \ker(\text{Fr}: G \to G^{(1)})$, schéma en groupe fini
• Anneau de cohomologie : Lorsque p > h, $H^\bullet(G_1; k) \cong k[\mathcal{N}]$ où $\mathcal{N} \subset \mathfrak{g}$ est le cône nilpotent
• Définition des variétés de support :
  • $V_{G_1}(M) = \text{supp}(\text{Ext}^\bullet(M,M))$
  • $V^{G_1}(M) = \text{supp}(H^\bullet(G_1; M))$ (variété de support relative)

Conjecture de Humphreys (version classique, Conjecture 3.3)

Pour $w \in W^\emptyset_{ext}$, soit C l'orbite G correspondant via la bijection de Lusztig (3.2) à la cellule bilatérale contenant w, alors : $V_{G_1}(\mathcal{T}(w \bullet 0)) = C$

Idée de la preuve

Étape 1 : Géométrisation Utilisation du foncteur de dégradation. Pour $\lambda \in X^+$, définition : $\mathcal{S}_\lambda := \pi_* \mathcal{T}^{gr}(w_\lambda \bullet 0) \in D^b\text{Coh}_{G \times \mathbb{G}_m}(\mathcal{N})$

On obtient un isomorphisme : $H^\bullet(G_1; \mathcal{T}(w_\lambda \bullet 0)) \cong R^\bullet\Gamma(\mathcal{N}, \mathcal{S}_\lambda)$

Étape 2 : Théorie des co-t-structures (Achar-Hardesty 5,6)

• Construction d'une co-t-structure sur $D^b\text{Coh}_{G \times \mathbb{G}_m}(\mathcal{N})$
• Preuve que $\mathcal{S}_\lambda$ est un objet indécomposable du coheart (après décalage)

Étape 3 : Bijection de Lusztig-Vogan Établissement de la bijection : $X^+ \xleftrightarrow{\sim} \Xi_G = \{(C, \sigma) : C \subset \mathcal{N} \text{ est une orbite}, \sigma \in \Sigma_C\}$

où $\Sigma_C$ paramètre les fibrés vectoriels cohérents simples équivariants sur l'orbite C.

Étape 4 : Caractérisation du support (Théorème 3.10) Si $\lambda$ correspond à $(C, \sigma)$, alors : $\mathcal{S}_\lambda \cong \mathcal{S}(C, \sigma)$ où $\mathcal{S}(C, \sigma)$ est construit géométriquement, satisfaisant :

• Support sur C
• Restriction à C est le fibré vectoriel basculant $\mathcal{T}(\sigma)$

Cela donne directement la conjecture de Humphreys relative.

Configuration expérimentale

Cet article est un article de mathématiques pures théoriques et n'implique pas d'« expériences » au sens traditionnel. Cependant, les auteurs valident la théorie de la manière suivante :

Vérification de cas particuliers

1. Cas de GL_n : Vérification d'abord dans 45 de la formule de caractère basculant pour GL_n
2. Analogie avec les groupes quantiques : De nombreux résultats ont des versions correspondantes dans le cas des groupes quantiques, déjà vérifiées indépendamment

Vérification par calcul

• Utilisation d'outils de calcul basés sur les polynômes de Kazhdan-Lusztig et la base p-canonique
• Pour les groupes de petit rang et petite caractéristique, calculs explicites possibles

Vérification de la cohérence théorique

• Vérification que les formules sont cohérentes avec la formule de caractère de Weyl connue (2.1)
• Vérification de la compatibilité des foncteurs de translation (2.5)
• Vérification de la cohérence avec le théorème du produit tensoriel de Steinberg

Résultats expérimentaux

Résumé des théorèmes principaux

1. Caractère des modules basculants (Théorème 2.6)

Résultat : Pour tous les sous-ensembles finitary J et p > h, le caractère du module basculant est complètement déterminé par les polynômes p-Kazhdan-Lusztig.

Signification :

• Première formule exacte pour p général
• Dégénère automatiquement en la conjecture d'Andersen lorsque p → ∞
• Existence d'une version valable pour tout p (Riche-Williamson 47)

2. État de la preuve de la conjecture de Humphreys

Progrès clés :

• 8 (2019) : Preuve pour p suffisamment grand
• 6 (2024) : Preuve de la version relative via la bijection de Lusztig-Vogan (p > h)
• 5 (2024) : Version théorique des schémas pour GL_n (p > n)

Découvertes théoriques

Découverte 1 : Rôle central de la p-canonical basis

La combinatoire classique de Kazhdan-Lusztig n'est qu'une approximation « asymptotique ». Ce qui contrôle réellement la théorie des représentations est la p-canonical basis. Cela explique les contre-exemples découverts par Williamson.

Découverte 2 : Nécessité de la théorie des co-t-structures

En caractéristique positive, la cohomologie relative des modules basculants ne correspond pas à des couches perverses-cohérentes simples, mais à des objets indécomposables du coheart d'une co-t-structure. C'est une différence essentielle avec le cas des groupes quantiques.

Découverte 3 : Signification géométrique de la conjecture de Finkelberg-Mirković

Cette conjecture (Conjecture 2.10) fournit une équivalence entre la catégorie des représentations et la catégorie de Whittaker sur la Grassmannienne affine du groupe de Langlands dual, même lorsque p < h (c'est-à-dire $C_\emptyset = \emptyset$).

Travaux connexes

Contexte historique

Années 1970 : Prédiction de Verma

Verma 50 suggère d'abord que la théorie des représentations en caractéristique positive est liée à la combinatoire du groupe de Weyl affine, proposant le principe de connexion et la conjecture d'indépendance des caractères.

Années 1980 : Conjecture de Lusztig

Lusztig 37 propose une formule de caractère des modules simples utilisant les polynômes de Kazhdan-Lusztig, prévue pour être valable lorsque p ≥ h.

Années 1990 : Travaux d'Andersen

• 15 : Preuve du principe de connexion
• 16 : Proposition de la conjecture de caractère des modules basculants, preuve qu'elle implique la conjecture de Lusztig

Années 2000 : Analogie avec les groupes quantiques

• Bezrukavnikov 22 : Résolution de la conjecture de Humphreys pour les groupes quantiques
• Arkhipov-Bezrukavnikov-Ginzburg : Développement des méthodes géométriques

Années 2010 : Contre-exemples et nouvelles directions

• Williamson 53 : Découverte de contre-exemples à la conjecture de Lusztig
• Juteau-Mautner-Williamson : Introduction de la p-canonical basis

2018-2024 : Série de travaux des auteurs de cet article

• 12 (2018) : Construction du foncteur de dégradation
• 11 (2019) : Preuve de la formule de caractère basculant (p > h)
• 8 (2019) : Preuve de la conjecture de Humphreys (p≫0)
• 47 (2022) : Nouvelle preuve utilisant la théorie de Smith-Treumann
• 6 (2024) : Achèvement de la conjecture de Humphreys relative

Comparaison avec les travaux connexes

Conclusion et discussion

Conclusions principales

1. La p-canonical basis est l'outil combinatoire correct : Elle capture précisément la structure combinatoire de la théorie des représentations en caractéristique positive, plutôt que la base de Kazhdan-Lusztig classique
2. Le caractère des modules basculants est complètement résolu : Le Théorème 2.6 fournit la réponse complète au problème du caractère des modules basculants (p > h ou tout p)
3. La conjecture de Humphreys est essentiellement résolue : La version relative est valable pour tout p > h ; la version classique est valable pour p suffisamment grand ou en type A
4. Puissance de la méthode géométrique : Par la décomposition de Springer, la Grassmannienne affine et la dualité de Langlands, les problèmes de théorie des représentations sont transformés en problèmes géométriques

Limitations

1. Problème de borne de caractéristique

• La formule de caractère basculant nécessite p > h (bien qu'il existe une version pour tout p)
• La version classique de la conjecture de Humphreys nécessite toujours p suffisamment grand (sauf en type A)
• Le domaine de validité de la formule de Donkin reste peu clair (p ≥ 2h-4 ?)

2. Caractère explicite des modules simples

Bien que dérivable en principe à partir des modules basculants :

• La formule fournie par la conjecture de Finkelberg-Mirković implique des caractéristiques d'Euler difficiles à calculer
• Il n'existe pas de forme fermée concise analogue à la formule de Weyl

3. Compatibilité des cellules

• La relation entre les p-cellules et les cellules de Kazhdan-Lusztig n'est comprise que pour p suffisamment grand
• Cela limite la preuve de la version classique de la conjecture de Humphreys

4. Complexité computationnelle

• Le calcul de la p-canonical basis est extrêmement difficile
• Il n'existe pas de borne de caractéristique N(w) uniforme pour tous les éléments w

Directions futures

1. Formule explicite pour le caractère des modules simples

Question : Peut-on trouver une formule pour le caractère des modules simples plus explicite que la conjecture de Finkelberg-Mirković ?

Voies possibles :

• Compréhension de la caractéristique d'Euler de la cohomologie d'intersection équivariante d'Iwahori sur la variété de drapeaux affines
• Développement de nouveaux outils combinatoires

2. Cas de petite caractéristique

Question : Quelle est la structure de la théorie des représentations lorsque p ≤ h ?

Défis :

• La structure de $H^\bullet(G_1; k)$ est inconnue
• Il n'existe pas de « bloc régulier » ($C_\emptyset = \emptyset$)
• La conjecture de Finkelberg-Mirković suggère l'existence d'un modèle géométrique

3. Compréhension complète des p-cellules

Question : Quelle est la relation entre les p-cellules et les cellules de Kazhdan-Lusztig ?

Signification :

• Achèvement de la preuve de la version classique de la conjecture de Humphreys
• Compréhension de la classification des idéaux tensoriels (Conjecture 3.5)

4. Noyaux de Frobenius d'ordre supérieur

Question : Peut-on généraliser à $G_r = \ker(\text{Fr}^r)$ ?

Motivation :

• Lien avec la classification des idéaux tensoriels
• Possibilité de révéler une nouvelle structure des p-cellules

5. Méthodes de calcul

Question : Comment calculer efficacement la p-canonical basis ?

Besoin :

• Développement de nouveaux algorithmes
• Recherche de bornes explicites pour N(w)

Évaluation approfondie

Avantages

1. Profondeur et largeur théoriques

• Cadre unifié : Intégration des problèmes de caractères et de variétés de support dans un cadre géométrique-représentationnel unifié
• Interdisciplinarité : Fusion de la géométrie algébrique, théorie des représentations, combinatoire et théorie des catégories
• Connexions profondes : Révélation du rôle de la dualité de Langlands dans la théorie des représentations en caractéristique positive

2. Innovation technique

• Foncteur de dégradation : Utilisation créative de la décomposition de Springer pour connecter géométrie et représentations
• Théorie des co-t-structures : Découverte de nouvelles structures catégoriques en caractéristique positive
• Application de la théorie de Smith-Treumann : Introduction d'outils de topologie algébrique dans la théorie des représentations des groupes algébriques

3. Complétude de la résolution des problèmes

• Résolution complète du problème de caractère basculant (Théorème 2.6)
• Résolution complète de la version relative de la conjecture de Humphreys
• Établissement de la bijection de Lusztig-Vogan en caractéristique positive

4. Qualité de la rédaction

• Revue historique claire et explication des motivations
• Présentation systématique du cadre théorique
• Équilibre approprié entre détails techniques et explications intuitives
• Synthèse complète de la littérature et attribution des crédits

Insuffisances

1. Barrière technique extrêmement élevée

• Nécessite une formation profonde en géométrie algébrique, catégories dérivées et théorie des représentations
• La construction du foncteur de dégradation est extrêmement technique
• La théorie des co-t-structures n'est pas facile à comprendre pour les non-spécialistes

2. Faisabilité computationnelle limitée

• Le calcul de la p-canonical basis est extrêmement difficile
• Bien que la formule de caractère existe, elle est difficile à calculer explicitement
• Manque de calculs détaillés d'exemples concrets

3. Restrictions sur les conditions des résultats

• La plupart des résultats nécessitent p > h
• La version classique de la conjecture de Humphreys reste partiellement non résolue
• La formule de caractère des modules simples n'est pas suffisamment explicite

4. Omission de certains détails techniques

• En tant qu'article de synthèse, de nombreux détails de preuve nécessitent de consulter les articles originaux
• La construction complète du foncteur de dégradation n'est pas donnée
• La construction concrète de la co-t-structure est seulement référencée

Impact

Contribution au domaine

1. Changement de paradigme : Établissement de la p-canonical basis comme outil central
2. Innovation méthodologique : Application systématique des méthodes géométriques à la théorie des représentations modulaires
3. Résolution de problèmes de longue date : Conjecture d'Andersen (caractère basculant) et conjecture de Humphreys (partiellement)

Valeur pratique

• Fourniture de fondations théoriques pour les calculs concrets
• Orientation du développement de systèmes d'algèbre informatique
• Applications potentielles en physique mathématique (programme de Langlands modulo p)

Reproductibilité

• Vérifiabilité théorique élevée : Les preuves sont basées sur des travaux mathématiques rigoureux publiés
• Reproductibilité computationnelle moyenne : Calculable en principe, mais difficile en pratique
• Disponibilité du code faible : Aucune implémentation computationnelle fournie (ce qui est normal pour les articles de mathématiques pures)

Scénarios d'application

1. Recherche théorique

• Théorie des représentations modulaires des groupes algébriques réductifs
• Théorie des représentations de l'algèbre de Hecke affine
• Théorie de Kazhdan-Lusztig et ses généralisations
• Théorie géométrique des représentations

2. Domaines connexes

• Programme de Langlands modulo p : La conjecture de Finkelberg-Mirković fournit une réalisation géométrique
• Théorie des groupes quantiques : De nombreux résultats ont des analogues pour les groupes quantiques
• Représentations modulaires des algèbres de Lie : Connexion via les noyaux de Frobenius
• Théorie de la catégorification : Action de la catégorie de Hecke

3. Applications computationnelles

• Calcul de tables de caractères (lorsque p n'est pas trop petit)
• Détermination des nombres de décomposition
• Compréhension de la structure des produits tensoriels

4. Scénarios non applicables

• p = 0 (caractéristique zéro, situation complètement différente)
• p ≤ h avec besoin de formules explicites (théorie non encore complète)
• Groupes non réductifs ou représentations de dimension infinie

Références (Références clés)

1. 37 Lusztig (1980) : "Some problems in the representation theory of finite Chevalley groups" - Proposition de la conjecture originale
2. 53 Williamson (2017) : "Schubert calculus and torsion explosion" - Découverte de contre-exemples, introduction de la p-canonical basis
3. 11 Achar-Makisumi-Riche-Williamson (2019) : "Koszul duality for Kac-Moody groups and characters of tilting modules" - Première preuve de la formule de caractère basculant
4. 22 Bezrukavnikov (2006) : "Cohomology of tilting modules over quantum groups and t-structures" - Conjecture de Humphreys pour les groupes quantiques
5. 8 Achar-Hardesty-Riche (2019) : "On the Humphreys conjecture on support varieties" - Conjecture de Humphreys pour p suffisamment grand
6. 6 Achar-Hardesty (2024) : "Silting complexes of coherent sheaves and the Humphreys conjecture" - Achèvement de la conjecture de Humphreys relative
7. 47 Riche-Williamson (2022) : "Smith-Treumann theory and the linkage principle" - Preuve de la formule de caractère basculant utilisant une nouvelle méthode

Évaluation générale : Cet article de synthèse est remarquable, résumant systématiquement les travaux profonds des auteurs et de leurs collaborateurs sur plus d'une décennie en théorie des représentations en caractéristique positive. Par l'introduction de la p-canonical basis et le développement de méthodes géométriques, les auteurs ont résolu les problèmes fondamentaux du domaine, promouvant des progrès majeurs en théorie des représentations. L'article est techniquement dense mais bien organisé, offrant une grande valeur tant pour les experts que pour les étudiants. Ces travaux auront sans doute un impact durable sur la théorie des représentations modulaires et la théorie géométrique des représentations.