ScalingStacks

Proof. [0338]

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.

Let EE be a Borel subset of XX. Since C​a​pω​(E∩𝒰αδ)≤C​a​pω​(E)≤∑αC​a​pω​(E∩𝒰αδ)Cap_{\omega}(E\cap{\mathcal{U}}_{\alpha}^{\delta})\leq Cap_{\omega}(E)\leq\sum_{\alpha}Cap_{\omega}(E\cap{\mathcal{U}}_{\alpha}^{\delta}), it is sufficient to show that if Ω={x∈X/ϱ(x)<0}\Omega=\{x\in X\,/\,\varrho(x)<0\} is a smooth hyperconvex subset of XX, then there exists C≥1C\geq 1 such that for all E⊂ΩδE\subset\Omega_{\delta},

1C​C​a​pω​(E)≤C​a​pB​T​(E,Ω)≤C⋅C​a​pω​(E),\frac{1}{C}Cap_{\omega}(E)\leq Cap_{BT}(E,\Omega)\leq C\cdot Cap_{\omega}(E),

where Ωδ={x∈X/ϱ(x)<−δ}\Omega_{\delta}=\{x\in X\,/\,\varrho(x)<-\delta\}.

It is an easy and well known fact in the local theory that the capacities C​a​p​(⋅,Ω)Cap(\cdot,\Omega) and C​a​p​(⋅,Ω′)Cap(\cdot,\Omega^{\prime}) are comparable when Ω′⊂Ω\Omega^{\prime}\subset\Omega (see e.g. theorem 6.5 in [12]). Therefore we can assume (passing to a finer covering if necessary) that ω=d​dc​ψ\omega=dd^{c}\psi near Ω¯\overline{\Omega}. Fix C1>0C_{1}>0 such that −C1≤ψ≤C1-C_{1}\leq\psi\leq C_{1} on Ω\Omega. Fix φ∈P​S​H​(X,ω)\varphi\in PSH(X,\omega) such that 0≤φ≤10\leq\varphi\leq 1 on XX and set u=(2​C1)−1​(φ+ψ+C1)u=(2C_{1})^{-1}(\varphi+\psi+C_{1}). Then u∈P​S​H​(Ω)u\in PSH(\Omega) and 0≤u≤10\leq u\leq 1, hence

∫Eωφn=(2​C1)n​∫E(d​dc​u)n≤(2​C1)n​C​a​pB​T​(E,Ω),\int_{E}\omega_{\varphi}^{n}=(2C_{1})^{n}\int_{E}(dd^{c}u)^{n}\leq(2C_{1})^{n}Cap_{BT}(E,\Omega),

which yields C​a​pω​(E)≤(2​C1)n​C​a​pB​T​(E,Ω)Cap_{\omega}(E)\leq(2C_{1})^{n}Cap_{BT}(E,\Omega). Observe that we have not used here that ω\omega is Kähler.

For the reverse inequality we consider χ∈𝒞∞​(X)\chi\in{\mathcal{C}}^{\infty}(X) such that χ≡0\chi\equiv 0 in X∖ΩX\setminus\Omega and χ<0\chi<0 in Ω\Omega. Replacing χ\chi by ε​χ\varepsilon\chi if necessary, we can assume χ∈P​S​H​(X,ω)\chi\in PSH(X,\omega). This is because ω\omega is Kähler (and this is the only place where we shall use this crucial assumption). Fix ε>0\varepsilon>0 so small that χ≤−ε\chi\leq-\varepsilon on Ωδ\Omega_{\delta}. Let now u∈P​S​H​(Ω)u\in PSH(\Omega) be such that 0≤u≤10\leq u\leq 1 on Ω\Omega. Consider

φ⁡(x)={u−ψ+C12+2​C1 in ​Ωδmax⁡(u−ψ+C12+2​C1,2ε​χ​(x)+1) in ​Ω∖Ωδ1 in ​X∖Ω\varphi(x)=\left\{\begin{array}[]{cl}\frac{u-\psi+C_{1}}{2+2C_{1}}&\text{ in }\Omega_{\delta}\\ \max\left(\frac{u-\psi+C_{1}}{2+2C_{1}},\frac{2}{\varepsilon}\chi(x)+1\right)&\text{ in }\Omega\setminus\Omega_{\delta}\\ 1&\text{ in }X\setminus\Omega\end{array}\right.

Observe that 0≤u′:=(u−ψ+C1)/(2+2​C1)≤(1+2​C1)/(2+2​C1)<10\leq u^{\prime}:=(u-\psi+C_{1})/(2+2C_{1})\leq(1+2C_{1})/(2+2C_{1})<1 in Ω\Omega. Therefore φ∈P​S​H​(X,2ε​ω)\varphi\in PSH(X,\frac{2}{\varepsilon}\omega) since 2ε​χ​(x)+1≤−1<u′\frac{2}{\varepsilon}\chi(x)+1\leq-1<u^{\prime} in Ωδ\Omega_{\delta}, while 2ε​χ​(x)+1≡1>u′\frac{2}{\varepsilon}\chi(x)+1\equiv 1>u^{\prime} on ∂Ω\partial\Omega. Note also that 0≤φ≤10\leq\varphi\leq 1 thus for E⊂ΩδE\subset\Omega_{\delta},

1(2+2​C1)n​∫E(d​dc​u)n\displaystyle\frac{1}{(2+2C_{1})^{n}}\int_{E}(dd^{c}u)^{n} =\displaystyle= ∫E(ω2+2​C1+d​dc​φ)n≤∫E(2ε​ω+d​dc​φ)n\displaystyle\int_{E}\left(\frac{\omega}{2+2C_{1}}+dd^{c}\varphi\right)^{n}\leq\int_{E}\left(\frac{2}{\varepsilon}\omega+dd^{c}\varphi\right)^{n}
≤\displaystyle\leq C​a​p2​ω/ε​(E)≤(2ε)n​C​a​pω​(E)\displaystyle Cap_{2\omega/\varepsilon}(E)\leq\left(\frac{2}{\varepsilon}\right)^{n}Cap_{\omega}(E)

hence C​a​pB​T​(E,Ω)≤4n​(1+C1)n​ε−n​C​a​pω​(E)Cap_{BT}(E,\Omega)\leq 4^{n}(1+C_{1})^{n}\varepsilon^{-n}Cap_{\omega}(E). ∎

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