ScalingStacks

Proposition 2.5 . [032Y]

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

Proposition 2.5.

1) If K⊂K′⊂XK\subset K^{\prime}\subset X are Borel subsets then

V​o​lω​(K):=∫Kωn≤C​a​pω​(K)≤C​a​pω​(K′)≤C​a​pω​(X)=V​o​lω​(X).Vol_{\omega}(K):=\int_{K}\omega^{n}\leq Cap_{\omega}(K)\leq Cap_{\omega}(K^{\prime})\leq Cap_{\omega}(X)=Vol_{\omega}(X).

2) If KjK_{j} are Borel subsets of XX then C​a​pω​(∪Kj)≤∑C​a​pω​(Kj)Cap_{\omega}(\cup K_{j})\leq\sum Cap_{\omega}(K_{j}). Moreover C​a​pω​(∪Kj)=limC​a​pω​(Kj)Cap_{\omega}(\cup K_{j})=\lim Cap_{\omega}(K_{j}) if Kj⊂Kj+1K_{j}\subset K_{j+1}.

3) If ω1≤ω2\omega_{1}\leq\omega_{2} then C​a​pω1​(⋅)≤C​a​pω2​(⋅)Cap_{\omega_{1}}(\cdot)\leq Cap_{\omega_{2}}(\cdot). For all A≥1A\geq 1, C​a​pω​(⋅)≤C​a​pA​ω​(⋅)≤An​C​a​pω​(⋅)Cap_{\omega}(\cdot)\leq Cap_{A\omega}(\cdot)\leq A^{n}Cap_{\omega}(\cdot). In particular if ω,ω′\omega,\omega^{\prime} are two Kähler forms then there exists C≥1C\geq 1 such that

1C​C​a​pω​(⋅)≤C​a​pω′​(⋅)≤C⋅C​a​pω​(⋅).\frac{1}{C}Cap_{\omega}(\cdot)\leq Cap_{\omega^{\prime}}(\cdot)\leq C\cdot Cap_{\omega}(\cdot).

4) If f:X→Xf:X\rightarrow X is holomorphic then for all Borel subset KK of XX,

C​a​pω​(f⁡(K))≤C​a​pf∗​ω​(K).Cap_{\omega}(f(K))\leq Cap_{f^{*}\omega}(K).

In particular C​a​pω​(f⁡(K))=C​a​pω​(K)Cap_{\omega}(f(K))=Cap_{\omega}(K) for every ω\omega-isometry ff.

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