ScalingStacks

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

00T0

Proof. This argument is essentially the same as [36, Thm 3.1]. We quote [36, Lem 3.2]:

00T1

Lemma 5.12. Let (M2​n,g)(M^{2n},g) be a closed Riemannian manifold with R​i​c​(g)≥0Ric(g)\geq 0, let p∈Mp\in Mand 1<R≤d​i​a​m​(X,g)1<R\leq diam(X,g). Then R−14​n≤Vol​(B​(p,2​(R+1)))Vol​(B​(p,1))\frac{R-1}{4n}\leq\frac{\text{Vol}(B(p,2(R+1)))}{\text{Vol}(B(p,1))}.

Using Thm. 5.6, we can find inside the regular region of XsX_{s} some geodesic ball BgC​Y,s​(p,r)B_{g_{CY,s}}(p,r) of radius r<1r<1, occupying a nontrivial portion of the total volume:

OPENVol​(BgC​Y,s​(p,r)))Vol​(Xs)≥ϵ>0,\frac{\text{Vol}(B_{g_{CY,s}}(p,r)))}{\text{Vol}(X_{s})}\geq\epsilon>0,

with ϵ\epsilon independent of ss. Now applying the Lemma to the rescaled CY metric r−2​gC​Y,sr^{-2}g_{CY,s},

diam​(Xs)−r4​n​r≤Vol​(BgC​Y,s​(p,2​(diam​(Xs)+r)))Vol​(BgC​Y,s​(p,r))≤Vol​(Xs)Vol​(BgC​Y,s​(p,r))≤ϵ−1,\frac{\text{diam}(X_{s})-r}{4nr}\leq\frac{\text{Vol}(B_{g_{CY,s}}(p,2(\text{diam}(X_{s})+r)))}{\text{Vol}(B_{g_{CY,s}}(p,r))}\leq\frac{\text{Vol}(X_{s})}{\text{Vol}(B_{g_{CY,s}}(p,r))}\leq\epsilon^{-1},

so diam​(Xs)≤C​r≤C\text{diam}(X_{s})\leq Cr\leq C as required. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.