The Schur functor on tensor powers. (Q766093)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Schur functor on tensor powers. |
scientific article |
Statements
The Schur functor on tensor powers. (English)
0 references
23 March 2012
0 references
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.
0 references
Schur functors
0 references
Schur algebras
0 references
Schur-Weyl duality
0 references
symmetric groups
0 references
Lie modules
0 references
group algebras
0 references
tensor products
0 references
induced modules
0 references
Lie powers
0 references
exterior powers
0 references
symmetric powers
0 references