1. Decomposing Certain Projectives in Category O
- Author
-
Odeberg Hollifeldt, Samuel and Odeberg Hollifeldt, Samuel
- Abstract
We introduce the BGG category O of a finite-dimensional semisimple Lie algebra g with the initial aims of providing a detailed introduction to the subject and establishing the main results of the original BGG paper [BGG76]. Our exposition mainly follows that of [Hum08] and [Maz20], with some refined and additional results. Once we have established the main results of [BGG76] we study three classes of modules that were used to show the existence of enough projectives in O. We find a description of their Verma flags and in the case of sl_2 we find their decompositions as direct sums of indecomposable projectives and for sl_3 we also do this for one of our module classes, which we can also use to show that composition factors of Verma modules occur only with multiplicity 1 or 0 for sl_3. After this we introduce translation functors and show that two blocks of O are equivalent under certain conditions and classify the projective-injectives of O, mainly following the exposition of [Hum08]. In the last section we introduce the Hecke algebra of a Coxeter system following [Hum90] and [Maz20]. Finally, we briefly touch on Kazhdan-Lusztig theory, culminating in a complete classification of which finite-dimensional semisimple Lie algebras g with Verma module multiplicities \geq 2 for regular integral weights.
- Published
- 2024