Classical Lie algebras and Weyl groups

One of the main goals of the first half of this book is to construct Lie algebras and Weyl groups from certain labelled partially ordered sets known as heaps. The formal definition of heaps is in terms of categories, which will be defined in Chapter 2. The purpose of Chapter 1 is to show how particular examples of heaps can be used to give combinatorial constructions of algebraic objects. In Section 1.1, we summarize the basic properties of Lie algebras. In Section 1.2, we define the Lie algebras of types A n , B n , C n and D n in terms of matrices; that is, the Lie algebras sl ( n + 1, V ), so (2 n + 1, V ), sp (2 n, V ) and so (2 n, V ), respectively. Except in type B n , the Lie algebra representations given by these matrices will turn out to be “minuscule”. Because of this, they may easily be constructed in terms of heaps (shown in Figures 1.1, 1.2 and 1.3) as we explain in Section 1.3. Finally, in Section 1.4, we define the classical Weyl groups of types A n , B n and D n as abstract groups. We also explain how to construct the groups using the same three infinite families of heaps shown in Section 1.3. Lie algebras A Lie algebra is a vector space g over a field k equipped with a bilinear map [ , ] : g × g → g (the Lie bracket ) satisfying the conditions [ x, x ] = 0, [[ x, y ] , z ] + [[ y, z ] , x ] + [[ z, x ] , y ] = 0, for all x, y, z ∈ g . (These conditions are known respectively as antisymmetry and the Jacobi identity .)