Open Research Index

Separable elements and Bruhat orders

Christian Gaetz, Yibo Gao

arXivarxiv/2610.22857Oct 16, 2026math.COscore 0

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 $\mathrm{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\times U\rightarrow W$ is surjective, where $W/U$ is the…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.22857
curl -X POST /api/v1/records/arxiv/2610.22857/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.22857/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'