ScalingStacks

Proof. [044U]

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.

Let’s focus on p=q=1p=q=1. By Proposition 4.4,

14​π​∂2w1​1¯∂μ​∂μ+1π​A​ai​j¯​∂2w1​1¯∂ηi​∂η¯j=−δ⁡(fS)​|z1|2.\frac{1}{4\pi}\frac{\partial^{2}w^{1\bar{1}}}{\partial\mu\partial\mu}+\frac{1}{\pi}Aa^{i\bar{j}}\frac{\partial^{2}w^{1\bar{1}}}{\partial\eta_{i}\partial\bar{\eta}_{j}}=-\delta(f_{S})|z_{1}|^{2}.

But by Lemma 4.6 we have ∂2wi​j¯∂η1​∂η¯1=∂2w1​1¯∂ηi​∂η¯j,\frac{\partial^{2}w^{i\bar{j}}}{\partial\eta_{1}\partial\bar{\eta}_{1}}=\frac{\partial^{2}w^{1\bar{1}}}{\partial\eta_{i}\partial\bar{\eta}_{j}}, so A​ai​j¯​∂2w1​1¯∂ηi​∂η¯j=∂2v∂η1​∂η¯1,Aa^{i\bar{j}}\frac{\partial^{2}w^{1\bar{1}}}{\partial\eta_{i}\partial\bar{\eta}_{j}}=\frac{\partial^{2}v}{\partial\eta_{1}\partial\bar{\eta}_{1}}, hence the claim. ∎

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