SMF

Sur la torsion de Frobenius de la catégorie des modules instables

On the Frobenius twist in the category of unstable modules

The Cuong NGUYEN
Sur la torsion de Frobenius de la catégorie des modules instables
  • Consulter un extrait
  •  
                
  • Année : 2019
  • Fascicule : 1
  • Tome : 147
  • Format : Électronique
  • Langue de l'ouvrage :
    Français
  • Class. Math. : 55S10, 18A40
  • Pages : 49-90
  • DOI : 10.24033/bsmf.2775

Un des phénomènes marquants dans la catégorie $\mathcal{P}_{d}$ des foncteurs polynomiaux stricts est l'injectivité des morphismes induits par la torsion de Frobenius entre groupes d'extensions des foncteurs. Dans [4], l'auteur démontre que le foncteur de Hai, allant de la catégorie $\mathcal{P}_{d}$ vers la catégorie des modules instable $\mathcal{U}$, est pleinement fidèle. Cela fait de la catégorie $\mathcal{P}_{d}$ une sous-catégorie pleine de la catégorie $\mathcal{U}$. La torsion de Frobenius s'étend à toute la catégorie $\mathcal{U}$, mais n'y est pas aussi bien comprise. Cet article étudie la torsion de Frobenius, soit dans ce cas le foncteur double $\Phi$, et ses effets sur les groupes d'extension des modules instables. On donne des calculs explicites de nombreux groupes d'extensions des modules instables, et permet de confirmer, dans de nombreux cas, l'injectivité des morphismes entre des groupes d'extensions induits par la torsion de Frobenius dans la catégorie $\mathcal{U}$. Ces résultats sont obtenus en étudiant la résolution injective minimale du module instable libre $F(1)$.

The Frobenius twist of strict polynomial functors induces natural morphisms between Ext-groups, which are injective according to Friedlander and Suslin [10]. This fact plays an important role in homological computations of strict polynomial functors. In algebraic topology, the category $\mathcal{P}_{d}$ of homogeneous strict polynomial functors of degree $d$ is connected to the category $\mathcal{U}$ of unstable modules over the Steenrod algebra $via$ Hai's functor [11], which is proved to be fully faithful in [4]. The Frobenius twist is extended to the category $\mathcal{U}$, under the form of the double functor $\Phi$, but remains mysterious there. This article aims to study the Frobenius twist $\Phi$ and its effects on Ext-groups of unstable modules. We compute explicitly many Ext-groups in $\mathcal{U}$ and show that in these cases, the morphisms induced by the Frobenius twist are injective. These results are obtained by constructing the minimal injective resolution of the free unstable module $F(1)$.

Algèbre de Steenrod, foncteurs polynomiaux stricts, modules instables, torsion de Frobenius
Steenrod algebra, strict polynomial functors, unstable modules, Frobenius twist