Twisted conjugacy in PL-homeomorphism groups of the circle (Q2273272)

Let \(P \subseteq \mathbb{R}^{\times}_{>0}\) be a nontrivial subgroup of the multiplicative group of positive reals and let \(A \subseteq \mathbb{R}\) be a nontrivial subgroup of the additive group of reals which is also a \(P\)-module. For a positive \(r\in A\), denote by \(S_r\) the circle \(\mathbb{R}/r\mathbb{Z}\). Let \(T(r,A,P)\) be the group (introduced by \textit{R. Bieri} and \textit{R. Strebel} [On groups of PL-homeomorphisms of the real line. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1377.20002)], as a generalization of the Richard Thompson group \(T = T (1,\mathbb{Z}[1/2], \big<2\big>)\)) of all \(PL\)-homeomorphisms of \(S_r\) which have slopes in \(P\) and break points in \(A/r\mathbb{Z}\). Given an automorphism \(\varphi : \Gamma\to \Gamma\) of a group \(\Gamma\), write \(R(\varphi)\) for its Reidemeister number and recall that the group \(\Gamma\) is said to have the \(R_\infty\)-property if \(R(\varphi) = \infty\) for all its automorphisms \(\varphi\). The authors show that the group \(T(r,A,P)\) has the \(R_\infty\)-property when the slope group \(P\) is not cyclic. When \(P\) is cyclic, in general, there are exotic automorphisms -- those which cannot be represented by \(PL\)-homeomorphisms and the authors' proof fails for such automorphisms.