ScalingStacks

Proof. [050V]

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.

By definition

(3.290) σ=f∂y=∂w1−∑j≥2μj∂wj,\sigma=f\partial_{y}=\partial_{w_{1}}-\sum_{j\geq 2}\mu_{j}\partial_{w_{j}},

where f=|σ|>0f=|\sigma|>0 is local real valued function on HH, and μ2,⋯,μn−1\mu_{2},\cdots,\mu_{n-1} are local complex valued function on HH. The key property we will use is that along HH, ∇∂w¯kσ\nabla_{\partial_{\bar{w}_{k}}}\sigma is tangential to HH for k≥2k\geq 2. In fact, the Kähler condition implies ∇∂¯wk∂wj=0\nabla_{\bar{\partial}_{w_{k}}}\partial_{w_{j}}=0 for all jj, and hence

(3.291) ∇∂w¯kσ=∇∂w¯k(∂w1−∑j=2n−1μj∂wj)=−∑j=2n−1∂w¯k(μj)∂wj.\nabla_{\partial_{\bar{w}_{k}}}\sigma=\nabla_{\partial_{\bar{w}_{k}}}\Big(\partial_{w_{1}}-\sum_{j=2}^{n-1}\mu_{j}\partial_{w_{j}}\Big)=-\sum_{j=2}^{n-1}\partial_{\bar{w}_{k}}(\mu_{j})\partial_{w_{j}}.

Therefore,

(3.292) ∂wkf=∂wk⟨∂y,σ⟩=⟨∇∂wk∂y,f∂y⟩+⟨∂y,∇∂w¯kσ⟩=f⟨∇∂wk∂y,∂y⟩,\partial_{w_{k}}f=\partial_{w_{k}}\langle\partial_{y},\sigma\rangle=\langle\nabla_{\partial_{w_{k}}}\partial_{y},f\partial_{y}\rangle+\langle\partial_{y},\nabla_{\partial_{\bar{w}_{k}}}\sigma\rangle=f\langle\nabla_{\partial_{w_{k}}}\partial_{y},\partial_{y}\rangle,

and hence

(3.293) ⟨∇∂wk∂y,∂y⟩=f−1∂wkf=∂wk(logf).\langle\nabla_{\partial_{w_{k}}}\partial_{y},\partial_{y}\rangle=f^{-1}\partial_{w_{k}}f=\partial_{w_{k}}(\log f).

Differentiating |∂y|2=1|\partial_{y}|^{2}=1, we get

(3.294) ⟨∇∂wk∂y,∂y⟩+⟨∂y,∇∂w¯k∂y⟩=0,\langle\nabla_{\partial_{w_{k}}}\partial_{y},\partial_{y}\rangle+\langle\partial_{y},\nabla_{\partial_{\bar{w}_{k}}}\partial_{y}\rangle=0,

which implies

(3.295) ⟨∇∂w¯k∂y,∂y⟩=−∂w¯klogf.\langle\nabla_{\partial_{\bar{w}_{k}}}\partial_{y},\partial_{y}\rangle=-\partial_{\bar{w}_{k}}\log f.

Therefore,

Γ\displaystyle\Gamma =−−12(∑k≥2⟨∇∂wk∂y,∂y⟩dwk+∑k≥2⟨∇∂w¯k∂y,∂y⟩dw¯k)\displaystyle=-\frac{\sqrt{-1}}{2}(\sum_{k\geq 2}\langle\nabla_{\partial_{w_{k}}}\partial_{y},\partial_{y}\rangle dw_{k}+\sum_{k\geq 2}\langle\nabla_{\partial_{\bar{w}_{k}}}\partial_{y},\partial_{y}\rangle d\bar{w}_{k})
=−−12​(∑k≥2∂wk(log⁡f)​d​wk−∑k≥2∂w¯k(log⁡f)​d​w¯k)\displaystyle=-\frac{\sqrt{-1}}{2}(\sum_{k\geq 2}\partial_{w_{k}}(\log f)dw_{k}-\sum_{k\geq 2}\partial_{\bar{w}_{k}}(\log f)d\bar{w}_{k})
=−−12​(∂Hlog⁡f−∂¯H​log⁡f)\displaystyle=-\frac{\sqrt{-1}}{2}(\partial_{H}\log f-\bar{\partial}_{H}\log f)
(3.296) =12​dHc​log⁡f.\displaystyle=\frac{1}{2}d^{c}_{H}\log f.

∎

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