ScalingStacks

Proof. [05C3]

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.

We may assume that ∥⋅∥\|\cdot\| is a piecewise linear metric. Let 𝒳′\mathscr{X}^{\prime} be an algebraic model of XX on which (𝒪Xan,∥⋅∥)(\mathcal{O}_{X^{\textup{an}}},\|\cdot\|) has an algebraic model ℳ\mathscr{M}. The section 11 of 𝒪X\mathcal{O}_{X} extends to a meromorphic section ss of ℳ\mathscr{M} and then ℳ=𝒪⁡(D)\mathscr{M}=\mathcal{O}(D) for the vertical Cartier divisor D=div⁡(s)D=\Div(s) on 𝒳′\mathscr{X}^{\prime}. By [GW10, Theorem 13.98] we may assume that 𝒳′\mathscr{X}^{\prime} is a vertical blowup of 𝒳\mathscr{X}. Denote by π\pi the canonical map 𝒳′→𝒳\mathscr{X}^{\prime}\rightarrow\mathscr{X}. We show first that DD is π\pi-nef, i.e. deg⁡(D⋅C)≥0\deg(D\cdot C)\geq 0 for any closed curve C⊆𝒳~′C\subseteq\tilde{\mathscr{X}}^{\prime} which is contracted by π\pi.
So let x∈𝒳~x\in\tilde{\mathscr{X}} be a closed point and C⊆π−1​(x)C\subseteq\pi^{-1}(x) a curve. Then by the semipositivity assumption deg⁡((𝒪⁡(D)+π∗​ℒ)⋅C)≥0\deg((\mathcal{O}(D)+\pi^{\ast}\mathscr{L})\cdot C)\geq 0. But since π∗​(π∗​𝔏⋅C)=ℒ⋅π∗​(C)=0\pi_{\ast}(\pi^{\ast}\mathfrak{L}\cdot C)=\mathscr{L}\cdot\pi_{\ast}(C)=0 we have deg⁡(π∗​ℒ⋅C)=0\deg(\pi^{\ast}\mathscr{L}\cdot C)=0 and hence deg⁡(D⋅C)≥0\deg(D\cdot C)\geq 0.
Now let AA be a π\pi-ample vertical Cartier divisor on 𝒳′\mathscr{X}^{\prime}, e.g. A=−EA=-E for the exceptional divisor EE of the blowup (this is π\pi-ample by [GW10, Proposition 13.96]). Then D+AD+A is π\pi-ample by the relative version of Kleiman’s criterion ([Deb01, Remark 7.41]). Furthermore, since 𝒪𝒳′​(D)\mathcal{O}_{\mathscr{X}^{\prime}}(D) and 𝒪𝒳′​(A)\mathcal{O}_{\mathscr{X}^{\prime}}(A) are coherent vertical fractional ideal sheaves, also 𝔞:=π∗​𝒪𝒳′​(m⁡(D+A))\mathfrak{a}:=\pi_{\ast}\mathcal{O}_{\mathscr{X}^{\prime}}(m(D+A)) is a coherent vertical fractional ideal sheaf on 𝒳\mathscr{X} for any m∈ℕ>0m\in\mathbb{N}_{>0} by [Ull95, Theorem 5.3].
By the characterization of π\pi-ampleness in [Gro61, Proposition 4.6.8] there exists some m∈ℕ>0m\in\mathbb{N}_{>0} such that π∗​𝔞→𝒪𝒳′​(m⁡(D+A))\pi^{\ast}\mathfrak{a}\rightarrow\mathcal{O}_{\mathscr{X}^{\prime}}(m(D+A)) is surjective. This implies

log⁡|𝔞|=log⁡|π∗​𝔞|=log|𝒪𝒳′​(m⁡(D+A))|=m⋅(φ−log⁡‖1‖𝒪𝒳′​(A))\log|\mathfrak{a}|=\log|\pi^{\ast}\mathfrak{a}|=\log|\mathcal{O}_{\mathscr{X}^{\prime}}(m(D+A))|=m\cdot(\varphi-\log\|1\|_{\mathcal{O}_{\mathscr{X}^{\prime}}(A)})

and hence 1m​log⁡|𝔞|=φ−log⁡‖1‖𝒪𝒳′​(A)\frac{1}{m}\log|\mathfrak{a}|=\varphi-\log\|1\|_{\mathcal{O}_{\mathscr{X}^{\prime}}(A)}. Since we can replace AA by ϵ​A\epsilon A for arbitrary small ϵ∈ℚ>0\epsilon\in\mathbb{Q}_{>0} this concludes the proof. ∎

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