ScalingStacks

Proposition 3.6 . [033L]

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

1) If EE is an open subset, then VE=VE∗V_{E}=V_{E}^{*}.

2) Let EE be a Borel subset and PP a P​S​H​(X,ω)PSH(X,\omega)-polar set. Then

VE∪P∗≡VE∗.V_{E\cup P}^{*}\equiv V_{E}^{*}.

3) Let (Ej)(E_{j}) be an increasing sequence of Borel subsets and set E=∪EjE=\cup E_{j}. Then VE,ω∗=lim↘VEj,ω∗V_{E,\omega}^{*}=\lim\searrow V_{E_{j},\omega}^{*} if ω\omega is Kähler.

4) Let KjK_{j} be a decreasing sequence of compact subsets of XX and set K=∩KjK=\cap K_{j}. Then VKj,ω↗VK,ωV_{K_{j},\omega}\nearrow V_{K,\omega}, hence VKj,ω∗↗VK,ω∗V_{K_{j},\omega}^{*}\nearrow V_{K,\omega}^{*} a.e.

5) Fix E⊂XE\subset X a non-pluripolar set. Then there exists GjG_{j} a decreasing sequence of open subsets, E⊂GjE\subset G_{j}, such that VE∗=limVGj∗V_{E}^{*}=\lim V_{G_{j}}^{*}.

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