ScalingStacks

Theorem 4.6 . [039A]

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

Let RR be a kk-algebra of finite type over a perfect field kk of characteristic p>0p>0. Let XX be an integral scheme of dimension nn which is projective over the spectrum of RR and smooth over kk. Let DD, EE, and HH be divisors on XX and λ∈ℚ≥0\lambda\in\mathbb{Q}_{\geq 0} such that

  1. (i)

    𝒪X​(H){\mathcal{O}}_{X}(H) is an ample, globally generated line bundle,

  2. (ii)

    h0​(X,𝒪X​(m​D))>0h^{0}(X,{\mathcal{O}}_{X}(mD))>0 for some m>0m>0, and

  3. (iii)

    the ℚ\mathbb{Q}-divisor E−λ​DE-\lambda D is nef.

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.