A two-sided analogue of the Coxeter complex (Q668037)

Fix a finitely generated Coxeter system \((W,S)\), and let \(W_J\) denote the standard parabolic subgroup generated by a subset of simple generators \(J \subseteq S\). The Coxeter complex is the set of all cosets of these parabolic subgroups and is \( \{ wW_J : w \in W, J \subseteq S \}.\) The author considers a two sided analogue to the Coxeter complex. The author defines the two-sided Coxeter complex as the set of marked double parabolic cosets \(\Xi = \{(I,W_IwW_J,J) : w \in W,I,J \subseteq S\}\). The partial order \(\leq_\Xi\) is defined by reverse inclusion of the index sets \(I\) and \(J\) as well as the corresponding double coset. The author presents examples to show that \(\Xi\) is not merely the set of such cosets ordered by reverse inclusion. The author shows: \begin{itemize} \item[1)] The complex \(\Xi\) is a balanced Boolean complex of dimension \(2n-1\). \item[2)] The facets (maximal faces) of \(\Xi\) are in bijection with the elements of \(W,\) and the Coxeter complex is a relative subcomplex of \(\Xi\). \item[3)] The complex \(\Xi\) is shellable and any linear extension of the two-sided weak order on \(W \) gives a shelling order for \(\Xi\). \item[4)] If \(W\) is infinite then \(\Xi\) is contractible. \item[5)] If \(W\) is finite, (a) the geometric realization of \(\Xi\) is a sphere, and (b) a refined \(h\)-polynomial of \(\Xi\) is the two-sided \(W\)-Eulerian polynomial, \(h(\Xi ;s,t) =\sum_{w \in W } s^{\mathrm{des}_L(w)} t^{\mathrm{des}_R(w)}\), where \(\mathrm{des}_L(w)\) denotes the number of left descents of \( w\) and \(\mathrm{des}_R(w)\) denotes the number of right descents of the element \(w\). \end{itemize} The main contrasts between \(\Xi\) and the Coxeter complex lie in the fact that \(\Xi\) is roughly twice the dimension of the Coxeter complex and in the fact that \(\Xi\) is not a simplicial complex. The author remarks that his approach in this work is combinatorial, not geometric.