Résumé Technique : Un critère de l'orbite ouverte gloutonne pour les actions de groupes algébriques résolubles

1. Énoncé du Problème

L'article traite de deux problèmes principaux dans la théorie des représentations des groupes algébriques et la géométrie des variétés nilpotentes :

1. Le Problème Général : Étant donné un groupe algébrique connexe résoluble $G$ agissant rationnellement sur un espace vectoriel de dimension finie $U$, déterminer si $U$ admet une orbite ouverte (dense) $G$ (c'est-à-dire si $U$ est un espace vectoriel préhomogène, ou PVS). Si une telle orbite existe, l'article cherche à construire un vecteur possédant une orbite ouverte qui a la cardinalité de support minimale et à caractériser le stabilisateur générique.
2. L'Application Spécifique : Appliquer ce critère à l'action du groupe d'automorphismes $\text{Aut}_Q(M)$ sur le dual de l'espace d'extension $\text{Ext}^1_Q(M, M)^*$, où $M$ est une représentation sans multiplicité d'un quiver de Dynkin $Q$. L'objectif est de fournir un algorithme combinatoire et d'algèbre linéaire pour décider de la rigidité de la composante irréductible correspondante de la variété nilpotente de Lusztig $\Lambda(V)$. Une composante est rigide si elle contient une orbite ouverte.

2. Méthodologie

2.1. La Procédure Gloutonne de Succès-Quotient Successif

La contribution méthodologique centrale est un algorithme « glouton » qui opère sur un drapeau complet $G$-stable.

• Configuration : Par le théorème de Lie–Kolchin, il existe un drapeau complet $U = V_0 \supset V_1 \supset \dots \supset V_d = 0$ de sous-modules $G$. Une base de vecteurs propres $e_1, \dots, e_d$ est choisie telle que $e_i \in V_{i-1} \setminus V_i$, avec des caractères associés $\chi_i \in X^*(T)$ (où $T$ est un tore maximal).
• L'Algorithme : La procédure itère à travers $k = 1, \dots, d$. À chaque étape, elle maintient un ensemble d'indices « actifs » $\Phi_{k-1}$.
  • Décision : Elle vérifie si l'orbite $G$ d'un vecteur avec support $\Phi_{k-1}$ est dense modulo $V_k$.
  • Activation : Si l'orbite n'est pas dense modulo $V_k$, l'indice $k$ est ajouté à l'ensemble actif ($\Phi_k = \Phi_{k-1} \cup \{k\}$).
  • Condition d'Arrêt : Si l'ajout de $k$ rend l'ensemble des caractères $\{\chi_i : i \in \Phi_k\}$ $\mathbb{Z}$-dépendant, la procédure s'arrête.
  • Continuation : Si les caractères restent indépendants, le processus continue.
• Résultat :
  • Succès : Si la procédure complète toutes les étapes, l'ensemble $\Phi$ résultant définit un vecteur avec une orbite ouverte. La taille de $\Phi$ est la cardinalité de support minimale pour de tels vecteurs.
  • Échec : Si la procédure s'arrête, aucune orbite ouverte n'existe.
• Version Infinitésimale : Une variante d'algèbre linéaire est formulée pour détecter des orbites ouvertes séparables. Elle remplace la vérification de densité géométrique par un test de rang sur les différentielles des applications d'action et vérifie l'indépendance linéaire des différentielles des caractères dans l'algèbre de Lie duale.

2.2. Application aux Variétés Nilpotentes de Lusztig

L'article applique la procédure générale au contexte spécifique des quivers de Dynkin :

• Contexte : Soit $M$ un module sans multiplicité sur l'algèbre de chemin d'un quiver de Dynkin $Q$. Le groupe $G = \text{Aut}_Q(M)$ est résoluble. L'espace $E = \text{Ext}^1_Q(M, M)^*$ porte une action naturelle de $G$.
• Lien avec la Rigidité : La composante irréductible $Z_M$ de la variété nilpotente de Lusztig correspondant à $M$ est rigide si et seulement si $G$ possède une orbite dense sur $E$.
• Reformulation Combinatoire :
  • L'auteur construit une « base par blocs » pour $E$ adaptée à un ordre d'inclusion sur les paires de summands indécomposables $(i, j)$ où $\text{Ext}^1(M_i, M_j) \neq 0$.
  • Les caractères de l'action du tore sur ces blocs correspondent à des différences de poids $\epsilon_i - \epsilon_j$.
  • La condition d'arrêt (dépendance linéaire des caractères) se traduit de manière combinatoire : la procédure s'arrête si et seulement si l'ensemble des coordonnées d'extension actives forme un cycle dans un graphe dont les sommets sont les summands indécomposables.
  • Ainsi, la rigidité est équivalente à l'existence d'une « forêt » de coordonnées d'extension actives qui satisfait une condition de rang.

2.3. Spécialisation au Type A

Pour les quivers de type $A_m$ équiorientés, le problème est encodé en utilisant des matrices d'incidence.

• Les modules sans multiplicité correspondent à des multisegments, qui peuvent être représentés par des matrices d'incidence (matrices 0-1).
• La rigidité de la composante est déterminée en exécutant la procédure gloutonne sur la matrice d'incidence.
• L'ensemble actif $\Phi$ correspond à une forêt sur l'ensemble des « uns » de la matrice.
• L'article fournit un algorithme explicite utilisant la matrice $M(\lambda)$ (représentant l'application de commutateur) pour tester l'indépendance linéaire des lignes, effectuant ainsi efficacement le test de rang.

