ScalingStacks

Proof. [05DZ]

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.

By (5),

(Dσ​𝔉k​(y,σ)−Dσ​𝔉k​(0,0))​σ˙\displaystyle(D_{\sigma}\mathfrak{F}_{k}(y,\sigma)-D_{\sigma}\mathfrak{F}_{k}(0,0))\dot{\sigma} =\displaystyle= ((Dσ​(Π∗​d​αk|L⁡(y,σ))−Dσ​(d​αk|L))​σ˙CLOSE,\displaystyle((D_{\sigma}(\Pi^{*}d\alpha_{k}|_{L(y,\sigma)})-D_{\sigma}(d\alpha_{k}|_{L}))\dot{\sigma},
∗h(Dσ(Π∗dImβk|L⁡(y,σ))−Dσ(dImβk|L))σ˙).\displaystyle*_{h}(D_{\sigma}(\Pi^{*}d{\rm Im}\beta_{k}|_{L(y,\sigma)})-D_{\sigma}(d{\rm Im}\beta_{k}|_{L}))\dot{\sigma}).

We can take a k0≫1k_{0}\gg 1 such that, for k>k0k>k_{0},

‖Dσ​𝔉k​(y,σ)−Dσ​𝔉k​(0,0)‖\displaystyle\|D_{\sigma}\mathfrak{F}_{k}(y,\sigma)-D_{\sigma}\mathfrak{F}_{k}(0,0)\| ≤\displaystyle\leq 2​C​‖(d​αk,d​βk)‖C1,α​(Y2​r,g)​(∑l=0,1,⋯,n‖σ‖C1,α​(L,h)l)\displaystyle 2C\|(d\alpha_{k},d\beta_{k})\|_{C^{1,\alpha}(Y_{2r},g)}(\sum_{l=0,1,\cdots,n}\|\sigma\|_{C^{1,\alpha}(L,h)}^{l})
≤\displaystyle\leq 2​C​‖(d​αk,d​βk)‖C1,α​(Y2​r,g)​n​δ0\displaystyle 2C\|(d\alpha_{k},d\beta_{k})\|_{C^{1,\alpha}(Y_{2r},g)}n\delta_{0}
≤\displaystyle\leq 14​C¯,\displaystyle\frac{1}{4\overline{C}},

by (2), (7) and (8). We obtain the first formula in the conclusion.

Note that Dσ​𝔉k​(y,σ)=Dσ​𝔉k​(0,0)+(Dσ​𝔉k​(y,σ)−Dσ​𝔉k​(0,0))D_{\sigma}\mathfrak{F}_{k}(y,\sigma)=D_{\sigma}\mathfrak{F}_{k}(0,0)+(D_{\sigma}\mathfrak{F}_{k}(y,\sigma)-D_{\sigma}\mathfrak{F}_{k}(0,0)), Dσ​𝔉k​(0,0)D_{\sigma}\mathfrak{F}_{k}(0,0) is invertible, and ‖Dσ​𝔉k​(0,0)−1‖≤C¯\|D_{\sigma}\mathfrak{F}_{k}(0,0)^{-1}\|\leq\overline{C}. By the same arguments as in the proof of Lemma 4.3, and

‖Dσ​𝔉k​(0,0)−1​(Dσ​𝔉k​(y,σ)−Dσ​𝔉k​(0,0))‖≤12,\|D_{\sigma}\mathfrak{F}_{k}(0,0)^{-1}(D_{\sigma}\mathfrak{F}_{k}(y,\sigma)-D_{\sigma}\mathfrak{F}_{k}(0,0))\|\leq\frac{1}{2},

Dσ​𝔉k​(y,σ)D_{\sigma}\mathfrak{F}_{k}(y,\sigma) is also invertible, and

‖Dσ​𝔉k​(y,σ)−1‖≤(∑j=0∞2−j)​‖Dσ​𝔉k​(0,0)−1‖≤2​C¯.\|D_{\sigma}\mathfrak{F}_{k}(y,\sigma)^{-1}\|\leq(\sum_{j=0}^{\infty}2^{-j})\|D_{\sigma}\mathfrak{F}_{k}(0,0)^{-1}\|\leq 2\overline{C}.

∎

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