ScalingStacks

Holomorphic strip [049W]

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

Holomorphic strip

We first consider the holomorphic strip case with input pp and output qq, and the integrability of the complex structure will be important. The first order deformations of the holomorphic strips Σ\Sigma are given by holomorphic sections of T​X|ΣTX|_{\Sigma}, which takes boundary value in T​LTL over ∂Σ\partial\Sigma, and decays at the corners.

Lemma 3.5.

If v1,…​vnv_{1},\ldots v_{n} are first order deformation vector fields, then either Ω⁡(v1,…​vn)=0\Omega(v_{1},\ldots v_{n})=0 everywhere on Σ\Sigma, or we must have deg⁡q−deg⁡p≥n\deg q-\deg p\geq n, and when the equality holds then Ω⁡(v1,…​vn)\Omega(v_{1},\ldots v_{n}) only vanishes at the ends with excess vanishing order zero.

Proof.

We have a section of Λn​T​X|Σ\Lambda^{n}TX|_{\Sigma} given by v1∧…​vnv_{1}\wedge\ldots v_{n}, which takes boundary value in Λn​T​L\Lambda^{n}TL on ∂Σ\partial\Sigma. Since v1,…​vnv_{1},\ldots v_{n} are all holomorphic, so must be the function Ω⁡(v1,…​vn)\Omega(v_{1},\ldots v_{n}). Assume this function is not identically zero. By holomorphicity, the zeros are isolated. We claim that the order of zeros must be nonnegative everywhere. This is clear for the interior and the boundary points. We analyze the ends of the strip as the origin in the upper half plane model with holomorphic coordinate zz, putting T​L±TL_{\pm} in the standard form at the corner point. The deformation vector field has the leading asymptote

vk=(ak​1zϕ1/π,…,ak​nzϕn/π)+O(z),k=1,2,…n,v_{k}=(a_{k1}z^{\phi_{1}/\pi},\ldots,a_{kn}z^{\phi_{n}/\pi})+O(z),\quad k=1,2,\ldots n,

hence

Ω⁡(v1,…​vn)=z(∑ϕk)/π​(det(ak​j)+o⁡(1)),\Omega(v_{1},\ldots v_{n})=z^{(\sum\phi_{k})/\pi}(\det(a_{kj})+o(1)),

and the excess vanishing order is nonnegative. By the index formula (23), the index deg⁡q−deg⁡p≥n\deg q-\deg p\geq n, and when equality is achieved all vanishing orders must be zero. In particular det(ak​j)≠0\det(a_{kj})\neq 0 at the corners. ∎

Corollary 3.6.

(Automatic transversality, strip case) Suppose deg⁡q−deg⁡p=n\deg q-\deg p=n. If v1,…​vnv_{1},\ldots v_{n} are ℝ\mathbb{R}-linearly independent at some point on ∂Σ\partial\Sigma away from the two corners, then v1,…​vnv_{1},\ldots v_{n} span the space of all first order deformations, the obstruction space vanishes, and the moduli space is smooth at u:Σ→Xu:\Sigma\to X. Morever, the holomorphic strip is an immersion up to the boundary.

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.