On inversion sets of joins in weak Bruhat order
In the authors' words
It is well-known that any Coxeter group is a meet-semilattice with respect to weak order. Furthermore, when is finite, it is a lattice. In the first part of this paper, we give a recursive algorithm that computes joins in weak order for arbitrary finite . In the second part, we complete the proof of a conjecture of Dyer expressing the inversion set of a join in terms of the union of inversion sets of each factor, under the assumption that is finite. Some proofs were developed in collaboration with Claude Opus 5.
Main resultLimitation the authors admit
Appeared: Wednesday, September 23. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 12 pages