ScalingStacks

Proof. [034A]

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.

More precisely we are going to show the following: consider Ω\Omega an open subset of XX, v∈P​S​H−​(Ω)v\in PSH^{-}(\Omega) and P⊂{v=−∞}P\subset\{v=-\infty\}. Fix 0<ε<1/n0<\varepsilon<1/n and Vt:=VGt,ωV_{t}:=V_{G_{t},\omega} where Gt={x∈Ω/v(x)<−t}G_{t}=\{x\in\Omega\,/\,v(x)<-t\}. Then

φε​(x):=1ε​∫1+∞1t1+ε​[Vt​(x)−supXVt]​𝑑t\varphi_{\varepsilon}(x):=\frac{1}{\varepsilon}\int_{1}^{+\infty}\frac{1}{t^{1+\varepsilon}}[V_{t}(x)-\sup_{X}V_{t}]dt

is a ω\omega-psh function such that P⊂{φε=−∞}P\subset\{\varphi_{\varepsilon}=-\infty\}.

Indeed since GtG_{t} is open, we have Vt∈P​S​H​(X,ω)V_{t}\in PSH(X,\omega) and Vt=0V_{t}=0 on GtG_{t} (see proposition 3.6). Observe that φε\varphi_{\varepsilon} is a sum of negative ω\omega-psh functions hence it is either identically −∞-\infty or a well defined A​ωA\omega-psh function with A=ε−1​∫1+∞t−(1+ε)​𝑑t=1A=\varepsilon^{-1}\int_{1}^{+\infty}t^{-(1+\varepsilon)}dt=1. Recall that −C+supXVt≤∫XVt​ωn≤supXVt-C+\sup_{X}V_{t}\leq\int_{X}V_{t}\omega^{n}\leq\sup_{X}V_{t} (proposition 1.7). Therefore ∫Xφε​ωn≥−C\int_{X}\varphi_{\varepsilon}\omega^{n}\geq-C hence φε∈P​S​H​(X,ω)\varphi_{\varepsilon}\in PSH(X,\omega).

Fix x∈Ωx\in\Omega such that v⁡(x)<−1v(x)<-1. Observe that Vt−supXVt≤0V_{t}-\sup_{X}V_{t}\leq 0 with Vt​(x)=0V_{t}(x)=0 if x∈Gtx\in G_{t}, i.e. when |v⁡(x)|>t|v(x)|>t. Therefore

φε(x)≤−1ε∫1|v⁡(x)|supXVtt1+εdt.\varphi_{\varepsilon}(x)\leq-\frac{1}{\varepsilon}\int_{1}^{|v(x)|}\frac{\sup_{X}V_{t}}{t^{1+\varepsilon}}dt.

Recall now that C​a​pωCap_{\omega} is always dominated by C​a​pB​TCap_{BT} hence C​a​pω​(Gt)≤C1/t<1Cap_{\omega}(G_{t})\leq C_{1}/t<1 if tt is large enough. We infer from the previous proposition that

−supXVt≤−[Capω(Gt)]−1/n≤−C2t1/n,-\sup_{X}V_{t}\leq-[Cap_{\omega}(G_{t})]^{-1/n}\leq-C_{2}t^{1/n},

which yields

φε​(x)≤−C2ε​∫1|v⁡(x)|d​tt1+ε−1/n≤−C3​|v⁡(x)|1/n−ε+C4.\varphi_{\varepsilon}(x)\leq\frac{-C_{2}}{\varepsilon}\int_{1}^{|v(x)|}\frac{dt}{t^{1+\varepsilon-1/n}}\leq-C_{3}|v(x)|^{1/n-\varepsilon}+C_{4}.

Note that φε​(x)=−∞\varphi_{\varepsilon}(x)=-\infty whenever v⁡(x)=−∞v(x)=-\infty hence P⊂{φε=−∞}P\subset\{\varphi_{\varepsilon}=-\infty\}. ∎

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