The Twist Conjecture and the Isomorphism Problem for Coxeter groups

Abstract

We prove Mühlherr's Twist Conjecture: any two angle-compatible Coxeter generating sets of a Coxeter group differ by a finite sequence of elementary twists and a conjugation. Combined with earlier work of Howlett-Mühlherr and Marquis-Mühlherr, this completes the resolution of the Isomorphism Problem for Coxeter groups. A further consequence is that ${\rm Aut}(W)$ is finitely generated for every Coxeter group $W$, and there is an algorithm producing a finite set of generators for ${\rm Aut}(W)$ starting from any Coxeter matrix. Of the vast literature on the Twist Conjecture, we utilise only two results in an essential way: strong rigidity of $2$--spherical Coxeter systems, due to Caprace and Mühlherr, and the framework of markings and hierarchies developed by Caprace and Przytycki for the twist-rigid case. We also exploit in a fundamental way some soft ideas from JSJ theory and an observation of Mihalik-Tschantz on splittings of Coxeter groups. No form of AI was used in the writing of this manuscript, nor in the research that it presents.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.