Introduction to approximate groups, III
1. Almost flat manifolds
Recall our structure result, in simplified form.
Theorem 1 (Breuillard-Green-Tao) Let . Let be a finite group such that . Then there exists a virtually nilpotent subgroup of and such that .
Corollary 2 Given an integer , there exists such that if is a group generated by a finite symmetric set , if there exists such that , then is virtually nilpotent.
This improves on Gromov’s theorem, since only one scale is required. Note that Gromov had observed that a finitary version of his theorem did hold: and , such that if for all , then is virtually nilpotent. Our does not depend on the multiplicative constant in the polynomial growth assumption. We shall see that this implies Gromov’s almost flat manifolds theorem.
1.1. Proof of Corollary 2
The assumption implies that some large ball has small doubling, . The structure theorem implies that where is virtually nilpotent, . Taking implies that , i.e. has finite index in .
Note however that our argument does ot allow to bound the index of .
1.2. Gromov’s almost flat manifold theorem
Here is a weakening of Gromov’s theorem.
Theorem 3 Given an integer , there exists such that every compact Riemannian -manifold of diameter 1 and absolute value of sectional curvature , then the fundamental group is virtually nilpotent.
This is weaker since Gromov determines the diffeomorphism type, not the mere fundamental group.
Here is how this weak form follows from Corollary 2. Assume curvature is (in fact, Ricci suffices). Bishop-Gromov’s volume comparison implies that, in the universal cover ,
where denotes hyperbolic space of constant curvature .
Let be the set of homotopy classes of based loops of length . This is a finite generating set of the fundamental group. Using the Dirichlet fundamental domain (piece of Voronoi tesselation defined by the orbit of ), which satisfies
provided is small enough. So Corollary 2 applies.
V. Kapovich and Wilking get a sharper result: they estimate the index.
Question. Can one derive such an index bound from the structure theorem? The point is to exploit the fact manifolds have dimension to show that there cannot be large finite subgroups nearly fixing a point. This is known (Jordan) for finite subgroups fixing a point.
2. Special classes of groups
The structure theorem can be improved for certain classes.
2.1. Free groups
Theorem 4 (Safin) Let be a non-abelian free group. Let be a subset that does not generate an abelian subgroup. Then , . More generally, for all ,
There is a more complicated statement for small doubling. Note that the union of a point and an arithmetic progression has small doubling.
The exponent is sharp (same example), as is the exponential nature of the constant. This implies that
This obviously extends to fully residually free groups. This also extends to certain free products (Button).
2.2. Sketch of Safin’s argument
Before Safin, there were weaker results by Chang and Razborov.
Lemma 5 Let be a non-abelian free group. Let be finite subsets. Let be longer than any element of . Assume that all products in are reduced. Then , unless is a subword of a periodic word and some element of ends with the period of .
Example. If , , give a small .
Proof of Lemma. Assume that . Then there exist 3 distinct pairs such that are equal. Since is longer than the ‘s and has an overlap of length with either the first or third occurrence, it must be periodic.
Proof of Theorem 4.
Step 1. After possibly conjugating , can find , with such that all products in and are reduced, and
Step 2. Apply Lemma 5 to products , . If, then must be periodic. One verifies that all words in are periodic with the same period.
Step 3. Apply Lemma 5 on the right to show that all tails are the same. Therefore is an arithmetic progression.
Step 4. Find which does not commute with the period, then look at .
Question. Does Safin’s theorem extend to hyperbolic groups ?
Open problem. Does there exist a uniform lower bound on growth valid for all hyperbolic groups and all generating systems.
2.3. Linear groups
Theorem 6 (Breuillard-Green-Tao) Let be a linear group.
- Weak version. If is a finite subset and , then there exists a nilpotent subgroup and an element such that , polynomial in .
- Strong version. If is a finite subset, then unless is virtually nilpotent.
The is a finitary version for subgroups of . Then unless or is contained in a proper subgroup.
Open problem. One should be able to tell more when is contained in a proper non-nilpotent subgroup, see work by Pyber-Szabo and Helfgott-Gill.
3. From growth to spectral gap
A spectral gap is stronger than a mere growth lower bound.
1% spectral problem. Is it true that given , there exists such that if is a finitely supported probability measure on , generating subgroup , under the condition then charges an amenable subgroup with probability ~? In other words, the structure theorem quantifies the relation betwen polynomial growth and virtual nilpotence. I ask wether one can quantify the relation between spectral gap and amenability.
The analogous 99% spectral structure theorem (replace with and with ) holds, it follows from the strong uniform Tits alternative.
There is no hope for a general structure theorem valid for all groups. Indeed, there exist groups with non-uniform exponential growth (John Wilson), thus even the 99% structure theorem cannot hold in general.
Perhaps a spectral structure theorem holds for free groups.