We construct examples of groups showing that virtual solvability and the property of being virtually torsion-free are not preserved by bi-Lipschitz maps and hence by quasi-isometries.
We study the quasi-isometric rigidity of a large family of finitely generated groups that split as graphs of groups with virtually free vertex groups and two-ended edge groups. Let $G$ be a group that is one-ended, hyperbolic relative to virtually abelian subgroups, and has JSJ decomposition over two-ended subgroups containing only virtually free vertex groups that aren't quadratically hanging. Our main result is that any group quasi-isometric to $G$ is abstractly commensurable to $G$. In particular, our result applies to certain "generic" HNN extensions of a free group over cyclic subgroups.
In 1985, Dunwoody showed that finitely presentable groups are accessible. Dunwoody's result was used to show that context-free groups, groups quasi-isometric to trees or finitely presentable groups of asymptotic dimension 1 are virtually free. Using another theorem of Dunwoody of 1979, we study when a group is virtually free in terms of its Cayley graph and we obtain new proofs of the mentioned results and other previously depending on them.
We give an algorithm for solving equations and inequations with rational constraints in virtually free groups. Our algorithm is based on Rips classification of measured band complexes. Using canonical representatives, we deduce an algorithm for solving equations and inequations in hyperbolic groups (maybe with torsion). Additionnally, we can deal with quasi-isometrically embeddable rational constraints.
Two groups are virtually isomorphic if they can be obtained one from the other via a finite number of steps, where each step consists in taking a finite extension or a finite index subgroup (or viceversa). Virtually isomorphic groups are always quasi-isometric, and a group G is quasi-isometrically rigid if every group quasi-isometric to G is virtually isomorphic to G. In this survey we describe quasi-isometric rigidity results for fundamental groups of manifolds which can be decomposed into geometric pieces. After stating by now classical results on lattices in semisimple Lie groups, we focus …
We prove that if $T$ is an $\mathbb R$-tree with a minimal free isometric action of $F_N$, then the $Out(F_N)$-stabilizer of the projective class $[T]$ is virtually cyclic. For the special case where $T=T_+(ϕ)$ is the forward limit tree of an atoroidal iwip element $ϕ\in Out(F_N)$ this is a consequence of the results of Bestvina, Feighn and Handel, via very different methods. We also derive a new proof of the Tits alternative for subgroups of $Out(F_N)$ containing an iwip (not necessarily atoroidal): we prove that every such subgroup $G\le Out(F_N)$ is either virtually cyclic or contains a fre…
A subgroup $H\leq G$ is said to be almost normal if every conjugate of $H$ is commensurable to $H$. If $H$ is almost normal, there is a well-defined quotient space $G/H$. We show that if a group $G$ has type $F_{n+1}$ and contains an almost normal coarse $PD_n$ subgroup $H$ with $e(G/H)=\infty$, then whenever $G'$ is quasi-isometric to $G$, it contains an almost normal subgroup $H'$ that is quasi-isometric to $H$. Moreover, the quotient spaces $G/H$ and $G'/H'$ are quasi-isometric. This generalises a theorem of Mosher-Sageev-Whyte, who prove the case in which $G/H$ is quasi-isometric to a fini…
We investigate the structure of the minimal displacement set in $8$-located complexes with the SD'-property. We show that such set embeds isometrically into the complex. Since $8$-location and simple connectivity imply Gromov hyperbolicity, the minimal displacement set in such complex is systolic. Using these results, we construct a low-dimensional classifying space for the family of virtually cyclic subgroups of a group acting properly on an $8$-located complex with the SD'-property.
Given a bounded valence, bushy tree T, we prove that any cobounded quasi-action of a group G on T is quasiconjugate to an action of G on another bounded valence, bushy tree T'. This theorem has many applications: quasi-isometric rigidity for fundamental groups of finite, bushy graphs of coarse PD(n) groups for each fixed n; a generalization to actions on Cantor sets of Sullivan's Theorem about uniformly quasiconformal actions on the 2-sphere; and a characterization of locally compact topological groups which contain a virtually free group as a cocompact lattice. Finally, we give the first exam…
Sela introduced limit groups in his work on the Tarski problem, and showed that each limit group has a cyclic hierarchy. In this paper, a class of relatively hyperbolic groups, equipped with a hierarchy similar to the one for limit groups, is shown to be closed under quasi-isometry. Additionally, these groups share some of the properties of limit groups. In particular, groups quasi-isometric to limit groups are shown to be LERF and virtually toral relatively hyperbolic.
Let G be a group acting isometrically with discrete orbits on a separable complete CAT(0)-space of bounded topological dimension. Under certain conditions, we give upper bounds for the Bredon cohomological dimension of G for the families of finite and virtually cyclic subgroups. As an application, we prove that the mapping class group of any closed, connected, and orientable surface of genus g greater than 1 admits a (9g-8)-dimensional classifying space with virtually cyclic stabilizers. In addition, our results apply to fundamental groups of graphs of groups and groups acting on Euclidean bui…
A monoid is said to be special if it admits a presentation in which all defining relations are of the form $w = 1$. Groups are familiar examples of special monoids. This article studies the geometric and structural properties of the Cayley graphs of finitely presented special monoids, building on work by Zhang and Gray-Steinberg. It is shown that the right Cayley graph $Γ$ of a special monoid $M$ is a context-free graph, in the sense of Muller & Schupp, if and only if the group of units of $M$ is virtually free. This generalises the geometric aspect of the well-known Muller-Schupp Theorem from…
We consider a finitely generated virtually abelian group $G$ acting properly and without inversions on a CAT(0) cube complex $X$. We prove that $G$ stabilizes a finite dimensional CAT(0) subcomplex $Y \subseteq X$ that is isometrically embedded in the combinatorial metric. Moreover, we show that $Y$ is a product of finitely many quasilines. The result represents a higher dimensional generalization of Haglund's axis theorem.
A nonpolycyclic nilpotent-by-cyclic group Gamma can be expressed as the HNN extension of a finitely-generated nilpotent group N. The first main result is that quasi-isometric nilpotent-by-cyclic groups are HNN extensions of quasi-isometric nilpotent groups. The nonsurjective injection defining such an extension induces an injective endomorphism phi of the Lie algebra g associated to the Lie group in which N is a lattice. A normal form for automorphisms of nilpotent Lie algebras--permuted absolute Jordan form-- is defined and conjectured to be a quasi-isometry invariant. We show that if phi, th…
It is well-known that a complete Riemannian manifold M which is locally isometric to a symmetric space is covered by a symmetric space. Here we prove that a discrete version of this property (called local to global rigidity) holds for a large class of vertex-transitive graphs, including Cayley graphs of torsion-free lattices in simple Lie groups, and Cayley graph of torsion-free virtually nilpotent groups. By contrast, we exhibit various examples of Cayley graphs of finitely presented groups (e.g. SL(4,Z)) which fail to have this property, answering a question of Benjamini, Ellis, and Georgako…
We prove that the class of convex-cocompact Kleinian groups is quasi-isometrically rigid. We also establish that a word hyperbolic group with a planar boundary different from the sphere is virtually a convex-cocompact Kleinian group provided that its boundary has Ahlfors regular conformal dimension strictly less than $2$ or if it acts geometrically on a CAT(0) cube complex.
In this note, we announce the first results on quasi-isometric rigidity of non-nilpotent polycyclic groups. In particular, we prove that any group quasi-isometric to the three dimenionsional solvable Lie group Sol is virtually a lattice in Sol. We prove analogous results for groups quasi-isometric to $R \ltimes R^n$ where the semidirect product is defined by a diagonalizable matrix of determinant one with no eigenvalues on the unit circle. Our approach to these problems is to first classify all self quasi-isometries of the solvable Lie group. Our classification of self quasi-isometries for $R …
We study the large scale geometry of mapping class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a left-multiplication, and as a consequence obtain quasi-isometric rigidity for MCG(S), namely that groups quasi-isometric to MCG(S) are virtually equal to it. (The latter theorem was proved by Hamenstadt using different methods). As part of our approach we obtain several other structural results: a description of the tree-graded structure on the asymptotic cone of MCG(S…
We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry group that is virtually a product of a solvable real Lie group and a solvable p-adic Lie group. In addition, we propose a candidate for a polycyclic group whose quasi-isometry group is a solvable real Lie group, and we introduce a candidate for a quasi-isometrically rigid solvable group that is not finitely presented. We also record some conjectures on the large…
We show that any group that is hyperbolic relative to virtually nilpotent subgroups, and does not admit peripheral splittings, contains a quasi-isometrically embedded copy of the hyperbolic plane. In natural situations, the specific embeddings we find remain quasi-isometric embeddings when composed with the inclusion map from the Cayley graph to the coned-off graph, as well as when composed with the quotient map to "almost every" peripheral (Dehn) filling. We apply our theorem to study the same question for fundamental groups of 3-manifolds. The key idea is to study quantitative geometric prop…
We prove that if a quasi-isometry of warped cones is induced by a map between the base spaces of the cones, the actions must be conjugate by this map. The converse is false in general, conjugacy of actions is not sufficient for quasi-isometry of the respective warped cones. For a general quasi-isometry of warped cones, using the asymptotically faithful covering constructed in a previous work with Jianchao Wu, we deduce that the two groups are quasi-isometric after taking Cartesian products with suitable powers of the integers. Secondly, we characterise geometric properties of a group (coarse e…
Given a finitely generated subgroup $Γ\le \mathrm{Out}(\mathbb{F})$ of the outer automorphism group of the rank $r$ free group $\mathbb{F} = F_r$, there is a corresponding free group extension $1 \to \mathbb{F} \to E_Γ \to Γ\to 1$. We give sufficient conditions for when the extension $E_Γ$ is hyperbolic. In particular, we show that if all infinite order elements of $Γ$ are atoroidal and the action of $Γ$ on the free factor complex of $\mathbb{F}$ has a quasi-isometric orbit map, then $E_Γ$ is hyperbolic. As an application, we produce examples of hyperbolic $\mathbb{F}$-extensions $E_Γ$ for whi…
Two groups have a common model geometry if they act properly and cocompactly by isometries on the same proper geodesic metric space. The Milnor-Schwarz lemma implies that groups with a common model geometry are quasi-isometric; however, the converse is false in general. We consider free products of uniform lattices in isometry groups of rank-1 symmetric spaces and prove, within each quasi-isometry class, residually finite groups that have a common model geometry are abstractly commensurable. Our result gives the first examples of hyperbolic groups that are quasi-isometric but do not virtually …
Stable subgroups and the Morse boundary are two systematic approaches to collect and study the hyperbolic aspects of finitely generated groups. In this paper we unify and generalize these strategies by viewing any geodesic metric space as a countable union of stable subspaces: we show that every stable subgroup is a quasi--convex subset of a set in this collection and that the Morse boundary is recovered as the direct limit of the usual Gromov boundaries of these hyperbolic subspaces. We use this approach, together with results of Leininger--Schleimer, to deduce that there is no purely geometr…