81af99a96ec84fac.tex
1: \begin{abstract}
2: 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$.
3: In finite Coxeter groups, weak order is a complete lattice, but in infinite Coxeter groups it is only a meet semi-lattice.
4: %This raises the question of whether weak order can be embedded in some larger complete lattice in infinite type.
5: 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 called ``biclosed''. The finite biclosed sets are precisely the inversion sets of Coxeter group elements.
6: Dyer conjectured that the extended weak order is always a complete lattice, even for infinite Coxeter groups.
7: 
8: In this paper, we prove Dyer's conjecture for Coxeter groups of affine type. 
9: %We also prove a number of new results concerning hyperplane arrangements associated to order ideals in the root poset. 
10: 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.
11: \end{abstract}
12: