Bar complexes and extensions of classical exponential functors (Q486852): Difference between revisions

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.