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.
To identify the -action we examine the Hamiltonian vector field action. Recall that is dual to the connection . We compute
|
|
|
in particular
|
|
|
from which the first circle action is clear. Likewise with the second circle action.
The holomorphic (3,0)-form is uniquely determined by the condition that . But
|
|
|
where in the last step we used the functional equation . This shows . In particular the map is locally invertible.
To show the map is a homeomorphism, we notice that it is compatible with the fibration structure and , so it suffices to show the fibres are identified, which follows from looking at the complexification of the -action into a -action.
Combining the above proves the biholomorphism claim.
∎