SMF

Complexes de Troesch et extensions de foncteurs polynomiaux stricts

Troesch complexes and extensions of strict polynomial functors

Antoine Touzé
Complexes de Troesch et extensions de foncteurs polynomiaux stricts
  • Consulter un extrait
  • Année : 2012
  • Tome : 45
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 18G10; 20G10, 18G40
  • Pages : 53-99
  • DOI : 10.24033/asens.2160
Nous développons une nouvelle approche des calculs d'$\operatorname {Ext} $ dans la catégorie des foncteurs strictement polynomiaux, en nous basant sur les complexes de Troesch. Nous obtenons ainsi des démonstrations élémentaires de nombreux calculs iques et de nouveaux résultats. En particulier, nous obtenons une version cohomologique des théorèmes fondamentaux de la théorie ique des invariants de $GL_n$ pour $n$ suffisamment grand (et nous donnons une conjecture pour les plus petites valeurs de $n$). Nous étudions également une suite spectrale de torsion de Frobenius $E^{s,t}(F,G,r)$ qui converge vers les groupes d'extensions $\mathrm {Ext} ^*_{\mathcal {P} _\mathbb {k} }(F^{(r)}, G^{(r)})$ entre foncteurs précomposés par le twist de Frobenius. De nombreux calculs iques équivalent à l'effondrement de cette suite spectrale à la seconde page (par lacunarité), et elle constitue également un outil pratique pour étudier l'effet de la torsion de Frobenius sur les groupes d'extensions. Nous démontrons de nombreux cas d'effondrement, et nous conjecturons que l'effondrement a toujours lieu.
We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous ical $\operatorname {Ext} $-computations as well as new results. In particular, we get a cohomological version of the “fundamental theorems” from ical invariant theory for $GL_n$ for $n$ big enough (and we give a conjecture for smaller values of $n$). We also study the “twisting spectral sequence” $E^{s,t}(F,G,r)$ converging to the extension groups $\mathrm {Ext} ^*_{\mathcal {P} _\mathbb {k} }(F^{(r)}, G^{(r)})$ between the twisted functors $F^{(r)}$ and $G^{(r)}$. Many ical $\mathrm {Ext} $ computations simply amount to the collapsing of this spectral sequence at the second page (for lacunary reasons), and it is also a convenient tool to study the effect of the Frobenius twist on $\operatorname {Ext} $ groups. We prove many cases of collapsing, and we conjecture collapsing is a general fact.
Foncteurs strictement polynomiaux, extensions, torsion de Frobenius, groupe linéaire, algèbres de cohomologie, homologie des foncteurs, cohomologie rationnelle
Strict polynomial functors, extensions, Frobenius twist, general linear group, cohomology algebras, functor homology, rational cohomology
Accès libre
Consulter