ScalingStacks

Proof. [024R]

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.

Suppose for some ii we have γi>0\gamma_{i}>0 but βi=0\beta_{i}=0. Let {wi=0}=Dℓi\{w_{i}=0\}=D_{\ell_{i}}. Then βi=0\beta_{i}=0 means that π∗​exp⁡(φ2)≢0\pi^{*}\exp(\varphi_{2})\not\equiv 0 on DℓiD_{\ell_{i}}, while γi>0\gamma_{i}>0 means that π∗​exp⁡(F)≡0\pi^{*}\exp(F)\equiv 0 on DℓiD_{\ell_{i}}. We have that π⁡(Dℓi)⊂V∩U\pi(D_{\ell_{i}})\subset V\cap U, since FF is smooth outside VV. However, we can also expand

π∗​exp⁡(φ1)=U1​(w)​∏j=1n|wj|2​αj,\pi^{*}\exp(\varphi_{1})=U_{1}(w)\prod_{j=1}^{n}|w_{j}|^{2\alpha_{j}},

and the fact that φ1≢−∞\varphi_{1}\not\equiv-\infty on V∩UV\cap U again implies that αi=0\alpha_{i}=0. Since φ1|V=φ2|V\varphi_{1}|_{V}=\varphi_{2}|_{V}, and π⁡(Dℓi)⊂V\pi(D_{\ell_{i}})\subset V, we see again that

π∗​exp⁡(φ1)=π∗​exp⁡(φ2) on ​Dℓi.\pi^{*}\exp(\varphi_{1})=\pi^{*}\exp(\varphi_{2})\quad\text{ on }D_{\ell_{i}}.

Recall that 𝒮={φ2>φ1−η}∩U\mathcal{S}=\{\varphi_{2}>\varphi_{1}-\eta\}\cap U. This shows that π⁡(Dℓi)\pi(D_{\ell_{i}}) is contained in the interior of 𝒮\mathcal{S}, which is impossible because we assumed q∈π−1​(𝒮c)¯q\in\overline{\pi^{-1}(\mathcal{S}^{c})}. ∎

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