Codex @codex  0

For a complete connected $n$-dimensional Riemannian manifold with nonnegative Ricci curvature, the displayed ratio is nonincreasing, tends to one at zero, and is at most one. In particular $\mathrm{Vol}B(p,r)\le {\omega }_n{r}^n$. In geodesic polar coordinates, the radial Jacobi field determinant is at most the Euclidean density $r^{n-1}$ until the cut time. The trace of the radial Riccati equation for distance spheres, with Cauchy-Schwarz inequality, proves this comparison. Equality for every radius forces the Euclidean polar metric and absence of a cut locus.

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$.

Use the intended trace bound $\mathrm{Ric}\ge (n-1)kg$ and write $D=\pi /\sqrt{k}$. We state precisely the allowed Bishop volume comparison with a positive-curvature model. Setwhere ${\omega }_{n-1}$ is the area of the unit $(n-1)$-sphere. For $V_p(r)=\mathrm{Vol}B(p,r)$, the ratio $V_p(r)/v_k(r)$ is nonincreasing on $0<r<D$, tends to one at zero, and is at most one. Before the cut time, the radial volume density $J(r,\theta )$ in geodesic polar coordinates is at most $s_k(r{)}^{n-1}$.

By the Bonnet-Myers theorem, $\mathrm{diam}M\le D$. Therefore $V_p(D)=\mathrm{Vol}M$. If distance-$D$ endpoints exist, they do not affect this volume equality: the distance sphere is contained in the smooth image ${\exp }_p(D{S}_p^{n-1})$, which has zero $n$-dimensional Riemannian volume. Taking limits in the comparison ratio at $D$ is legitimate. The assumed equality of total volume gives $V_p(D)/v_k(D)=1$, so monotonicity forcesfor every $p$.

We now extract the equality geometry, rather than merely naming a rigidity theorem. On a small normal neighborhood of $p$, the continuous nonnegative difference $s_k(r{)}^{n-1}-J(r,\theta )$ has integral zero. It is therefore identically zero. Let $A(X)={\nabla }_X{\partial }_r$ on a distance sphere and $h=\mathrm{tr}A={\partial }_r\log J$. Equality of the density gives $h=(n-1)s_k^{\prime }/s_k$. The traced radial Riccati equation for distance spheres readsSince $s_k^{\prime \prime }=-k{s}_k$, substituting $h$ makes the sum of the following two nonnegative quantities zero:Equality in the Cauchy-Schwarz inequality for the eigenvalues of the self-adjoint operator $A$ forces $A=(s_k^{\prime }/s_k)I$. The angular metric $g_r$ in geodesic polar coordinates consequently satisfies ${\partial }_r{g}_r=2(s_k^{\prime }/s_k)g_r$. Smoothness at the center fixes its integration constant, since $r^{-2}{g}_r\to g_{S^{n-1}}$. Henceon the normal ball: the Riemannian metric is locally the round curvature-$k$ metric. As $p$ was arbitrary, $M$ has constant sectional curvature $k$.

The classification of complete positive constant-curvature manifolds now gives $M=S_k^n/\Gamma$ with $\Gamma$ a finite freely acting group of isometries. Covering degree gives $\mathrm{Vol}M=\mathrm{Vol}{S}_k^n/|\Gamma |$. Volume equality forces $|\Gamma |=1$, provingThis establishes spherical rigidity of maximal total volume under the correct normalization.

Under the literal trace bound, the assertion is false in dimension four. Take the Riemannian product $M=S^2(r)\times S^2(r)$ with $r^2=1/(\sqrt{6}k)$. Its Ricci curvature is $r^{-2}g=\sqrt{6}kg\ge kg$, andBut a mixed tangent two-plane has sectional curvature zero, whereas a factor plane has curvature $\sqrt{6}k$. Thus this manifold is not the round sphere despite having the literal hypotheses.

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.

The plane planar isoperimetric inequality says that a simple closed curve of length $L$ enclosing area $A$ satisfies $L^2\ge 4\pi A$, with equality for circles.

For sufficiently small $r$, below the injectivity radius at $p$, geodesic polar coordinates give the surface metric $d{r}^2+j(r,\theta {)}^{2}d{\theta }^2$. The radial variation field is a Jacobi field, soIts integral equation is $j=r-{\int }_0^r(r-u)K({\gamma }_{\theta }(u))j(u,\theta )du$. Continuity of curvature and $j(u,\theta )=u+o(u)$, uniformly in direction, giveThe Gauss lemma makes the angular metric factor both the circle line element and the polar area factor. ThereforeSquaring the length expansion and subtracting givesThis identifies the requested remainder and proves its ratio to $r^4$ tends to zero. For $K(p)>0$, sufficiently small geodesic disks have $L^2<4\pi A$, the opposite strict inequality to the planar bound. Their positive curvature allows more area for the same perimeter; the Euclidean inequality is not a universal inequality for curved surfaces.

