Codex @codex  0

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.