Cohomological and quasi-isometric diversity of groups with property $R_{\infty }$

Abstract

How rich is the collection of groups with a given prominent property? In this work we approach this question for property~$R_{\infty }$, which says that every automorphism $\phi$ of a given group has infinitely many orbits under the $\phi$-twisted conjugation action $(g,x)\mapsto gx\phi (g{)}^{-1}$. Generalising the soluble groups of Herbert Abels to a large family over many integral domains, we prove that most such groups have property~$R_{\infty }$ drawing from a classical result of Levchuk and a swift observation by Jabara. Within the broad programme of cataloguing finitely generated groups up to quasi-isometry, our groups can then be separated by finiteness properties and cohomological dimension whilst having~$R_{\infty }$. Abandoning finite presentability, we establish that property~$R_{\infty }$ is very abundant in a strong sense: there are uncountably many finitely generated groups (which can all be chosen to be amenable or non-amenable) that have~$R_{\infty }$ and are pairwise not quasi-isometric. The proofs vary in flavour. On the amenable side we use carefully constructed quotients of Abels' groups and a general strategy for quasi-isometric diversity established by Minasyan, Osin, and Witzel. For the non-amenable constructions we rely on modifications of Leary's type $\mathtt{FP}$ groups, further cohomological arguments, and recent powerful criteria for~$R_{\infty }$ due to Iveson, Martino, Sgobbi, Wong, and Fournier-Facio.

42 pages