Abstract:The deletion order of a finitely generated Coxeter group W is a total order on the elements which, as is proved, is a refinement of the Bruhat order. This order is applied in [8] to construct Elnitsky tilings for any finite Coxeter group. Employing the deletion order, a corresponding normal form of an element w of W is defined which is shown to be the same as the normal form of w using right to left lexicographic ordering. Further results on the deletion order are obtained relating to the property of being Artinian and, when W is finite, its interplay with the longest element of W.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the study of the deletion order in Coxeter groups and its applications. Specifically: 1. **Definition and Properties**: The paper defines the deletion order in Coxeter groups and proves that it is a total order relation and a refinement of the Bruhat order. Different from the Bruhat order, the deletion order is not graded by length except in some special cases. 2. **Elnitsky Tiling Construction**: The deletion order is used to construct Elnitsky tilings of finite Coxeter groups, which have important applications in geometric representation theory. Through the deletion order, certain E - embeddings can be constructed, thus obtaining the required tiling structures. 3. **Consistency of Normal Forms**: For an element \( w \) in a Coxeter group, the paper defines a normal form \( \text{NF}_{\Delta}(w) \) based on the deletion order and proves that this normal form is consistent with the normal form obtained using the right - to - left lexicographic ordering. 4. **Artinian Property**: The paper explores whether the deletion order is an Artinian order, that is, for each element \( w \), whether the set \( w^{\downarrow}=\{u \in W \mid u <_{\Delta} w\} \) is finite. For an irreducible Coxeter group \( (W, S) \), the deletion order is Artinian if and only if \( W \) is a finite, affine or compact hyperbolic group. 5. **Duality of the Longest Element**: For finite Coxeter groups of type \( A_n \) and \( B_n \), the paper studies the dual relationship between the deletion order and the longest element \( \omega_0 \), and proves that for each element \( w \), \( L(w)+L(\omega_0 w)=|W| + 1 \). In summary, this paper aims to deeply study the properties of the deletion order in Coxeter groups and its applications in geometric representation theory, especially in constructing Elnitsky tilings and understanding the combinatorial structure of Coxeter groups.

The Deletion Order and Coxeter Groups

The Bruhat Order of a Finite Coxeter Group and Elnitsky Tilings

Elements of minimal length and Bruhat order on fixed point cosets of Coxeter groups

Zero Excess and Minimal Length in Finite Coxeter Groups

On maximal dihedral reflection subgroups and generalized noncrossing partitions

Affine extended weak order is a lattice

Finite Coxeter Groups and Generalized Elnitsky Tilings

Deformations of permutation representations of Coxeter groups

Sortable elements in infinite Coxeter groups

Sortable elements and Cambrian lattices

On Reflection Orders Compatible with a Coxeter Element

On Excess in Finite Coxeter Groups

Coxeter Groups are not higher rank Arithmetic Groups

On the shard intersection order of a Coxeter group

On non-conjugate Coxeter elements in well-generated reflection groups

Refined Coxeter polynomials

Order types of reflection orders on affine Weyl groups

Invariants of reflection groups, arrangements, and normality of decomposition classes in Lie algebras

First-order aspects of Coxeter groups

Lyashko-Looijenga morphisms and primitive factorizations of the Coxeter element

Noncrossing partitions and Bruhat order