Invariants for $\mathbb G_{(r)}$-modules

Informations fondamentales

• ID de l'article: 2505.08094
• Titre: Invariants for $\mathbb G_{(r)}$-modules
• Auteur: Eric M. Friedlander
• Classification: math.RT (Théorie des représentations)
• Date de publication: 16 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2505.08094

Résumé

Cet article réexamine les invariants fins des représentations de dimension finie du schéma de groupe infinitésimal $\mathbb G_{(r)}$ sur un corps $k$ de caractéristique $p>0$, construits antérieurement par J. Pevtsova et l'auteur. L'accent est mis sur la considération des opérateurs $p$-nilpotents génériques comme éléments de l'algèbre de groupe du schéma de groupe $\mathbb G_{(r),X}$ sur $X$, où $X$ est l'espace de modules $V_r(\mathbb G)$ des sous-groupes à 1-paramètre de hauteur $r$ de $\mathbb G$, ou l'espace de modules $\mathcal C_r(\mathcal N_p(\mathfrak g))$ des $r$-uplets d'éléments $p$-nilpotents mutuellement commutants dans l'algèbre de Lie de $\mathbb G$.

Contexte et motivation de la recherche

Contexte du problème

1. Développement de la théorie du support: Cet article utilise les méthodes et résultats de la théorie du support pour étudier les invariants explicites des modules de dimension finie pour les schémas de groupes infinitésimaux spécifiques, ce qui contraste avec les travaux antérieurs utilisant la théorie du support pour établir les propriétés catégoriques des représentations de groupes finis.
2. Étude approfondie de la fonction de type Jordan: L'auteur poursuit l'étude de la « fonction de type Jordan » introduite antérieurement avec J. Pevtsova, qui fournit une application continue de l'ensemble des points schématiques des sous-groupes à 1-paramètre de hauteur $r$ vers l'ensemble partiellement ordonné des diagrammes de Young à $p$ colonnes.
3. Accessibilité computationnelle: Les fonctions de type Jordan existantes sont relativement complexes sur le plan computationnel, nécessitant le développement de variantes plus faciles à calculer.

Motivation de la recherche

1. Invariants plus fins: Comparée à la théorie du support cohomologique $M \mapsto P_{H^*(G_{(r)},k)}M$, la fonction de type Jordan $M \mapsto JT_{G,r,M}(-)$ capture davantage d'informations sur le $G_{(r)}$-module $M$.
2. Traitement spécial des groupes exponentiels: Pour les groupes exponentiels, les sous-groupes à 1-paramètre peuvent être décrits plus explicitement par les éléments $p$-nilpotents dans l'algèbre de Lie, simplifiant ainsi les calculs.

Contributions principales

1. Formalisation de la fonction de type Jordan: Formalisation de la fonction de type Jordan utilisant plusieurs variantes de fonctions continues $JT_{G,r,M}(-): \mathbb P V_r(\mathbb G) \to \mathcal Y$, où $\mathcal Y$ est l'ensemble partiellement ordonné des diagrammes de Young à $p$ colonnes.
2. Type Jordan exponentiel simplifié: Introduction d'une fonction de type Jordan exponentiel $JT^{\exp}_{g,r,M}(-)$ plus facile à calculer, particulièrement adaptée aux schémas de groupes exponentiels.
3. Extension de la construction de fibrés vectoriels: Extension de la construction de fibrés vectoriels antérieure de Pevtsova et l'auteur à tous les $G_{(r)}$-modules de dimension finie, produisant des faisceaux cohérents localement libres sur les strates associées à $JT_{G,r,M}(-)$.
4. Correction des résultats de stabilisation: Correction d'une petite erreur dans les travaux antérieurs concernant la stabilisation de la fonction de type Jordan par rapport à $r$.

Détails méthodologiques

Concepts et définitions fondamentaux

Définition du type Jordan

