arXiv++ Combinatorics

In this article, we establish some new combinatorial properties of elements in Coxeter groups. Firstly, we generalise Reading's theorem on the canonical join representations of elements in finite Coxeter groups to all finitely generated Coxeter groups. Secondly, we show that for any element $x$ in a Coxeter group $W$ and root $β$ in its inversion set $Φ(x)$, the set of elements $y \in W$ satisfying $Φ(x) \cap Φ(y) = \{ β\} $ is convex in the weak order and admits a unique minimal representative. This is strongly connected to determining the cone type of elements of $W$ and leads to efficient computational methods to determine whether arbitrary elements of $W$ have the same cone type.

We prove that the smallest elements of Shi parts and cone type parts exist and form Garside shadows. The latter resolves a conjecture of Parkinson and the second author as well as a conjecture of Hohlweg, Nadeau and Williams.

In this article we introduce the notion of a \textit{regular partition} of a Coxeter group. We develop the theory of these partitions, and show that the class of regular partitions is essentially equivalent to the class of automata (not necessarily finite state) recognising the language of reduced words in the Coxeter group. As an application of this theory we prove that each cone type in a Coxeter group has a unique minimal length representative. This result can be seen as an analogue of Shi's classical result that each component of the Shi arrangement of an affine Coxeter group has a unique minimal length element. We further develop the theory of cone types in Coxeter groups by identifying the minimal set of roots required to express a cone type as an intersection of half-spaces. This set of \textit{boundary roots} is closely related to the elementary inversion sets of Brink and Howlett, and also to the notion of the base of an inversion set introduced by Dyer.