User:Tomruen/Coxeter foldings

Coxeter
group
Coxeter
diagram
DegreesCoxeter planes
A22, 3A1, A2
B22, 4A1, B2
H22, 5A1, H2
A32, 3, 4A1, A2, A3
B32, 4, 6A1, B2, A2=B3
H32, 6, 10A1, A2, H2=H3
A42, 3, 4, 5A1, A2, A3, A4
B42, 4, 6, 8A1, A3, B2, A2=B3, B4
D42, 4, 6A1, A3, A2=D4
F42, 6, 8, 12A1, A3=B2, A2=B3, F4
H42, 12, 20, 30A1, A2, A3, H2=H3, H4
A52, 3, 4, 5, 6A1, A2, A3, A4, A5
B52, 4, 6, 8, 10A1, A3=B2, A2=B3, B4, A4=B5
D52, 4, 6, 8; 5A1, A3, A2=D4, D5; A4
A62, 3, 4, 5, 6, 7A1, A2, A3, A4, A5, A6
B62, 4, 6, 8, 10, 12A1, A3=B2, A2=B3, B4, A4=B5, B6
D62, 4, 6, 8, 10
E62, 5, 6, 8, 9, 12A1, A4, A2=D4=A5, A3=D5, ?, E6
E72, 6, 8, 10, 12, 14, 18
E82, 8, 12, 14, 18, 20, 24, 30
Finite Coxeter group foldings

Let me try using Coxeter–Dynkin_diagram#Geometric_foldings to express Coxeter planes as Coxeter numbers and all degrees of fundamental invariants. Foldings are shown by marking node with colors, re and blue, which map to node 1 or 2 in the rank 2 folded group.

A3

Example: A3,
FoldingDegreeCoxeter Plane
4A3
3A2
2A1

B3

Example: B3,
FoldingDegreeCoxeter Plane
6B3
3×2A2
4B2
2A1

H3

Example: H3,
FoldingDegreeCoxeter Plane
10H3
5×2H2
3×2A2
2A1

A4

Example: A4,
FoldingDegreeCoxeter Plane
5A4

4A3

3A2
2A1

B4

Example: B4,
FoldingDegreeCoxeter Plane
8B4

6B3

3×2A2
4A3
4B2
2A1

D4

Example: D4,
FoldingDegreeCoxeter Plane
6D4=B3
3×2A2
= 4D3=A3
4B2
2A1

F4

Example: F4,
FoldingDegreeCoxeter Plane
12F4
4×2A3
4×2B2
6B3
3×2A2
2A1

H4

Example: H4,
FoldingDegreeCoxeter Plane
30H4
20
12F4

10H3
5×2H2

3×2A2
4A3
2A1

A5

Example: A5,
FoldingDegreeCoxeter Plane
6A5

5A4



4A3
3A2
2A1

B5

Example: B5,
FoldingDegreeCoxeter Plane
10B5
5×2A4
8B4


6B3


3×2A2


4A3
4B2
2A1

D5

Example: D5,
FoldingDegreeCoxeter Plane
8D5=B4

= 6D4=B3


3×2A2
5A4



= 4D3=A3
2A1

E6

Example: E6,
FoldingDegreeCoxeter Plane
12E6 = F4
9
= 8D5 = B4
6A5



= 6D4 = B3


3×2A2


5A4





4A3
2A1