Pour un $k[t]/t^p$-module $M$, son type Jordan $a = (a_1, \ldots, a_p) \in \mathbb{N}^{\times p}$ est déterminé par le nombre $a_i$ de blocs de Jordan de taille $i$ dans la forme normale de Jordan de la matrice $\rho_M(t)$.

Opérateur $p$-nilpotent générique

Pour un schéma de groupe affine $G$ et un entier positif $r$, le sous-groupe à 1-paramètre générique $U_{G,r}: G_{a(r),k[V_r(G)]} \to G_{(r),k[V_r(G)]}$ induit l'opérateur $p$-nilpotent générique $\Theta_{G,r} = (U_{G,r})_*(1 \otimes u_{r-1}) \in k[V_r(G)] \otimes kG_{(r)}$

Schémas de groupes exponentiels

Structure exponentielle

Un schéma de groupe $G$ muni d'une structure exponentielle de hauteur $r$ signifie qu'il existe un morphisme $E^{(r)}: G_{a(r)} \times \mathcal{N}_p(g) \to G_{(r)}$ satisfaisant certaines conditions de commutativité et d'homogénéité.

Opérateur simplifié

Pour un groupe exponentiel, on définit $\Theta^{\exp}_{g,r} = \sum_{s=0}^{r-1} \Theta_{g,r|s} \in k[C_r(\mathcal{N}_p(g))] \otimes kG_{(r)}$ qui est une linéarisation de l'opérateur original $\Theta_{g,r} = \prod_{s=0}^{r-1} \Theta_{g,r|s}$.

Continuité de la fonction de type Jordan

Théorème: Pour un $G_{(r)}$-module de dimension finie $M$, la fonction $JT_{G,r,M}(-): \text{Spec}A \to \mathcal{Y}$ est continue, où $A$ est une $k$-algèbre commutative noethérienne.

La preuve repose sur le lemme de Nakayama et la semi-continuité inférieure du type Jordan.

Points d'innovation technique

1. Structure géométrique stratifiée

L'article établit une structure stratifiée de $\mathbb{P}V_r(G)$, où chaque strate est déterminée par l'ensemble de niveau de la fonction de type Jordan: $(PV_r(G))_{M,=a} = \{x : JT_{G,r,M}(x) = a\}$ Ces strates sont des ensembles localement fermés, formant une stratification ordonnée par les diagrammes de Young.

2. Justification de la simplification exponentielle

Un résultat clé montre que pour l'étude des variétés de support, $\Theta_{g,r}$ et $\Theta^{\exp}_{g,r}$ donnent les mêmes informations:

Proposition: Soit $M$ un $G_{(r)}$-module de dimension finie et $a$ le type Jordan maximal de $M$. Pour tout $B \in C_r(\mathcal{N}_p(g))$, $JT(\Theta^{\exp}_{g,r,B}, k(B) \otimes M) = a \iff JT(\Theta_{g,r,B}, k(B) \otimes M) = a$

3. Équivalence $A^1$-homotopique de fibrés vectoriels

Pour les modules de type Jordan constant, les fibrés vectoriels construits en utilisant $\Theta_{g,r}$ et $\Theta^{\exp}_{g,r}$ sont $A^1$-homotopiquement équivalents.

Résultats expérimentaux et exemples

Exemple 1: Cas de $SL_2$

Pour $G = SL_2$, considérons le $G$-module irréductible $M = S(\lambda_0) \otimes S(\lambda_1)^{(1)}$, où $0 \leq \lambda_0, \lambda_1 < p$.

Calcul de $JT^{\exp}_{sl_2,2,M}(B)$, où $B = (a_0E, a_1E)$, $E$ étant la matrice nilpotente standard:

• Si $a_0 \neq 0, a_1 = 0$: type Jordan $m \cdot [n]$
• Si $a_0 = 0, a_1 \neq 0$: type Jordan $n \cdot [m]$
• Si $a_0, a_1$ sont tous deux non nuls: type Jordan $[m] \otimes [n]$

où $m = \lambda_0 + 1$, $n = \lambda_1 + 1$.

