ScalingStacks

Example 2.4 . [024T]

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

Example 2.4.

Consider ℂ2\mathbb{C}^{2} with coordinates (x,y)(x,y). We take V={y=0}⊂ℂ2V=\{y=0\}\subset\mathbb{C}^{2}, and consider the plurisubharmonic function φ=log⁡(|x|2)\varphi=\log(|x|^{2}) on VV, and F=log⁡(|y|2)F=\log(|y|^{2}) on ℂ2\mathbb{C}^{2}. Take local extensions

φ1=log⁡(|x−y|2),φ2=log⁡(|x+y|2),\varphi_{1}=\log(|x-y|^{2}),\qquad\varphi_{2}=\log(|x+y|^{2}),

of φ\varphi. We resolve the singularities of G={(x−y)(x+y)y=0}G=\{(x-y)(x+y)y=0\} by the blowup of the origin π⁡(r,s)=(r,r​s)\pi(r,s)=(r,rs). In this case {r=0}=π−1(0,0)\{r=0\}=\pi^{-1}(0,0), and π−1​(G)=V~+∑ℓ=13Dℓ\pi^{-1}(G)=\tilde{V}+\sum_{\ell=1}^{3}D_{\ell} with

V~={s=0},D1={r=0},D2={s=1},D3={s=−1}.\tilde{V}=\{s=0\},D_{1}=\{r=0\},D_{2}=\{s=1\},D_{3}=\{s=-1\}.

Then

π∗​(|y|2)=|r|2​|s|2,π∗​(|x−y|2)=|r|2​|1−s|2,π∗​(|x+y|2)=|r|2​|1+s|2.\pi^{*}(|y|^{2})=|r|^{2}|s|^{2},\qquad\pi^{*}(|x-y|^{2})=|r|^{2}|1-s|^{2},\qquad\pi^{*}(|x+y|^{2})=|r|^{2}|1+s|^{2}.

In this case, we have

π−1(𝒮)={|r|2|1−s|2<eη|r|2|1+s|2}={|1−s|2<eη|1+s|2}.\pi^{-1}(\mathcal{S})=\{|r|^{2}|1-s|^{2}<e^{\eta}|r|^{2}|1+s|^{2}\}=\{|1-s|^{2}<e^{\eta}|1+s|^{2}\}.

Clearly π−1​(𝒮)\pi^{-1}(\mathcal{S}) contains an open neighborhood of V~∪{s=1}\tilde{V}\cup\{s=1\}. Thus, it suffices to show that the set

π−1(Eν)={|r|2|1+s|2⩽|r|2​ν|s|2​ν}\pi^{-1}(E_{\nu})=\left\{|r|^{2}|1+s|^{2}\leqslant|r|^{2\nu}|s|^{2\nu}\right\}

contains an open neighborhood of ({r=0}∪{s=−1})∩{|s|>ε}(\{r=0\}\cup\{s=-1\})\cap\{|s|>\varepsilon\}. This is clear, for any 0<ν<10<\nu<1.

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