Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State...
Transcript of Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State...
![Page 1: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/1.jpg)
Lecture 4B: Coxeter groups
Nathan Reading
NC State University
Cluster Algebras and Cluster CombinatoricsMSRI Summer Graduate Workshop, August 2011
Introduction
Combinatorics
Geometry
1
![Page 2: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/2.jpg)
Introduction
A (Kac-Moody) root system Φ defines a group W oftransformations, generated by the reflections orthogonal (in thesense of the symmetric bilinear form K ) to the simple roots. Thisnaturally gives W the structure of a Coxeter group.
Coxeter groups are defined abstractly within the framework ofcombinatorial group theory. That is, we are given a presentation ofa group by generators and relations.
The abstract algebra encodes the geometry surprisingly well: Notonly does each root system define a Coxeter group, but also eachCoxeter group can be represented geometrically by specifying aroot system.
2
![Page 3: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/3.jpg)
Introduction
A (Kac-Moody) root system Φ defines a group W oftransformations, generated by the reflections orthogonal (in thesense of the symmetric bilinear form K ) to the simple roots. Thisnaturally gives W the structure of a Coxeter group.
Coxeter groups are defined abstractly within the framework ofcombinatorial group theory. That is, we are given a presentation ofa group by generators and relations.
The abstract algebra encodes the geometry surprisingly well: Notonly does each root system define a Coxeter group, but also eachCoxeter group can be represented geometrically by specifying aroot system.
But we need a root system given by a “generalized” generalizedCartan matrix for a “non-crystallographic” Coxeter group.
2
![Page 4: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/4.jpg)
Introduction (continued)
In this lecture, we’ll provide some basic background on Coxetergroups that will be useful for understanding Cambrian lattices andsortable elements.
Standard references include (BB), (B), and (H).
A summary, written specifically for use with sortable elements andCambrian lattices, can be found in Section 2 of (INF).
3
![Page 5: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/5.jpg)
Coxeter groups
A Coxeter group is a group with a certain presentation. Choose a
finite generating set S = {s1, . . . , sn} and for every i < j , choose
an integer m(i , j) ≥ 2, or m(i , j) = ∞. Define:
W =⟨
S | s2i = 1, ∀ i and (sisj)m(i ,j) = 1, ∀ i < j
⟩
.
4
![Page 6: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/6.jpg)
Coxeter groups
A Coxeter group is a group with a certain presentation. Choose a
finite generating set S = {s1, . . . , sn} and for every i < j , choose
an integer m(i , j) ≥ 2, or m(i , j) = ∞. Define:
W =⟨
S | s2i = 1, ∀ i and (sisj)m(i ,j) = 1, ∀ i < j
⟩
.
Why would anyone write this down?
4
![Page 7: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/7.jpg)
Coxeter groups
A Coxeter group is a group with a certain presentation. Choose a
finite generating set S = {s1, . . . , sn} and for every i < j , choose
an integer m(i , j) ≥ 2, or m(i , j) = ∞. Define:
W =⟨
S | s2i = 1, ∀ i and (sisj)m(i ,j) = 1, ∀ i < j
⟩
.
Why would anyone write this down?
Exercise 4Ba
Let Φ be a Kac-Moody root system with simple rootsΠ = {α1, . . . , αn} and define S = {s1, . . . , sn} for si as inLecture 3B. Define m(i , j) to be 2π
π−angle(αi ,αj ). Show that the
group W ′ generated by S satisfies the relations given above.
The exercise shows that W ′ is a homomorphic image of theabstract Coxeter group W . In fact, the two are isomorphic. Thusall of our root systems examples yield Coxeter group examples. 4
![Page 8: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/8.jpg)
Coxeter group examples
We’ll focus on two examples:
◮ The dihedral group of order 8:
B2 =⟨
{s1, s2} | s21 = s22 = (s1s2)4 = 1
⟩
.
This is the Coxeter group associated to the root system B2.Its elements are
1, s1, s2, s1s2, s2s1, s1s2s1, s2s1s2, s1s2s1s2 = s2s1s2s1.
5
![Page 9: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/9.jpg)
Coxeter group examples
We’ll focus on two examples:
◮ The dihedral group of order 8:
B2 =⟨
{s1, s2} | s21 = s22 = (s1s2)4 = 1
⟩
.
This is the Coxeter group associated to the root system B2.Its elements are
1, s1, s2, s1s2, s2s1, s1s2s1, s2s1s2, s1s2s1s2 = s2s1s2s1.
◮ The symmetric group Sn+1 (AKA An):This is the group of permutations of [n + 1]. Writingsi = (i i+1), the symmetric group is a Coxeter group with
m(i , j) =
{
3 if j = i + 1, or2 if j > i + 1.
This is the Coxeter group associated to the root system An,constructed explicitly as {ej − ei : i , j ∈ [n + 1], i 6= j} inExercise 1k.1. This construction leads to a representation ofSn+1 as permutations of the coordinates. 5
![Page 10: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/10.jpg)
Coxeter diagrams
The Coxeter diagram of a Coxeter system (W ,S) is a graph with
◮ Vertex set: {1, . . . , n}.
◮ Edges: i — j if m(i , j) ≥ 3.
◮ Edge labels: m(i , j). By convention, we omit edge labels “3.”
The dihedral group of order 8 has a diagram with two verticesconnected by an edge labeled 4.
The diagram for An is
Obs: Non-edges ↔ m(i , j) = 2 ↔ si and sj commute.
6
![Page 11: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/11.jpg)
Reflections
The set S is called the simple reflections. The set
T ={
wsw−1 : w ∈ W , s ∈ S}
is called the set of reflections in W . Why?
Exercise 4Bb
Suppose that W is the (Coxeter) group defined (under the nameW ′) in Exercise 4Ba. Show that
1. For every reflection t ∈ T, there is a unique positive rootβ ∈ Φ+ such that t is the reflection orthogonal to t (in thesense of K).
2. For every root β, the reflection orthogonal to t (in the senseof K) is an element of T .
Thus, reflections are in bijection with positive roots! We’ll write βtfor the positive root associated with t ∈ T . Furthermore, T is thecomplete set of elements of W that act as reflections.
7
![Page 12: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/12.jpg)
Reflections in B2 and An
B2:
S = {s1, s2}T = {s1, s2, s1s2s1, s2s1s2}
There are 4 positive roots.
An = Sn+1:
S = {adjacent transpositions (i i+1)}T = {all transpositions (i j)}The positive roots are {ej − ei : i , j ∈ [n + 1], i < j}(Exercise 1m.1).
8
![Page 13: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/13.jpg)
Reduced words and the word problem
Since W is generated by S , each element w of W can be written(in many ways!) as a word in the “alphabet” S .
A word of minimal length, among words for w , is called a reducedword for w .
The length ℓ(w) of w is the length of a reduced word for w .
Solution to the word problem for W (J. Tits):
Any word for w can be converted to a reduced word for w by asequence of
◮ braid moves: sisjsi · · · ↔ sjsisj · · · (m(i , j) letters)◮ nil moves: delete si si .
Any two reduced words for w are related by a sequence of braidmoves.
Exercise 4Bc
Find all reduced words for 4321 ∈ S4. 9
![Page 14: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/14.jpg)
Inversions
An inversion of w ∈ W is a reflection t ∈ T such thatℓ(tw) < ℓ(w). The notation inv(w) means {inversions of w}.
If a1 · · · ak is a reduced word for w , then write ti = a1 · · · ai · · · a1.
inv(w) = {ti : 1 ≤ i ≤ k}.
The sequence t1, . . . , tk is the reflection sequence for the reducedword a1 · · · ak .
10
![Page 15: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/15.jpg)
Weak order
The weak order on a Coxeter group W sets u ≤ w if and only if areduced word for u occurs as a prefix of some reduced word for w .
The covers are w <· ws for w ∈ W and s ∈ S with ℓ(w) < ℓ(ws).
Equivalently, u ≤ w if and only if inv(u) ⊆ inv(w).
Example:
B2 =⟨
{s1, s2} | s21 = s22 = (s1s2)4 = 1
⟩
1
s1 s2
s1s2 s2s1
s1s2s1 s2s1s2
s1s2s1s2
The weak order is ranked by the length function ℓ.
It is a meet semilattice in general, and a lattice when W is finite.
11
![Page 16: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/16.jpg)
Weak order (Right weak order)
The weak order on a Coxeter group W sets u ≤ w if and only if areduced word for u occurs as a prefix of some reduced word for w .
The covers are w <· ws for w ∈ W and s ∈ S with ℓ(w) < ℓ(ws).
Equivalently, u ≤ w if and only if inv(u) ⊆ inv(w).
Example:
B2 =⟨
{s1, s2} | s21 = s22 = (s1s2)4 = 1
⟩
1
s1 s2
s1s2 s2s1
s1s2s1 s2s1s2
s1s2s1s2
The weak order is ranked by the length function ℓ.
It is a meet semilattice in general, and a lattice when W is finite.
Alert: This is “right” weak order. There is also a “left” weak order.11
![Page 17: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/17.jpg)
Inversions and weak order in Sn+1
We will write a permutation π in one-line notation π1 · · · πn+1.Then the cover relations in the weak order are transpositions ofadjacent entries. Going “up” means putting the entries out ofnumerical order.
The weak order on S3: 321
231312
213132
123
Inversions are
inv(π) = {transpositions (i j) : i comes before j in π},
and this is the origin of the term “inversion.”12
![Page 18: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/18.jpg)
The weak order on S4
1234
2134 1324 1243
2314 3124 2143 1342 1423
3214 2341 2413 3142 4123 1432
3241 2431 4213 3412 4132
3421 4231 4312
4321
13
![Page 19: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/19.jpg)
Cover reflections
A cover reflection of w ∈ W is an inversion t of w such thattw = ws for some s ∈ S .
The name “cover reflection” refers to the fact that w covers tw inthe weak order.
Indeed, for each cover ws <· w , there is a cover reflection wsw−1
of w .
The set of cover reflections of w is written cov(w).
In Sn+1:
cov(π) = {transpositions (i j) : i immediately before j in π}.
14
![Page 20: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/20.jpg)
Bringing geometry into the picture
Exercise 4Bd
Show that the diagram of a Coxeter system associated to aKac-Moody root system has the following properties.
1. Each edge is unlabeled or has label 4, 6 or ∞.
2. Any cycle has an even number of 4’s and an even number of6’s.
Exercise 4Be
Given a Coxeter group W whose diagrams satisfy the conditions ofExercise 4Bd, show that there is a Kac-Moody root systemassociated to W .
In fact, there are many!
In general, we can make a “generalized” generalized Cartan matrixand root system for any Coxeter group if we allow non-integerentries and add an additional technical condition. 15
![Page 21: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/21.jpg)
The Tits cone
DefineD =
⋂
αi∈Π
{x ∈ V ∗ : 〈x , αi 〉 ≥ 0}
This is an n-dimensional simplicial cone in the dual space V ∗.
The set F(A) of all cones wD and their faces is a fan in V ∗ whichwe call the Coxeter fan. Its maximal cones are in bijection withelements of W (i.e. the map w 7→ wD is injective).
The union of the cones of F(A) is a convex subset of V ∗ known asthe Tits cone and denoted Tits(A).
The cones wD are the regions in Tits(A) defined by the reflectinghyperplanes
{
β⊥ : β ∈ Φ}
.
16
![Page 22: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/22.jpg)
Tits cone example: B2
D =⋂
αi∈Π
{x ∈ V ∗ : 〈x , αi 〉 ≥ 0}
In this case, Tits(A) is all of V ∗.We’ll label each region wD by w .
α1
α2
1
17
![Page 23: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/23.jpg)
Tits cone example: B2
D =⋂
αi∈Π
{x ∈ V ∗ : 〈x , αi 〉 ≥ 0}
In this case, Tits(A) is all of V ∗.We’ll label each region wD by w .
α1
α2
1s1
s2
17
![Page 24: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/24.jpg)
Tits cone example: B2
D =⋂
αi∈Π
{x ∈ V ∗ : 〈x , αi 〉 ≥ 0}
In this case, Tits(A) is all of V ∗.We’ll label each region wD by w .
α1
α2
1s1
s2
s1s2
s2s1
s2s1s2
s1s2s1*
∗ = s1s2s1s2 = s2s1s2s1
17
![Page 25: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/25.jpg)
Tits cone example: S4
Blue region is D.
Again, Tits(A) isall of V ∗
Largest circles:hyperplanes fors1, s2, and s3.(s2 on top.)
18
![Page 26: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/26.jpg)
Tits cone example: an affine root system
1
s1
s2
s3
19
![Page 27: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/27.jpg)
Tits cone example: an affine root system
1
s1
s2
s3
19
![Page 28: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/28.jpg)
Tits cone example: a hyperbolic root system
20
![Page 29: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/29.jpg)
Tits cone example: a hyperbolic root system
20
![Page 30: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/30.jpg)
Tits cone example: a hyperbolic root system
20
![Page 31: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/31.jpg)
How the combinatorics shows in the geometry
D
Words are paths from D.
21
![Page 32: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/32.jpg)
How the combinatorics shows in the geometry
D
Words are paths from D.
Reduced words: pathsthat don’t cross anyhyperplane twice. “Walls”are labeled by S . Crossinga wall ↔ tacking a letteron right.
21
![Page 33: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/33.jpg)
How the combinatorics shows in the geometry
D
Words are paths from D.
Reduced words: pathsthat don’t cross anyhyperplane twice. “Walls”are labeled by S . Crossinga wall ↔ tacking a letteron right.
inv(w): reflections whosehyperplanes separate wDfrom D.
21
![Page 34: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/34.jpg)
How the combinatorics shows in the geometry
D
Words are paths from D.
Reduced words: pathsthat don’t cross anyhyperplane twice. “Walls”are labeled by S . Crossinga wall ↔ tacking a letteron right.
inv(w): reflections whosehyperplanes separate wDfrom D.
cov(w): inversions whosehyperplanes define facetsof wD
21
![Page 35: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/35.jpg)
The weak order, geometrically (S4)
22
![Page 36: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/36.jpg)
The weak order, geometrically (S4)
22
![Page 37: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/37.jpg)
The weak order, geometrically (S4)
22
![Page 38: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/38.jpg)
The weak order, geometrically (S4)
22
![Page 39: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/39.jpg)
The weak order, geometrically (S4)
22
![Page 40: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/40.jpg)
The weak order, geometrically (S4)
22
![Page 41: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/41.jpg)
The weak order, geometrically (S4)
22
![Page 42: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/42.jpg)
The weak order, geometrically (S4)
22
![Page 43: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/43.jpg)
References
(BB) A. Bjorner and F. Brenti, “Combinatorics of Coxeter groups.”Graduate Texts in Mathematics, 231.
(B) N. Bourbaki, “Lie groups and Lie algebras. Chapters 4–6.”Elements of Mathematics.
(H) J. E. Humphreys, “Reflection groups and Coxeter groups.”Cambridge studies in advanced mathematics 29.
(INF) N. Reading and D. Speyer, “Sortable elements in infiniteCoxeter groups.” Transactions AMS 363.
23
![Page 44: Lecture 4B: Coxeter groups - Nc State UniversityLecture 4B: Coxeter groups Nathan Reading NC State University Cluster Algebras and Cluster Combinatorics MSRI Summer Graduate Workshop,](https://reader035.fdocument.pub/reader035/viewer/2022081522/5f0d62cf7e708231d43a186e/html5/thumbnails/44.jpg)
Exercises, in order of priority
There are more exercises than you can be expected to complete ina half day. Please work on them in the order listed. Exercises onthe first line constitute a minimum goal. It would be profitable towork all of the exercises eventually.
4Ba, 4Bc, 4Bd,
4Bb, 4Be.
24