Proof. [03J5]
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.
The proof only requires straightforward calculations, so we only sketch the calculations. We use the following formula for the pointwise norm squared of the curvature of a Gibbons-Hawking metric
| (7.27) |
see [GW00]. We just need to consider the case of monopole point located at the origin, the case of several monopole points follows easily from this case. Let , then we have the expansion
| (7.28) |
where is a bounded harmonic function.
First, we estimate the curvature in the case . By (7.28),
| (7.29) |
so it follows that
| (7.30) |
for , then
| (7.31) |
and the first claimed estimate follows from this.
Before showing the curvature estimates in other regions, we relate the intrinsic distance function and the Euclidean radial function . By directly estimating the integral of , we have that
| (7.32) | ||||
where is some universal constant. So the first part of the curvature estimate in (7.23) immediately follows.
Next, let satisfy . Substituting (7.28) into (7.27), then similar expansion formula shows that for some uniform constant ,
| (7.33) |
Correspondingly in terms of the intrinsic distance function, the curvature estimate turns out to be
| (7.34) |
The above in fact covers the curvature estimates in Region I and Region II.
From now on, we consider the case that is in the neck region satisfying . In this case, the harmonic function has the expansion,
| (7.35) |
We apply the above expansion to the curvature formula (7.27), then we obtain the following curvature estimate
| (7.36) |
where is a uniform curvature estimate. Similarly, one can calculate that in the damage zones,
| (7.37) |
for some uniform constant . Note that the cutoff function and its derivatives up to third order are uniformly bounded, the curvature of the glued metric is therefore also of order in the damage zone region.
Next, we recall from Section 2.2 that for the model spaces, the defining harmonic functions are and , so (7.27) implies that
| (7.38) |
for some uniform constant , so the complete end of the model space has exactly inverse quadratic curvature decay. It follows from Proposition 3.4 that the Tian-Yau metric does also.
∎