ScalingStacks

Proof. [050Y]

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, σ\sigma is the orthogonal projection of ∂w1\partial_{w_{1}} onto (T​H)⟂(TH)^{\perp}, so we have along HH,

(3.299) a1−1∂y=∂w1+∑j=2n−1bj∂wj,a_{1}^{-1}\partial_{y}=\partial_{w_{1}}+\sum_{j=2}^{n-1}b_{j}\partial_{w_{j}},

where a1=|σ|−1>0a_{1}=|\sigma|^{-1}>0 and bjb_{j} are smooth functions on HH. Now write

(3.300) ∂y=∑j=1n−1∂wj∂y∂wj+∑j=1n−1∂w¯j∂y∂w¯j.\partial_{y}=\sum_{j=1}^{n-1}\frac{\partial w_{j}}{\partial y}\partial_{w_{j}}+\sum_{j=1}^{n-1}\frac{\partial\bar{w}_{j}}{\partial{y}}\partial_{\bar{w}_{j}}.

then we get that along HH,

(3.301) ∂w¯j∂y=0,j≥1,\displaystyle\frac{\partial\bar{w}_{j}}{\partial y}=0,\ j\geq 1,

which in particular implies

(3.302) ∂wj∂y¯=∂w¯j∂y¯=0,j≥1.\frac{\partial w_{j}}{\partial\bar{y}}=\overline{\frac{\partial\bar{w}_{j}}{\partial y}}=0,\ j\geq 1.

Now by the definition of the normal exponential map, we have at pp,

(3.303) ∇∂y∂y=∇∂y¯∂y=∇∂y¯∂y¯=0.\nabla_{\partial_{y}}\partial_{y}=\nabla_{\partial_{\bar{y}}}\partial_{y}=\nabla_{\partial_{\bar{y}}}\partial_{\bar{y}}=0.

Using the Kähler condition we have

(3.304) ∇∂wj∂w¯k=∇∂w¯j∂wk=0,j,k≥1.\nabla_{\partial_{w_{j}}}{\partial_{\bar{w}_{k}}}=\nabla_{\partial_{\bar{w}_{j}}}\partial_{w_{k}}=0,\ \ j,k\geq 1.

Then by (3.300) we get

(3.305) ∂2wj∂y​∂y¯=∂2wj∂y¯2=0,j≥1.\frac{\partial^{2}w_{j}}{\partial y\partial\bar{y}}=\frac{\partial^{2}w_{j}}{\partial\bar{y}^{2}}=0,\ \ \ j\geq 1.

Therefore, the conclusion follows.

∎

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