Exemple 2: Représentations polynomiales de $GL_N$

Pour la $i$-ième torsion de Frobenius $V^{(i)}$ d'une représentation polynomiale de degré $< p$ de $GL_N$: $JT^{\exp}_{gl_N,r,V^{(i)}}(B) = JT(B_s, V)$ où $s = r - i - 1$, $B = (B_0, \ldots, B_{r-1})$.

Travaux connexes

Développement de la théorie du support

• Collaboration de Suslin, Bendel et l'auteur établissant la théorie du support remplaçant les variétés cohomologiques par les variétés de sous-groupes à 1-paramètre
• Travaux antérieurs de Pevtsova et l'auteur établissant les invariants fins et les constructions de fibrés vectoriels
• Travaux de Carlson sur les décalages cycliques de sous-groupes dans l'identification des variétés de support des modules $(Z/p)^{\times r}$

Théorie du type Jordan

• Développement de la théorie des modules de type Jordan constant
• Catégories exactes de modules de type Jordan constant par Carlson-Friedlander
• Théorème de réalisation de modules de type Jordan constant et fibrés vectoriels par Benson-Pevtsova

Conclusions et discussion

Conclusions principales

1. Établissement d'un cadre théorique complet pour la fonction de type Jordan, incluant la continuité, la fonctorialité et les relations avec les variétés de support
2. Fourniture d'une version simplifiée computationnellement plus traitable pour les groupes exponentiels
3. Extension de la construction de fibrés vectoriels à tous les modules de dimension finie, produisant des faisceaux cohérents localement libres sur les strates

Limitations

1. La simplification exponentielle s'applique uniquement aux schémas de groupes exponentiels
2. Pour $r > 1$, la fonction de type Jordan commute rarement avec le produit tensoriel
3. Certains calculs restent difficiles, particulièrement ceux impliquant les types Jordan de sommes d'opérateurs nilpotents mutuellement commutants

Directions futures

1. Étude des propriétés de stabilisation de la fonction de type Jordan
2. Développement de méthodes de calcul plus efficaces
3. Exploration des connexions avec d'autres invariants en géométrie algébrique
4. Étude des propriétés supplémentaires des faisceaux cohérents stratifiés

Évaluation approfondie

Avantages

1. Complétude théorique: Fournit un cadre théorique complet pour la fonction de type Jordan, incluant les propriétés fondamentales de continuité et de fonctorialité
2. Accessibilité computationnelle: La simplification exponentielle rend les calculs pratiques possibles
3. Perspectives géométriques: Établit des connexions profondes entre la théorie des représentations et la géométrie algébrique
4. Innovation technique: Extension de la construction de fibrés vectoriels et établissement de structures stratifiées

Insuffisances

1. Limitation du domaine d'application: De nombreux résultats s'appliquent uniquement aux groupes exponentiels
2. Complexité computationnelle: Malgré les simplifications, certains calculs restent difficiles
3. Exemples relativement peu nombreux: Pourrait bénéficier de plus d'exemples de calculs concrets

Impact

Cet article fournit des outils géométriques importants pour la théorie des représentations des schémas de groupes infinitésimaux, et devrait avoir un impact significatif dans le domaine interdisciplinaire reliant la théorie des représentations des groupes algébriques, la géométrie algébrique et l'algèbre homologique.

Domaines d'application

• Recherche en théorie des représentations des groupes algébriques
• Analyse géométrique des catégories de modules
• Applications de la théorie des variétés de support
• Problèmes de classification des fibrés vectoriels

Références

L'article cite les références fondamentales du domaine, incluant:

• Travaux de Suslin, Friedlander et Bendel sur les sous-groupes à 1-paramètre infinitésimaux et la cohomologie
• Recherches de Friedlander et Pevtsova sur le π-support et les variétés de support généralisées
• Travaux classiques de Carlson sur les variétés de modules et les anneaux cohomologiques
• Références standard en géométrie algébrique concernant les espaces projectifs pondérés et les faisceaux cohérents