ScalingStacks

Proof. [01FI]

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 𝒳′\mathcal{X}^{\prime} be a determination of ΞΈ\theta and let β„’β€²βˆˆPic⁑(𝒳′)𝐑\mathcal{L}^{\prime}\in\Pic(\mathcal{X}^{\prime})_{\mathbf{R}} be a representative of ΞΈ\theta. The assumption implies that the 𝐑\mathbf{R}-line bundle L:=β„’β€²|𝒳KL:=\mathcal{L}^{\prime}|_{\mathcal{X}_{K}} is ample. By CorollaryΒ 1.5 we may thus assume that 𝒳′\mathcal{X}^{\prime} has been chosen so that LL admits an ample extension β„’βˆˆPic⁑(𝒳)𝐑\mathcal{L}\in\Pic(\mathcal{X})_{\mathbf{R}} for each model 𝒳\mathcal{X} dominating 𝒳′\mathcal{X}^{\prime}. If Ο€:𝒳→𝒳′\pi:\mathcal{X}\to\mathcal{X}^{\prime} denotes the corresponding vertical blow-up then β„’βˆ’Ο€βˆ—β€‹β„’β€²=D\mathcal{L}-\pi^{*}\mathcal{L}^{\prime}=D for some D∈Div0⁑(𝒳)𝐑D\in\Div_{0}(\mathcal{X})_{\mathbf{R}}, and Ο†=Ο†D\varphi=\varphi_{D} is a model function such that ΞΈ+d​dc​φ\theta+dd^{c}\varphi is 𝒳\mathcal{X}-positive.

Now suppose ΞΈ\theta is semipositive and pick 𝒳\mathcal{X}, Ο†\varphi as above. Upon replacing Ο†\varphi by Ο†βˆ’supXΟ†\varphi-\sup_{X}\varphi we may assume that φ≀0\varphi\leq 0. Then the closed (1,1)(1,1)-form

ΞΈ+d​dc​(Ρ​φ)=Ρ⁑(ΞΈ+d​dc​φ)+(1βˆ’Ξ΅)​θ\theta+dd^{c}(\varepsilon\varphi)=\varepsilon(\theta+dd^{c}\varphi)+(1-\varepsilon)\theta

is also 𝒳\mathcal{X}-positive for each 0<Ξ΅<10<\varepsilon<1, completing the proof since Ο†\varphi is bounded. ∎

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