ScalingStacks

Proof of Theorem 1.5 . [01ZX]

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 of Theorem 1.5.

Let M4M^{4} satisfy |RicM4|≤3|{\rm Ric}_{M^{4}}|\leq 3 and Vol⁡(B1​(p))>v>0{\rm Vol}(B_{1}(p))>{\rm v}>0. Using volume monotonicity, we have for every x∈B1​(p)x\in B_{1}(p) and r≤1r\leq 1,

Vol⁡(Br​(x))≥Vol−1​(Br)Vol−1​(B2)​Vol​(B2​(x))≥c⁡(n)​Vol​(B1​(p))​r4≥c​v​r4.\displaystyle{\rm Vol}(B_{r}(x))\geq\frac{{\rm Vol}_{-1}(B_{r})}{{\rm Vol}_{-1}(B_{2})}{\rm Vol}(B_{2}(x))\geq c(n){\rm Vol}(B_{1}(p))\,r^{4}\geq c{\rm v}\,r^{4}\,. (8.66)

Let δ⁡(v)\delta({\rm v}) be as in Theorem 8.12. By Lemma 8.5, we have that for each x∈B1​(p)x\in B_{1}(p), there exists a radius, rαx=2−αx∈[C⁡(v)​δ3,δ2]r_{\alpha_{x}}=2^{-\alpha_{x}}\in[C({\rm v})\delta^{3},\delta^{2}], such that Tαxδ​(x)=0T^{\delta}_{\alpha_{x}}(x)=0. Let {Bri​(xi)}\{B_{r_{i}}(x_{i})\} be a subcovering such that the balls in {Bri/4​(xi)}\{B_{r_{i}/4}(x_{i})\} are disjoint, where ri=rαxir_{i}=r_{\alpha_{x_{i}}}. Since ri>r¯​(v)r_{i}>\bar{r}({\rm v}), we have by the usual doubling estimates that there are at most C⁡(v)C({\rm v}) balls in this covering.

Note that, for each ball Bri​(xi)B_{r_{i}}(x_{i}), we can apply Theorem 8.12 in order to get a subset Ui⊇Bri​(xi)U_{i}\supseteq B_{r_{i}}(x_{i}) with bounded diffeomorphism type and uniform boundary control. Now recall in dmiension 44, the Chern-Guass-Bonnet formula can be written as

χ⁡(Ui)=132​π2​∫Ui|Rm|2−4​|Ric|2+R2+∫∂UiΨ,\displaystyle\chi(U_{i})=\frac{1}{32\pi^{2}}\int_{U_{i}}|{\rm Rm}|^{2}-4|{\rm Ric}|^{2}+R^{2}+\int_{\partial U_{i}}\Psi\,, (8.67)

where Ψ=Ψ⁡(A)\Psi=\Psi(A) is a function of the second fundamental form. By reorganizing, we obtain the bound

∫Ui|Rm|2\displaystyle\int_{U_{i}}|{\rm Rm}|^{2} ≤32​π2​|χ⁡(Ui)|+4​∫Ui|Ric|2+C​∫Ui|Ψ|,\displaystyle\leq 32\pi^{2}|\chi(U_{i})|+4\int_{U_{i}}|{\rm Ric}|^{2}+C\int_{U_{i}}|\Psi|\,,
≤C⁡(v),\displaystyle\leq C({\rm v})\,, (8.68)

where we have used the bound on the diffeomorphism type, the Ricci bound, and the second fundamental form bound from Theorem 8.12. By summing over ii, we get

⨏B1​(p)|Rm|2≤C⁡(v)​∑∫Ui|Rm|2≤C⁡(v),\displaystyle\fint_{B_{1}(p)}|{\rm Rm}|^{2}\leq C({\rm v})\sum\int_{U_{i}}|{\rm Rm}|^{2}\leq C({\rm v})\,, (8.69)

as claimed. ∎

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