ScalingStacks

Proof. [01FR]

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 π:𝒳′→𝒳\pi:\mathcal{X}^{\prime}\to\mathcal{X} be a vertical blow-up such that φ=φD\varphi=\varphi_{D} for some D∈Div0⁡(𝒳′)𝐐D\in\Div_{0}(\mathcal{X}^{\prime})_{\mathbf{Q}}. Since θ\theta is determined by θ𝒳∈N1​(𝒳/S)\theta_{\mathcal{X}}\in N^{1}(\mathcal{X}/S), the assumption that φ\varphi is θ\theta-psh implies that DD is π\pi-nef. By Lemma 1.4 and Kleiman’s criterion [Kle66], we may find a vertical π\pi-ample 𝐐\mathbf{Q}-divisor A∈Div0⁡(𝒳′)𝐐A\in\Div_{0}(\mathcal{X}^{\prime})_{\mathbf{Q}} arbitrarily close to DD. It is then clear that φA\varphi_{A} is uniformly close to φ=φD\varphi=\varphi_{D} on XX (see the proof of Corollary 2.4). Since AA is π\pi-ample we may find m≫1m\gg 1 such that 𝒪𝒳′​(m​A)\mathcal{O}_{\mathcal{X}^{\prime}}(mA) is π\pi-globally generated. If we set 𝔞:=π∗​𝒪𝒳′​(m​A)\mathfrak{a}:=\pi_{*}\mathcal{O}_{\mathcal{X}^{\prime}}(mA) we then have φA=1m​log⁡|𝔞|\varphi_{A}=\tfrac{1}{m}\log|\mathfrak{a}|, which concludes the proof. ∎

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