A characterization of total reflection orders

From MaRDI portal





This article examines so-called total reflection orders, which are total orders on the set \(T\) of reflections of a Coxeter system \((W,S)\). The main result of the article is that total reflection orders are precisely KL-orders. A total reflection order is a total order \(\leq\) on \(T\) such that for any two positive roots \(\alpha,\beta\) of the Coxeter system, with \(r_\alpha\leq r_\beta\), if \(c\alpha+d\beta\) is also a positive root, then \(r_\alpha\leq r_{c\alpha+d\beta}\leq r_\beta\). A total order on \(T\) is a KL-order if it is stable, and each upper and lower \(s\)-conjugate of it is stable. The upper \(s\)-conjugate \(\leq^s\) of an order \(\leq\) is defined as follows (the lower \(s\)-conjugate is defined similarly). For each \(t\neq t'\in T\), we have \(t\leq^s t'\) if and only if \(t\leq t'\leq s\), or \(t\leq s\leq t'\), or \(s\leq sts\leq st's\), or \(t'=s\). Finally, a stable total order \(\leq\) is one such that for any \(s\in S\), the sets \(\{t\in T:t\leq s\}\) and \(\{t'\in T:s\leq t'\}\) are stable under conjugation by \(s\). As mentioned, the main result of the article is that a total order on \(T\) is a total reflection order if and only if it is a KL-order. This is of interest, since total reflection orders are used by Dyer and Brenti in separate articles to give formulas for the \(R\)-polynomials and the Kazhdan-Lusztig polynomials. (See [\textit{M.~J.~Dyer}, Compos. Math. 89, No. 1, 91-115 (1993; Zbl 0817.20045)], [\textit{F.~Brenti}, J. Lond. Math. Soc., II. Ser. 55, No. 3, 448-472 (1997; Zbl 0895.20029) and J. Am. Math. Soc. 11, No. 2, 229-259 (1998; Zbl 0904.20033)].) The article concludes by considering finite Coxeter systems, and Coxeter systems for which every proper parabolic subgroup is finite, and characterizing total reflection orders in these special cases.











This page was built for publication: A characterization of total reflection orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4955744)