Mühlherr's twist conjecture for finite-rank Coxeter systems

About 17 years old · traced to

Let (W,S)(W,S) be a Coxeter system of finite rank, and let S′S' be another set of Coxeter generators of WW. Define

SW={wsw−1:s∈S and w∈W}.S^W=\{wsw^{-1}:s\in S\text{ and }w\in W\}.

The set SS is sharp-angled with respect to S′S' if, for each pair s,t∈Ss,t\in S such that 2<m(s,t)<∞2<m(s,t)<\infty, there is a w∈Ww\in W such that w{s,t}w−1⊆S′w\{s,t\}w^{-1}\subseteq S'. The Coxeter systems (W,S)(W,S) and (W,S′)(W,S') are twist equivalent if there is a finite sequence of elementary twists transforming SS into S′S'.

Twist conjecture. If S′⊆SWS'\subseteq S^W and SS is sharp-angled with respect to S′S', then (W,S)(W,S) is twist equivalent to (W,S′)(W,S').

This conjecture concerns the isomorphism problem for finite-rank Coxeter systems and predicts that the stated inclusion and sharp-angledness conditions are sufficient for the two generating sets to be related by elementary twists. It is attributed to Mühlherr; the supplied source gives no resolution, so its status remains open.

References

Primary source

John Ratcliffe and Steven Tschantz, “JSJ decompositions of Coxeter groups over FA subgroups”, arXiv:0910.5732 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.