ScalingStacks

Proof. [021E]

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.

First we derive the estimate for ∫Meq​F​𝑑v​o​lg\int_{M}e^{qF}dvol_{g} with q>1q>1.

From Theorem 5.2, we know

(5.7) −α​ψ≥αε​(F−2​(1+maxM⁡|R​i​c|)​φ−C5.1).-\alpha\psi\geq\frac{\alpha}{\varepsilon}\big(F-2(1+\max_{M}|Ric|)\varphi-C_{5.1}\big).

hence

(5.8) C5≥∫Me−α​ψ​dv​o​lg≥∫Mexp⁡(αε​(F−2​(1+maxM⁡|R​i​c|)​φ−C5.1))​𝑑v​o​lg≥∫Mexp⁡(αε​(F−C5.1))​dv​o​lg.\begin{split}C_{5}\geq\int_{M}e^{-\alpha\psi}dvol_{g}\geq&\int_{M}\exp\big(\frac{\alpha}{\varepsilon}(F-2(1+\max_{M}|Ric|)\varphi-C_{5.1})\big)dvol_{g}\\ &\geq\int_{M}\exp\big(\frac{\alpha}{\varepsilon}(F-C_{5.1})\big)dvol_{g}.\end{split}

The last inequality holds because we normalized φ\varphi so that φ≤0\varphi\leq 0. Choose ε=αq\varepsilon=\frac{\alpha}{q}, then we immediately get the desired estimate for ∫Meq​F​𝑑v​o​lg\int_{M}e^{qF}dvol_{g}. The claimed estimate for φ\varphi and ψ\psi immediately follows from the estimate for ‖eF‖Lq​(q>2)||e^{F}||_{L^{q}}(q>2), given in the lemma below. ∎

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