MA3407 Introduction to Lie Theory - Fall 2022

Schedule Room
Lectures: Thursday 12:15-14:00 EL4
Friday 10:15-12:00 K26
Exam: Oral exams Schedule
Lecturer
Rune Haugseng
Office: 1250 Sentralbygg 2
Email: rune [dot] haugseng [at] ntnu [dot] no

What this course is about

In previous courses you have seen that group actions describe symmetries. For example, the symmetry group of a square under orientation-preserving rigid motions is the cyclic group of order 4, while the corresponding symmetry group for a circle is the special orthogonal group SO(2) of rotations. In the latter case it is natural to think of the rotation by an angle θ as depending continuously or even smoothly (that is, infinitely differentiably) on the angle, and to make sense of this we want to equip the group with a smooth structure. Such "smooth" groups are called Lie groups (after Sophus Lie (1842-99), arguably the "greatest" Norwegian mathematician), and they play an important role in many areas of mathematics, including analysis, topology, differential geometry, representation theory, and even number theory, as well as in physics.

The foundations for the general theory of Lie groups relies on a lot of prerequisite material from analysis, differential geometry, and topology. In this course, we will therefore focus on the special case of matrix groups. Roughly speaking, these are groups consisting of some class of matrices, with the group operation given by matrix multiplication. For such groups we can develop a much more elementary version of the basic theory, relying mainly on linear algebra and a bit of analysis. Moreover, the class of matrix groups actually includes most of the interesting examples of Lie groups.

In the first part of the course, our main goal is to show that many aspects of a (matrix) Lie group are controlled by a seemingly much simpler structure, its Lie algebra, which is a vector space with a certain type of multiplication operation that encodes the "infinitesimal" behaviour of the group. In the second part we will look at representations of Lie groups and Lie algebras (that is to say their linear actions on vector spaces), in particular in the special case of semisimple Lie algebras; we will also sketch the remarkable classification of semisimple Lie algebras in terms of root systems and Dynkin diagrams, which will reveal that we already know all the examples except for 5 "exceptional" cases. Finally, we will hopefully have time to look more explicitly at the representations of some of the "classical" semisimple Lie algebras/groups.

(See also the study handbook for the official course description.)

Prerequisites

The absolute prerequisites are a good grasp of linear algebra and basic group theory; we will also need a bit of analysis and topology.

Lecture Plan

Week Date Topic Notes References
1 Wed 24/08 1: Introduction, matrix groups 2.1 [H, 1.1]
Fri 26/08 2: Examples of matrix groups 2.2 [H, 1.2]
2 Thu 01/09 3: Quaternions 2.3 [H, 1.2.8, 1.3.4, 1.4], [S, 1.3, 1.5, 3.4]
Fri 02/09 4: Topological properties 2.4-5 [H, 1.3, 1.5], [S, 8.6-7]
3 Thu 08/09 5: Matrix exponentials, Lie algebras 3.1-2 [H, 2.1, 3.3]
Fri 09/09 6: Examples of Lie algebras, abstract Lie algebras, complexification 3.3-4 [H, 3.4, 3.1, 3.6]
4 Thu 15/09 7: Matrix logarithms, induced map of Lie algebras 3.5-6 [H, 2.3, 2.4, 3.5]
Fri 16/09 8: Functoriality of Lie algebras, exponential map 3.6-7 [H, 3.5, 3.7, 3.8]
5 Thu 22/09 9: Exponential map, Baker-Campbell-Hausdorff formula 3.7, 4.1 [H, 3.8, 5.3-5], [S, 7.7]
Fri 23/09 10: Lifting homomorphisms 4.2 [H, 5.7-8]
6 Thu 29/09 11: Lifting Lie subalgebras 4.3 [H, 5.9-10]
Fri 30/09 12: Representations of Lie groups and Lie algebras, irreducible representations 5.1-2 [H, 4.1, 4.1, 4.5]
7 Thu 06/10
Fri 07/10
8 Thu 13/10 13: Completely reducible representations 5.3 [H, 4.4]
Fri 14/10 14: Representations of sl2 6.1 [H, 4.6-7]
9 Thu 20/10 15: Representations of sl3 (part 1) 6.2-3 [H, 6.1-4]
Fri 21/10 16: Tensor products, representations of sl3 (part 2) A.3, 6.3-4 [H, 4.3, 6.4]
10 Thu 27/10
Fri 28/10
11 Thu 03/11 17: Representations of sl3 (part 3), semisimple Lie algebras 6.4, 7.1 [H, 6.4, 7.1]
Fri 04/11 18: Semisimplicity and compactness, Cartan subalgebras 7.2-3 [H, 7.1-2]
12 Thu 10/11 19: Roots and weights 7.4 [H, 7.3, 9.1]
Fri 11/11 20: Weyl groups, bases 7.5-6 [H, 7.4, 8.4]
13 Thu 17/11 21: Weyl chambers, highest weights, roots of spn 7.6-8 [H, 8.4-5, 8.7-8, 9.1, 7.7]
Fri 18/11 22: Root of son, fundamental representations of sln 7.9-10 [H, 7.7]
14 Thu 24/11 23: Classification of complex simple Lie algebras 8 [H, 8.1-2, 8.6, 8.10-11]
Fri 25/11 24: Review

Course material

References

We will not directly follow a particular textbook, but the first part of the course will loosely follow chapters 1-8 of:

  • [H] Brian C. Hall, Lie groups, Lie algebras, and representations (Download)

At the end of the course we will hopefully have time to look at the representations of some of the classical groups. A good source for this is:

  • [FH] William Fulton and Joe Harris, Representation theory: a first course (Download)

Note that both books can be downloaded (legally!) as PDFs from SpringerLink if you are on the university network (either on campus or via VPN).

Some alternative introductory books:

  • [R] Wulf Rossmann, Lie groups: an introduction through linear groups
  • [S] John Stillwell, Naive Lie theory (Download)

Some more advanced books:

  • [H] James E. Humphreys, Introduction to Lie algebras and representation theory (Download)
  • [K] Anthony W. Knapp, Lie groups beyond an introduction (Download)
2022-11-22, Rune Gjøringbø Haugseng