Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Proof.
By definition
(3.290)
σ = f ∂ y = ∂ w 1 − ∑ j ≥ 2 μ j ∂ w j , \sigma=f\partial_{y}=\partial_{w_{1}}-\sum_{j\geq 2}\mu_{j}\partial_{w_{j}},
where f = | σ | > 0 f=|\sigma|>0 is local real valued function on H H , and μ 2 , ⋯ , μ n − 1 \mu_{2},\cdots,\mu_{n-1} are local complex valued function on H H . The key property we will use is that along H H , ∇ ∂ w ¯ k σ \nabla_{\partial_{\bar{w}_{k}}}\sigma is tangential to H H for k ≥ 2 k\geq 2 . In fact, the Kähler condition implies ∇ ∂ ¯ w k ∂ w j = 0 \nabla_{\bar{\partial}_{w_{k}}}\partial_{w_{j}}=0 for all j j , and hence
(3.291)
∇ ∂ w ¯ k σ = ∇ ∂ w ¯ k ( ∂ w 1 − ∑ j = 2 n − 1 μ j ∂ w j ) = − ∑ j = 2 n − 1 ∂ w ¯ k ( μ j ) ∂ w j . \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)
∂ w k f = ∂ w k ⟨ ∂ y , σ ⟩ = ⟨ ∇ ∂ w k ∂ y , f ∂ y ⟩ + ⟨ ∂ y , ∇ ∂ w ¯ k σ ⟩ = f ⟨ ∇ ∂ w k ∂ 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)
⟨ ∇ ∂ w k ∂ y , ∂ y ⟩ = f − 1 ∂ w k f = ∂ w k ( log f ) . \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)
⟨ ∇ ∂ w k ∂ 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 ¯ k log f . \langle\nabla_{\partial_{\bar{w}_{k}}}\partial_{y},\partial_{y}\rangle=-\partial_{\bar{w}_{k}}\log f.
Therefore,
Γ \displaystyle\Gamma
= − − 1 2 ( ∑ k ≥ 2 ⟨ ∇ ∂ w k ∂ y , ∂ y ⟩ d w k + ∑ k ≥ 2 ⟨ ∇ ∂ w ¯ k ∂ y , ∂ y ⟩ d w ¯ 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})
= − − 1 2 ( ∑ k ≥ 2 ∂ w k ( log f ) d w k − ∑ 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})
= − − 1 2 ( ∂ H log f − ∂ ¯ H log f ) \displaystyle=-\frac{\sqrt{-1}}{2}(\partial_{H}\log f-\bar{\partial}_{H}\log f)
(3.296)
= 1 2 d H c log f . \displaystyle=\frac{1}{2}d^{c}_{H}\log f.
∎