ScalingStacks

Proposition 3.23 . [043H]

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

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 ℬν+∩{ℓ>2A1/2}\mathcal{B}^{+}_{\nu}\cap\{\ell>2A^{1/2}\}

V~(2)i​j=V~(1)i​j+∂2φ1∂μi​∂μj,W~(2)=W~(1)−4​∂2φ1∂η​∂η¯,det(V~(2)i​j)=W~(2).\tilde{V}^{ij}_{(2)}=\tilde{V}^{ij}_{(1)}+\frac{\partial^{2}\varphi_{1}}{\partial\mu_{i}\partial\mu_{j}},\quad\tilde{W}_{(2)}=\tilde{W}_{(1)}-4\frac{\partial^{2}\varphi_{1}}{\partial\eta\partial\bar{\eta}},\quad\det(\tilde{V}^{ij}_{(2)})=\tilde{W}_{(2)}.

Morever φ1\varphi_{1} is Δa\Delta_{a}-harmonic on ℬν+∩{ℓ<A1/2}\mathcal{B}^{+}_{\nu}\cap\{\ell<A^{1/2}\}, and

‖∇ga2φ1‖Ck,α−1,0(ℬ+ν∩{ℓ≳A1/2})≤Cν3A−3/4,\left\lVert\nabla^{2}_{g_{a}}\varphi_{1}\right\rVert_{C^{k,\alpha}_{-1,0}(\mathcal{B}^{+}_{\nu}\cap\{\ell\gtrsim A^{1/2}\})}\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 (V~(2)i​j)(\tilde{V}^{ij}_{(2)}) is positive definite and W~(2)\tilde{W}_{(2)} is positive on ℬν+\mathcal{B}^{+}_{\nu}.

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