The Image of Functor Morphing

1. Problématique et Contexte

L'article s'inscrit dans l'étude de la théorie des représentations des groupes d'automorphismes de modules finis sur des anneaux finis, notés $\text{Aut}_R(M)$.

• Contexte : La théorie des représentations de groupes comme $\text{GL}_n(\mathcal{O}/\pi^l)$ (où $\mathcal{O}$ est un anneau de valuation discrète) est fondamentale. Une technique récente, appelée « morphisme de foncteurs » (functor morphing), introduite par Crisp, Onn et Meir, permet de traduire les représentations irréductibles de $\text{Aut}_R(M)$ en représentations de groupes d'automorphismes de foncteurs dans une catégorie abélienne.
• Le Problème : Bien que le morphisme de foncteurs réduise la complexité numérique et établisse une stratification de l'ensemble des représentations irréductibles $\text{Irr}(\text{Aut}_R(M))$, une question fondamentale restait ouverte : quelles représentations irréductibles du groupe d'automorphismes du foncteur ($\text{Aut}(F)$) apparaissent réellement comme images de ce morphisme ? Autrement dit, quel est le critère exact pour qu'une représentation de $\text{Aut}(F)$ provienne d'une représentation de $\text{Aut}_R(M)$ ?

2. Méthodologie

L'auteur développe une approche combinatoire et homologique basée sur la structure des foncteurs et l'action de sous-groupes spécifiques.

• Cadre Catégorique : Soit $M = \bigoplus M_i^{a_i}$ la décomposition de $M$ en modules indécomposables non isomorphes. On considère la sous-catégorie additive $\mathcal{C}$ engendrée par les $M_i$. Le morphisme de foncteurs associe à une représentation $V$ de $\text{Aut}_R(M)$ un foncteur additif $F: \mathcal{C} \to \text{Ab}$ et une représentation $\tilde{V}$ de $\text{Aut}(F)$.
• Présentations Minimales : L'analyse repose sur les présentations minimales des foncteurs. Un foncteur $F$ admet une présentation minimale si l'on a une résolution exacte :
  $$\text{Hom}_R(Y, -) \xrightarrow{f^*} \text{Hom}_R(X, -) \to F \to 0$$
  où $X$ et $Y$ sont des objets de $\mathcal{C}$.
• Redondance et Relations Linéaires : L'article introduit la notion de foncteur $M$-redondant. Un foncteur $F$ est $M$-redondant si son espace de valeurs $F(M)$ est généré par ses sous-foncteurs propres. L'auteur établit un lien crucial : $F$ est $M$-redondant si et seulement si le terme $X$ de sa présentation minimale n'est pas un facteur direct de $M$.
• Analyse des Relations dans les Espaces Hom : En étudiant les relations linéaires entre les éléments $T_H$ (liés aux sous-foncteurs) dans l'algèbre d'endomorphismes, l'auteur identifie que le noyau de l'application de morphisme de foncteurs est généré par des idempotents associés à des sous-foncteurs semi-simples $G$ dont le « noyau projectif » $Z_G$ n'est pas un facteur direct du reste de la décomposition de $M$.
• Sous-groupes Paraboliques : La condition d'appartenance à l'image est reformulée en termes d'annulation de l'espace des invariants sous l'action de sous-groupes spécifiques $P_G \subset \text{Aut}(F)$, définis comme les automorphismes $\phi$ tels que $\text{Im}(\phi - \text{Id}_F) \subseteq G$. Ces groupes jouent un rôle analogue aux sous-groupes paraboliques.

3. Contributions Clés et Résultats Principaux

Le résultat central de l'article est un critère nécessaire et suffisant pour qu'une représentation soit dans l'image du morphisme de foncteurs.

Théorème Principal (Théorème 1.2 / 4.12)

Soit $M = X \oplus Z$ et $F$ un foncteur avec une présentation minimale $(X \xrightarrow{f} Y)$. Une représentation irréductible $V$ de $\text{Aut}(F)$ provient du morphisme de foncteurs d'une représentation de $\text{Aut}_R(M)$ si et seulement si la condition suivante est satisfaite :

Pour tout sous-foncteur semi-simple $G \subseteq F$ tel que l'objet $Z_G$ (défini par $\text{Hom}_R(Z_G, -)$ étant le revêtement projectif de $G$) n'est pas un facteur direct de $Z$, on a :
$$\text{Hom}_{P_G}(1, V) = 0$$
Cela signifie que $V$ ne doit contenir aucun vecteur invariant sous l'action du sous-groupe $P_G$.

