The Schur functor on tensor powers. (Q766093)

Let \(n,r\) be positive integers and let \(S(n,r)\) be the (classical) Schur algebra over some infinite field \(F\) of arbitrary characteristic. Let \(M\) be a left \(S(n,r)\)-module and let \(f_r\) be the usual Schur functor. For any positive integer \(s\), the \(s\)-fold tensor product \(M^{\otimes s}\) is a \(S(n,rs)\)-module, so that if \(n\geqslant rs\), \(f_{rs}M^{\otimes s}\) is a \((F\mathfrak S_{rs},F\mathfrak S_s)\)-bimodule. On the other hand, \((f_r M)^{\otimes s}\) is a \((F(\mathfrak S_r\wr\mathfrak S_s),F\mathfrak S_s)\)-bimodule where \(\mathfrak S_s\) acts trivially on the right. But \(F\mathfrak S_s\) can be made into a \((F(\mathfrak S_r\wr\mathfrak S_s),F\mathfrak S_s)\)-bimodule with \((\mathfrak S_r)^s\) acting trivially on the left. Thus \((f_rM)^{\otimes s}\otimes_FF\mathfrak S_s\) is a \((F(\mathfrak S_r\wr\mathfrak S_s), F\mathfrak S_s)\)-bimodule via the diagonal action. Assuming \(n\geqslant rs\), the main result is a \((K\mathfrak S_{rs},F\mathfrak S_s)\)-bimodule isomorphism between \(f_{rs}M^{\otimes s}\) and the induced module \(\text{Ind}_{\mathfrak S_r\wr\mathfrak S_s}^{\mathfrak S_{rs}}((f_rM)^{\otimes s}\otimes_FF\mathfrak S_s)\). A corollary of this, the authors find (left) \(F\mathfrak S_{rs}\)-module isomorphisms between the respective images under \(f_{rs}\) of the Lie power \(L^s(M)\), the exterior power \(\Lambda^s(M)\) and the symmetric power \(S^s(M)\), and certain induced modules.