ScalingStacks

Lemma 5.12 . [01G0]

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

Lemma 5.12.

Let 𝒳\mathcal{X} be an SNC model and pick ℒ∈Pic⁡(𝒳)\mathcal{L}\in\Pic(\mathcal{X}) such that L:=ℒ|𝒳KL:=\mathcal{L}|_{\mathcal{X}_{K}} is ample. Assume that the model metric hℒh_{\mathcal{L}} is a pointwise limit over XdivX^{\mathrm{div}} of semipositive model metrics on LL. Then hℒh_{\mathcal{L}} itself is semipositive, i.e. ℒ\mathcal{L} is nef.

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