ScalingStacks

Proposition 4.18 . [045K]

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

Proposition 4.18.

Via the local diffeomorphism Ψ\Psi, on the chart {r≲A1/4}\{r\lesssim A^{1/4}\},

{|∇ga{Ψ∗​(wp​q¯​d​ηp⊗d​η¯q)−12​μ2+|ξ1|2​d​ξ1⊗d​ξ¯1}|ga≤C​A−1,|∇ga{Ψ∗​v−12​μ2+|ξ1|2}|ga≤C.\begin{cases}|\nabla_{g_{a}}\{\Psi^{*}(w^{p\bar{q}}d\eta_{p}\otimes d\bar{\eta}_{q})-\frac{1}{2\sqrt{\mu^{2}+|\xi_{1}|^{2}}}d\xi_{1}\otimes d\bar{\xi}_{1}\}|_{g_{a}}\leq CA^{-1},\\ |\nabla_{g_{a}}\{\Psi^{*}v-\frac{1}{2\sqrt{\mu^{2}+|\xi_{1}|^{2}}}\}|_{g_{a}}\leq C.\end{cases}

Furthermore

{|∇2ga{Ψ∗(wp​q¯dηp⊗dη¯q)−12​μ2+|ξ1|2dξ1⊗dξ¯1}|gNUT≤CA−3/4ℓ−2,|∇ga2{Ψ∗​v−12​μ2+|ξ1|2}|gNUT≤C​A1/4​ℓ−2.\begin{cases}|\nabla^{2}_{g_{a}}\{\Psi^{*}(w^{p\bar{q}}d\eta_{p}\otimes d\bar{\eta}_{q})-\frac{1}{2\sqrt{\mu^{2}+|\xi_{1}|^{2}}}d\xi_{1}\otimes d\bar{\xi}_{1}\}|_{g_{\text{NUT}}}\leq CA^{-3/4}\ell^{-2},\\ |\nabla^{2}_{g_{a}}\{\Psi^{*}v-\frac{1}{2\sqrt{\mu^{2}+|\xi_{1}|^{2}}}\}|_{g_{\text{NUT}}}\leq CA^{1/4}\ell^{-2}.\end{cases}

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