ScalingStacks

Theorem 1.5 . [01XJ]

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

Theorem 1.5.

There exists C=C⁡(v)C=C({\rm v}) such that if M4M^{4} satisfies |RicM4|≤3|{\rm Ric}_{M^{4}}|\leq 3 and Vol⁡(B1​(p))>v>0{\rm Vol}(B_{1}(p))>{\rm v}>0, then

⨏B1​(p)|Rm|2≤C.\displaystyle\fint_{B_{1}(p)}|{\rm Rm}|^{2}\leq C\,. (1.8)

Furthermore, we have the sharp weak-L2L^{2} estimate on the harmonic radius,

Vol⁡(Tr​({x∈B1​(p):rh≤r}))≤C​r4.\displaystyle{\rm Vol}(T_{r}(\{x\in B_{1}(p):r_{h}\leq r\}))\leq Cr^{4}\,. (1.9)

If we assume in addition that M4M^{4} is Einstein, then the same result holds with the harmonic radius rhr_{h} replaced by the regularity scale rxr_{x}.

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