Reduction rules for Demazure modules

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des représentations des groupes algébriques réductifs complexes. Plus précisément, il abore les problèmes de branchement, qui consistent à comprendre comment une représentation d'un groupe $G$ se restreint à un sous-groupe $G'$.

Le focus est mis sur une sous-classe spécifique de ces problèmes : les règles de réduction. Ces règles établissent des égalités permettant de calculer une quantité (comme une multiplicité de poids ou une dimension) pour une représentation de $G$ en la réduisant à une quantité analogue pour une représentation d'un sous-groupe plus petit, souvent un sous-groupe de Levi $L \subset G$.

L'objet d'étude central est le module de Demazure $V_w^\lambda$, associé à un poids dominant $\lambda$ et un élément $w$ du groupe de Weyl $W$. Ces modules sont des sous-modules de la représentation irréductible de plus haut poids $V_\lambda$, générés par l'action de l'algèbre de Lie du sous-groupe de Borel $B$ sur un vecteur de poids extremal.

Le problème principal est de déterminer des conditions sur les poids $\mu$ tels que la multiplicité $\dim V_w^\lambda(\mu)$ puisse être calculée via un module de Demazure d'un sous-groupe de Levi, plutôt que de devoir traiter le module complet de $G$.

2. Méthodologie

Les auteurs combinent trois approches principales pour établir leurs résultats :

1. Géométrie Convexe et Polytopes de Poids :

   • Ils utilisent la structure des polytopes de poids de Demazure $P_w^\lambda$, définis comme l'enveloppe convexe des poids du module $V_w^\lambda$.
   • Une propriété clé, établie dans leurs travaux antérieurs ([3], [4]), est que les faces de ces polytopes correspondent elles-mêmes à des polytopes de poids pour des sous-groupes de Levi.
   • La localisation d'un poids $\mu$ sur une face spécifique $F(v, \eta)$ du polytope $P_w^\lambda$ (définie par un coweignt dominant $\eta$ et un représentant de coset minimal $v$) sert de critère pour la réduction.

2. Géométrie Algébrique et Théorie GIT (Invariant Geometric Theory) :

   • L'article s'inspire des techniques de Roth pour les coefficients de Littlewood-Richardson.
   • Ils utilisent des plongements fermés de variétés de Schubert associées à un sous-groupe de Levi $L$ dans la variété de Schubert de $G$.
   • L'analyse des fibrés en droines et des sections globales sur ces variétés permet de relier les espaces de poids.

3. Théorie Combinatoire du Groupe de Weyl :

   • Utilisation du produit de Demazure ($*$) et de l'ordre de Bruhat.
   • Application des opérateurs de Demazure ($D_i$) et de la formule des caractères pour manipuler les multiplicités de poids.
   • Utilisation de l'induction sur la longueur des éléments du groupe de Weyl.

3. Contributions Clés et Résultats Principaux

Le résultat central de l'article est le Théorème 1.1 (reformulé comme Théorème 3.8), qui énonce une règle de réduction précise.

Énoncé du Théorème de Réduction :
Soit $V_w^\lambda$ un module de Demazure pour un groupe $G$. Soit $\mu$ un poids appartenant à une face $F(v, \eta)$ du polytope de poids associé $P_w^\lambda$. Alors, la multiplicité de $\mu$ dans $V_w^\lambda$ est égale à sa multiplicité dans un module de Demazure d'un sous-groupe de Levi conjugué :
$$\dim V_w^\lambda(\mu) = \dim V_{w_L}^{\lambda_L}(\mu)$$

Définitions des paramètres de réduction :

• $L_\eta$ : Le sous-groupe de Levi standard déterminé par le coweignt dominant $\eta$.
• $L$ : Le sous-groupe de Levi conjugué par $v$ ($L = \dot{v} L_\eta \dot{v}^{-1}$).
• $w_L$ et $\lambda_L$ : Des éléments du groupe de Weyl et un poids calculés explicitement à partir de $w, \lambda, v$ et $\eta$ via le produit de Demazure et l'action du groupe de Weyl.
• $V_{w_L}^{\lambda_L}$ : Le module de Demazure pour le sous-groupe de Borel $B_L \subset L$.

Démonstration en deux étapes :
La preuve du théorème est divisée en deux parties distinctes (Sections 4 et 5) :

1. Étape 1 (Géométrie) : Établir l'égalité $\dim V_{w_L}^{\lambda_L}(\mu) = \dim V_q^\lambda(\mu)$, où $V_q^\lambda$ est un module de Demazure "intermédiaire" pour $G$ (avec $q \le w$).

   • Méthode : Utilisation d'un plongement fermé $i: X_{w_L}^L \hookrightarrow X_q$ de la variété de Schubert du Levi dans celle de $G$.
   • Argument : En étudiant les sections globales des fibrés en droines et en utilisant la surjectivité des applications de restriction sur les espaces de poids spécifiques (ceux situés sur la face), ils montrent que l'injection est en fait un isomorphisme sur les composantes isotypiques de poids $\mu$.

2. Étape 2 (Combinatoire) : Établir l'égalité $\dim V_q^\lambda(\mu) = \dim V_w^\lambda(\mu)$.

   • Méthode : Utilisation des opérateurs de Demazure et de la structure des chaînes de poids ($\alpha_i$-strings).
   • Argument : Ils montrent que pour un poids $\mu$ sur la face $F(v, \eta)$, la multiplicité est invariante sous l'action de l'élément $v^{-1}$ qui "ramène" le poids vers une face plus simple (correspondant à $v=e$). Par récurrence sur la longueur de $v$, ils prouvent que la multiplicité ne change pas lorsqu'on passe de $q$ à $w$.

4. Signification et Impact

• Unification des règles de réduction : Ce travail généralise des règles de réduction connues (comme celles pour les nombres de Kostka ou les coefficients de Littlewood-Richardson) au contexte des modules de Demazure.
• Réduction de complexité : Il permet de calculer des multiplicités de poids complexes pour un groupe de rang élevé en les réduisant à des calculs pour des sous-groupes de Levi de rang inférieur, ce qui est algorithmiquement et conceptuellement plus simple.
• Lien Géométrie-Combinatoire : L'article renforce le lien profond entre la géométrie des faces des polytopes de Demazure (théorie GIT) et la structure combinatoire des modules de Demazure (opérateurs de Demazure, produit de Demazure).
• Applications potentielles : Ces règles peuvent être utiles pour l'étude des blocs conformes, des variétés de Schubert, et pour des algorithmes de calcul effectif en théorie des représentations.

En résumé, Besson, Jerards et Kiers fournissent un cadre rigoureux et constructif pour réduire le calcul des multiplicités de poids dans les modules de Demazure à des problèmes sur des sous-groupes de Levi, en exploitant la géométrie convexe des polytopes de poids et la géométrie des variétés de Schubert.