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 follows the same argument as Proposition 2.11. The holomorphic volume form is characterised by
Notice also
|
|
|
so . This formula in particular implies the map is a local biholomorphism. We finally need to show this map is injective. Since both and fibre over the coordinate in a compatible way, it suffices to compare the fibres, which have compatible -actions, so boils down to the injectivity of for fixed . ∎