ScalingStacks

Verified tagged author-source HTML · 0905.4718v1 · cited publication edition alignment unverified.

00W2

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 collection and HTML conversion remain in progress.