Corollaires Importants

1. Condition d'Exhaustivité : Toutes les représentations irréductibles de $\text{Aut}(F)$ proviennent du morphisme de foncteurs si et seulement si la représentation triviale de $\text{Aut}(F)$ provient d'une telle représentation. Cela équivaut à dire que pour tout sous-foncteur semi-simple $G$, si son revêtement projectif est $\text{Hom}(X_1, -)$, alors $X_1$ doit être un facteur direct de $Z$.
2. Structure de l'Image : L'image est caractérisée par l'annulation de certains invariants par rapport à des sous-groupes paraboliques associés aux « obstructions » structurelles (les $Z_G$ non incluss dans $Z$).

4. Applications et Exemples Concrets

L'auteur applique ces résultats théoriques à deux familles de groupes :

A. Les groupes linéaires généraux $\text{GL}_n(\mathbb{F}_q)$

• Dans ce cas, les foncteurs correspondent aux espaces vectoriels. Le critère se traduit par une condition sur les partitions de Zelevinsky.
• Une représentation de $\text{GL}_m(\mathbb{F}_q)$ provient de $\text{GL}_n(\mathbb{F}_q)$ si et seulement si, dans sa décomposition en composantes cuspidales, la longueur de la première ligne de la partition associée à la composante cuspidale triviale est strictement inférieure à $n - m + 1$.
• Cela relie le morphisme de foncteurs à la structure d'algèbre de Hopf auto-adjointe positive (PSH-algèbre) de Zelevinsky.

B. Les groupes de Borel $B_n(\mathbb{F}_q)$ (Matrices triangulaires supérieures)

• C'est l'application la plus novatrice. Le problème est traduit en un critère combinatoire sur les intervalles $[a, b]$ de l'ensemble $\{1, \dots, n\}$.
• Les foncteurs indécomposables correspondent aux intervalles $[a, b]$. Une représentation provient du morphisme de foncteurs si et seulement si :
  1. Les intervalles sont disjoints deux à deux (pas de chevauchement des indices de début ou de fin).
  2. Pour tout intervalle $[a, b]$ tel que $a=b$ (singleton), la représentation agit de manière non triviale sur le sous-groupe multiplicatif $\mathbb{F}_q^\times$.
  3. Pour tout couple d'intervalles $[a, b]$ et $[c, d]$ tels que $a=d$ (intersection en un point), la représentation agit de manière non triviale sur le sous-groupe additif $\mathbb{F}_q$ correspondant.
• Nouveau dénombrement : Pour $n \le 4$, l'auteur utilise ce critère pour énumérer explicitement les représentations irréductibles de $B_n(\mathbb{F}_q)$ qui apparaissent dans l'image. Cela fournit une nouvelle perspective sur la conjecture de Higman (1960) concernant le nombre de classes de conjugaison du radical unipotent $U_n(\mathbb{F}_q)$, suggérant des liens profonds entre l'énumération des représentations et cette conjecture.

5. Signification et Impact

• Résolution d'un problème ouvert : L'article fournit la première caractérisation explicite et complète de l'image du morphisme de foncteurs, passant d'une construction existentielle à un critère vérifiable.
• Outil de réduction : Il offre une méthode systématique pour réduire l'étude des représentations de groupes d'automorphismes complexes (comme les groupes de Borel sur des anneaux d'entiers) à des problèmes combinatoires sur des foncteurs et des sous-groupes paraboliques.
• Lien avec la Conjecture de Higman : En appliquant la technique aux groupes de Borel, l'article ouvre une nouvelle voie pour étudier la conjecture de Higman sur le nombre de classes de conjugaison, en reliant ce problème à la théorie des représentations via le morphisme de foncteurs.
• Généralité : Bien que les exemples soient sur des corps finis, la méthode est formulée pour des anneaux finis généraux, ce qui en fait un outil puissant pour la théorie des représentations des groupes finis de type linéaire.

En résumé, ce papier établit un pont rigoureux entre la théorie des catégories, l'algèbre homologique et la théorie des représentations des groupes finis, offrant un critère opérationnel pour déterminer quelles représentations sont « accessibles » via le morphisme de foncteurs.