Proof. [03WY]
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. Existence of follows from the fact that all modifications associated with lines are symplectomorphisms. In order to finish the proof it suffices to check that the modification associated with a line does not change the -affine structure on . In local coordinates we may assume that and the modification is of the form , where is convergent in an appropriate domain. We need to check that the automorphism acts trivially on the quotient sheaf (see Section 7.2 for the notation). This check reduces to the calculation of
The latter is equal to because belongs to and therefore has no constant term.