ScalingStacks

Proof. [02Z3]

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.

Working locally with affine coordinates (yj)(y_{j}) and complex coordinates

zj=12​π​i​log⁡qj=xj+i​yj,z_{j}={1\over 2\pi i}\log q_{j}=x_{j}+iy_{j},

we compute ω=2​i​∂∂¯​(K∘f)=i2​∑∂2K∂yj​∂yk​d​zj∧d​z¯k\omega=2i\partial\bar{\partial}(K\circ f)={i\over 2}\sum{\partial^{2}K\over\partial y_{j}\partial y_{k}}dz_{j}\wedge d\bar{z}_{k} which is clearly positive. Furthermore, if Ω=d​z1∧⋯∧d​zn\Omega=dz_{1}\wedge\cdots\wedge dz_{n}, then ωn\omega^{n} is proportional to Ω∧Ω¯\Omega\wedge\bar{\Omega} if and only if det(∂2K/∂yj​∂yk)\det(\partial^{2}K/\partial y_{j}\partial y_{k}) is constant. ∎

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