3. Contributions Clés et Résultats

3.1. Résultats Théoriques

• Théorème 1.1 & 2.4 : La procédure de succès-quotient successif gloutonne décide correctement l'existence d'une orbite ouverte pour toute représentation rationnelle d'un groupe algébrique connexe résoluble. En cas de succès, elle construit un vecteur avec un support minimal et identifie l'image du stabilisateur générique dans le quotient du tore maximal.
• Théorème 2.12 : La version infinitésimale (algèbre linéaire) de la procédure détecte correctement les orbites ouvertes séparables. En caractéristique zéro, cela coïncide avec la procédure au niveau du groupe.
• Théorème 3.4 : Pour un module de Dynkin sans multiplicité $M$, la composante $Z_M$ est rigide si et seulement si la procédure gloutonne sur $\text{Ext}^1_Q(M, M)^*$ réussit.
  • Critère Combinatoire : Le succès est équivalent au fait que les arêtes actives forment une forêt (graphe acyclique) sur l'ensemble des summands indécomposables.
  • Décomposition : Les composantes connexes de cette forêt active déterminent la décomposition indécomposable générique du $\Pi$-module correspondant (module de l'algèbre préprojective).

3.2. Résultats pour le Type A et les Matrices d'Incidence

• Théorème 4.4 & 4.5 : Un algorithme explicite est fourni pour les matrices d'incidence. La rigidité est équivalente au fait que la matrice $M(\lambda)$ (construite à partir de l'ensemble actif) possède un rang plein, et que l'ensemble actif forme une forêt.
• Théorème 4.12 : Pour les matrices de permutation (correspondant à des permutations lisses), la rigidité, la rigidité forte et la lissité de la permutation (évitant les motifs 4231 et 3412) sont des conditions équivalentes.
• Rigidité Forte : L'article définit un « PVS fort » et une « rigidité forte ». Il montre que pour les matrices d'incidence, la rigidité forte est vérifiée si et seulement si l'ensemble actif consiste précisément en les « couvertures » (covers) dans l'ordre d'inclusion.
• Données Empiriques : Le Tableau 1 présente le pourcentage de matrices d'incidence rigides et fortement rigides pour $n \le 10$ uns, montrant que bien que la plupart des petites matrices soient rigides, le pourcentage chute significativement à mesure que $n$ augmente.

4. Signification et Revendications

L'article revendique la signification suivante :

• Uniformité : Il fournit un algorithme uniforme, déterministe et efficace pour décider la préhomogénéité (existence d'orbites ouvertes) pour toute représentation rationnelle d'un groupe algébrique connexe résoluble, une classe qui inclut de nombreux cas non réductibles souvent difficiles à traiter.
• Réduction à la Combinatoire : Dans le contexte des variétés nilpotentes de Lusztig pour les quivers de Dynkin, le problème géométrique de la rigidité est réduit à un test de rang d'algèbre linéaire et à une simple condition de théorie des graphes (condition d'acyclicité/forêt).
• Aperçu Structurel : L'algorithme ne se contente pas de décider la rigidité ; il construit directement la décomposition indécomposable générique du $\Pi$-module associé à partir des composantes connexes de la forêt active.
• Indépendance de la Caractéristique : L'auteur note que pour le cas spécifique des matrices d'incidence avec jusqu'à 10 uns, le verdict de rigidité semble indépendant de la caractéristique du corps, car les tests de rang produisent des matrices unimodulaires sur $\mathbb{Z}$.
• Lien avec les Résultats Connus : Le papier récupère et renforce des résultats connus concernant les permutations lisses et les variétés de Schubert (Théorème 4.12), reliant la notion géométrique de rigidité à la notion combinatoire d'évitement de motifs.

L'article évite explicitement de prétendre que la méthode résout le problème de la rigidité pour des modules généraux (non sans multiplicité) ou pour des quivers non de Dynkin, notant que le cas sans multiplicité est le contexte spécifique où l'action du groupe résoluble permet cette approche basée sur le drapeau glouton. Il laisse également le critère combinatoire général pour les matrices d'incidence arbitraires comme un problème ouvert, proposant une conjecture concernant les sous-matrices isolées (secluded submatrices).