ScalingStacks

Proof. [0282]

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.

The argument is very similar to the one of Sadullaev ([Sa],[BL, Theorem 3.2]). By [Si], there exists an open neighborhood WW of VV in ℂN{\mathbb{C}}^{N} and a holomorphic retraction r:W→Vr:W\to V. We can find an open neighborhood UU of VV so that U⊂WU\subset W and ‖r⁡(z)−z‖<2\|r(z)-z\|<2 for every z∈Uz\in U. Indeed, if B⁡(p,r)B(p,r) denotes the open ball in ℂN{\mathbb{C}}^{N} centered at pp and of radius rr, then Up=r−1​(B⁡(p,1))∩B⁡(p,1)U_{p}=r^{-1}(B(p,1))\cap B(p,1) is an open neighborhood of p∈Vp\in V, and we let U=⋃p∈VUpU=\bigcup_{p\in V}U_{p}. Since uu is a continuous psh exhaustion function on VV, it follows that the function u⁡(r⁡(z))u(r(z)) is continuous psh on UU and limz∈U,‖z‖→+∞u⁡(r⁡(z))=+∞\lim_{z\in U,\|z\|\to+\infty}u(r(z))=+\infty.

It is well known that there exist entire functions f0,…,fNf_{0},\dots,f_{N}, so that V={z∈ℂN:fk(z)=0, 0≤k≤N}V=\{z\in{\mathbb{C}}^{N}:\,f_{k}(z)=0,\;0\leq k\leq N\} (see [Ch, p.63]). The function ρ=log⁡(∑|fk|2)\rho=\log(\sum|f_{k}|^{2}) is psh on ℂN{\mathbb{C}}^{N} and V={ρ=−∞}V=\{\rho=-\infty\}.

Let DD be an open set so that V⊂D⊂D¯⊂UV\subset D\subset\overline{D}\subset U. Since ρ\rho is continuous on ℂN∖V{\mathbb{C}}^{N}\setminus V, we can find a convex increasing function χ\chi on [0,+∞)[0,+\infty) which verifies for every R≥0R\geq 0 the following two properties:

(i)(i) χ⁡(R)>R−ρ⁡(z)\chi(R)>R-\rho(z) for all z∈ℂN∖Dz\in{\mathbb{C}}^{N}\setminus D with ‖z‖=R\|z\|=R.

(i​i)(ii) χ⁡(R)>u⁡(r⁡(z))−ρ⁡(z)\chi(R)>u(r(z))-\rho(z) for all z∈∂Dz\in\partial D with ‖z‖=R\|z\|=R.
Then

u~​(z)={max⁡{u⁡(r⁡(z)),χ⁡(‖z‖)+ρ⁡(z)},if​z∈D,χ⁡(‖z‖)+ρ⁡(z),if​z∈ℂN∖D,\widetilde{u}(z)=\left\{\begin{array}[]{ll}\max\{u(r(z)),\chi(\|z\|)+\rho(z)\},\;{\rm if}\;z\in D,\\ \chi(\|z\|)+\rho(z),\;{\rm if}\;z\in{\mathbb{C}}^{N}\setminus D,\end{array}\right.

is a continuous psh exhaustion function on ℂN{\mathbb{C}}^{N} and u~=u\widetilde{u}=u on VV. ∎

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