ScalingStacks

Proof. [00W2]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

As above we embed (X,ωX)(X,\omega_{X}) isometrically into ℝN\mathbb{R}^{N} and we get that the length of the mean curvature vector of the composite isometric embedding Xy→X→ℝNX_{y}\to X\to\mathbb{R}^{N} is then uniformly bounded independent of yy. We can then apply Theorem 1.1 of [Tp] and get the required diameter bound.

Alternatively, first one observes that (3.3) implies that there is a uniform constant κ\kappa so that that geodesic balls in XyX_{y} of radius r<1r<1 have volume at least κ​r2​(n−m)\kappa r^{2(n-m)} (Lemma 3.2 in [H]). Since the total volume of XyX_{y} is constant equal to 11, an elementary argument gives the required diameter bound. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.