ScalingStacks

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

Choose δ≤min(C12,1/2∫Xω0n)\delta\leq\min(C_{1}^{2},1/2\int_{X}\omega_{0}^{n}), and for any t<1t<1 pick any pt∈Ut,δp_{t}\in U_{t,\delta}. If we denote the metric ball of ωt\omega_{t} centered at pp and with radius rr by Bt​(p,r)B_{t}(p,r), then we get that Ut,δ⊂Bt​(pt,C2)U_{t,\delta}\subset B_{t}(p_{t},C_{2}), where C2=C1δ−1/2≥1C_{2}=C_{1}\delta^{-1/2}\geq 1. Then

∫Bt​(pt,C2)ω0n≥∫Ut,δω0n≥12​∫Xω0n,\int_{B_{t}(p_{t},C_{2})}\omega_{0}^{n}\geq\int_{U_{t,\delta}}\omega_{0}^{n}\geq\frac{1}{2}\int_{X}\omega_{0}^{n},

and so

(3.2) ∫Bt​(pt,C2)ωtn≥C3>0,\int_{B_{t}(p_{t},C_{2})}\omega_{t}^{n}\geq C_{3}>0,

for some constant C3C_{3} independent of tt. Since Ric⁡(ωt)=0\mathrm{Ric}(\omega_{t})=0, the Bishop volume comparison Theorem and (3.2) give that

(3.3) ∫Bt​(pt,1)ωtn≥∫Bt​(pt,C2)ωtnC22​n≥C4>0.\int_{B_{t}(p_{t},1)}\omega_{t}^{n}\geq\frac{\int_{B_{t}(p_{t},C_{2})}\omega_{t}^{n}}{C_{2}^{2n}}\geq C_{4}>0.

The following lemma is due to Yau (see e.g. Theorem I.4.1 in [SY]), but we provide a proof for completeness.

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