ScalingStacks

Lemma 5.5 . [03CL]

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.5.

Let LL be a semiample line bundle on the normal projective variety XX over KK. Assume that LL has a K∘{K^{\circ}}-model ℒ{\mathscr{L}} on the K∘{K^{\circ}}-model 𝒳{\mathscr{X}} of XX. Let 𝔞m\mathfrak{a}_{m} be the base-ideal of ℒ⊗m{\mathscr{L}}^{\otimes m}. If 1m​log⁡|𝔞m|\frac{1}{m}{\log|\mathfrak{a}_{m}|} converges pointwise to 00 on XdivX^{\rm div}, then ∥∥ℒ{\|\hskip 4.30554pt\|}_{\mathscr{L}} is semipositive.

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