ScalingStacks

Proposition 3.4 . [033I]

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 3.4.

Let KK be a Borel subset of XX.

1) If K′⊂KK^{\prime}\subset K then VX,ω≤VK,ω≤VK′,ωV_{X,\omega}\leq V_{K,\omega}\leq V_{K^{\prime},\omega} and supXVX,ω=0\sup_{X}V_{X,\omega}=0. Furthermore VX,ω≡0V_{X,\omega}\equiv 0 when ω≥0\omega\geq 0.

2) If ω1≤ω2\omega_{1}\leq\omega_{2} then VK,ω1≤VK,ω2V_{K,\omega_{1}}\leq V_{K,\omega_{2}}.

3) For all A>0A>0, VK,A​ω=A⋅VK,ωV_{K,A\omega}=A\cdot V_{K,\omega}.

4) If ω′=ω+d​dc​χ\omega^{\prime}=\omega+dd^{c}\chi then

−χ+infXχ+VK,ω≤VK,ω′≤VK,ω+supXχ−χ.-\chi+\inf_{X}\chi+V_{K,\omega}\leq V_{K,\omega^{\prime}}\leq V_{K,\omega}+\sup_{X}\chi-\chi.

5) If f:X→Xf:X\rightarrow X is holomorphic then

Vf⁡(K),ω∘f≤VK,f∗​ω.V_{f(K),\omega}\circ f\leq V_{K,f^{*}\omega}.

In particular if ff is a ω\omega-isometry then Vf⁡(K),ω=VK,ωV_{f(K),\omega}=V_{K,\omega}.

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