Proof. [04A9]
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.
We modify the proof of Lemma 3.5 and Cor. 3.6. We think of the corner as the origin in the upper half plane model. Without loss of generality is the -translation vector field of the holomorphic strip. Then the leading order asymptotic is
and
hence
The excess vanishing order is , where negative order stands for poles. By the index formula (23) for the ordinary linearized Cauchy-Riemann equation, we have
and equality forces to have no interior zero, no boundary zero, minimal zero at , and at . The argument in Cor. 3.6 shows span the real vector space of first order deformations in . In particular, the only first order deformation which decays at is the -translation vector field. Thus the cokernel to the ordinary linearized Cauchy-Riemann operator vanishes, and the moduli space is regular. ∎