ScalingStacks

Proof. [034M]

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

Proof.

Let φ∈P​S​H​(X,ω)\varphi\in PSH(X,\omega). Since XX is projective, we can find a Hodge form ω′\omega^{\prime}. Then C−1​ω′≤ω≤C​ω′C^{-1}\omega^{\prime}\leq\omega\leq C\omega^{\prime} for some constant C≥1C\geq 1. Since P​S​H​(X,ω)⊂P​S​H​(X,C​ω′)PSH(X,\omega)\subset PSH(X,C\omega^{\prime}), it follows from the previous theorem that we can find φj∈P​S​H​(X,C​ω′)∩𝒞∞​(X)\varphi_{j}\in PSH(X,C\omega^{\prime})\cap{\mathcal{C}}^{\infty}(X) that decrease towards φ\varphi. Now the result follows from P​S​H​(X,C​ω′)⊂P​S​H​(X,A​ω)PSH(X,C\omega^{\prime})\subset PSH(X,A\omega)with A=C2A=C^{2}. ∎

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