ScalingStacks

Proof. [0348]

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.

Set MK=supXVK,ωM_{K}=\sup_{X}V_{K,\omega}. If MK=+∞M_{K}=+\infty then KK is P​S​H​(X,ω)PSH(X,\omega)-polar (theorem 3.2) and there is nothing to prove: Tω​(K)=C​a​pω​(K)=0T_{\omega}(K)=Cap_{\omega}(K)=0. So we assume in the sequel MK<+∞M_{K}<+\infty hence VK,ω∗∈P​S​H​(X,ω)V_{K,\omega}^{*}\in PSH(X,\omega). If MK≥1M_{K}\geq 1 then uK:=MK−1​VK,ω∗∈P​S​H​(X,ω)u_{K}:=M_{K}^{-1}V_{K,\omega}^{*}\in PSH(X,\omega) with 0≤uK≤10\leq u_{K}\leq 1 on XX. Since ωVK,ω∗≤MK​ωuK\omega_{V_{K,\omega}^{*}}\leq M_{K}\omega_{u_{K}}, we get

1MKn=1MKn​∫K(ωVK,ω∗)n≤∫K(ωuK)n≤C​a​pω​(K)\frac{1}{M_{K}^{n}}=\frac{1}{M_{K}^{n}}\int_{K}(\omega_{V_{K,\omega}^{*}})^{n}\leq\int_{K}(\omega_{u_{K}})^{n}\leq Cap_{\omega}(K)

whence Tω(K)≤exp(−Capω(K)−1/n)T_{\omega}(K)\leq\exp(-Cap_{\omega}(K)^{-1/n}).

If 0≤MK≤10\leq M_{K}\leq 1 then 0≤VK,ω∗≤10\leq V_{K,\omega}^{*}\leq 1 hence

1=∫K(ωVK,ω∗)n≤C​a​pω​(K)≤C​a​pω​(X)=1.1=\int_{K}(\omega_{V_{K,\omega}^{*}})^{n}\leq Cap_{\omega}(K)\leq Cap_{\omega}(X)=1.

∎

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