In the last set of notes, we obtained the following structural theorem concerning approximate groups:

Theorem 1 Let {A} be a finite {K}-approximate group. Then there exists a coset nilprogression {P} of rank and step {O_K(1)} contained in {A^4}, such that {A} is covered by {O_K(1)} left-translates of {P} (and hence also by {O_K(1)} right-translates of {P}).

Remark 1 Under some mild additional hypotheses (e.g. if the dimensions of {P} are sufficiently large, or if {P} is placed in a certain “normal form”, details of which may be found in this paper), a coset nilprogression {P} of rank and step {O_K(1)} will be an {O_K(1)}-approximate group, thus giving a partial converse to Theorem 1. (It is not quite a full converse though, even if one works qualitatively and forgets how the constants depend on {K}: if {A} is covered by a bounded number of left- and right-translates {gP, Pg} of {P}, one needs the group elements {g} to “approximately normalise” {P} in some sense if one wants to then conclude that {A} is an approximate group.) The mild hypotheses alluded to above can be enforced in the statement of the theorem, but we will not discuss this technicality here, and refer the reader to the above-mentioned paper for details.

By placing the coset nilprogression in a virtually nilpotent group, we have the following corollary in the global case:

Corollary 2 Let {A} be a finite {K}-approximate group in an ambient group {G}. Then {A} is covered by {O_K(1)} left cosets of a virtually nilpotent subgroup {G'} of {G}.

In this final set of notes, we give some applications of the above results. The first application is to replace “{K}-approximate group” by “sets of bounded doubling”:

Proposition 3 Let {A} be a finite non-empty subset of a (global) group {G} such that {|A^2| \leq K |A|}. Then there exists a coset nilprogression {P} of rank and step {O_K(1)} and cardinality {|P| \gg_K |A|} such that {A} can be covered by {O_K(1)} left-translates of {P}, and also by {O_K(1)} right-translates of {P}.

We will also establish (a strengthening of) a well-known theorem of Gromov on groups of polynomial growth, as promised back in Notes 0, as well as a variant result (of a type known as a “generalised Margulis lemma”) controlling the almost stabilisers of discrete actions of isometries.

The material here is largely drawn from my recent paper with Emmanuel Breuillard and Ben Green.

— 1. Sets of bounded doubling —

In this section we will deduce Proposition 3 from Theorem 1. This can be done using the general (non-abelian) additive combinatorics machinery from this paper of mine, but we will give here an alternate argument relying on a version of the Croot-Sisask lemma used in Notes 7 which is a little weaker with regards to quantitative bounds, but is slightly simpler technically (once one has the Croot-Sisask lemma).

We recall the Croot-Sisask lemma:

Lemma 4 (Croot-Sisask) Let {A} be a non-empty finite subset of a group {G} such that {|A^2| \leq K |A|}. Then any {M \geq 1}, there is a symmetric set {S} containing the origin with {|S| \gg_{K,M} |A|} such that

\displaystyle \| 1_A * 1_A - \tau(g) 1_A * 1_A \|_{\ell^2(G)} \leq \frac{1}{M} |A|^{3/2} \ \ \ \ \ (1)

for all {g \in S}.

Let {A} be as in Proposition 3. We apply Lemma 4 with some large {M} depending on {K} to be chosen later. Then for any {g \in S^{100}} one has

\displaystyle \| 1_A * 1_A - \tau(g) 1_A * 1_A \|_{\ell^2(G)} \leq \frac{100}{M} |A|^{3/2}.

Since {1_A * 1_A} has an {\ell^1(G)} norm of {|A|^2} and is supported on the set {A^2}, which has cardinality at most {K|A|}, we see from Cauchy-Schwarz that

\displaystyle \| 1_A * 1_A \|_{\ell^2(G)} \gg_K |A|^{3/2}

and hence (if {M} is large enough depending on {K})

\displaystyle \| \tau(g) 1_A * 1_A \|_{\ell^2(A^2)} \gg_K |A|^{3/2}.

In particular, we have {|gA^2 \cap A^2|\gg_K |A|}, thus every element of {S^{100}} has {\gg_K |A|} representations of the form {xy^{-1}} with {x,y \in A^2}. As there are at most {K^2 |A|^2} pairs {(x,y)} with {x,y \in A^2}, we conclude that {|S^{100}| \ll_K |A|}. In particular, by the Ruzsa covering lemma (Exercise 21 from Notes 7) we see that {S^4} can be covered by {O_{K,M}(1)} left-translates of {S^2}, and hence {S^2} is a {O_{K,M}(1)}-approximate group.

In view of Theorem 1, we thus see that to conclude the proof of Proposition 3, it suffices to show that {A} can be covered by {O_{K,M}(1)} left-translates (or right-translates) of {S^2} if {M} is sufficiently large depending on {K}.

We will just prove the claim for left-translates, as the claim for right-translates is similar. We will need the following useful inequality:

Lemma 5 (Ruzsa triangle inequality) Let {A,B,C} be finite non-empty subsets of a group {G}. Then {|A \cdot C^{-1}| \leq \frac{|A \cdot B^{-1}| |B \cdot C^{-1}|}{|B|}}.

Proof: Observe that if {x} is an element of {A \cdot C^{-1}}, so that {x=ac^{-1}} for some {a \in A} and {c \in C}, then {x} has at least {|B|} representations of the form {x=yz} with {y \in A \cdot B^{-1}} and {z \in B \cdot C^{-1}}, since {ac^{-1} = (ab^{-1})(bc^{-1})} for all {b \in B}. As there are only {|A \cdot B^{-1}| |B \cdot C^{-1}|} possible pairs {(y,z)} that could form such representations, the claim follows. \Box

Now we return to the proof of Proposition 3. From (1) and Minkowski’s inequality we see that

\displaystyle \| 1_A * 1_A - \frac{1}{|S|} 1_S * 1_A * 1_A \|_{\ell^2(G)} \leq \frac{1}{M} |A|^{3/2},

and thus (if {M} is sufficiently large depending on {K})

\displaystyle \| \frac{1}{|S|} 1_S * 1_A * 1_A \|_{\ell^2(A^2)} \gg_K |A|^{3/2}

and in particular

\displaystyle \| \frac{1}{|S|} 1_S * 1_A * 1_A \|_{\ell^\infty(A^2)} \gg_K |A|

and thus by Young’s inequality

\displaystyle \| \frac{1}{|S|} 1_S * 1_A \|_{\ell^\infty(G)} \gg_K 1,

and so

\displaystyle 1_S * 1_A(x) \gg_{K,M} |A|

for some {x \in G}. In other words,

\displaystyle |S \cap x A^{-1}| \gg_{K,M} |A|

If we then set {B := S \cap x A^{-1}}, then

\displaystyle |B \cdot S^{-1}| \leq |S^2| \ll_{K,M} |A|

and

\displaystyle |A \cdot B^{-1}| \leq |A^2 x| = |A^2| \leq K |A|

and hence by the Ruzsa triangle inequality

\displaystyle |A \cdot S| = |A \cdot S^{-1}| \ll_{K,M} |A|.

By the Ruzsa covering lemma, this implies that {A} can be covered by {O_{K,M}(1)} left-translates of {S}, as required. This proves Proposition 3. By placing the coset nilprogression in a virtually nilpotent group, we obtain a strengthening of Corollary 2:

Corollary 6 Let {A} be a finite non-empty subset of an ambient group {G} such that {|A^2| \leq K|A|}. Then {A} is covered by {O_K(1)} left cosets (and also by {O_K(1)} right-cosets) of a virtually nilpotent subgroup {G'} of {G}.

We remark that there is also an “off-diagonal” version of Proposition 3:

Proposition 7 Let {A,B} be finite non-empty subsets of a (global) group {G} such that {|AB| \leq K |A|^{1/2} |B|^{1/2}}. Then there exists a coset nilprogression {P} of rank and step {O_K(1)} and cardinality {|P| \gg_K |A|} such that {A} can be covered by {O_K(1)} left-translates of {P}, and {B} can be covered by {O_K(1)} right-translates of {P}.

This is a consequence of Theorem 1 combined with Theorem 4.6 from this paper of mine; we omit the details. There is also a “statistical” variant (using instead Theorem 5.4 from this paper of mine), based on an additional tool, the (non-abelian) Balog-Szemerédi-Gowers theorem, which will not be discussed in detail here:

Proposition 8 Let {A,B} be finite non-empty subsets of a (global) group {G} such that

\displaystyle |\{ (a,b,a',b') \in A \times B \times A \times B: ab = a'b'\}| \geq |A|^{3/2} |B|^{3/2} / K.

Then there exists a coset nilprogression {P} of rank and step {O_K(1)} and cardinality {|P| \gg_K |A|} such that {A} intersects a left-translate of {P} in a set of cardinality {\gg_K |A|}, and {B} intersects a right-translate of {P} in a set of cardinality {\gg_K |A|}.

— 2. Polynomial growth —

The above results show that finite approximate groups {A} (as well as related objects, such as finite sets of bounded doubling) can be efficiently covered by virtually nilpotent groups. However, they do not place all of {A} inside a virtually nilpotent group. Indeed, this is not possible in general:

Exercise 1 Let {G} be the “{ax+b} group”, that is to say the group of all affine transformations {x \mapsto ax+b} on the real line, with {a \in {\bf R} \backslash \{0\}} and {b \in {\bf R}}. Show that there exists an absolute constant {K} and arbitrarily large finite {K}-approximate groups {A} in {G} that are not contained in any virtually nilpotent group. (Hint: build a set {A} which is very “long” in the {b} direction and very “thin” in the {a} direction.)

Such counterexamples have the feature of being “thin” in at least one of the directions of {G}. However, this can be fixed by adding a “thickness” assumption to the approximate group. In particular, we have the following result:

Theorem 9 (Thick sets of bounded doubling are virtually nilpotent) For every {K \geq 1} there exists {M \geq 1} such that the following statement holds: whenever {G} is a group, {S} is a finite symmetric subset of {G} containing the identity, and {A} is a finite set containing {S^M} such that {|A^2| \leq K|A|}, then {S} generates a virtually nilpotent group.

Proof: Fix {K}, and let {M} be a sufficiently large natural number depending on {K} to be chosen later. Let {S, A, G} be as in the theorem. By Proposition 3, there exists a virtually nilpotent group {H} such that {A} is covered by {O_K(1)} left-cosets of {H}. In particular, {S^m H} consists of {O_K(1)} left-cosets of {H} for all {0 \leq \leq M}. On the other hand, as {S} contains the identity, {S^m H} is nondecreasing in {m}. If {M} is large enough, then by the pigeonhole principle we may thus find some {0 \leq m < M} such that {S^{m+1} H = S^m H}. By induction this implies that {S^k H = S^m H} for all {k \geq m}; we conclude that

\displaystyle \langle S \rangle \subset \langle S \rangle H = \bigcup_{k=m}^\infty S^k H = S^m H.

In particular, {H \cap \langle S \rangle} has finite index in {\langle S \rangle}. Since {H} is virtually nilpotent, we conclude that {\langle S\rangle} is virtually nilpotent also. \Box

This theorem leads to the following Gromov-type theorem:

Exercise 2 (Gromov-type theorem) Show that for every {C, d>0} there exists {M \geq 1} such that the following statement holds: whenever {G} is a group generated by a finite symmetric set {S} of generators containing the identity, and {|S^m| \geq C m^d |S|} for some {m \geq M}, then {G} is virtually nilpotent.

Note that this implies as a corollary the original theorem of Gromov that every finitely generated group of polynomial growth is virtually nilpotent, but it is stronger because (a) one only needs a polynomial growth bound at a single scale {m}, rather than at all scales, and (b) the lower bound required on {m} does not depend on the size of the generating set {S}. (A previous result in this direction, which obtained (a) but not (b), was established by myself and Yehuda Shalom, by a rather different argument based on this paper of Kleiner. The original proof of Gromov of his theorem had some features in common with the arguments given here, in particular using the machinery of Gromov-Hausdorff limits as well as some of the theory surrounding Hilbert’s fifth problem, and was also amenable to nonstandard analysis methods as demonstrated by van den Dries and Wilkie, but differed in a number of technical details.)

Remark 2 By inspecting the arguments carefully, one can obtain a slightly sharper description of the group {G} in Exercise 2, namely that {G} contains a normal subgroup {G'} of index {O_d(1)} which is the extension of a finitely nilpotent group of step and rank {O(d)} by a finite group contained in {S^{m}}. See this paper for details.

Exercise 3 (Gap between polynomial and non-polynomial growth) Show that there exists a function {f: {\bf N} \rightarrow {\bf R}^+} which grows faster than any polynomial (i.e. {f(m)/m^d \rightarrow \infty} as {m \rightarrow +\infty} for any {d}), with the property that {|S^m| \geq f(m) |S|} whenever {G} is any finitely generated group that is not virtually nilpotent, and {S} is any symmetric set of generators of {G} that contains the identity.

Remark 3 No effective bound for the function {f} in this exercise is explicitly known, though in principle one could eventually extract such a bound by painstakingly finitising the proof of the structure theorem for approximate groups. If one restricts the size of {S} to be bounded, then one can take {f(m)} to be {m^{(\log \log m)^c}} for some {c>0} and {m} sufficiently large depending on the size of {S}, by the result of my paper with Shalom, but this is unlikely to be best possible. (In the converse direction, Grigorchuk’s construction of a group of intermediate growth shows that {f(m)} cannot grow faster than {\exp(m^{\alpha})} for some absolute constant {\alpha<1} (and it is believed that one can take {\alpha=1/2}).)

Exercise 4 (Infinite groups have at least linear growth) If {G} is an infinite group generated by a finite symmetric set {S} containing the identity, show that {|S^m| \geq |S|+m-1} for all {m \geq 1}.

Exercise 5 (Linear growth implies virtually cyclic) Let {G} be an infinite group generated by a finite symmetric set {S} containing the identity. Suppose that {G} is of linear growth, in the sense that {|S^m| \leq Cm} for all {m \geq 1} and some finite {C}.

  • (i) Place a left-invariant metric {d} on {G} by defining {d(x,y)} to be the least natural number {m} for which {x \in yS^m}. Define a geodesic to be a finite or infinite sequence {(g_n)_{n \in I}} indexed by some discrete interval {I \subset {\bf Z}} such that {d(g_n,g_m) = |n-m|} for all {n,m\in I}. Show that there exist arbitrarily long finite geodesics.
  • (ii) Show that there exists a doubly infinite geodesic {(g_n)_{n \in {\bf Z}}} with {g_0 = 1}. (Hint: use (i) and a compactness argument.)
  • (iii) Show that {|S^{2m}| \geq 2 |S^m| - 1} for all {m \geq 1}. (Hint: study the balls of radius {m} centred at {g_m} and {g_{-m}}.) More generally, show that {|S^{km}| \geq 2k |S^m| - 2k+1} for all {m,k \geq 1}.
  • (iv) Show that {|S^m|/m} converges to a finite non-zero limit {\alpha} as {m \rightarrow \infty}, thus {|S^m| = \alpha m + o(m)} for all {m \geq 1}, where {o(m)} denotes a quantity which, when divided by {m}, goes to zero as {m \rightarrow \infty}.
  • (v) Show that for all {m \geq 1}, then all elements of {S^m} lie within a distance at most {o(m)} of the geodesic {(g_{-m},\ldots,g_m)}. (Hint: first show that all but at most {o(m)} elements of {S^m} lie within this distance, using (iv) and the argument used to prove (iii).)
  • (vi) Show that for sufficiently large {m}, {g_m^{-1}} lies within distance {o(m)} of {g_{-m}}.
  • (vii) Show that for sufficiently large {m}, {S^{m+1}} lies within distance {m} of {\{1, g_m,g_m^{-1}\}}.
  • (viii) Show that {G} is virtually cyclic (i.e. it has a cyclic subgroup of finite index).

Exercise 6 (Nilpotent groups have polynomial growth) Let {S} be a finite symmetric subset of a nilpotent group {G} containing the identity.

  • (i) Let {s} be an element of {S} that is not the identity, and let {S'} be the minimal symmetric set containing {S \backslash \{s,s^{-1}\}} that is closed under the operations {g \mapsto [g,s^{\pm 1}]^{\pm 1}}. Show that {S'} is also a finite symmetric subset of {G} containing the identity, and that every element of {S^m} can be written in the form {s^i h} for some {|i| \leq m} and {h \in (S')^{O(m^2)}}, where the implied constant can depend on {S}, {G}.
  • (ii) Show that {|S^m| \leq C m^d} for all {m \geq 1} and some {C, d > 0} depending on {S, G} (i.e. {G} is of polynomial growth).
  • (iii) Show that every virtually nilpotent group is of polynomial growth.

— 3. Fundamental groups of compact manifolds (optional) —

This section presupposes some familiarity with Riemannian geometry. In these notes, Riemannian manifolds are always understood to be complete and without boundary.

We now apply the above theory to establish some relationships between the topology (and more precisely, the fundamental group) of a compact Riemannian manifold, and the curvature of such manifolds. A basic theme in this subject is that lower bounds on curvature tend to give somewhat restrictive control on the topology of a manifold. Consider for instance Myers’ theorem, which among other things tells us that a connected Riemannian manifold {M} with a uniform positive lower bound on the Ricci curvature {\hbox{Ric}} is necessarily compact (with an explicit upper bound on the diameter). In a similar vein we have the splitting theorem, which asserts that if a connected Riemannian manifold {M} has everywhere non-negative Ricci curvature, then it splits as the product of a Euclidean space and a manifold without straight lines (i.e. embedded copises of {{\bf R}}).

To analyse the fundamental group {\pi_1(M)} of a connected Riemannian manifold {M}, it is convenient to work with its universal cover:

Exercise 7 Let {M} be a connected Riemannian manifold.

  • (i) (Existence of universal cover) Show that there exists a simply connected Riemannian manifold {\tilde M} with the same dimension as {M} with a smooth surjective map {\pi: \tilde M \rightarrow M} which is a local diffeomorphism and a Riemannian isometry (i.e. the metric tensors are preserved); such a manifold (or more precisely, the pair {(M,\pi)}) is known as a universal cover of {M}. (Hint: take {\tilde M} to be the space of all paths from a fixed base point {p_0} in {\tilde M}, quotiented out by homotopies fixing the endpoints. Once {\pi} is constructed, pull back the smooth and Riemannian structures.)
  • (ii) (Universality) Show that if {M'} is any smooth connected manifold with a smooth surjective map {f: M' \rightarrow M} that is a local diffeomorphism and Riemannian isometry, and {p' \in M', p \in M, \tilde p \in \tilde M} are point such that {f(p') = \pi(\tilde p) = p}, then there exists a unique smooth map {\pi': \tilde M \rightarrow M'} with {\pi'(\tilde p) = p'} that makes {\tilde M} a universal cover of {M'} also.
  • (iii) (Uniqueness) Show that a universal cover is unique up to isometric isomorphism.
  • (iv) (Covering space) Show that for every {p \in M} there exists a neighbourhood {U} of {p} such that {\pi^{-1}(U)} is isometric (as a Riemannian manifold) to {\pi_1(M) \times U}, where we give the fundamental group {\pi_1(M)} the discrete topology. In particular, the fibres {\pi^{-1}(\{p\})} of a point {p \in M} are discrete and can be placed in bijection with {\pi_1(M)}.
  • (v) (Deck transformations) Show that {\pi_1(M)} acts freely and isometrically on {M'}, in such a way that the orbits of {\pi_1(M)} are the fibres of {\pi}. Conversely, show that every isometry on {M'} that preserves the fibres of {\pi} arises from an element of {\pi_1(M)}.
  • (vi) (Cocompactness) if {M} is compact, and {\pi^{-1}(\{p\})} is a fibre of {M}, show that every element of {M'} lies a distance at most {\hbox{diam}(M)} from an element of the fibre {\pi^{-1}(\{p\})}.
  • (vii) (Finite generation) If {M} is compact and {p \in \tilde M}, show that the set {\{ g \in \pi_1(M): \hbox{dist}(gp,p) \leq 2\hbox{diam}(M) \}} is finite and generates {\pi_1(M)}. (Hint: if {gp} is further than {2\hbox{diam}(M)} from {p}, use (vi) to find a factorisation {g=hk} such that {kp} is closer to {p} or {gp} than {p} is to {gp}.)
  • (viii) (Polynomial growth) If {M} is compact, show that the group {\pi_1(M)} is of polynomial growth (thus {|S^m| \leq C m^d} for some generating set {S}, some {C,d \geq 0}, and all {m \geq 1}) if and only if the universal cover {\tilde M} is of polynomial growth (thus {\hbox{Vol}(B(x_0,r)) \leq Cr^d} for some base point {x_0 \in \tilde M}, some {C,d \geq 0}, and all {r \geq 1}).

The above exercise thus links polynomial growth of groups to polynomial growth of manifolds. To control the latter, a useful tool is the Bishop-Gromov inequality:

Proposition 10 (Bishop-Gromov inequality) Let {M} be a Riemannian manifold whose Ricci curvature is everywhere bounded below by some constant {\rho \in {\bf R}}. Let {\tilde M} be the simply connected Riemannian manifold of constant curvature {\rho} and the same dimension as {M} (this will be a Euclidean space for {\rho=0}, a sphere for {\rho>0}, and hyperbolic space for {\rho<0}). Let {p} be a point in {M} and {\tilde p} be a point in {\tilde M}. Then the expression

\displaystyle \frac{\hbox{vol}(B(p,r))}{\hbox{vol}(B(\tilde p,r))}

is monotone non-increasing in {r}.

We will not prove this proposition here (as it requires, among other things, a definition of Ricci curvature, which would be beyond the scope of these notes); but see for instance this previous blog post of mine for a proof. This inequality is consistent with the geometric intuition that an increase in curvature on a manifold should correspond to a stunting of the growth of the volume of balls. For instance, in the positively curved spheres, the volume of balls eventually stabilises as a constant; in the zero curvature Euclidean spaces, the volume of balls grows polynomially; and in the negative curvature hyperbolic spaces, the volume of balls grows exponentially.

Informally, the balls in {M} cannot grow any faster than the balls in {\tilde M}. Setting {\rho=0}, we conclude in particular that if {M} has non-negative Ricci curvature and dimension {d}, then {\hbox{vol}(B(p,r))/r^d} is non-decreasing in {r}; in particular, any manifold of non-negative Ricci curvature is of polynomial growth. Applying Exercise 7 and Gromov’s theorem, we conclude that any manifold of non-negative Ricci curvature has a fundamental group which is virtually nilpotent. (In fact, such fundametal groups can be shown, using the splitting theorem, to be virtually abelian; see this paper of Cheeger and Gromoll. However, this improvement seems to be beyond the combinatorial methods used here.)

The above monotonicity also shows that whenever {M} has Ricci curvature at least zero, we have the doubling bound

\displaystyle \hbox{vol}(B(p,2r)) \leq 2^d \hbox{vol}(B(p,r)).

A continuity argument then shows that for every {R>0} and {\epsilon > 0}, there exists {\delta > 0} such that if {M} has Ricci curvature at least {-\delta}, then one has

\displaystyle \hbox{vol}(B(p,2r)) \leq (2^d+\epsilon) \hbox{vol}(B(p,r))

for all {0 < r \leq R}.

Exercise 8 By using the above observation combined with Exercise 7 and Exercise 2, show that for every dimension {d} there exists {\delta>0} such that if {M} is any compact Riemannian manifold of diameter at most {1} and Ricci curvature at least {-\delta} everywhere, then {\pi_1(M)} is virtually nilpotent.

Remark 4 This result was first conjectured by Gromov, and was proven by Cheeger-Colding and Kapovitch-Wilking using deep Riemannian geometry tools (beyond just the Bishop-Gromov inequality). (See also this paper of Kapovitch-Petrunin-Tuschmann that established the analogous result assuming a lower bound on sectional curvature rather than Ricci curvature.)

The arguments in these papers in fact give more precise information on the fundamental group {\pi_1(M)}, namely that there is a nilpotent subgroup of step and rank {O_d(1)} and index {O_d(1)}. The methods here (based purely on controlling the growth of balls in {\pi_1(M)}) can give the step and rank bounds, but appear to be insufficient to obtain the index bound. The exercise cannot be immediately obtained via a compactness-and-contradiction argument from the (easier) {\delta=0} case mentioned previously, because of the problem of collapsing: there is no lower bound assumed on the injectivity radius of {M}, and as such the space of all manifolds with the indicated diameter is non-compact even if one bounds the derivatives of the metric to all orders. (An equivalent way of phrasing the problem is that the orbits of {\pi_1(M)} in the universal cover may be arbitrarily dense, and so a ball of bounded radius in {\tilde M} may correspond to an arbitrarily large subset {S} of the fundamental group. For this application it is thus of importance that there is no upper bound on the size of the sets {S} or {A} assumed in Exercise 2.)

Remark 5 One way to view the above results is as an assertion that it is quite rare for a compact manifold to be equippable with a Riemannian metric with (almost) non-negative Ricci curvature. Indeed, an application of van Kampen’s theorem shows that every fundamental group {\pi_1(M)} of a compact manifold is finitely presented, and conversely a gluing argument for four-manifolds shows that every finitely presented group is the fundamental group of some (four-dimensional) manifold. Intuitively, “most” finitely presented groups are not virtually nilpotent, and so “most” compact manifolds cannot have metrics with almost non-negative Ricci curvature.

— 4. A Margulis-type lemma —

In Exercise 7 we saw that the fundamental group {\pi_1(M)} of a connected Riemannian manifold can be viewed as a discrete group of isometries acting on a Riemannian manifold {\tilde M}. The curvature properties of {\tilde M} then give doubling properties of the balls in {\tilde M}, and hence of {\pi_1(M)}, allowing one to use tools such as Exercise 2.

It turns out that one can abstract this process by replacing the universal cover {\tilde M} by a more general metric space {X}:

Lemma 11 (Margulis-type lemma) Let {K \geq 1}. Let {X = (X,d)} be a metric space, with the property that every ball of radius {4} can be covered by {K} balls of radius {1}. Let {\Gamma} be a group of isometries of {X}, which acts discretely in the sense that {\{ g \in \Gamma: gx \in B \}} is finite for every {x \in X} and every bounded set {B \subset X}. Then if {x \in X} and {\epsilon} is sufficiently small depending on {K}, the set {S_\epsilon := \{ g \in \Gamma: d(gx,x) \leq \epsilon \}} generates a virtually nilpotent group.

Proof: We can can cover {B(x,4)} by {K} balls {B(x_i,1)}. If {g,h \in S_4} and {gx,hx \in B(x_i,1)}, then (by the isometric action of {\Gamma}) we see that {h^{-1} g \in S_2}. We conclude that {S_4} can be covered by {K} right-translates of {S_2}. Since {S_2^2 \subset S_4} and {S_{2/M}^M \subset S^2} for all {M \geq 1}, the claim then follows from Exercise 2. \Box

Roughly speaking, the above lemma asserts that for discrete actions of isometries on “spaces of bounded doubling”, the “almost stabiliser” of a point is “virtually nilpotent”. In the case when {X} is a Riemannian manifold with a lower bound on curvature, this result was established by Cheeger-Colding and Kapovitch-Wilking (and, as mentioned in the previous section, stronger control on {S_\epsilon} was established). The original lemma of Margulis addressed the case when {X} was a hyperbolic space, and relied on commutator estimates not unrelated to the commutator estimates of Gleason metrics and of strong approximate groups that were used in previous notes.