ScalingStacks

Proof. [053C]

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.

Since by construction

(4.338) Tn−2n​ω=T​π∗​ωD+d​dc​ϕ.T^{\frac{n-2}{n}}\omega=T\pi^{*}\omega_{D}+dd^{c}\phi.

We have

(4.339) ΔT2​n−2n​ω​ϕ=n−T⋅TrT2​n−2n​ω⁡π∗​ωD.\Delta_{T^{\frac{2n-2}{n}}\omega}\phi=n-T\cdot\Tr_{T^{\frac{2n-2}{n}}\omega}\pi^{*}\omega_{D}.

Since π∗​ωD\pi^{*}\omega_{D} is smooth on 𝒱\mathcal{V} and ω\omega is parallel, again the above discussion gives that

(4.340) |TrT2​n−2n​ω⁡π∗​ωD|Cδ,ν,μ1,α​(𝒱)≤eC​T.|\Tr_{T^{\frac{2n-2}{n}}\omega}\pi^{*}\omega_{D}|_{C^{1,\alpha}_{\delta,\nu,\mu}(\mathcal{V})}\leq e^{CT}.

So by Proposition 4.22 we get that

(4.341) |ϕ|Cδ,ν,μ3,α​(𝒱)≤eC​T+C|ϕ|C0δ,ν,μ(π−1(Uβ)∩{|z|≤1}).|\phi|_{C^{3,\alpha}_{\delta,\nu,\mu}(\mathcal{V})}\leq e^{CT}+C|\phi|_{C^{0}_{\delta,\nu,\mu}(\pi^{-1}(U_{\beta})\cap\{|z|\leq 1\})}.

To bound the right hand side we use the formula

(4.342) ϕ=∫T+zu​h​(u)​𝑑u+ϕ⁡(T+)=∫T+0u​h​(u)​𝑑u+ϕ⁡(T+)+∫0zu​h​(u)​𝑑u.\phi=\int_{T_{+}}^{z}uh(u)du+\phi(T_{+})=\int_{T_{+}}^{0}uh(u)du+\phi(T_{+})+\int_{0}^{z}uh(u)du.

Hence

(4.343) ϕ=T2​z2+12​r+BT+O⁡(1),\phi=\frac{T}{2}z^{2}+\frac{1}{2}r+B_{T}+O(1),

which gives

(4.344) |ϕ|C0δ,ν,μ(π−1(Uβ)∩{|z|≤1})≤O(Tm)|\phi|_{C^{0}_{\delta,\nu,\mu}(\pi^{-1}(U_{\beta})\cap\{|z|\leq 1\})}\leq O(T^{m})

for some m>0m>0. The conclusion then follows. ∎

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