Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 19 / 5

Choose a finite symmetric generating set $S$ for $\Gamma$, let $B_S(m)$ be its word metric ball, and fix $p\in M$. Set $D={\max }_{s\in S}d(p,sp)$. The triangle inequality and invariance of distance implyThe properly discontinuous group action has a finite point stabilizer $H={\Gamma }_p$. It also gives uniform separation of distinct orbit points. To see this, only finitely many group elements can send $p$ into a fixed compact ball about $p$, by proper discontinuity and the Hopf-Rinow theorem. The positive distances among this finite list, together with the radius of the ball for all other elements, have a positive lower bound $\delta$. Thus $d(\gamma p,{\gamma }^{\prime }p)\ge \delta$ whenever the centers differ.

Take $0<\epsilon <\delta /2$ and write $v=\mathrm{Vol}B(p,\epsilon )>0$. Balls of radius $\epsilon$ about distinct orbit points are disjoint and all have volume $v$, because the action is by isometries. Those corresponding to words of length at most $m$ lie in $B(p,Dm+\epsilon )$. Each orbit point arises from at most $|H|$ group elements in $B_S(m)$, soThe final inequality is the allowed Bishop-Gromov inequality for nonnegative Ricci curvature. If the entire group fixes $p$, proper discontinuity already makes it finite and the conclusion is immediate. Otherwise the preceding separation argument applies. ThereforeThis is polynomial growth of a group of degree at most $n$, proved by polynomial group growth from orbit packing. Neither freeness of the action nor compactness of the quotient was assumed.

Put $\theta (r)=\mathrm{Vol}B(p,r)/({\omega }_n{r}^n)$. The Bishop-Gromov inequality says that $\theta$ is nonincreasing and at most one, while smoothness gives $\theta (r)\to 1$ as $r\downarrow 0$. The prescribed limit at infinity is also one. Hence $\theta (r)=1$ for every $r>0$.

Here is how equality gives the global Euclidean rigidity of maximal asymptotic volume ratio. Assume first $n\ge 2$. In geodesic polar coordinates centered at $p$, let $c(\xi )$ be the cut time along unit direction $\xi$, and $J(r,\xi )$ the positive radial volume density before that time. The comparison giving the Bishop-Gromov inequality says $J(r,\xi )\le r^{n-1}$, andNo cut time can be finite. If $c({\xi }_0)<t$, then the radial segment at time $t$ is not minimizing, so $d(p,{\exp }_p(t{\xi }_0))<t$. This strict inequality persists for nearby directions by continuity, and their cut times are also at most $t$. At any radius $R>t$, that open set of directions omits all radial volume from $t$ to $R$. Even the maximal density $r^{n-1}$ cannot then give Euclidean volume, contradicting $\theta (R)=1$. Thus $c(\xi )=\infty$ for all directions. Equality of all ball volumes and continuity now force $J(r,\xi )=r^{n-1}$ everywhere.

Let $A(r)X={\nabla }_X{\partial }_r$ on the distance sphere. This is the negative of the outward shape operator in the convention $S=-\nabla \nu$. Put $h=\mathrm{tr}A={\partial }_r\log J$. The traced radial Riccati equation for distance spheres isSince $h=(n-1)/r$, it givesBut $\mathrm{tr}(A^2)\ge h^2/(n-1)=(n-1)/r^2$ by the Cauchy-Schwarz inequality, and the Ricci term is nonnegative. Equality therefore holds in both, so $A=r^{-1}I$. Writing the polar metric as $d{r}^2+g_r$, its evolution is ${\partial }_r{g}_r=2g_r/r$. Its small-radius Euclidean limit then givesThe Riemannian exponential map is onto by the Hopf-Rinow theorem, has no conjugate points, and is injective because there is no finite cut time. Explicitly, two distinct minimizing radial geodesics reaching the same point would, after extending one past that point, create a length-minimizing broken curve with a genuine corner; smoothing the corner shortens it. That contradicts global minimization of every radial segment. Thus ${\exp }_p$ is a global diffeomorphism, and the displayed metric provesIn dimension one, a connected complete manifold without boundary is a line or a circle. The circle has limiting volume ratio zero, so the hypothesis leaves only the Euclidean line.

Take the orientation-preserving affine group of the real line, written asIt is a connected Lie group, since its underlying manifold is $(0,\infty )\times \mathbb{R}$. We use the permitted alternative to part (a), a direct obstruction from the Adjoint representation of a Lie group.

If a bi-invariant Riemannian metric existed, conjugation $h\mapsto gh{g}^{-1}$ would be an isometry, being a composition of a left and a right translation. Its differential at the identity would preserve the positive inner product on the Lie algebra. Let $T$ be the nonzero infinitesimal translation,Direct multiplication gives ${\mathrm{Ad}}_{g}T=gT{g}^{-1}=2T$. Metric invariance would then imply $\Vert T{\Vert }^2=\Vert 2T{\Vert }^2=4\Vert T{\Vert }^2$, impossible for a nonzero vector in a positive inner product. Therefore this connected affine Lie group has no bi-invariant Riemannian metric. This is the adjoint dilation obstruction to a bi-invariant Riemannian metric; allowing an indefinite metric would be a different question.