# COMBINATORICS OF COXETER GROUPS - Emily Gunawan · PDF file A Coxeter group is a collection of \symmetries" that have properties similar to mirror re ections. The theory of Coxeter

• View
0

0

Embed Size (px)

### Text of COMBINATORICS OF COXETER GROUPS - Emily Gunawan · PDF file A Coxeter group is a collection of...

• MATH 3094: Honors (Special Topics) Math Scholars Course COMBINATORICS OF COXETER GROUPS

Fall 2018 – Tues/Thurs 3:30-4:45pm

A Coxeter group is a collection of “symmetries” that have properties similar to mirror reflections. The theory of Coxeter groups is a fundamental and active area of research, with a beautiful interplay of algebraic, combinatorial, and geometric ideas. The sym- metric group, i.e., permutations of n objects, is one of the most basic examples; many facts about its structure have interesting generalizations to more general Coxeter groups.

This course will provide an introduction to the theory of reflection groups and Coxeter groups from an algebraic combinatorial point of view. We will review necessary back- ground from linear algebra and group theory and apply them to topics such as root systems, Bruhat order, reduced words, and classifications of finite reflection groups. While the course is primarily targeted at mathematics students, the subject matter would be of interest (and possible use) in the natural sciences.

After the basic material is covered, we will draw some connections to current research topics in algebraic combinatorics.8 1. The basics

Figure 1.1. Symmetries of the dodecahedron.

Example 1.2.9 Reflection groups. The example of the dodecahedron shows how a certain finite Coxeter group can be realized as a group of geometric transformations generated by reflections. This is, in fact, true of all finite Coxeter groups, not only the ones related to regular polytopes. It is also true for the infinite Coxeter groups, although here one may need to relax the concept of reflection.

The two most important classes of infinite Coxeter groups are defined in terms of their realizations as reflection groups. These are the affine and hyperbolic Coxeter groups. We will not discuss the precise definitions here; suffice it to say that they arise from suitably defined reflections in affine (resp. hyperbolic) space. The irreducible groups of both types have been classified.

Here are a few low-dimensional examples that should convey the general idea. There are three affine irreducible Coxeter systems of rank 3: Ã2, C̃2, and G̃2 (cf. Appendix A1). The corresponding arrangements of reflecting lines are shown in Figure 1.2. There are infinitely many hyperbolic irre- ducible Coxeter systems of rank 3 (but only finitely many in higher ranks); the system of reflecting lines for one of them is shown in Figure 1.3.

Just as for the dodecahedron, the Coxeter generators for these affine and hyperbolic groups can be taken to be the reflections in the three lines that border a fundamental region. Furthermore, the Coxeter matrix of the group can be read off from the angles at which these lines pairwise meet. For instance, these angles are, in the case of Figure 1.3, respectively π/2, π/3, and 0 = π/∞. Again, the denominators are the edge labels of the Coxeter diagram

∞ . ✷

3214 3142 2413 23414123 1432

3124 2143 1423 13422314

1324 1243

4213 4132 3412 24313241

4312 3421

1234

2134

4321

4231

1.2. Examples 9

Figure 1.2. The eA2, eC2, and eG2 tesselations of the affine plane.

Figure 1.3. The ∞

tesselation of the hyperbolic plane.

Example 1.2.10 Weyl groups of root systems. This example concerns a special class of groups generated by reflections, which is of great importance in the theory of semisimple Lie algebras. In that context, the following finite vector systems in Euclidean space Ed naturally arise. (Recall that Ed is the same as Rd endowed with a positive definite symmetric bilinear form.)

For α ∈ Ed\{0}, let σα denote the orthogonal reflection in the hyperplane orthogonal to α. In particular, σα(α) = −α.

1.2. Examples 9

Figure 1.2. The eA2, eC2, and eG2 tesselations of the affine plane.

Figure 1.3. The ∞

tesselation of the hyperbolic plane.

Example 1.2.10 Weyl groups of root systems. This example concerns a special class of groups generated by reflections, which is of great importance in the theory of semisimple Lie algebras. In that context, the following finite vector systems in Euclidean space Ed naturally arise. (Recall that Ed is the same as Rd endowed with a positive definite symmetric bilinear form.)

