Weyl submodules in restrictions of simple modules.

From MaRDI portal



Abstract: Let F be an algebraically closed field of characteristic p>0. Suppose that SL_{n-1}(F) is naturally embedded into SL_n(F) (either in the top left corner or in the bottom right corner). We prove that certain Weyl modules over SL_{n-1}(F) can be embedded into the restriction L(omega)downarrow_{SL_{n-1}(F)}, where L(omega) is a simple SL_n(F)-module. This allows us to construct new primitive vectors in L(omega)downarrow_{SL_{n-1}(F)} from any primitive vectors in the corresponding Weyl modules. Some examples are given to show that this result actually works.


Let \(G=\text{SL}_n(\mathbb{F})\) as algebraic group over the algebraically closed field \(\mathbb{F}\) of characteristic \(p>0\). Let \(\alpha=\alpha_q\) be a simple root corresponding with an endpoint of the Dynkin diagram and let \(G^{(q)}\) be the Levi subgroup of the corresponding maximal parabolic subgroup. Let \(L(\omega)\) be a simple \(G\)-module with highest weight \(\omega\). Let \(v^+_\omega \) be a highest weight vector. Theorem A gives sufficient conditions on \(\omega\) and \(k\) under which the \(G^{(q)}\)-module generated by \((X_{-\alpha})^kv^+_\omega\) is a Weyl module. Theorem B also gives necessary conditions. -- When primitive vectors are known in the Weyl module in question, this may produce interesting examples of primitive vectors in the restriction of \(L(\omega)\) to \(G^{(q)}\). Examples illustrate this.











This page was built for publication: Weyl submodules in restrictions of simple modules.

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