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 satisfy and . Using volume monotonicity,
we have for every and ,
|
|
|
(8.66) |
Let be as in Theorem 8.12. By Lemma 8.5, we have that
for each , there exists a radius, , such that
. Let be a subcovering such that
the balls in are disjoint, where
. Since ,
we have by the usual doubling estimates that there are at most balls in this covering.
Note that, for each ball , we can apply Theorem 8.12 in order to get a subset
with bounded diffeomorphism type and uniform boundary control. Now recall in dmiension
, the
Chern-Guass-Bonnet formula can be written as
|
|
|
(8.67) |
where is a function of the second fundamental form. By reorganizing, we obtain the bound
|
|
|
|
|
|
|
|
(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 , we get
|
|
|
(8.69) |
as claimed.
∎