Modèles de marches d'alcôves pour les intersections paraboliques de Mirković-Vilonen et branchement aux sous-groupes de Levi

Informations fondamentales

• ID de l'article: 2405.17174
• Titre: Alcove walk models for parabolic Mirković-Vilonen intersections and branching to Levi subgroups
• Auteur: Thomas J. Haines
• Classification: math.RT (théorie des représentations), math.AG (géométrie algébrique), math.CO (combinatoire)
• Date de publication: Mai 2024 (prépublication arXiv, version révisée du 31 décembre 2024)
• Lien de l'article: https://arxiv.org/abs/2405.17174

Résumé

Cet article établit un modèle de marches d'alcôves pour les intersections des cellules de Schubert avec les orbites semi-infinies partielles (appelées intersections paraboliques de Mirković-Vilonen) dans la Grassmannienne affine des groupes réductifs déployés. Plus précisément, l'article décrit un pavage cellulaire explicite de ces intersections, indexé par des marches d'alcôves positivement repliées spécifiques. Il est démontré que la paramétrisation des composantes irréductibles de dimension maximale possible est donnée par les marches d'alcôves de dimension maximale. On en déduit ensuite une nouvelle description combinatoire du branchement des représentations de plus haut poids irréductibles aux sous-groupes de Levi, donnant en particulier un nouvel algorithme pour calculer les caractères de ces représentations.

Contexte et motivation de la recherche

Contexte du problème

1. Importance des intersections de Mirković-Vilonen: Les intersections classiques de Mirković-Vilonen jouent un rôle central dans l'équivalence de Satake géométrique, constituant un pont important reliant la théorie des représentations des groupes algébriques à la géométrie de la Grassmannienne affine.
2. Nécessité de la généralisation parabolique: Bien que le cas classique (P = B, sous-groupe de Borel) soit bien compris, il manque une description combinatoire explicite pour le cas général des sous-groupes paraboliques P.
3. Défis computationnels: Les méthodes existantes manquent d'algorithmes combinatoires efficaces pour calculer les multiplicités de branchement et les caractères des représentations, particulièrement dans le cas du branchement aux sous-groupes de Levi.

Motivations de la recherche

1. Unification du géométrique et du combinatoire: Décrire les intersections géométriques complexes au moyen d'objets purement combinatoires que sont les marches d'alcôves.
2. Besoins algorithmiques: Fournir de nouveaux outils algorithmiques pour le calcul des multiplicités de branchement en théorie des représentations.
3. Perfectionnement théorique: Généraliser la méthode des galeries de Gaussent-Littelmann au cas parabolique plus général.

Contributions principales

1. Pavage cellulaire explicite: Fourniture d'un pavage cellulaire explicite des intersections paraboliques de Mirković-Vilonen, indexé par des marches d'alcôves positivement repliées.
2. Caractérisation de la dimension: Démonstration d'une bijection entre les composantes irréductibles de dimension maximale et les marches d'alcôves de dimension maximale.
3. Formules de branchement: Établissement de la relation entre les multiplicités de branchement $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda]$ et le comptage de marches d'alcôves spécifiques.
4. Nouvel algorithme: Fourniture d'un nouvel algorithme combinatoire pour calculer les caractères des représentations de plus haut poids et les multiplicités de branchement.
5. Généralisation aux produits tensoriels: Extension des résultats au calcul des multiplicités de produits tensoriels.

Détails de la méthode

Définition de la tâche

Étude des intersections paraboliques de Mirković-Vilonen: $K_P t^\lambda K/K \cap K t^\mu K/K$ où:

• $K = L^+G$ est la partie positive du groupe des lacets
• $K_P = L^+M LN$ est le sous-groupe correspondant au sous-groupe parabolique
• $\mu \in X_*(T)^+$, $\lambda \in X_*(T)^{+M}$ sont des poids dominants

Technique centrale: Marches d'alcôves

Définition des marches d'alcôves

Définition 4.2: Étant donné un alcôve de base $b$ et un mot $s_\bullet = s_1s_2\cdots s_r\tau \in W$, une séquence d'alcôves $a_0, a_1, \ldots, a_r$ est une marche d'alcôves $b$-positivement repliée si elle satisfait:

