English

The Bruhat Order of a Finite Coxeter Group and Elnitsky Tilings

Group Theory 2024-07-23 v2

Abstract

Suppose that WW is a finite Coxeter group and WJW_J a standard parabolic subgroup of WW. The main result proved here is that for any for any wWw \in W and reduced expression of ww there is an Elnitsky tiling of a 2m2m-polygon, where m=[W:WJ]m = [W : W_J]. The proof is constructive and draws together the work on E-embedding in \cite{nicolaidesrowley1} and the deletion order in \cite{nicolaidesrowley3}. Computer programs which produce such tilings may be downloaded from \cite{github} and here we also present examples of the tilings for, among other Coxeter groups, the exceptional Coxeter group E8\mathrm{E}_8.

Keywords

Cite

@article{arxiv.2407.07975,
  title  = {The Bruhat Order of a Finite Coxeter Group and Elnitsky Tilings},
  author = {Robert Nicolaides and Peter Rowley},
  journal= {arXiv preprint arXiv:2407.07975},
  year   = {2024}
}

Comments

Minor updates to pictures and references have now been updated