ScalingStacks

Corollary 3.27 . [043R]

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

Corollary 3.27.

There is a real-valued relative Gibbons-Hawking potential φ2\varphi_{2} on the disc {|μ→|a≤13A1/2}\{|\vec{\mu}|_{a}\leq\frac{1}{3}A^{1/2}\}, such that its second derivatives are given by

{∂2φ2∂μi​∂μj=V(1)i​j−V~(1)i​j−∂2φ1∂μi​∂μj,i,j=1,2,∂2φ2∂η​∂η¯=−14​(W(1)−W~(1))−∂2φ1∂η​∂η¯,∂2φ2∂η​∂μi=12(βi−β~i)−∂2φ1∂η​∂μi,i=1,2.\begin{cases}\frac{\partial^{2}\varphi_{2}}{\partial\mu_{i}\partial\mu_{j}}=V_{(1)}^{ij}-\tilde{V}_{(1)}^{ij}-\frac{\partial^{2}\varphi_{1}}{\partial\mu_{i}\partial\mu_{j}},\quad i,j=1,2,\\ \frac{\partial^{2}\varphi_{2}}{\partial\eta\partial\bar{\eta}}=-\frac{1}{4}(W_{(1)}-\tilde{W}_{(1)})-\frac{\partial^{2}\varphi_{1}}{\partial\eta\partial\bar{\eta}},\\ \frac{\partial^{2}\varphi_{2}}{\partial\eta\partial\mu_{i}}=\frac{1}{2}(\beta_{i}-\tilde{\beta}_{i})-\frac{\partial^{2}\varphi_{1}}{\partial\eta\partial\mu_{i}},\quad i=1,2.\end{cases}

We can demand the estimates in {|μ→|a≤13A1/2}\{|\vec{\mu}|_{a}\leq\frac{1}{3}A^{1/2}\}:

|∇gakφ2|ga≤C​ν​A1/4−k/2,k≥0.|\nabla^{k}_{g_{a}}\varphi_{2}|_{g_{a}}\leq C\nu A^{1/4-k/2},\quad k\geq 0.

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