ScalingStacks

Theorem 1.3 . [037W]

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

Theorem 1.3.

Let XX be a projective scheme over a finitely generated kk-algebra RR such that XX is a smooth nn-dimensional variety over kk. We assume that HH is an ample and basepoint-free divisor, DD is a divisor with h0​(X,𝒪⁡(m​D))≠0h^{0}(X,\mathcal{O}(mD))\neq 0 for some m∈ℕ>0m\in\mathbb{N}_{>0} and EE is a divisor such that the ℚ\mathbb{Q}-divisor D−λ​ED-\lambda E is nef for some λ∈ℚ≥0\lambda\in\mathbb{Q}_{\geq 0}. Then the sheaf 𝒪X​(KX/k+E+d​H)⊗𝒪Xτ⁡(λ⋅‖D‖)\mathcal{O}_{X}(K_{X/k}+E+dH)\otimes_{\mathcal{O}_{X}}\tau(\lambda\cdot\|D\|) is globally generated for all d≥n+1d\geq n+1.

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