Twisted identities in Coxeter groups. (Q944967)

The present paper deals with twisted identities in Coxeter groups. Given a Coxeter system \((W,S)\) equipped with an involutive automorphism \(\theta\), the author describes the set of twisted identities \(\iota(\theta)\) in several contexts and proves that if there is no \(s\in S\) such that \(s\theta(s)\) is of odd order greater than 1, then the Bruhat order on \(\iota(\theta)\) is a graded poset with rank function \(\rho\) given by halving the Coxeter length. Under the same condition, it is also shown that the order complexes of the open intervals either are PL spheres or \(\mathbb{Z}\)-acyclic. In the general case, contractibility is shown for certain classes of intervals. Moreover, it is proved that sometimes these posets are not graded. The paper ends by a discussion about the factorization phenomenon of the Poincaré series associated to \(\iota(\theta)\) (see Section 5).