Course overview

Coxeter groups are a class of abstract groups which enjoy remarkable algebraic and geometric properties. In the first part of the course, we will define Coxeter groups and study their properties, following the first three chapters of the textbook “Combinatorics of Coxeter Groups“.

The second and shorter part of the course will address one of the following applications of the theory of Coxeter groups. It is up to the participants to decide which direction we will follow:

  • Finite reflection groups
  • Iwahori-Hecke-algebras and knot theory
  • Root systems and Lie theory
  • Computations for Coxeter groups

The course is held online via zoom and open to anybody interested in the subject. People interested in following the course can inquiry the meeting details at

This course is jointly organized with Prof. Eva Viehmann.

Weekly assignments

  • April 13: introduction (slides)
  • April 20: Sections 1.1, 1.2 (except for examples 1.2.10 and 1.2.11), 1.3 and 1.4. Exercises 2, 8 and 10 of Chapter 1. (slides)
  • April 27: Sections 1.5 and 2.1. Exercises 1.18 and 2.3. (slides) Play a bit with the Bruhat cells of GL2 and GL3 (Example 2.1.3):
    • Write down a few matrices and figure out in which Bruhat cell they lie in.
    • Can you describe the Bruhat cells? What are their dimensions?
  • May 4: Sections 2.2, 2.3 and the first two pages of 2.4, i.e. up to Proposition 2.4.4 (including its proof). Exercises 2.10 and 2.11.
  • May 11: We meet at 9:00 s.t. because of the SVV.  Sections 2.4 and 2.5. Exercises 2.1 and 2.21.
    • Consider the Bruhat order on the symmetric group S4 (Figure 2.4, page 31): How do the various actions of w0 according to Proposition 2.3.4 look like?
    • Similarly, how does Figure 2.7 behave under the action described in Proposition 2.5.4?
  • May 18: We meet again at our regular time, 10 st. Please read sections 2.6 and 3.1 and have a look at Exercise 3.5 (the sections 2.7 and 2.8 will be skipped for this course).
    • Exercise: In the Coxeter group S5, consider the elements x1=13542 (a three cycle) and x2=42531 (a four cycle).
      • Show that x1<x2 using the Tableau criterion.
      • It is given that x2=s3s4s2s1s2s3s4 is a reduced expression. Find a subexpression that constitutes a reduced expression for x1.