ScalingStacks

Proposition 4.32 . [046L]

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.32.

Let 1≪ν≪A3/81\ll\nu\ll A^{3/8}. Then there is a real valued function φ1\varphi_{1} on ℬν−\mathcal{B}^{-}_{\nu}, solving the generalised Gibbons-Hawking equation on ℬν−∩{ℓ~>2}\mathcal{B}^{-}_{\nu}\cap\{\tilde{\ell}>2\}

V(2)=V(1)+∂2φ1∂μ​∂μ,W(2)p​q¯=W(1)p​q¯−4​∂2φ1∂ηp​∂η¯q,det(W(2)p​q¯)=V(2).V_{(2)}=V_{(1)}+\frac{\partial^{2}\varphi_{1}}{\partial\mu\partial\mu},\quad W^{p\bar{q}}_{(2)}=W^{p\bar{q}}_{(1)}-4\frac{\partial^{2}\varphi_{1}}{\partial\eta_{p}\partial\bar{\eta}_{q}},\quad\det(W^{p\bar{q}}_{(2)})=V_{(2)}.

Morever φ1\varphi_{1} is Δa\Delta_{a}-harmonic on ℬν−∩{ℓ~<1}\mathcal{B}^{-}_{\nu}\cap\{\tilde{\ell}<1\}, and

‖∇ga2φ1‖Ck,α−1,0(ℬ−ν∩{ℓ~≳1})≤Cν3A−3/4,\left\lVert\nabla^{2}_{g_{a}}\varphi_{1}\right\rVert_{C^{k,\alpha}_{-1,0}(\mathcal{B}^{-}_{\nu}\cap\{\tilde{\ell}\gtrsim 1\})}\leq C\nu^{3}A^{-3/4},

and |∇2gaφ1|ga≤Cν3A−3/2|\nabla^{2}_{g_{a}}\varphi_{1}|_{g_{a}}\leq C\nu^{3}A^{-3/2} on ℬν−\mathcal{B}^{-}_{\nu}. In particular the matrix (W(2)p​q¯)(W^{p\bar{q}}_{(2)}) is positive definite and V(2)V_{(2)} is positive on ℬν−\mathcal{B}^{-}_{\nu}.

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