Proof. [046C]
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.
The -action can be identified as in Proposition 2.11. The holomorphic volume form is characterised by , which is compared to
to yield .
This holomorphic volume form formula in particular shows the map is a local biholomorphism wherever the complex structure is defined. We finally need to show this map is injective. Since both and fibre over in a compatible way, it suffices to compare the -fibres. The map between the fibres is equivariant with respect to the -action, so to conclude injectivity we only need to recall from the proof of Lemma 4.28 that is a monotone function of . ∎