ScalingStacks

Lemma A.6 . [01CY]

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 A.6.

Let π:𝔜→B\pi:\mathfrak{Y}\to B be a projective and flat morphism, with BB a smooth projective curve over kk. If 𝔏∈Pic⁡(𝔜)\mathfrak{L}\in\Pic(\mathfrak{Y}) is ample on the generic fiber of π\pi, then there exists an ample line bundle HH on BB such that 𝒪B​(m​H)⊗π∗​𝒪𝔛​(m​𝔏)\mathcal{O}_{B}(mH)\otimes\pi_{*}\mathcal{O}_{\mathfrak{X}}(m\mathfrak{L}) is globally generated for all mm sufficiently large and divisible.

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