Some extension groups between exponential functors (Q2331825): Difference between revisions

Let \({\mathcal V}^{f}\) be the category of finite dimensional vector spaces over a field \(\mathbb{K}\). An exponential functor is a graded functor \(E^{\ast}=(E^{0}, E^{1}, \dots, E^{n}, \dots)\) from \({\mathcal V}^{f}\) to \({\mathcal V}^{f}\) together with natural (graded) isomorphisms \(E^{0}(V)\simeq \mathbb{K}\) and \(E^{\ast}(V\oplus W)\simeq E^{\ast}(V)\otimes E^{\ast}(W)\). This definition was first introduced by \textit{V. Franjou} [J. Algebra 179, No. 2, 501--522 (1996; Zbl 0841.55012)] and it is well-known that the previous isomorphisms equip \(E^{\ast}\) with a canonical Hopf algebra structure. Moreover if \({\mathcal F}\) is the category of functors that send a finite-dimensional vector space over \(\mathbb{K}\) to a \(\mathbb{K}\)-vector space, for any pair of exponential functors \(A^{\ast}\), \(B^{\ast}\), \(\operatorname{Ext}^{\ast}_{\mathcal F}(A^{\ast}, B^{\ast})\) is a graded Hopf algebra and \(\Hom_{\mathcal F}(A^{\ast}, B^{\ast})\) is sub-Hopf algebra of \(\operatorname{Ext}^{\ast}_{\mathcal F}(A^{\ast}, B^{\ast})\). In the paper under review, for \(\mathbb{K}=\mathbb{F}_{2}\), the author describes the first extension groups between the exponential functors \(S^{\ast}\) (symmetric power functor), \(\Lambda^{\ast}\) (the exterior power), and \(S_{4}^{\ast}\) (the truncated symmetric power at the power \(4\)). The main results of the paper are the following: as a module over \(\Hom_{\mathcal F}(S^{\ast}, \Lambda^{\ast})\), \(\operatorname{Ext}^{1}_{\mathcal F}(S^{\ast}, \Lambda^{\ast})\) is freely generated by three classes, which are the generators of the \(1\)-dimensional \(\mathbb{F}_{2}\)-vector spaces \(\operatorname{Ext}^{1}_{\mathcal F}(S^{1}, \Lambda^{2})\), \(\operatorname{Ext}^{1}_{\mathcal F}(S^{2}, \Lambda^{2})\). Secondly, as a module over \(\Hom_{\mathcal F}(S_{4}^{\ast}, \Lambda^{\ast})\), \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{\ast}, \Lambda^{\ast})\) is freely generated by three classes, which are the generators of the \(1\)-dimensional \(\mathbb{F}_{2}\)-vector spaces \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{1}, \Lambda^{2})\), \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{4}, \Lambda^{1})\) and \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{2}, \Lambda^{2})\). Finally, as a module over \(\Hom_{\mathcal F}(S_{4}^{\ast}, S_{4}^{\ast})\), \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{\ast}, S_{4}^{\ast})\) is freely generated by four classes, which are the generators of the \(1\)-dimensional \(\mathbb{F}_{2}\)-vector spaces \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{1}, S_{4}^{4})\), \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{4}, S_{4}^{1})\), \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{2}, S_{4}^{4})\) and \(\operatorname{Ext}^{1}_{\mathcal F}(S_{4}^{4}, S_{4}^{2})\).