ScalingStacks

Proof. [02Z5]

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.

It is easy to see that an affine linear change in the coordinates yjy_{j} (and hence an appropriate change in the coordinates xˇj\check{x}_{j}) results in a linear change of the coordinates zjz_{j}, so they induce a well-defined complex structure invariant under xˇj↦xˇj+1\check{x}_{j}\mapsto\check{x}_{j}+1, and hence a complex structure on Xˇ​(B)\check{X}(B). Then one computes that

ω=∑d​xˇj∧d​yj=i2​∑gj​k​d​zj∧d​z¯k\omega=\sum d\check{x}_{j}\wedge dy_{j}={i\over 2}\sum g^{jk}dz_{j}\wedge d\bar{z}_{k}

where gi​j=∂2K/∂yj​∂ykg_{ij}=\partial^{2}K/\partial y_{j}\partial y_{k}. Then the metric is Ricci-flat if and only if det(gj​k)=c​o​n​s​t​a​n​t\det(g^{jk})=constant, if and only if det(gj​k)=c​o​n​s​t​a​n​t\det(g_{jk})=constant. ∎

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