• $a_i \in \{a_{i-1}, w_{i-1}s_i w_{i-1}^{-1} a_{i-1}\}$
• Si $a_{i-1} = a_i$, alors le croisement $a_{i-1} \xrightarrow{s_i} w_{i-1}s_i w_{i-1}^{-1} a_{i-1}$ est dans la direction $b$-négative

Système d'étiquetage

Chaque étape $a_{i-1} \xrightarrow{s_i} a_i$ est étiquetée comme:

• $c^+_{s_i}$: croisement dans la direction $b$-positive
• $c^-_{s_i}$: croisement dans la direction $b$-négative
• $f^+_{s_i}$: repliement positif

Définition de la dimension

Définition 4.7: La dimension d'une marche d'alcôves $a_\bullet$ est définie par: $\dim(a_\bullet) = c^+(a_\bullet) + f^+(a_\bullet)$

Théorèmes principaux

Théorème A (Théorème 5.8)

L'intersection parabolique de Mirković-Vilonen admet un pavage cellulaire: $K_P t^\lambda K/K \cap K t^\mu K/K \cong \bigsqcup_{a_\bullet \in P^{a_{IP}}_\mu(\lambda)} \mathbb{A}^{c^+(a_\bullet)}_k \times (\mathbb{A}^1_k - \mathbb{A}^0_k)^{f^+(a_\bullet)}$

où l'ensemble des marches d'alcôves est: $P^{a_{IP}}_\mu(\lambda) = \bigsqcup_{w \in W_0/W_{0,-\mu}} P^{a_{IP}}_{(t_{-w(\mu)})_0}(-\lambda_w)$

Théorème B (Théorème 5.13)

1. Il existe une bijection: $M^{a_{IP}}_\mu(\lambda) \xrightarrow{\sim} \text{Irred}_{\langle\rho,\mu+\lambda\rangle}(K_P t^\lambda K/K \cap K t^\mu K/K)$
2. La multiplicité de branchement égale le nombre de marches d'alcôves de dimension maximale: $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda] = \#M^{a_{IP}}_\mu(\lambda)$

Points d'innovation technique

1. Technique de rétraction: Utilisation de l'application de rétraction $\rho_{I_P, \mathcal{A}}$ dans l'immeuble de Bruhat-Tits pour transformer le problème géométrique en problème combinatoire.
2. Éléments minimaux à droite par rapport à $W_0$: Introduction de $(t_{-w(\mu)})_0$ comme élément minimal à droite par rapport à $W_0$ dans la classe latérale $t_{-w(\mu)}W_0$, simplifiant l'analyse des types de marches d'alcôves.
3. Bornes de dimension: Démonstration de la borne supérieure de dimension $\langle\rho, \mu+\lambda\rangle$ et caractérisation des conditions pour atteindre la dimension maximale.

Configuration expérimentale

Exemple de type $A_2$

Considérons $G = GL_3$, $P = B$ (sous-groupe de Borel), $\mu = (3,1,0)$, orbites de poids:

• $\lambda_1 = (1,1,2)$
• $\lambda_2 = (2,1,1)$
• $\lambda_3 = (1,2,1)$

Résultats de calcul

Pour chaque $\lambda_i$, on trouve toutes les marches d'alcôves $a_U$-positivement repliées de dimension maximale:

Cas de $-\lambda_1$:

• Type $s_{012}\tau$: dimension $(A^1_k)^0 \times (A^1_k - A^0_k)^2$
• Type $s_{1012}\tau$: dimension $(A^1_k)^1 \times (A^1_k - A^0_k)^1$

Calcul similaire pour $\lambda_2, \lambda_3$, chacun ayant 2 marches d'alcôves de dimension maximale, en accord avec la multiplicité connue $\dim V^{GL_3}_\mu(\lambda_i) = 2$.

Résultats expérimentaux

Résultats principaux

