Bar complexes and extensions of classical exponential functors

DOI10.5802/AIF.2921MaRDI QIDQ486852zbMATH OpenOpenAlexFDO

Authors Antoine Touzé

Publication date 16 January 2015

Published in Annales de l’institut Fourier (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1012.2724

zbMATH Keywords

bar constructiondivided power algebraexponential functorsexterior algebrastrict polynomial functorssymmetric algebra

Mathematics Subject Classification ID

Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15) Cohomology theory for linear algebraic groups (20G10) Bar and cobar constructions (57T30)

Abstract: We compute Ext-groups between classical exponential functors (i.e. symmetric, exterior or divided powers) and their Frobenius twists. Our method relies on bar constructions, and bridges these Ext-groups with the homology of Eilenberg-Mac Lane Spaces. Together with the article "Troesch complexes and the twisting spectral sequence" (arXiv 1005.3133), this article provides an alternative approach to classical Ext-computations in the category of strict polynomial functors over fields. We also obtain significant Ext-computations for strict polynomial functors over the integers.

Review text

The author considers the symmetric power functors \(S^d: V\mapsto S^d(V)\), the exterior powers \(\bigwedge^d: V\mapsto\bigwedge^d(V)\) and the divided power functors \(\Gamma^d: V\mapsto\Gamma^d(V)\) on the category of finitely generated projective modules \(\mathcal{V}_{\Bbbk}\) over a fixed ground ring \(\Bbbk\). The main purpose of this paper is to give new methods to compute the Ext-groups \(\mathrm{Ext}_{\mathcal{P}_{\Bbbk}}(F^*,G^*)\) associated to these objects \(F^*,G^*\in\{S^*,\bigwedge^*,\Gamma^*\}\) in the category of strict polynomial functors \(\mathcal{P}_{\Bbbk}\). He mainly uses that the single bar construction of the symmetric algebra defines a resolution of the exterior algebra in this category and that the double bar construction defines a resolution of the divided power algebra. He elaborates on the computations of iterated bar complexes carried out by H. Cartan for the homology of Eilenberg-MacLane spaces to obtain his results on the Ext-groups \(\mathrm{Ext}_{\mathcal{P}_{\Bbbk}}(F^*,G^*)\). The main outcome of this approach is that the author is able to extend previous computations to the case where the ring of integers is taken as ground ring \(\Bbbk = \mathbb{Z}\). He notably give an explicit formula for the Ext-groups \(\mathrm{Ext}_{\mathcal{P}_{\Bbbk}}(S^d,\bigwedge^d)\) when \(\Bbbk = \mathbb{Z}\). In the course of his study, he determines the homology of the iterated bar complexes of the divided power algebra over any field, which is a result of independent interest. He also studies the applications of his methods to the Frobenius twists \(F^*{}^{(r)}\) of the functors \(F^* = S^*,\bigwedge^*,\Gamma^*\) in the case where the ground ring is a field of positive characteristic.

Recommendations

• Some extension groups between exponential functors
• Extensions of Weyl and Schur functors
• Extensions of strict polynomial functors
• Koszul duality and extensions of exponential functors
• Ext-groups in the Category of Strict Polynomial Functors

Cites work

• Algebraic operads
• Cohomologie modulo 2 des complexes d'Eilenberg-MacLane
• Cohomology of classical algebraic groups from the functorial viewpoint.
• Cohomology of finite group schemes over a field
• Derived functors of the divided power functors
• Extensions of symmetric tensors by alternating tensors
• General linear and functor cohomology over finite fields
• Homologie nicht-additiver Funktoren. Anwendungen
• Homology
• scientific article; zbMATH DE number 3114021 (Why is no real title available?)
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 2123608 (Why is no real title available?)
• Infinitesimal 1-parameter subgroups and cohomology
• Koszul duality and extensions of exponential functors
• Koszul, Ringel and Serre duality for strict polynomial functors.
• On the groups \(H(\Pi,n)\). I
• Rational and generic cohomology
• Troesch complexes and extensions of strict polynomial functors.

Cited in

(21)

• Connectedness of cup products for polynomial representations of \(\mathrm{GL}_n\) and applications
• Integral \(\mathrm{Ext}^2\) between hook Weyl modules
• Superized Troesch complexes and cohomology for strict polynomial superfunctors
• Exponential functors, R-matrices and twists
• Schur algebras for the alternating group and Koszul duality
• Some extension groups between exponential functors
• Koszul duality and extensions of exponential functors
• Duality categories
• Troesch complexes and extensions of strict polynomial functors.
• Extensions of strict polynomial functors
• Ringel duality and derivatives of non-additive functors
• Computations and applications of some homological constants for polynomial representations of \(\mathrm{GL}_n\)
• scientific article; zbMATH DE number 2096975 (Why is no real title available?)
• On the Structure of Graded Commutative Exponential functors
• Iterated bar complexes of \(E\)-infinity algebras and homology theories
• Results of cancellation for the Taylor tower
• Relating tensor structures on representations of general linear and symmetric groups
• Stable sheaf cohomology on flag varieties
• Extensions of Weyl and Schur functors
• Cohomological finite-generation for finite supergroup schemes
• Cohomology of classical algebraic groups from the functorial viewpoint.

This page was built for publication: Bar complexes and extensions of classical exponential functors

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