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.

Poset Structure Concerning Cylindric Diagrams

Diagrammatic sets as a model of homotopy types

Posetal Diagrams for Logically-Structured Semistrict Higher Categories

Posets arising from decompositions of objects in a monoidal category

The Geometry of Relations

Model structures for diagrammatic $(\infty, n)$-categories

Cyclic posets and triangulation clusters

Combinatorial descriptions of biclosed sets in affine type

Spherical posets from commuting elements

Inductive and divisional posets

Nested cobordisms, Cyl-objects and Temperley-Lieb algebras

Affine extended weak order is a lattice

Enumeration of labeled trees and Dyck tilings

Combinatorics of higher-categorical diagrams

A lattice on Dyck paths close to the Tamari lattice

Manifold Diagrams for Higher Categories

Polyhedral products over finite posets

Positroids, knots, and $q,t$-Catalan numbers

Representable diagrammatic sets as a model of weak higher categories

On Order Ideals of Minuscule Posets III: The CDE Property

Amalgamable diagram shapes