# The Twist Conjecture and the Isomorphism Problem for Coxeter groups

Preprint · Elia Fioravanti

- Archive id: arxiv:2608.28348
- Published: 2026-08-28
- arXiv: https://arxiv.org/abs/2608.28348
- Source URL: https://arxiv.org/abs/2608.28348
- PDF: https://arxiv.org/pdf/2608.28348
- Provenance: arxiv

## 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 reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.