ScalingStacks

Proof. [027N]

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.

First we assume that ℒ{\mathscr{L}} is ample. We choose a positive integer nn such that ℒ⊗n∈Pic⁡(𝒳){\mathscr{L}}^{\otimes n}\in\operatorname{Pic}({\mathscr{X}}) and ℒ⊗n{\mathscr{L}}^{\otimes n} is very ample. Then we have an embedding ι:𝒳→ℙ⁡(H0​(𝒳,ℒ⊗n))\iota:{\mathscr{X}}\to{\mathbb{P}}(H^{0}({\mathscr{X}},{\mathscr{L}}^{\otimes n})) and ℒ⊗n=ι∗​(𝒪ℙ⁡(H0​(𝒳,ℒ⊗n))​(1)){\mathscr{L}}^{\otimes n}=\iota^{*}({\mathscr{O}}_{{\mathbb{P}}(H^{0}({\mathscr{X}},{\mathscr{L}}^{\otimes n}))}(1)). Let (e1,…,er)(e_{1},\ldots,e_{r}) be a free basis of H0​(𝒳,ℒ⊗n)H^{0}({\mathscr{X}},{\mathscr{L}}^{\otimes n}). We define a norm ‖.‖\|\raisebox{1.72218pt}{.}\| of H0​(X,L⊗n)H^{0}(X,L^{\otimes n}) to be

‖a1​e1+⋯+ar​er‖:=max⁡{|a1|,…,|ar|}.\|a_{1}e_{1}+\cdots+a_{r}e_{r}\|:=\max\{|a_{1}|,\ldots,|a_{r}|\}.

Note that (H0​(X,L⊗n),‖.‖)≤1=H0​(𝒳,ℒ⊗n)(H^{0}(X,L^{\otimes n}),\|\raisebox{1.72218pt}{.}\|)_{\leq 1}=H^{0}({\mathscr{X}},{\mathscr{L}}^{\otimes n}), so that, by Proposition 3.8, we have |.|(H,‖.‖)quot​(x)=|.|ℒ⊗n​(x)|\raisebox{1.72218pt}{.}|^{\mathrm{quot}}_{(H,\|\raisebox{1.20552pt}{.}\|)}(x)=|\raisebox{1.72218pt}{.}|_{\mathscr{L}^{\otimes n}}(x) for x∈Xanx\in X^{\operatorname{an}}. Thus hh is semipositive.

In general, let 𝒜{\mathscr{A}} be an ample invertible sheaf on 𝒳{\mathscr{X}} and A:=𝒜|XA:=\left.{{\mathscr{A}}}\right|_{{X}}. We choose δ∈ℚ>0\delta\in{\mathbb{Q}}_{>0} such that L⊗A⊗aL\otimes A^{\otimes a} is ample for all a∈(−δ,δ)∩ℚa\in(-\delta,\delta)\cap{\mathbb{Q}}. Note that L¯⊗(A,|.|𝒜)⊗ϵ=(L⊗A⊗ϵ,|.|ℒ⊗𝒜⊗ϵ)\overline{L}\otimes\left(A,|\raisebox{1.72218pt}{.}|_{{\mathscr{A}}}\right)^{\otimes\epsilon}=\left(L\otimes A^{\otimes\epsilon},|\raisebox{1.72218pt}{.}|_{{\mathscr{L}}\otimes{\mathscr{A}}^{\otimes\epsilon}}\right), so that μL¯⊗(A,|.|𝒜)⊗ϵ=0\mu_{\overline{L}\otimes\left(A,|\raisebox{1.20552pt}{.}|_{{\mathscr{A}}}\right)^{\otimes\epsilon}}=0 for ϵ∈(0,δ)∩ℚ\epsilon\in(0,\delta)\cap{\mathbb{Q}} by the previous observation together with Proposition 3.16. On the other hand, by (3) in Lemma 3.15,

μL¯​(x)=limϵ↓0ϵ∈ℚμL¯⊗(A,|.|𝒜)⊗ϵ​(x).\mu_{\overline{L}}(x)=\lim_{\begin{subarray}{c}\epsilon\downarrow 0\\ \epsilon\in{\mathbb{Q}}\end{subarray}}\mu_{\overline{L}\otimes(A,|\raisebox{1.20552pt}{.}|_{{\mathscr{A}}})^{\otimes\epsilon}}(x).

Therefore, μL¯=0\mu_{\overline{L}}=0, and hence hh is semipositive by Proposition 3.16. ∎

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