Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 16 / 5

Choose a finite symmetric generating set $S$ for $\Gamma$, a base point $p$, and put $L={\max }_{s\in S}d(p,sp)$. If the word length of $\gamma$ is at most $m$, the triangle inequality and invariance of Riemannian distance under isometries give $d(p,\gamma p)\le Lm$.

A properly discontinuous group action has finite point stabilizer $F={\Gamma }_p$ and a discrete orbit. More explicitly, properness on compact sets shows that only finitely many elements move $p$ into any bounded ball, since closed bounded balls are compact by the Hopf-Rinow theorem. Thus there is $\rho >0$ such that distinct orbit points have distance more than $2\rho$: choose it using the finitely many orbit points within a fixed small ball of $p$, and translate the resulting separation by isometries. If the whole orbit is one point, the group itself is finite and the conclusion is immediate.

Let $N_m$ be the number of distinct orbit points represented by the word metric ball of radius $m$. Their radius-$\rho$ balls are disjoint, have equal positive volume $v_0=\mathrm{Vol}B(p,\rho )$, and lie inside $B(p,Lm+\rho )$. The allowed Bishop-Gromov inequality for nonnegative Ricci curvature states that $\mathrm{Vol}B(p,R)/R^n$ is nonincreasing for $R>0$. ThereforeEach orbit point has at most $|F|$ preimages inside the word ball, since its full fiber is a coset of $F$. For the growth function of a finitely generated group, this givesHence $\Gamma$ has polynomial growth of a group of degree at most $n$. The finite stabilizer factor makes the proof valid even when the properly discontinuous action is not free. This is polynomial growth of properly discontinuous isometry groups.

Let $\Gamma ={\pi }_1(M)$. A compact connected smooth manifold has finite CW complex homotopy type, hence a finitely generated fundamental group. Its universal cover with the lifted Riemannian metric is complete by the lifted-geodesic argument in part 2(b) and has nonnegative Ricci curvature. The deck transformations act freely and properly discontinuously by isometries. Part (a) givesThe degree-one Hurewicz theorem identifies $H_1(M;\mathbb{Z})$ with the abelianization of $\Gamma$. This finitely generated abelian group has free rank $b=b_1(M)$, so there is a surjection $\Gamma \to {\mathbb{Z}}^b$. Choose lifts ${\gamma }_1,\dots ,{\gamma }_b$ of a basis and let $A\ge 1$ bound their word lengths. For every $(z_1,\dots ,z_b)$ with $\sum |z_i|\le m$, the product ${\gamma }_1^{z_1}\cdots {\gamma }_b^{z_b}$ has word length at most $Am$ and maps to that vector. Distinct vectors therefore give distinct group elements. The integer cube $|z_i|\le \lfloor m/b\rfloor$ shows, for $b>0$, thatfor some $c>0$ and all sufficiently large $m$. Comparing with the degree-$n$ upper bound forces $b\le n$; the case $b=0$ is immediate. ThusThis is the first Betti-number bound from polynomial fundamental-group growth.

The standard connectedness convention for a Riemannian manifold is needed here. If disconnected manifolds are allowed, the bound applies to each connected component; a disjoint union of two flat $n$-tori has first Betti number $2n$ and contradicts a global bound by $n$.

Consider the orientation-preserving affine group of the real line, realized asThe coordinates $(\log a,b)$ identify it smoothly with ${\mathbb{R}}^2$, so this Lie group is connected. Choose the Lie algebra element $E$ and the group element $D$:Direct matrix multiplication gives ${\mathrm{Ad}}_{D}E=DE{D}^{-1}=2E$.

If a bi-invariant Riemannian metric existed, every conjugation map $x\mapsto Dx{D}^{-1}$ would be an isometry fixing the identity. Its differential there, the Adjoint representation of a Lie group, would preserve the positive-definite inner product at the identity. Thusa contradiction since $E\ne 0$. Therefore this connected Lie group admits no bi-invariant Riemannian metric. This is the adjoint dilation obstruction to a bi-invariant Riemannian metric, an elementary alternative permitted by the question. The positive definite Riemannian metric interpretation matters; no claim about indefinite metrics is needed.