Troesch complexes and extensions of strict polynomial functors.

MaRDI QIDQ2885455zbMATH OpenFDO

Authors Antoine Touzé

Publication date 23 May 2012

Published in Annales Scientifiques de l'École Normale Supérieure. Quatrième Série (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1005.3133, http://www.numdam.org/item?id=ASENS_2012_4_45_1_53_0/, http://smf4.emath.fr/en/Publications/AnnalesENS/4_45/html/ens_ann-sc_45_53-99.php

zbMATH Keywords

cohomology algebrasextensionsFrobenius twistsfunctor homologygeneral linear groupsrational cohomologyspectral sequencesstrict polynomial functorsTroesch complexes

Mathematics Subject Classification ID

Geometric invariant theory (14L24) Functor categories, comma categories (18A25) Resolutions; derived functors (category-theoretic aspects) (18G10) Spectral sequences, hypercohomology (18G40) Representation theory for linear algebraic groups (20G05) Cohomology theory for linear algebraic groups (20G10)

Abstract: 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 classical Ext-computations as well as new results. In particular, we get a cohomological version of the `fundamental theorems' from classical invariant 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 Ext^*(F^{(r)}, G^{(r)}) between the twisted functors F^{(r)} and G^{(r)}. Many classical 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 Ext-groups. We prove many cases of collapsing, and we conjecture collapsing is a general fact.

Review text

This paper gives a new approach to many earlier results concerning Ext groups between strict polynomial functors. Fix a field \(k\) of positive characteristic \(p\). Recall from \textit{E. M. Friedlander} and \textit{A. Suslin} [Invent. Math. 127, No. 2, 209-270 (1997; Zbl 0945.14028)] that a strict polynomial functor is a functor \(F\) from finite dimensional vector spaces to finite dimensional vector spaces, enriched with data that make that the action of \(\mathrm{GL}_n(k)\) on \(F(k^n)\) is the restriction to \(\mathrm{GL}_n(k)\) of an action of the algebraic group \(\mathrm{GL}_n\). Thus Yoneda extensions in the category of strict polynomial functors give information on the representation theory of the algebraic group \(\mathrm{GL}_n\). This connection becomes quite precise in a limit \(n\to\infty\). Examples of strict polynomial functors are (co-)Schur functors and their Frobenius twists. A Troesch complex is a complicated but explicit injective resolution of a Frobenius twist \(S^{n(r)}\) of a symmetric power functor \(S^n\). The \(S^n\) are injectives in the category of strict polynomial functors, and Troesch complexes tell about the effect of Frobenius twist on Ext groups. The author shows that many earlier results can be understood in terms of Troesch complexes. He also uses Troesch complexes to derive a cohomological version of the First and Second Fundamental Theorem of Invariant Theory for \(\mathrm{GL}_n\), \(n\) large. Let \(r\) be a positive integer and let \(F\), \(G\) be strict polynomial functors. He constructs a ``twisting spectral sequence \[ E_2^{s,t}(F,G,r)=\text{Ext}^s(F,G(E_r\otimes I))\Rightarrow\text{Ext}^{s+t}(F^{(r)},G^{(r)}), \] where \(I\) denotes the identity functor and \(E_r=\text{Ext}^*(I^{(r)},I^{(r)})\) is a graded vector space with \(k\) in even degree \(2i\), \(0\leq i<p^r\) and zero in other degrees. The grading on \(E_r\) induces a \(\mathbb G_m\) action on \(E_r\), hence a \(\mathbb G_m\) action on \(G(E_r\otimes I)\), hence a grading on \(G(E_r\otimes I)\) and that grading is what \(t\) refers to. In all known cases the twisting spectral sequence collapses at the second page and the author conjectures that this always happens. In any case he shows the spectral sequence provides an effective tool for computations. Many classical results are now explained by collapsing for lacunary reasons.

Recommendations

• Superized Troesch complexes and cohomology for strict polynomial superfunctors
• Bar complexes and extensions of classical exponential functors
• Ext-groups in the Category of Strict Polynomial Functors
• Extensions of strict polynomial functors
• scientific article; zbMATH DE number 1747171

Cited in

(16)

• Polynomial filtrations and Lannes' T-functor
• Connectedness of cup products for polynomial representations of \(\mathrm{GL}_n\) and applications
• Superized Troesch complexes and cohomology for strict polynomial superfunctors
• A construction of the universal classes for algebraic groups with the twisting spectral sequence.
• Affine strict polynomial functors and formality
• An injective resolution of twisted symmetric powers.
• A functorial control of integral torsion in homology
• Cohomology of bifunctors
• Bar complexes and extensions of classical exponential functors
• Generic representation theory of finite fields in nondescribing characteristic
• Additive polynomial superfunctors and cohomology
• Cohomology of algebraic groups with coefficients in twisted representations
• On the Serre functor in the category of strict polynomial functors
• On spectra and affine strict polynomial functors
• Cohomology of twisted polynomial superfunctors through the twisting spectral sequence
• Quantum Troesch complexes

This page was built for publication: Troesch complexes and extensions of strict polynomial functors.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2885455)