ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00PT

Proof. (Sketch) We may assume KK is not pluripolar, for otherwise ∫Kωϕn=0\int_{K}\omega_{\phi}^{n}=0 and Capω​(K)=0\text{Cap}_{\omega}(K)=0. We introduce the Siciak extremal function

VK,ω=sup{u∈P​S​H​(X,ω)|u≤0​ on ​K},V_{K,\omega}=\sup\{u\in PSH(X,\omega)|u\leq 0\text{ on }K\},

whose upper semicontinuous regularisation VK,ω∗∈P​S​H​(X,ω)V_{K,\omega}^{*}\in PSH(X,\omega). By the Alexander-Taylor comparison principle (cf. [22, Prop. 6.1]),

exp(−supXVK,ω)≤eexp(−(Vol​(X)Capω​(K))1/n).\exp(-\sup_{X}V_{K,\omega})\leq e\exp\left(-(\frac{\text{Vol}(X)}{\text{Cap}_{\omega}(K)})^{1/n}\right).

By the Skoda integrability assumption (2), and the fact that VK,ω=Vk,ω∗V_{K,\omega}=V_{k,\omega}^{*} a.e with respect to ωn\omega^{n} (so by absolute continuity also for ωϕn\omega_{\phi}^{n}),

∫Xeα⁡(supXVK,ω−VK,ω)​ωϕn=∫Xeα⁡(supXVK,ω−VK,ω∗)​ωϕn≤A​Vol​(X),\int_{X}e^{\alpha(\sup_{X}V_{K,\omega}-V_{K,\omega})}\omega_{\phi}^{n}=\int_{X}e^{\alpha(\sup_{X}V_{K,\omega}-V_{K,\omega}^{*})}\omega_{\phi}^{n}\leq A\text{Vol}(X),

hence

∫Ke−α​VK,ω​ωϕn≤∫Xe−α​VK,ω​ωϕn≤A​eα​Vol​(X)​exp⁡(−α​(Vol​(X)Capω​(K))1/n).\int_{K}e^{-\alpha V_{K,\omega}}\omega_{\phi}^{n}\leq\int_{X}e^{-\alpha V_{K,\omega}}\omega_{\phi}^{n}\leq Ae^{\alpha}\text{Vol}(X)\exp\left(-\alpha(\frac{\text{Vol}(X)}{\text{Cap}_{\omega}(K)})^{1/n}\right).

The volume-capacity estimate (3) follows because VK,ω≤0V_{K,\omega}\leq 0 on KK. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.