- Time
- Tuesday and Thursday, 14:15 – 15:45
- Place
- Virtual, on BBB. Room 3414 "Spassky".
- Lecturer
- Johan Commelin
- More info
- See below for a description and literature.

**Introduction (10:06)**[mp4] [pdf]

*A brief overview of the course.*

(Sorry for the bad sound quality, I used the wrong settings.)**Algebraic motivation (14:52)**[mp4] [pdf]

*A little experiment with commutator brackets naturally leads to the definition of a Lie algebra.*

(Sorry for the bad sound quality, I used the wrong settings.)**Geometric motivation (33:25)**[mp4] [pdf]

*Investigating the structure on the tangent space at the identity element of a Lie group, leads to the definition of a Lie algebra.***Combinatorial motivation (14:55)**[mp4] [pdf]

*The classification of semisimple Lie algebras by certain graph-theoretic objects (called Dynkin diagrams) is elegant and surprising. Knowing what's ahead is a motivation for understanding the path towards this classification.*

**Basic definitions (13:01)**[mp4] [pdf]

*Definitions of representation, ideal, subalgebra.***{Lower/upper central, derived} series (10:07)**[mp4] [pdf]

*Several series of ideals that we will use in the definition of nilpotent and solvable Lie algebras.***Nilpotent and solvable Lie algebras (10:26)**[mp4] [pdf]

*Nilpotent and solvable Lie algebras are defined in terms of the series from the preceding lecture. They are important for the “rough” classification that is our first goal. They are also crucial in analyzing semisimple Lie algebras at a later stage.*

**Warning:**The exercise on p.3 contains a mistake. The upper central series should be equal to the entire Lie algebra (not 0) for some k. This is fixed in the pdf, but not in the video.**Engel's theorem (15:49)**[mp4] [pdf]

*Engel's theorem shows, roughly speaking, that every nilpotent Lie algebra is a subalgebra of strictly upper-triangular matrices.*

**Lie's theorem (22:55)**[mp4] [pdf]

*Lie's theorem shows, roughly speaking, that every solvable Lie algebra is a subalgebra of upper-triangular matrices.***Simple/semisimple Lie algebras (13:59)**[mp4] [pdf]

*The definition of simple and semisimple Lie algebras. We also look at irreducible representations.***The Killing form (13:15)**[mp4] [pdf]

*The Killing form is a natural bilinear form that can be defined on every Lie algebra. It is used in a powerful criterion for determining whether a Lie algebra is solvable or semisimple: Cartan's criterion, which we will prove in the next lecture.***Cartan's criterion (26:00)**[mp4] [pdf]

*Cartan's criterion is a method for determining whether a Lie algebra is solvable using the Killing form. A different variant gives a criterion for semisimplicity. In this lecture we prove Cartan's criterion. This involves some technical lemmas, but the end result is worth it.*

**Three-dimensional Lie algebras (23:20)**[mp4] [pdf]

*We study Lie algebras with dimension 3. Over an algebraically closed field of characteristic 0, we see that every simple Lie algebra of dimension 3 is isomorphic to sl_2.***Representations of sl_2 (36:01)**[mp4] [pdf]

*We classify the irreducible representations of sl_2. There is, up to isomorphism, a unique irreducible representation in each dimension 1, 2, 3, etc. In this classification, we assume to results that have not yet been proven: “Complete Reducibility”, and “Preservation of the Jordan decomposition”. We will prove these at a later stage.*

**Recap: Jordan decomposition**[pdf]

[Due to illness, there is no video recording.]

*The Jordan decomposition is a fundamental result in linear algebra: it shows that every endomorphism of a vector space (over an algebraically closed field) can be written as the sum of a semisimple (in matrix language: diagonalizable) and a nilpotent endomorphism.*

**Tensor products (20:19)**[mp4] [pdf]

*Tensor products are construction in linear algebra. In this lecture, we look at the definition, and we see how they make it easier to work with bilinear maps.***Symmetric/exterior powers (27:17)**[mp4] [pdf]

*Symmetric powers and exterior powers are variations on the theme of tensor products. They are useful when working with symmetric/alternating bilinear maps.*

**Tensor products of representations (16:47)**[mp4] [pdf]

*In this lecture we study the tensor product of two irreducible (finite-dimensional) representations of sl_2.***The basics of sl_3 (19:27)**[mp4] [pdf]

*We look at the basic structure of the Lie algebra sl_3. The approach is similar to the case of sl_2, but some of the techniques need to be modified. This will be a useful guide for when we study an arbitrary simple Lie algebra.*

**Irreducible representations of sl_3 I (30:23)**[mp4] [pdf]

*Our first steps in understanding the irreducible representations of sl_3. We see that this naturally leads to the concepts of weights and roots. We end with the definition of a heighest weight.***Irreducible representations of sl_3 II (21:50)**[mp4] [pdf]

*In this lecture, we see that every irreducible representation is generated by the image of a heighest weight vector under the action of the negative root spaces.*

- N. Bourbaki, Éléments de Mathématique, Groupes et algèbres de Lie (Chapitres 4 à 6), Springer, 2007.
- W. Soergel, Lecture notes “Spiegelungsgruppen und Wurzelsysteme”.