ScalingStacks

Lemma 3.11 . [04AB]

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

Lemma 3.11.

(Regularity of teardrops) Let u:Σ→Xu:\Sigma\to X be a teardrop curve with a unique output qq and no input ends. Assume v1,…​vn−1v_{1},\ldots v_{n-1} are in the kernel of the linearized Cauchy-Riemann operator on W1,2;μ=πW^{1,2;\mu=\pi}, such that Ω⁡(⋅,v1,…​vn−1)\Omega(\cdot,v_{1},\ldots v_{n-1}) does not vanish identically as a 1-form on Σ\Sigma. Then deg⁡q≥2\deg q\geq 2. When the equality is achieved, the teardrop curve is an immersion up to the boundary with minimal vanishing at the corner, and the kernel of the ordinary Cauchy-Riemann operator is spanned as a real vector space by the Möbius vector fields on Σ\Sigma fixing the qq corner, and the cokernel vanishes.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.