Holomorphic strip [049W]
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
Holomorphic strip
We first consider the holomorphic strip case with input and output , and the integrability of the complex structure will be important. The first order deformations of the holomorphic strips are given by holomorphic sections of , which takes boundary value in over , and decays at the corners.
Lemma 3.5.
If are first order deformation vector fields, then either everywhere on , or we must have , and when the equality holds then only vanishes at the ends with excess vanishing order zero.
Proof.
We have a section of given by , which takes boundary value in on . Since are all holomorphic, so must be the function . Assume this function is not identically zero. By holomorphicity, the zeros are isolated. We claim that the order of zeros must be nonnegative everywhere. This is clear for the interior and the boundary points. We analyze the ends of the strip as the origin in the upper half plane model with holomorphic coordinate , putting in the standard form at the corner point. The deformation vector field has the leading asymptote
hence
and the excess vanishing order is nonnegative. By the index formula (23), the index , and when equality is achieved all vanishing orders must be zero. In particular at the corners. ∎
Corollary 3.6.
(Automatic transversality, strip case) Suppose . If are -linearly independent at some point on away from the two corners, then span the space of all first order deformations, the obstruction space vanishes, and the moduli space is smooth at . Morever, the holomorphic strip is an immersion up to the boundary.
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’. ∎