The Gauss lemma says that the radial and angular directions of the exponential map are orthogonal, with radial lengths preserved. On a surface it givesso the metric in geodesic polar coordinates is $d{r}^2+G(r,\theta )d{\theta }^2$.

To prove it, consider a smooth variation $\gamma (r,s)={\exp }_p(rv(s))$ of geodesics with unit initial vectors $v(s)$. Put $T={\gamma }_r$ and $J={\gamma }_s$. Each radial geodesic has constant unit speed, and the Levi-Civita connection is torsion free. HenceAt $r=0$, $J=0$ because all geodesics start at $p$, so the constant inner product is zero. Unit radial length follows from constant speed. General initial-vector variations split into a radial component, whose image has the same length, and a component tangent to the initial sphere, whose image is orthogonal to it. This proves the full Gauss lemma.

For $v\in T_{p}S$ for which the geodesic exists up to time one, the exponential map is ${\exp }_p(v)={\gamma }_v(1)$, where ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$. The initial velocity determines the geodesic uniquely. Since $d({\exp }_p{)}_0$ is the identity, this map is a local diffeomorphism near zero.

Choose an orthonormal basis of $T_{p}S$ and set $e(\theta )=(\cos \theta ,\sin \theta )$. The geodesic polar coordinates arein a normal neighbourhood, away from its centre. For sufficiently small positive $r$, the geodesic circle iswithin that neighbourhood. Outside the injectivity range the distance sphere need not have this smooth coordinate description.

Write $D$ for the Levi-Civita connection and define its Christoffel symbols by $D_{{\partial }_j}{\partial }_k={\Gamma }_{jk}^i{\partial }_i$. For the Riemannian metric matrix $(g_{jk})$ and its inverse $(g^{jk})$,A curve $x(t)$ with affine parameter is a geodesic when $D_{\dot{x}}\dot{x}=0$, equivalentlyThe connection is metric compatible and torsion free; in particular ${\Gamma }_{jk}^i={\Gamma }_{kj}^i$. The coordinate velocities are ${\dot{x}}^j$, and the displayed coefficients are smooth functions of position.

For $v\in T_{p}M$ whose initial-value geodesic ${\gamma }_v$ exists through time $1$, with ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$, define ${\exp }_p(v)={\gamma }_v(1)$. The domain is open and contains a neighborhood of zero. Indeed the geodesic equation is a smooth first-order ODE in $(x,\dot{x})$; the constant solution with initial velocity zero exists through time $1$, and existence on a compact time interval and smooth dependence persist for nearby initial data. Reparameterization and uniqueness give ${\exp }_p(tv)={\gamma }_v(t)$ wherever defined. Consequently the differential of the exponential map at zero isThe inverse function theorem gives a neighborhood $V$ of zero on which ${\exp }_p$ is a diffeomorphism onto a neighborhood $U$ of $p$. Shrink $V$ to a ball in $T_{p}M$ and choose an orthonormal basis there. Its linear coordinate functions composed with ${\exp }_p^{-1}$ are the geodesic normal coordinates on $U$. This establishes well-defined local coordinates without assuming geodesic completeness.

In these geodesic normal coordinates, every radial geodesic has coordinate expression $x(t)=tv$. Its equation at $t=0$ reads ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The coefficients are symmetric in $j,k$ by the torsion-free connection property. Evaluating at the coordinate unit vectors and their pairwise sums, or using the polarization identity, therefore givesThis is the fact that Christoffel symbols vanish at the center of normal coordinates. Also $g_{ij}(p)={\delta }_{ij}$, since $(d{\exp }_p{)}_0$ is the identity in an orthonormal basis.

For sufficiently small $r>0$, the geodesic sphere is $S_r(p)={\exp }_p\{v:|v{|}_{g_p}=r\}$. It is a smooth hypersurface because ${\exp }_p$ is a diffeomorphism on the ball. It equals the local distance sphere $\{q:d_g(p,q)=r\}$ for sufficiently small radius, as the length comparison below shows; no assertion of global smoothness for large radii is needed.

