ScalingStacks

Proof. [01FX]

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 φ∈𝒟⁡(X)\varphi\in\mathcal{D}(X). By Proposition 5.2 we may find a model 𝒳\mathcal{X} and a model function ψ\psi such that θ\theta, φ\varphi and ψ\psi are all determined on 𝒳\mathcal{X} and such that θ+d​dc​ψ\theta+dd^{c}\psi is 𝒳\mathcal{X}-positive. Since the closed (1,1)(1,1)-form d​dc​φdd^{c}\varphi is determined on 𝒳\mathcal{X} we may thus find a rational number 0<ε≪10<\varepsilon\ll 1 such that θ+d​dc​(ψ+ε​φ)≥0\theta+dd^{c}(\psi+\varepsilon\varphi)\geq 0. It follows that ε​φ=(ψ+ε​φ)−ψ\varepsilon\varphi=(\psi+\varepsilon\varphi)-\psi is a difference of θ\theta-psh model functions, and the result follows. The case when θ\theta is semipositive is proved in a similar way. ∎

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