ScalingStacks

Proof. [04A0]

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.

Since v1,…​vnv_{1},\ldots v_{n} are ℝ\mathbb{R}-linearly independent at a point on ∂Σ\partial\Sigma, they span T​LTL at the point, so Ω⁡(v1,…​vn)≠0\Omega(v_{1},\ldots v_{n})\neq 0. By the Lemma above v1,…​vnv_{1},\ldots v_{n} are pointwise complex linearly independent as sections of the holomorphic vector bundle T​XTX over Σ\Sigma, so any holomorphic first order deformation can be written as

v=f1​v1+…​fn​vn.v=f_{1}v_{1}+\ldots f_{n}v_{n}.

The functions f1,…​fnf_{1},\ldots f_{n} are holomorphic on Σ\Sigma up to boundary, and even up to corners due to det(ak​j)≠0\det(a_{kj})\neq 0. Now subtracting a constant linear combination of v1,…​vnv_{1},\ldots v_{n}, we can ensure vv vanishes at any chosen point on ∂Σ\partial\Sigma. Then Ω⁡(v,v2,…​vn)\Omega(v,v_{2},\ldots v_{n}) has a zero, so must be identically zero by the above Lemma, whence f1=0f_{1}=0 identically. Similar all fk=0f_{k}=0, so v=0v=0. This proves that v1,…​vnv_{1},\ldots v_{n} span all first order deformations. Since the index is nn, and the first order deformation space is nn-dimensional, we must have vanishing obstruction space.

There is a special deformation vector field from ℝ\mathbb{R} 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

(a1​zϕ1/π+O⁡(z),…​an​zϕn/π+O⁡(z)),ak≠0,∀k,|z|≪1.(a_{1}z^{\phi_{1}/\pi}+O(z),\ldots a_{n}z^{\phi_{n}/\pi}+O(z)),\quad a_{k}\neq 0,\forall k,\quad|z|\ll 1.

By det(ak​j)≠0\det(a_{kj})\neq 0, this translation vector field cannot be O⁡(z)O(z) at the corner, so for at least one choice of kk, we have ak≠0a_{k}\neq 0. We say the failure of immersion at the corner is ‘minimal’. ∎

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