Constructive modules and extremal projectors over Chevalley algebras (Q1326926): Difference between revisions

Let \({\mathfrak g}\) be a symmetrizable Chevalley algebra over the field \(\mathbb{C}\) and \(U({\mathfrak g})\) the universal enveloping algebra of \({\mathfrak g}\). Let \(\Delta\) be the root system of \({\mathfrak g}\) relative to a Cartan subalgebra \({\mathfrak h}\subset {\mathfrak g}\), and \({\mathfrak n}\) the subalgebra of \({\mathfrak g}\) generated by the elements of \({\mathfrak g}_ \alpha\) for \(\alpha\in \Delta_ +\), \(\Delta_ +\) being a positive root system of \(\Delta\). Let \({\mathcal O}\) be the category of \({\mathfrak g}\)-modules that are diagonal when restricted to \({\mathfrak h}\) and locally finite when restricted to \({\mathfrak n}\). As in \textit{D. P. Zhelobenko} [Symmetry methods in physics, Tbilisi (1991)] the extremal projectors \(p\in F({\mathfrak g})\) are defined in this paper for the Chevalley algebra \({\mathfrak g}\). Then the full subcategory \({\mathcal O}_{\text{reg}}\) in \({\mathcal O}\) is defined. For each weight \(\lambda\) of the \({\mathfrak g}\)-module \(V\) of \({\mathcal O}\), let \(V_ \lambda\) be the weight component of \(V\) and let \(V^ +_ \lambda= pV_ \lambda\). A module \(V\) is called an extremal module if \(V= U({\mathfrak g})v_ 0\), \(0\neq v_ 0\in V^ +_ \lambda\). The following statements are shown: (i) Every extremal module \(V\) of the category \({\mathcal O}_{\text{reg}}\) is simple, (ii) Every module \(V\) of the category \({\mathcal O}_{\text{reg}}\) is a direct sum of simple modules.