ScalingStacks

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) |Rm|2=12​Vβ−1​Δ2​(Vβ−1),\displaystyle|\Rm|^{2}=\frac{1}{2}V_{\beta}^{-1}\Delta^{2}(V_{\beta}^{-1}),

see [GW00]. We just need to consider the case of 11 monopole point located at the origin, the case of several monopole points follows easily from this case. Let r0≡12​InjRadg0⁡(𝕋2)r_{0}\equiv\frac{1}{2}\InjRad_{g_{0}}(\mathbb{T}^{2}), then we have the expansion

(7.28) Vβ​(𝒙)=12​r​(𝒙)+β+h⁡(𝒙),x∈Br0​(03),\displaystyle V_{\beta}(\bm{x})=\frac{1}{2r(\bm{x})}+\beta+h(\bm{x}),\ x\in B_{r_{0}}(0^{3}),

where hh is a bounded harmonic function.

First, we estimate the curvature in the case r⁡(𝒙)<1βr(\bm{x})<\frac{1}{\beta}. By (7.28),

(7.29) Vβ−1​(𝒙)=2​r1+2​r​β+2​r​h,\displaystyle V_{\beta}^{-1}(\bm{x})=\frac{2r}{1+2r\beta+2rh},

so it follows that

(7.30) Vβ−1=2​r1+2​r​β+2​r​h≤C​r​(1−2​r​β+4​r2​β2+8​r3​β3)\displaystyle V_{\beta}^{-1}=\frac{2r}{1+2r\beta+2rh}\leq Cr(1-2r\beta+4r^{2}\beta^{2}+8r^{3}\beta^{3})

for r<β−1r<\beta^{-1}, then

(7.31) |Vβ−1​Δ2​(Vβ−1)|≤C​r​β3,\displaystyle|V_{\beta}^{-1}\Delta^{2}(V_{\beta}^{-1})|\leq Cr\beta^{3},

and the first claimed estimate follows from this.

Before showing the curvature estimates in other regions, we relate the intrinsic distance function dm​(𝒙)d_{m}(\bm{x}) and the Euclidean radial function r⁡(𝒙)r(\bm{x}). By directly estimating the integral of Vβ\sqrt{V_{\beta}}, we have that

(7.32) 1C′⋅r⁡(𝒙)≤dm(𝒙)≤C′r⁡(x),r(𝒙)<β−1,1C′⋅β12⋅r⁡(𝒙)≤dm(𝒙)≤C′⋅β12⋅r(𝒙),r(𝒙)≥β−1,\displaystyle\begin{split}\frac{1}{C^{\prime}}\cdot\sqrt{r(\bm{x})}&\leq d_{m}(\bm{x})\leq C^{\prime}\sqrt{r\bm{(}x)},\ \hskip 17.0ptr(\bm{x})<\beta^{-1},\\ \frac{1}{C^{\prime}}\cdot\beta^{\frac{1}{2}}\cdot r(\bm{x})&\leq d_{m}(\bm{x})\leq C^{\prime}\cdot\beta^{\frac{1}{2}}\cdot r(\bm{x}),\ r(\bm{x})\geq\beta^{-1},\end{split}

where C′>0C^{\prime}>0 is some universal constant. So the first part of the curvature estimate in (7.23) immediately follows.

Next, let 𝒙∈Br0​(03)\bm{x}\in B_{r_{0}}(0^{3}) satisfy r⁡(𝒙)≥β−1r(\bm{x})\geq\beta^{-1}. Substituting (7.28) into (7.27), then similar expansion formula shows that for some uniform constant C>0C>0,

(7.33) |Rm|​(𝒙)≤Cβ2​r3​(𝒙).|\Rm|(\bm{x})\leq\frac{C}{\beta^{2}r^{3}(\bm{x})}.

Correspondingly in terms of the intrinsic distance function, the curvature estimate turns out to be

(7.34) |Rm|​(𝒙)≤Cβ12​dm​(𝒙)3.|\Rm|(\bm{x})\leq\frac{C}{\beta^{\frac{1}{2}}d_{m}(\bm{x})^{3}}.

The above in fact covers the curvature estimates in Region I and Region II.

From now on, we consider the case that 𝒙\bm{x} is in the neck region satisfying r010≤|z⁡(𝒙)|≤β\frac{r_{0}}{10}\leq|z(\bm{x})|\leq\beta. In this case, the harmonic function VβV_{\beta} has the expansion,

(7.35) Vβ​(𝒙)={2​π​b−​z​(𝒙)A+h−​(𝒙)+β,−T−≤z⁡(𝒙)≤−ζ0h⁡(𝒙)+β,−ζ0≤z⁡(𝒙)≤ζ0,−2​π​b+​z​(𝒙)A+h+​(𝒙)+β,ζ0≤z⁡(𝒙)≤T+.\displaystyle V_{\beta}(\bm{x})=\begin{cases}\frac{2\pi b_{-}z(\bm{x})}{A}+h_{-}(\bm{x})+\beta,&-T_{-}\leq z(\bm{x})\leq-\zeta_{0}\\ h(\bm{x})+\beta,&-\zeta_{0}\leq z(\bm{x})\leq\zeta_{0},\\ -\frac{2\pi b_{+}z(\bm{x})}{A}+h_{+}(\bm{x})+\beta,&\zeta_{0}\leq z(\bm{x})\leq T_{+}.\end{cases}

We apply the above expansion to the curvature formula (7.27), then we obtain the following curvature estimate

(7.36) |Rm|​(𝒙)≤Cβ2​z​(𝒙),|\Rm|(\bm{x})\leq\frac{C}{\beta^{2}z(\bm{x})},

where C>0C>0 is a uniform curvature estimate. Similarly, one can calculate that in the damage zones,

(7.37) |Rm|​(𝒙)≤Cβ3|\Rm|(\bm{x})\leq\frac{C}{\beta^{3}}

for some uniform constant C>0C>0. 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 β−3\beta^{-3} in the damage zone region.

Next, we recall from Section 2.2 that for the model spaces, the defining harmonic functions are V−​(𝒙)=2​π​b−​z​(𝒙)AV_{-}(\bm{x})=\frac{2\pi b_{-}z(\bm{x})}{A} and V+​(𝒙)=2​π​b+​z​(𝒙)AV_{+}(\bm{x})=\frac{2\pi b_{+}z(\bm{x})}{A}, so (7.27) implies that

(7.38) |Rm|​(𝒙)≤Cd​(𝒙)2,\displaystyle|\Rm|(\bm{x})\leq\frac{C}{d(\bm{x})^{2}},

for some uniform constant C>0C>0, 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.

∎

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