A107
Course Coordinator: 
Liron Speyer
Lie Algebras
Description: 

Students will learn the basic structure theory of simple Lie algebras over the complex numbers, as well as the theory of their highest weight representations. This will develop students' understanding of these fundamental objects in algebra, and give them some hands-on experience computing representations and proving some powerful (and quite beautiful!) results. 

Students will learn the basic structures of simple Lie algebras over the complex numbers, including classification, root systems, Cartan subalgebras, Cartan/triangular decomposition, Dynkin diagrams, Weyl groups, and the Killing form. We will develop a highest weight theory of representations, including Verma modules and enveloping algebras. We will end with Weyl's character formula for finite-dimensional simple modules.

Aim: 
Students wanting to learn graduate-level algebra, and especially representation theory. A solid grasp of linear algebra will be assumed, as well as an ability to understand and construct quite sophisticated mathematical proofs.
Course Content: 

1) Definition and key examples of Lie algebras
2) Structure theory of Lie algebras
3) Root systems, Dynkin diagrams, and Weyl groups
4) Classification of finite-dimensional (semi-)simple Lie algebras
5) Highest weight modules, simple modules, and Verma modules
6) Weyl's character formula for finite-dimensional simple modules

Course Type: 
Elective
Credits: 
2
Assessment: 
Homework: 100%. There will be roughly 5 sets of homework problems during the term.
Text Book: 
Introduction to Lie Algebras and Representation Theory, by James Humphreys
Reference Book: 
Representation Theory: A first course, by William Fulton and Joe Harris
Introduction to Lie algebras, by Karin Erdmann and Mark Wildon
Prior Knowledge: 

A solid grasp of undergraduate linear algebra, as well as some experience following long proofs and constructing your own proofs. Some prior knowledge of the representation theory of finite groups will be helpful when grappling with analogous results for Lie algebras, but it is not completely necessary.