Generic representation theory of finite fields in nondescribing characteristic (Q488973)

Soient \(\mathbb{F}\) un corps fini de caractéristique \(p\) et \(K\) un anneau commutatif; notons \(\mathrm{Rep}(\mathbb{F};K)\) la catégorie des foncteurs des \(\mathbb{F}\)-espaces vectoriels de dimension finie vers les \(K\)-modules. Comme la théorie des représentations des groupes linéaires sur \(\mathbb{F}\), à laquelle elle est étroitement liée (N. Kuhn emploie d'ailleurs le terme de \textit{représentations génériques} dans sa série d'articles [\textit{N. J. Kuhn}, Am. J. Math. 116, No. 2, 327--360 (1994; Zbl 0813.20049); \(K\)-Theory 8, No. 4, 395--428 (1994; Zbl 0830.20065); \(K\)-Theory 9, No. 3, 273--303 (1995; Zbl 0831.20057)] consacrée à l'étude de \(\mathrm{Rep}(\mathbb{F};K)\) dans le cas \(K=\mathbb{F}\)), le comportement de cette catégorie diffère profondément selon que \(K\) est de caractéristique \(p\) (dit d'\textit{équicaractéristique}) ou que \(p\) est inversible dans \(K\). Le cas d'équicaractéristique a été, de loin, le plus étudié. En effet, on y dispose d'une notion féconde de \textit{foncteur polynomial} (voir par exemple l'article de synthèse [\textit{T. Pirashvili}, in: Séminaire Bourbaki. Volume 1999/2000. Exposés 865--879. Paris: Société Mathématique de France. 369--388, Exp. No. 877 (2002; Zbl 0999.19003)]) -- tandis que, lorsque \(p\) est inversible dans \(K\), seuls les foncteurs constants sont polynomiaux (voir par exemple la \textit{Proposition 3.3}) -- ; de plus, des liens profonds avec les modules instables sur l'algèbre de Steenrod ont été mis en évidence [\textit{H.-W. Henn} et al., Am. J. Math. 115, No. 5, 1053--1106 (1993; Zbl 0805.55011)]. N. Kuhn se penche ici sur le cas où \(p\) est inversible dans \(K\). En s'appuyant sur l'article [\textit{L. G. Kovács}, Proc. Am. Math. Soc. 116, No. 4, 911--919 (1992; Zbl 0765.16008)] qui étudie la \(K\)-algèbre \(K[M_n(\mathbb{F})]\) des monoïdes de matrices \(M_n(\mathbb{F})\) (dont il montre l'isomorphisme avec un produit direct d'algèbres de groupes du type \(\mathrm{GL}_i(\mathbb{F})\) avec \(i\leq n\)), l'auteur montre que \(\mathrm{Rep}(\mathbb{F};K)\) est alors équivalente au produit sur les entiers \(n\geq 0\) de la catégorie des \(K[\mathrm{GL}_n(\mathbb{F})]\)-modules. En particulier, si \(K\) est un corps de caractéristique nulle, \(\mathrm{Rep}(\mathbb{F};K)\) est semi-simple. L'article se clôt en notant l'analogie entre la décomposition obtenue et un résultat de décomposition classique (et plus facile combinatoirement) pour les foncteurs sur une catégorie ensembliste appropriée.