Abstract:Coxeter groups are equipped with a partial order known as the weak Bruhat order, such that $u \leq v$ if the inversions of $u$ are a subset of the inversions of $v$. In finite Coxeter groups, weak order is a complete lattice, but in infinite Coxeter groups it is only a meet semi-lattice. Motivated by questions in Kazhdan-Lusztig theory, Matthew Dyer introduced a larger poset, now known as extended weak order, which contains the weak Bruhat order as an order ideal and coincides with it for finite Coxeter groups. The extended weak order is the containment order on certain sets of positive roots: those which satisfy a geometric condition making them "biclosed". The finite biclosed sets are precisely the inversion sets of Coxeter group elements. Generalizing the result for finite Coxeter groups, Dyer conjectured that the extended weak order is always a complete lattice, even for infinite Coxeter groups. In this paper, we prove Dyer's conjecture for Coxeter groups of affine type. To do so, we introduce the notion of a clean arrangement, which is a hyperplane arrangement where the regions are in bijection with biclosed sets. We show that root poset order ideals in a finite or rank 3 untwisted affine root system are clean. We set up a general framework for reducing Dyer's conjecture to checking cleanliness of certain subarrangements. We conjecture this framework can be used to prove Dyer's conjecture for all Coxeter groups.

Fixed points of involutive automorphisms of the Bruhat order

Noncrossing partitions and Bruhat order

Automorphism groups of finite posets II

Fixed points of automorphisms of real algebraic curves

Boolean intervals in the weak Bruhat order of a finite Coxeter group

Affine extended weak order is a lattice

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

Classifying quotients on Coxeter groups by isomorphism in Bruhat order

A generalization of the Brauer-Fowler theorem

A generalization of the Brauer–Fowler theorem

Between weak and Bruhat: the middle order on permutations

Fixed elements of pircon automorphisms

Fixed points of G-monotone mappings in metric and modular spaces

On the automorphisms of the Drinfeld modular groups

Cohomology of the Bruhat-Tits strata in the supersingular locus of the $\mathrm{GU}(1,n-1)$ Shimura variety at a ramified prime

The Coxeter transformation on Cominuscule Posets

Automorphisms of odd Coxeter groups

A fixed point theorem for isometries on a metric space

A note on Bruhat order and double coset representatives

Fixed point sets for permutation modules

Steenrod operations via higher Bruhat orders