Représentations catégoriques potentes

Informations fondamentales

• ID de l'article: 2510.07482
• Titre: Potent categorical representations
• Auteurs: David Ben-Zvi, David Nadler
• Classification: math.RT math-ph math.AG math.MP
• Date de publication: Octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.07482

Résumé

Cet article, basé sur une collaboration avec Germán Stefanich, introduit le concept de représentations catégoriques potentes pour les groupes réductifs complexes $G$, et propose une correspondance de Langlands conjecturale qui identifie les représentations catégoriques potentes de $G$ et de son dual de Langlands $\check{G}$. Les auteurs soulignent la nature géométrique symplectique des représentations catégoriques potentes, qui dépendent simultanément de paramètres dans les tores maximaux de $G$ et $\check{G}$, et explorent comment leur correspondance de Langlands conjecturale s'inscrit dans la transformée de Fourier 2-catégorique. Les outils principaux sont la théorie des faisceaux de haut niveau et sa microlocalisation, en particulier la théorie des catégories de faisceaux ind-cohérents sur les champs. Ces constructions sont inspirées par la symétrie miroir en dimension 3, la S-dualité en physique, et la théorie des algèbres de Hecke double-affines.

Contexte et motivation de la recherche

Contexte du problème

1. Limitations de la théorie classique des représentations catégoriques: La théorie classique des représentations catégoriques des groupes réductifs $G$ (comme la théorie des D-modules) ne considère que des paramètres unilatéraux, manquant de considération pour les paramètres duaux, ce qui limite l'intégrité et la symétrie de la théorie.
2. Développement de la correspondance géométrique de Langlands: La correspondance géométrique de Langlands existante se concentre principalement sur les espaces de paramètres unilatéraux et manque d'une utilisation suffisante des structures géométriques symplectiques.
3. Inspiration physique: La symétrie miroir en dimension 3 et la S-dualité de la théorie de Yang-Mills N=4 en dimension 4 offrent de nouvelles perspectives, suggérant l'existence de structures de dualité plus riches.

Motivation de la recherche

1. Quête de symétrie: Chercher un cadre théorique qui incorpore simultanément les paramètres du groupe $G$ et de son dual de Langlands $\check{G}$.
2. Importance de la géométrie symplectique: Reconnaître le rôle central de la structure symplectique de l'espace de paramètres $T \times \check{T}$ dans la correspondance de Langlands.
3. Application de la théorie catégorique de haut niveau: Utiliser la théorie des faisceaux ind-cohérents de haut niveau développée par Stefanich pour construire des objets catégoriques plus raffinés.

Contributions principales

1. Introduction du concept de représentations catégoriques potentes: Définition des représentations catégoriques potentes d'un groupe réductif $G$ comme catégories de faisceaux ind-cohérents cycliques sur l'espace de lacets $G/G = LBG$.
2. Proposition de la conjecture de correspondance de Langlands potente: Conjecture l'existence d'une équivalence entre les représentations catégoriques potentes de $G$ et $\check{G}$.
3. Établissement de la théorie de la transformée de Fourier 2-catégorique: Preuve de la transformée 2-Fourier pour les espaces vectoriels de dimension finie, et généralisation au cas multiplicatif.
4. Construction du monoïde de Hecke potent: Définition du monoïde de Hecke potent $H_G$, qui unifie diverses catégories de Hecke.
5. Connexion entre la physique et les mathématiques: Établissement des liens entre les TQFT en dimension 3 et les représentations catégoriques potentes.

Détails des méthodes

Définitions des concepts fondamentaux

D-modules potents: Pour un champ $X$, les D-modules potents sont définis comme les faisceaux cycliques sur son espace de lacets: $D^{\text{pot}}(X) := \text{IndCoh}(LX)^{\text{Tate}}$

Représentations catégoriques potentes: Pour un groupe réductif $G$, les représentations catégoriques potentes de $G$ sont définies comme: $G\text{-cat}^{\text{pot}} := 2\text{IndCoh}^{\diamond}(G/G)^{\text{Tate}}$

Cadre technique

1. Théorie des faisceaux ind-cohérents de haut niveau

• Utilisation de la théorie $2\text{IndCoh}$ développée par Stefanich, extension de $2\text{QCoh}$
• Les objets possèdent des supports singuliers dans $T^*[2]X$
• Satisfont la relation de trace: $\text{Tr}(2\text{IndCoh}(X)) \simeq \text{IndCoh}(LX)$

2. Périodisation et extension équivariante

• Périodisation: Introduction de la base périodique $A = 2\text{IndCoh}^{\diamond}(\text{pt}) := 2\text{IndCoh}(G_a)/2\text{QCoh}(G_a)$
• Extension équivariante: Pour les champs quotients $X = Z/S^1$, extension des générateurs des schémas avec action $S^1$ pour inclure les gerbes abéliennes réduites

3. Transformée de Fourier 2-catégorique

Théorème: Pour un espace vectoriel de dimension finie $V$ et son dual $V^*$, existe une transformée 2-Fourier: $2\text{IndCoh}^{\pi}(V) \simeq 2\text{IndCoh}^{\pi}(V^*)$

Théorie de Hecke potente

Monoïde de Hecke potent défini comme: $H_G \in 2\text{IndCoh}^{\diamond}(T/T \times T/T)^{\text{Tate}}$

Représenté par le groupoïde équivariant rotatif $L(B\backslash G/B) \to L(BT \times BT)$.

