ScalingStacks

Proof. [03FL]

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.

First we apply estimates similar to those in Lemma 4.2 to the differential d​ψd\psi, which we think of as an element in (ℝd⊕ℝd)⊗((ℝd)∗⊕(ℝd)∗)(\mathbb{R}^{d}\oplus\mathbb{R}^{d})\otimes((\mathbb{R}^{d})^{*}\oplus(\mathbb{R}^{d})^{*}).

d​ψ=(𝟙−𝔛⊗v−(⟨v,log|z|⟩+λ(v))∇𝔛0−(⟨v,Arg(z)⟩+θv)∇𝔛𝟙−𝔛⊗v)​(d​log⁡|z|d​Arg⁡(z))d\psi=\left(\begin{array}[]{cc}\mathbbm{1}-\mathfrak{X}\otimes v-(\langle v,\log|z|\rangle+\lambda(v))\nabla\mathfrak{X}&0\\ -(\langle v,\operatorname{Arg}(z)\rangle+\theta_{v})\nabla\mathfrak{X}&\mathbbm{1}-\mathfrak{X}\otimes v\end{array}\right)\left(\begin{array}[]{c}d\log|z|\\ d\operatorname{Arg}(z)\end{array}\right)

Note that the complex structures JZaJ_{Z_{a}} and JWaJ_{W_{a}} would match exactly via d​ψd\psi if there were no ∇𝔛\nabla\mathfrak{X} terms (this is what happens in the charts Vwβ∨V_{w}^{\beta^{\vee}} where 𝔛\mathfrak{X} is constant).

According to (2) of Lemma 3.2 ⟨v,𝔛⟩=1\langle v,\mathfrak{X}\rangle=1 in UvβU_{v}^{\beta}. Hence the projection operator

(𝟙−𝔛⊗v00𝟙−𝔛⊗v)\left(\begin{array}[]{cc}\mathbbm{1}-\mathfrak{X}\otimes v&0\\ 0&\mathbbm{1}-\mathfrak{X}\otimes v\end{array}\right)

has a norm of order 1 when restricted to ZaZ_{a}, and the desired bound on d​ψ∘JZa∘(d​ψ)−1−JWad\psi\circ J_{Z_{a}}\circ(d\psi)^{-1}-J_{W_{a}} will follow from estimating the ∇𝔛\nabla\mathfrak{X} terms.

But according to the Lemma 4.2 we have the uniform bounds:

|⟨v,log⁡|z|⟩+λ⁡(v)|≤C​e−β,|⟨v,Arg⁡(z)⟩+θv|≤C​e−β.|\langle v,\log|z|\rangle+\lambda(v)|\leq Ce^{-\beta},\ |\langle v,\operatorname{Arg}(z)\rangle+\theta_{v}|\leq Ce^{-\beta}.

On the other hand, by (3) of Lemma 3.2 the gradient ∇𝔛​(log⁡|z|)\nabla\mathfrak{X}(\log|z|) is bounded by O⁡(1β∨)⋅|gλ−c,ν​(log⁡|z|)|O(\frac{1}{\beta^{\vee}})\cdot\left|g_{\lambda-c,\nu}(\log|z|)\right|. ∎

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