ScalingStacks

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

00W1

Lemma 3.3. There is a uniform constant CC so that for any 0<t≤10<t\leq 1, for any y∈Y\f⁡(S)y\in Y\backslash f(S) we have

(3.4) diam⁡(Xy,ωy)≤C.\mathrm{diam}(X_{y},\omega_{y})\leq C.
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.