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

TL;DR

This paper investigates the diversity of groups with property R_infinity, showing that such groups are abundant and can be distinguished by various algebraic and geometric properties, including cohomological dimension and quasi-isometry classes.

Contribution

It extends the class of known groups with property R_infinity to a broad family over many domains and demonstrates their uncountable diversity in quasi-isometry classes.

Findings

Most groups in the studied family have property R_infinity.

There are uncountably many finitely generated groups with R_infinity that are not quasi-isometric.

The groups can be distinguished by finiteness properties and cohomological dimension.

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 $\varphi$ of a given group has infinitely many orbits under the $\varphi$-twisted conjugation action $(g,x) \mapsto gx\varphi(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.