Separable elements and Bruhat orders
Abstract
We prove the curious fact that, in any Coxeter group, the intersection of a principal left weak order ideal [e,x]L with a principal right weak order ideal [e,y]R has a unique maximal element lr(x,y) under Bruhat order. We apply this to resolve a conjecture of Hart and Rowley on involutions in weak order ideals. This fact arises from, and is applied to, our study of the theory of separable elements in finite Weyl groups. We use it to prove that for U=[e,u]R in a Coxeter group W, the multiplication map W/U× U→ W is surjective, where W/U is the Björner-Wachs generalized quotient. This resolves and generalizes a conjecture of the authors. For finite Weyl groups, we further prove that this map is bijective if and only if u is separable, thereby classifying the splittings of finite Weyl groups into weak order intervals, and resolving the natural extension of a question of Björner-Wachs.
Related
- Buildings governed by twisted Bruhat orders
- Affine Higher Bruhat Orders
- A quotient of the Bruhat-Tits building classifying maximal matrix orders over curves
- From Unit Interval Orders to Totally Nonnegative Matrices: Permanental Inequalities and Bruhat-Increasing Bijections
- Computing distances in braid-move graphs, higher Bruhat orders, and oriented-matroid mutation graphs is NP-hard
BibTeX
@misc{gaetz2026separable,
title = {{Separable elements and Bruhat orders}},
author = {Christian Gaetz and Yibo Gao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.22857},
eprint = {2610.22857},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.22857},
}
RIS
TY - UNPB
TI - Separable elements and Bruhat orders
AU - Christian Gaetz
AU - Yibo Gao
PY - 2026
DA - 2026/10/16
PB - arXiv
DO - 10.48550/arxiv.2610.22857
UR - https://arxiv.org/abs/2610.22857
AB - We prove the curious fact that, in any Coxeter group, the intersection of a principal left weak order ideal [e,x]_L with a principal right weak order ideal [e,y]_R has a unique maximal element lr(x,y) under Bruhat order. We apply this to resolve a conjecture of Hart and Rowley on involutions in weak order ideals. This fact arises from, and is applied to, our study of the theory of separable elements in finite Weyl groups. We use it to prove that for U=[e,u]_R in a Coxeter group W, the multiplication map W/U× U→ W is surjective, where W/U is the Björner-Wachs generalized quotient. This resolves and generalizes a conjecture of the authors. For finite Weyl groups, we further prove that this map is bijective if and only if u is separable, thereby classifying the splittings of finite Weyl groups into weak order intervals, and resolving the natural extension of a question of Björner-Wachs.
ER -