ScalingStacks

Proposition 3.8 . [04A4]

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

Proposition 3.8.

(Automatic transversality, polygon case) Suppose v1,…​vn−1v_{1},\ldots v_{n-1} are linearly independent first order deformation vector fields. Either Ω⁡(⋅,v1,…​vn−1)\Omega(\cdot,v_{1},\ldots v_{n-1}) vanishes identically as a 1-form on Σ\Sigma, or we must have deg⁡q≥n\deg q\geq n, and when the equality holds then Ω⁡(⋅,v1,…​vn−1)\Omega(\cdot,v_{1},\ldots v_{n-1}) only vanishes at corners. In this case, all first order defomation vector fields are spanned by v1,…​vn−1v_{1},\ldots v_{n-1}, the holomorphic polygon u:Σ→Xu:\Sigma\to X is an immersion up to the boundary, the obstruction of the extended linearized operator vanishes, and the moduli space is smooth at u:Σ→Xu:\Sigma\to X.

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