ScalingStacks

Proposition 3.9 . [033S]

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

1) For all Borel subsets K′⊂K⊂XK^{\prime}\subset K\subset X, Tω​(K′)≤Tω​(K)≤Tω​(X)=1T_{\omega}(K^{\prime})\leq T_{\omega}(K)\leq T_{\omega}(X)=1.

2) If ω1≤ω2\omega_{1}\leq\omega_{2} then Tω1​(⋅)≥Tω2​(⋅)T_{\omega_{1}}(\cdot)\geq T_{\omega_{2}}(\cdot). Forall A>0A>0, TA​ω​(⋅)=[Tω​(⋅)]AT_{A\omega}(\cdot)=[T_{\omega}(\cdot)]^{A}. In particular if ω\omega and ω′\omega^{\prime} are both Kähler then there exists C≥1C\geq 1 such that

[Tω​(⋅)]C≤Tω′​(⋅)≤[Tω​(⋅)]1/C.[T_{\omega}(\cdot)]^{C}\leq T_{\omega^{\prime}}(\cdot)\leq[T_{\omega}(\cdot)]^{1/C}.

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

1C​Tω​(⋅)≤Tω′​(⋅)≤C⋅Tω​(⋅),\frac{1}{C}T_{\omega}(\cdot)\leq T_{\omega^{\prime}}(\cdot)\leq C\cdot T_{\omega}(\cdot),

where C=exp⁡(supXχ−infXχ)≥1C=\exp(\sup_{X}\chi-\inf_{X}\chi)\geq 1.

4) If f:X→Xf:X\rightarrow X is a holomorphic map then Tf∗​ω​(⋅)≤Tω∘f⁡(⋅)T_{f^{*}\omega}(\cdot)\leq T_{\omega}\circ f(\cdot). In particular if ff is a ω\omega-isometry then Tω∘f=TωT_{\omega}\circ f=T_{\omega}.

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