Shi arrangements and low elements in affine Coxeter groups
Nathan Chapelier-Laget, Christophe Hohlweg

TL;DR
This paper proves that in affine Coxeter groups, the minimal length elements in Shi arrangement regions are exactly the low elements, confirming a conjecture and linking geometric and combinatorial structures.
Contribution
It establishes that minimal length region elements in affine Shi arrangements are precisely the low elements, confirming a conjecture by Dyer and the second author.
Findings
The set of minimal length elements in Shi arrangement regions equals the set of low elements.
Descent walls of regions correspond to descent walls of their associated low elements.
The result confirms a conjecture in the case of affine Coxeter groups.
Abstract
Given an affine Coxeter group , the corresponding Shi arrangement is a refinement of the corresponding Coxeter hyperplane arrangements that was introduced by Shi to study Kazhdan-Lusztig cells for . In particular, Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in . Low elements in were introduced to study the word problem of the corresponding Artin-Tits (braid) group and turns out to produce automata to study the combinatorics of reduced words in . In this article, we show in the case of an affine Coxeter group that the set of minimal length elements of the regions in the Shi arrangement is precisely the set of low elements, settling a conjecture of Dyer and the second author in this case. As a byproduct of our proof, we show that the descent-walls -- the walls that separate a region from the fundamental alcove -- of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Combinatorial Mathematics · Algebraic structures and combinatorial models · semigroups and automata theory