For α ∈ Ed\{0}, let σα denote the orthogonal reflection in the hyperplane orthogonal to α. In particular, σα(α) = −α.

Prerequisites: A course in proof writing (Math 2710: Transition to Advanced Math- ematics or Math 2141Q: Advanced Calculus or CSE 2500: Introduction to Discrete Systems) or permission by instructor. Enrollment requires instructor permission.

Note: The Math Scholars Course (MATH 3094) is a course for talented and engaged undergraduates, on a topic we do not cover in our regularly scheduled courses. The class carries honors credit, but it’s open to everyone.

Questions? Email the instructor, Emily Gunawan, at [email protected] ##### Coxeter Groups and Root Systems via Automatic Structures edgartj/automatic.pdf · PDF file Coxeter Groups are Automatic How can we show that Coxeter groups are automatic? i.e. inﬁnite
Documents ##### A Clifford Algebraic Framework for Coxeter Group · PDF fileFramework for Coxeter Group Theoretic ... A Clifford algebraic framework for Coxeter group theoretic computations ... fullerenes
Documents ##### On extremal properties of hyperbolic Coxeter polytopes and ... Coxeter polytopes to ﬁnite-volume Coxeter polytopes with four-valent ideal vertices. In dimension n ≥ 4, the growth
Documents ##### Examples of Groups: Coxeter Groups · PDF file Coxeter systems The cell complex Variation for Artin groups If either answer holds, (W;S) is a Coxeter system and W a Coxeter group
Documents ##### Author(s): H. S. M. Coxeter Source: The American Mathematical ptrapa/math-library/coxeter/Coxeter... · PDF file 2010-10-25 · QUATERNIONS AND REFLECTIONS* H. S. M. COXETER, University
Documents ##### COXETER ORBITS AND MODULAR rouquier/papers/coxeter.pdf · PDF fileWe deduce the truth of the conjecture for Coxeter tori, as a ... The!˘!˘))-˘!): COXETER ORBITS AND MODULAR REPRESENTATIONS
Documents ##### Coxeter submodular functions and deformations of Coxeter ...math.sfsu.edu/federico/Articles/  · PDF file Coxeter combinatorics recognizes that many classical combinatorial constructions
Documents ##### Coxeter elements in well-generated reflection vripoll/Strobl_Coxelt.pdf · PDF file n+1 2n n. Generalization to nite Coxeter groups (or re ection groups): replace S n with a Coxeter
Documents ##### The growth rates of ideal Coxeter polyhedra in hyperbolic ...math.bu.edu/keio2017/talks/  · PDF fileThe growth rates of ideal Coxeter polyhedra in hyperbolic 3 ... is a Coxeter system
Documents ##### COXETER GROUP IN HILBERT GEOMETRY - univ- · PDF file COXETER GROUP IN HILBERT GEOMETRY LUDOVIC MARQUIS ABSTRACT.A theorem of Tits - Vinberg allows to build an action of a Coxeter
Documents ##### Cluster structure of the quantum Coxeter Toda system · PDF file quantum Coxeter{Toda integrable system. Gus Schrader Cluster structure of quantum Coxeter{Toda system. Classical Coxeter{Toda
Documents ##### ÁNIV ANGIONO - FAMAF UNC angiono/assets/files/Grupos de Coxeter... · PDF file GRUPOS DE COXETER Y SU COMBINATORIA ÁNIV ANGIONO Resumen. Estudiaremos los grupos de Coxeter partiendo
Documents ##### PROPER AFFINE ACTIONS FOR RIGHT-ANGLED COXETER kassel/CoxeterProper.pdf · PDF file cles for irreducible right-angled Coxeter groups. Since any right-angled Coxeter group is a direct
Documents ##### Conway { Coxeter friezes, cluster algebras, and SageMath · PDF file Outline 1.Conway { Coxeter friezes I A Conway { Coxeter frieze is a Catalan object I Connection to classical objects
Documents Documents