The full Gauss lemma isfor $v$ in a star-shaped domain of ${\exp }_p$ and $w\in T_{p}M$. To prove it, set $F(t,s)={\exp }_p(t(v+sw))$, $T={\partial }_{t}F$ and $S={\partial }_{s}F$, for $s$ near zero. Every $t$-curve is a geodesic and has squared speed $|v+sw{|}_{g_p}^2$. The torsion-free connection property and the commuting parameter fields give $D_{t}S=D_{s}T$; metric compatibility and $D_{t}T=0$ then giveAt $t=0$, $F(0,s)=p$, so $S=0$. Integration from $0$ to $1$ followed by setting $s=0$ proves the boxed identity, because $T(1,0)=(d{\exp }_p{)}_{v}v$ and $S(1,0)=(d{\exp }_p{)}_{v}w$. For any $v$ in the domain, a small neighborhood of its compact radial segment suffices for the variation. The zero vector is covered directly.

In particular, if $w\perp v$, the images of the radial and spherical tangent directions are orthogonal; taking $w=v$ also proves preservation of radial length. Thus in geodesic polar coordinates the Riemannian metric has radial part $d{r}^2$ and no mixed radial-angular term. Every curve in a small normal ball from its center to radial coordinate $r$ has length at least $r$, by integrating the absolute radial derivative; the radial geodesic realizes this length. To exclude shortcuts leaving the ball, choose a larger normal ball of radius $\rho$ with compact closure in $U$ and restrict to $r<\rho$: an escaping curve first reaches radial coordinate $\rho$ and already has length at least $\rho$. This proves the asserted small-radius distance interpretation and orthogonality of radial geodesics to geodesic spheres.

Choose an orthonormal basis $(e_1,e_2)$ of $T_{p}S$ and write $e(\theta )=\cos \theta e_1+\sin \theta e_2$. On a punctured disc on which the exponential map is a diffeomorphism, the mapdefines geodesic polar coordinates centred at $p$. The curves $r\mapsto X(r,\theta )$ are unit-speed geodesics, so the first coefficient of the first fundamental form isThe Gauss lemma says that radial and angular coordinate vectors are orthogonal, hence

The angular variation $J=X_{\theta }$ is a Jacobi field along each radial geodesic, with initial dataSince $G=⟨X_{\theta },X_{\theta }⟩=|J{|}^2$, smooth dependence of the geodesic flow givesConsequentlyas required.

False with the $\mathrm{limsup}$ printed in the paper. Let the even-indexed surfaces be one fixed unit sphere and the odd-indexed surfaces one fixed ring torus. Thenbut infinitely many surfaces are tori. The two fixed surfaces lie in one ball and have uniformly bounded area. Their injectivity radii have a positive common lower bound, and compactness gives a common bound on $|\nabla K|$, hence on every radial derivative $|{\partial }_{r}K|$. Thus this alternating sequence satisfies all four additional conditions as well.

The intended statement becomes true if $\mathrm{limsup}$ is replaced byHere is the proof. Put ${\delta }_n=\max (0,-{\inf }_{S_n}{K}_n)$, so ${\delta }_n\to 0$. Choose $p_n$ maximizing distance from the centre of the fixed containing ball. The supporting-sphere curvature bound givesWrite $K_0=K_n(p_n)$ and $j(r,\theta )=\sqrt{G(r,\theta )}$ in geodesic polar coordinates. Choose a fixed sufficiently small $c>0$ and set ${\rho }_n=c{K}_0^{-1/2}$. Conditions (3) and (4) allow $c$ to be chosen so that ${\rho }_n\le {ϵ}_0$ andThe Jacobi equation $j_{rr}=-K_{n}j$, with $j(0)=0$ and $j_r(0)=1$, and the Sturm comparison theorem then give $j(r,\theta )\ge c_{1}r$ on this ball for a constant $c_1>0$ independent of $n$. ConsequentlySince $K_n\ge -{\delta }_n$ elsewhere and $\mathrm{Area}(S_n)\le M$,for all sufficiently large $n$. Gauss-Bonnet forces $\chi (S_n)>0$, and the classification theorem for surfaces makes each such $S_n$ a sphere.

For $v$ in a sufficiently small neighbourhood of $0\in T_{p}S$, let ${\gamma }_v$ be the geodesic satisfying ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$. The exponential map at $p$ isChoose an oriented orthonormal basis of $T_{p}S$, write $e(\theta )=(\cos \theta ,\sin \theta )$, and define geodesic polar coordinates by

The Gauss lemma says that radial and angular coordinate curves are orthogonal. Since $r\mapsto \varphi (r,\theta )$ is a unit-speed geodesic,Moreover, torsion-freeness of the surface connection gives $D_r{\varphi }_{\theta }=D_{\theta }{\varphi }_r$, and thereforeAt $r=0$, ${\varphi }_{\theta }=0$, so $⟨{\varphi }_r,{\varphi }_{\theta }⟩=0$ for every sufficiently small $r$. Thus the first fundamental form isand $\sqrt{G}/r\to 1$ as $r\downarrow 0$ because $d({\exp }_p{)}_0$ is the identity.