Théorème de monoïdalité: Les représentations catégoriques potentes de $G$ sont monoïdales sur les représentations catégoriques potentes de $T$, avec monoïde le monoïde de Hecke potent $H_G$.

Résultats principaux

Transformée de Fourier 2-catégorique multiplicative

Théorème: Pour un tore $T$, existe une transformée de Fourier 2-catégorique multiplicative: $T\text{-cat}^{\text{pot,dR}} = 2\text{IndCoh}^{\diamond}(t/\Lambda \times BT)^{\text{Tate}} \simeq 2\text{IndCoh}^{\diamond}(\check{t}/\check{\Lambda} \times B\check{T})^{\text{Tate}} = \check{T}\text{-cat}^{\text{pot,dR}}$

Conjecture principale: Dualité de Langlands potente

Conjecture: Pour un groupe réductif $G$, la transformée de Fourier 2-catégorique multiplicative identifie les monoïdes de Hecke potents de de Rham $H_G^{\text{dR}}$ et $H_{\check{G}}^{\text{dR}}$. Par conséquent, existe une équivalence: $G\text{-cat}^{\text{pot,dR}} \simeq \check{G}\text{-cat}^{\text{pot,dR}}$

Connexions avec la physique

Interprétation TQFT en dimension 3

1. Théorie de Rozansky-Witten: $2\text{IndCoh}^{\diamond}(L)$ modélise la théorie RW du fibré cotangent $T^*L$
2. Théorie de jauge en dimension 3: Les représentations catégoriques potentes fournissent la théorie de bord pour la théorie de Yang-Mills N=8 en dimension 3
3. Symétrie miroir en dimension 3: Connexion entre la théorie de jauge et la théorie RW

Compactification équivariante

Partant de la théorie 4-dimensionnelle de Kapustin-Witten, via compactification équivariante par $S^1$ et fond $\Omega$, on obtient une dualité 3-dimensionnelle symétrique, qui est l'origine physique de la dualité de Langlands potente.

Applications et généralisations

1. Relation avec les algèbres de Hecke

Établissement d'une correspondance entre trois niveaux de structures de Hecke:

• Algèbre de Hecke finie ↔ Algèbre de Hecke affine ↔ Algèbre de Hecke double-affine
• Représentations unipotentes ↔ Représentations de de Rham ↔ Représentations potentes

2. Théorie des faisceaux caractéristiques

Espoir que la trace des représentations potentes donne des faisceaux sur la variété de Hilbert, connectant l'homologie des chaînes de Khovanov-Rozansky et le programme de y-ification.

3. Dualité de Langlands relative

Conjecture: Pour les variétés sphériques duales $G \curvearrowright X$ et $\check{G} \curvearrowright \check{X}$, la dualité de Langlands potente apparie $D_G^{\text{pot}}(X)$ et $D_{\check{G}}^{\text{pot}}(\check{X})$.

Signification théorique et impact

Contributions mathématiques

1. Cadre unifié: Fournit un cadre unifiant diverses catégories de Hecke et théories de représentations
2. Perspective géométrique symplectique: Souligne l'importance de la géométrie symplectique dans la correspondance de Langlands
3. Catégorification de haut niveau: Avance l'application de la théorie catégorique de haut niveau à la théorie des représentations

Intuitions physiques

1. Réalisation TQFT: Fournit un modèle mathématique rigoureux pour les TQFT en dimension 3
2. Compréhension des dualités: Approfondit la compréhension de la symétrie miroir et de la S-dualité
3. Réduction dimensionnelle: Clarifie le mécanisme de réduction de la théorie 4-dimensionnelle à la dimension 3 via compactification équivariante

Défis techniques et limitations

Limitations actuelles

1. Fondements analytiques: De nombreuses constructions manquent actuellement de fondements analytiques suffisants
2. Complexité computationnelle: Le calcul concret des représentations catégoriques potentes reste difficile
3. Difficulté de vérification: Les résultats principaux restent conjecturaux

Directions futures

1. Implémentation concrète: Développement de méthodes efficaces pour calculer les représentations catégoriques potentes
2. Généralisations et applications: Extension à d'autres types de groupes et d'espaces
3. Vérification physique: Vérification des conjectures mathématiques par les théories physiques

Évaluation approfondie

Points forts

1. Innovation conceptuelle: Le concept de représentations catégoriques potentes est original et profond
2. Unification théorique: Connexion réussie de multiples domaines mathématiques et physiques
3. Profondeur technique: Utilisation des outils de théorie catégorique de haut niveau les plus avancés
4. Inspiration physique: Utilisation complète des intuitions profondes de la physique

Insuffisances

1. Seuil technique élevé: Nécessite une formation approfondie en géométrie algébrique et théorie catégorique
2. Difficulté de vérification: Les résultats principaux manquent de vérification concrète
3. Défis computationnels: Les calculs pratiques restent extrêmement difficiles

Évaluation de l'impact

Cet article représente un progrès important dans la théorie géométrique des représentations, susceptible de:

1. Faire avancer le développement du programme de Langlands
2. Approfondir la recherche interdisciplinaire entre mathématiques et physique
3. Inspirer de nouvelles méthodes de calcul et d'application

Ce travail fournit un nouveau cadre pour comprendre la nature géométrique symplectique de la correspondance de Langlands. Bien que de nombreux résultats restent conjecturaux, sa profondeur théorique et son caractère unificateur en font une contribution importante au domaine.