Partial orders generalizing the weak order on Coxeter groups (Q1395820): Difference between revisions

Taking a Coxeter system of type \(M\) to be a pair \((W,R)\), with Wa group generated by \(\{\Gamma_i\}^n_{i=1}=R\) and \(M=(M_{ij})\) a symmetric matrix with \(M_{ii}=1\), \(M_{ij}\in N\), \((\Gamma_i\Gamma_j)^{Mij}=1\), these systems have been investigated from different perspectives since the generators \(\Gamma_i\) with \(\Gamma_i^2=e\), may be interpreted in a (pseudo)-geometric manner to some advantage. Among these perspectives considerations of (partial) order must be included and indeed several different orders (Bruhat, etc.) have been investigated over time and proved useful in determining properties of combinatorial structures on these posets, often through consideration of the order-complex of the poset and its associated ``algebraic topology'' (cohomology on flag-manifolds and related matters). In this paper the poset view is addressed and a new family of orders \((T\)-orders) is introduced, generalizing the weak order and including special orders (Grassman and Lagrange) on special Coxeter groups (type \(A_n\) and \(B_n)\) where they have been found useful. In proving these facts, in this paper new information is developed even in the special cases. Also, noting how these special orders are in fact (rooted \(\mu)\)-Bruhat-(Chevalley) for \(A_n\) and \(B_n\), some \(T\)-orders in other special cases \((D_n,E_6\) and \(E_7)\) are once more seen to be special suborders of these.