Proof. [04AC]
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.9. We think of the corner as the origin in the upper half plane model, and take instead to be the Möbius vector field on . This has one higher order of vanishing:
This leads to
so the excess vanishing order at is . The index of the ordinary linearized Cauchy-Riemann operator is
whence .
When the equality is achieved, then there is no interior or boundary zero, and at the corner, hence the immersion claim. The argument in Cor. 3.6 shows that span the real vector space of first order deformations in . In particular, the only first order deformation which decays at are spanned by and , namely the Möbius generators. Since the index of the ordinary Cauchy-Riemann operator is two, the cokernel must have dimension zero, namely the obstruction vanishes. ∎