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 5 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Proof.
Working locally with affine coordinates ( y j ) (y_{j}) and
complex coordinates
z j = 1 2 π i log q j = x j + i y j , z_{j}={1\over 2\pi i}\log q_{j}=x_{j}+iy_{j},
we compute ω = 2 i ∂ ∂ ¯ ( K ∘ f ) = i 2 ∑ ∂ 2 K ∂ y j ∂ y k d z j ∧ 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 z 1 ∧ ⋯ ∧ d z n \Omega=dz_{1}\wedge\cdots\wedge dz_{n} , then
ω n \omega^{n} is proportional to Ω ∧ Ω ¯ \Omega\wedge\bar{\Omega} if and only if
det ( ∂ 2 K / ∂ y j ∂ y k ) \det(\partial^{2}K/\partial y_{j}\partial y_{k}) is constant.
∎