ScalingStacks

Remark 1.5 . [032K]

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

Remark 1.5.

The size of P​S​H​(X,ω)PSH(X,\omega) is therefore related to that of 𝒯[ω]​(X){\mathcal{T}}_{[\omega]}(X) hence only depends on the positivity of the cohomology class [ω][\omega]. The more positive [ω][\omega], the bigger P​S​H​(X,ω)PSH(X,\omega).

When [ω][\omega] is Kähler then P​S​H​(X,ω)PSH(X,\omega) is large: if e.g. χ\chi is any 𝒞2{\mathcal{C}}^{2}-function on XX then ε​χ∈P​S​H​(X,ω)\varepsilon\chi\in PSH(X,\omega) for ε>0\varepsilon>0 small enough. We will see (theorem 5.2) that P​S​H​(X,ω)PSH(X,\omega) characterizes locally pluripolar sets when [ω][\omega] is Kähler. It follows from proposition 1.3 that P​S​H​(X,ω)PSH(X,\omega) and P​S​H​(X,ω′)PSH(X,\omega^{\prime}) have the same ”size” if ω\omega and ω′\omega^{\prime} are both Kähler.

Note on the other hand that P​S​H​(X,ω)≃ℝPSH(X,\omega)\simeq\mathbb{R} when ω\omega is cohomologous to [E][E], the current of integration along the exceptional divisor of a smooth blow up. Indeed let π:X→X~\pi:X\rightarrow\tilde{X} be a blow up with smooth center YY, c​o​d​i​mℂ​Y≥2codim_{\mathbb{C}}Y\geq 2 (see e.g. chapter 2 of [15] for the definition of blow-ups). Let E=π−1​(Y)E=\pi^{-1}(Y) denote the exceptional divisor and ω=[E]\omega=[E] be the current of integration along EE. If φ∈P​S​H​(X,[E])\varphi\in PSH(X,[E]) then d​dc​(φ∘π−1)≥0dd^{c}(\varphi\circ\pi^{-1})\geq 0 in X~∖Y\tilde{X}\setminus Y. Since c​o​d​i​mℂ​Y≥2codim_{\mathbb{C}}Y\geq 2, φ∘π−1\varphi\circ\pi^{-1} extends trivially through YY has a global psh function on X~\tilde{X}. By the maximum principle φ∘π−1\varphi\circ\pi^{-1} is constant hence so is φ\varphi. Alternatively there is no positive closed current of bidegree (1,1)(1,1) on XX which is cohomologous to [E][E] except [E][E] itself.

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