Geometry of finite quotients of groups
With Thiebout Delabie.
1. Box spaces
Call a filtration of group a nested sequence of finite index normal subgroups whose intersection is trivial.
Definition 1 The box space of a filtration is the disjoint union of with metric
- a Cayley graph metric (for the image of a fixed generating system of ) on ,
The idea is to study geometric properties of all uniformly. Changing the generating set of produces a coarsely equivalent box space.
On the other hand, box space depends crucially on the filtration. I construct a filtration such that even subfiltration and odd subfiltration produce drastically different bow spaces (e.g. one is coarsely Hilbert embeddable, the other is an expander).
Some of the geometry of is recovered: every -ball in embeds isometrically infinitely many times in the box space. There is more in it.
- is amenable iff box space has property A (Guentner).
- is Kazhdan box space is an expander (Margulis).
- Polynomial growth of bow space surjects to (Breuillard-Tointon).
2. The geometric rigidity question
Rigidity question. If two bow spaces are coarsely equivalent, what can one say of the original groups ?
Analogous to the algebraic rigidity question: does the list of its finite quotients determine a residually finite group ?
Theorem 3 (Khukhro-Valette) Coarse equivalent box spaces quasi-isometric groups.
The converse to our theorem is wrong.
This shows that there are many different expanders, even up to coarse equivalence. Indeed, there are many qi classes of Kazhdan groups (e.g. as varies). Using separation profiles, Hume has a quantitative expression of this.
Kajal Das proved that Coarse equivalent box spaces uniformly measure-equivalent groups.
3. Coarse fundamental groups
Question. To what extent can one recover the filtration?
If is a free group, a normal subgroup, , then . So is recoverable, but not from the coarse geometry. We explain a coarse version of the fundamental group, first introduced by Barcelo, Kramer, Laubenbacher, Wearer.
Let a finite Cayley graph. Pick the identity as base point. Let us call paths the 1-Lipschitz maps to . Say two paths and are -close if either
- either and ,
- or , and beyond, either or .
Say , are -homotopic if there exists a sequence of paths from to , each being -close to the next.
Define as the set of loops based at modulo -homotopy. By construction, a -quasi-isometry between Cayley graphs of and implies an epimorphism
Theorem 4 (Delabie-Khukhro) Let be finitely presented. Let be the max length of relators. Let be a normal subgroup of all of whose nontrivial elements are longer than . Taking , then .
Corollary 5 Coarsely equivalent bow spaces of finitely presented groups isomorphisms between elements of subfiltrations obtained by discarding finitely many elements.
Relies on Hopficity.
What about infinitely presented groups? We have examples of box spaces of wreath products which are coarse equivalent, but with different normal subgroups.
There exist two filtrations of the free group such that with bounded index , and such that the corresponding bow spaces are not coarsely equivalent. In fact, nearly any sequences with rapidly increasing indices would do the job.
There are infinitely many coarse equivalence classes of box spaces of which contain Ramanujan graphs (i.e. expanders with asymptotically optimal spectral gap).