Proof. [04A0]
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.
Since are -linearly independent at a point on , they span at the point, so . By the Lemma above are pointwise complex linearly independent as sections of the holomorphic vector bundle over , so any holomorphic first order deformation can be written as
The functions are holomorphic on up to boundary, and even up to corners due to . Now subtracting a constant linear combination of , we can ensure vanishes at any chosen point on . Then has a zero, so must be identically zero by the above Lemma, whence identically. Similar all , so . This proves that span all first order deformations. Since the index is , and the first order deformation space is -dimensional, we must have vanishing obstruction space.
There is a special deformation vector field from translation. The nonvanishing result then implies that the holomorphic strip is an immersion up to boundary. At the corners, the holomorphic strip is to leading order
By , this translation vector field cannot be at the corner, so for at least one choice of , we have . We say the failure of immersion at the corner is ‘minimal’. ∎