ScalingStacks

Proof. [049Y]

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 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. ∎

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