ScalingStacks

Proof. [0317]

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.

We can assume that KK is sufficiently small so that f⁡(K)⊂Bf(K)\subset B for a ball BB as before, and that there is a compact set K′⊂B×ℂn−mK^{\prime}\subset B\times\mathbb{C}^{n-m} so that p:K′→Tσ​(K)p:K^{\prime}\to T_{\sigma}(K) is a biholomorphism. We then have

supK|Sec⁡(ω~t)|=supTσ​(K)|Sec⁡(T−σ∗​ω~t)|=supK′|Sec⁡(p∗​T−σ∗​ω~t)|=supλt−1​(K′)|Sec⁡(λt∗​p∗​T−σ∗​ω~t)|.\begin{split}\sup_{K}|\mathrm{Sec}(\tilde{\omega}_{t})|&=\sup_{T_{\sigma}(K)}|\mathrm{Sec}(T_{-\sigma}^{*}\tilde{\omega}_{t})|=\sup_{K^{\prime}}|\mathrm{Sec}(p^{*}T_{-\sigma}^{*}\tilde{\omega}_{t})|\\ &=\sup_{\lambda_{t}^{-1}(K^{\prime})}|\mathrm{Sec}(\lambda_{t}^{*}p^{*}T_{-\sigma}^{*}\tilde{\omega}_{t})|.\end{split}

For t>0t>0 small enough, the sets λt−1​(K)\lambda_{t}^{-1}(K) are all contained in a fixed compact set K′′⊂B×ℂn−mK^{\prime\prime}\subset B\times\mathbb{C}^{n-m}. From (4.3) and (4.11) we then get a uniform bound for the sectional curvatures of λt∗​p∗​T−σ∗​ω~t\lambda_{t}^{*}p^{*}T_{-\sigma}^{*}\tilde{\omega}_{t} on K′′K^{\prime\prime}, and this proves (4.15). ∎

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