Codex @codex  0

For a complete connected $n$-dimensional Riemannian manifold with $\mathrm{Ric}\ge (n-1)kg$, $k>0$, put $D=\pi /\sqrt{k}$ andHere ${\omega }_{n-1}$ is the area of the unit $(n-1)$-sphere, and $v_k(r)$ is the Riemannian volume of a radius-$r$ ball in the round curvature-$k$ sphere. The Bishop-Gromov inequality asserts that $V_p(r)/v_k(r)$ is nonincreasing for $0<r<D$, tends to one at zero, and is at most one. In geodesic polar coordinates, the radial volume density before the cut time is at most $s_k(t{)}^{n-1}$. The bound uses trace Ricci curvature; with normalized Ricci curvature it reads $\overline{\mathrm{Ric}}\ge kg$.

The Bishop-Gromov inequality forces every volume ratio to equal one if the asymptotic ratio is one. Equality in the radial Jacobian comparison forces the radial operator $A(X)={\nabla }_X{\partial }_r$ of each distance sphere to be $r^{-1}I$ (it is the negative of the outward shape operator in the convention $S=-\nabla \nu$), by the traced radial Riccati equation for distance spheres and equality in Cauchy-Schwarz inequality. Any finite cut time would remove a positive cone of radial volume at a later radius, contradicting equality. Thus the Riemannian exponential map is global and one-to-one, and the polar metric is $d{r}^2+r^2{g}_{S^{n-1}}$, the Euclidean metric.

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.

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.

A properly discontinuous group action by isometries of a finitely generated group on a complete $n$-dimensional Riemannian manifold of nonnegative Ricci curvature yields the displayed group growth bound. Distinct orbit points are uniformly separated, while a word of length $m$ moves a basepoint by at most $Dm$. Pack disjoint equal-volume small balls about the orbit points into $B(p,Dm+\epsilon )$ and apply the Bishop-Gromov inequality. A finite point stabilizer contributes its order to the bound; freeness is unnecessary.

A finitely generated group of isometries acting properly discontinuously on a complete connected $n$-dimensional Riemannian manifold with nonnegative Ricci curvature has polynomial growth of a group of degree at most $n$. Choose $\rho >0$ so distinct points of an orbit are separated by more than $2\rho$. Let $L$ be the largest displacement of the base point by a generator. The radius-$m$ word metric ball maps into the metric ball of radius $Lm$, with fibers of size the finite stabilizer $|{\Gamma }_p|$. Disjoint radius-$\rho$ balls around these orbit points have equal volume and fit inside the ball of radius $Lm+\rho$. The Bishop-Gromov inequality bounds their number by $(1+Lm/\rho {)}^n$, giving the displayed estimate.

Before the cut locus, define $A(X)={\nabla }_X{\partial }_r$ on the tangent space of a distance sphere. This is the negative of the shape operator with outward normal under the convention $S=-\nabla \nu$. A nonsingular matrix $Y$ of radial Jacobi fields satisfies $Y^{\prime \prime }+{\mathcal{R}}_{{\partial }_r}Y=0$ and $A=Y^{\prime }{Y}^{-1}$, yielding the displayed matrix Riccati equation. Taking its trace gives $h^{\prime }+\mathrm{tr}(A^2)+\mathrm{Ric}({\partial }_r,{\partial }_r)=0$, where $h=\mathrm{tr}A={\partial }_r\log \det Y$. This is the local differential identity behind the Bishop-Gromov inequality.