1. Vérification de la formule de dimension: Toutes les dimensions de marches d'alcôves calculées satisfont la borne supérieure $\langle\rho, \mu+\lambda\rangle$.
2. Calcul des multiplicités: Dans l'exemple de type $A_2$, le nombre de marches d'alcôves correspondant à chaque poids $\lambda_i$ égale exactement la multiplicité 2.
3. Analogie PRV: Démonstration de l'analogie PRV pour le branchement aux sous-groupes de Levi (Proposition 5.18): Si $\lambda \in W\mu \cap X_*(T)^{+M}$, alors $[V^{\hat{G}}_\mu : V^{\hat{M}}_\lambda] = 1$.

Vérification de l'algorithme

Par le nouvel algorithme donné au Théorème 5.16, on peut calculer efficacement:

• Les multiplicités de poids des représentations
• Les multiplicités de branchement
• Les multiplicités de produits tensoriels

Travaux connexes

Travaux antérieurs principaux

1. Gaussent-Littelmann GL05: Description des intersections MV utilisant la théorie des galeries; les marches d'alcôves du présent article sont des cas particuliers de leurs galeries positivement repliées.
2. Ram Ram06: Théorie algébrique des marches d'alcôves; le Théorème B du présent article peut être vu comme une spécialisation en $q=1$ de certains de ses résultats.
3. Kapovich-Leeb-Millson KLM08: Utilisation des chemins de Hecke pour étudier les multiplicités de produits tensoriels; le présent article fournit un analogue purement basé sur les marches d'alcôves.

Avantages du présent travail

1. Cadre unifié: Traitement simultané des cas classique et parabolique.
2. Description explicite: Fourniture d'une description combinatoire complètement explicite.
3. Utilité algorithmique: Fourniture d'algorithmes calculables.

Conclusions et discussion

Conclusions principales

1. Établissement d'un modèle complet de marches d'alcôves pour les intersections paraboliques de Mirković-Vilonen.
2. Démonstration d'une correspondance précise entre les objets géométriques (composantes irréductibles) et les objets combinatoires (marches d'alcôves).
3. Fourniture de nouvelles formules combinatoires pour les multiplicités de branchement.

Limitations

1. Limitations techniques: Nécessité de conditions sur $\mu - \lambda$ dans le réseau des coracines.
2. Complexité computationnelle: Pour les groupes de rang élevé, l'énumération des marches d'alcôves peut devenir complexe.
3. Compréhension géométrique: La relation précise avec la méthode des galeries de Gaussent-Littelmann n'est pas encore complètement élucidée.

Directions futures

1. Établissement d'une bijection explicite avec les galeries de GL05.
2. Généralisation aux variétés de drapeaux affines plus générales.
3. Étude de la relation avec la conjecture de saturation généralisée.

Évaluation approfondie

Points forts

1. Profondeur théorique: Combinaison organique de la théorie géométrique profonde avec les méthodes combinatoires.
2. Innovation technique: Application ingénieuse des techniques de rétraction et des marches d'alcôves.
3. Valeur pratique: Fourniture de nouveaux outils pour les calculs en théorie des représentations.
4. Complétude: Complétude allant des énoncés de théorèmes aux exemples concrets.

Insuffisances

1. Lisibilité: Pour les non-spécialistes, l'abondance de détails techniques peut présenter des difficultés de compréhension.
2. Efficacité computationnelle: Absence de discussion sur l'analyse de complexité des algorithmes.
3. Généralité: Certains résultats ont des conditions de généralisation plutôt restrictives.

Impact

1. Valeur académique: Fourniture de nouvelles perspectives pour la recherche interdisciplinaire entre la théorie des représentations des groupes algébriques et la géométrie affine.
2. Perspectives d'application: Applications potentielles dans le programme de Langlands local et l'étude des variétés de Shimura.
3. Signification méthodologique: Le développement systématique de la méthode des marches d'alcôves est source d'inspiration pour les domaines connexes.

Domaines d'application

1. Étude de la théorie des représentations des groupes réductifs déployés
2. Analyse géométrique de la Grassmannienne affine
3. Calcul des multiplicités de branchement et des multiplicités de produits tensoriels
4. Théorie des algèbres de Hecke affines

Références

L'article contient 18 références importantes couvrant les travaux classiques dans les domaines clés de l'équivalence de Satake géométrique, de la théorie des marches d'alcôves et de la théorie des immeubles, fournissant une base théorique solide pour la recherche.