Let be a compact Riemannian manifold of (strictly) negative curvature, so that is a . In the previous post, we saw that the group was significantly restricted: for example, every solvable subgroup of had to be infinite cyclic. The goal of this post and the next is to understand the result of Milnor that the group is of exponential growth in an arithmetic sense.

Milnor’s (wonderful) idea is to translate this into a problem in geometry: that is, to relate the growth of the group to the volume growth of expanding balls in the universal cover . As I understand, this idea has proved enormously influential on future work on the fundamental groups of Riemannian manifolds with restricted curvature. Note that Milnor’s result also highlights the difference between positive and negative curvature: in positive curvature, the fundamental group of every compact manifold is finite. Most of this material is from Chavel’s *Riemannian geometry: a modern introduction.*

**1. Volume growth**

To begin with, let’s say something about volume growth. Let be a complete, simply connected Riemannian manifold whose sectional curvatures are . If we choose , we know that the exponential map

is a diffeomorphism. Note that sends the euclidean ball of radius diffeomorphically onto the (metric) ball of radius in .

Our goal is to prove:

Theorem 13The function which sends to the volume of the ball in of radius centered at grows exponentially.

This theorem also highlights the sense in which negative curvature corresponds to the “spreading” of geodesics: the geodesics spread so much that the volumes of linearly expanding balls actually grow exponentially. (more…)