ScalingStacks

Theorem B.8 (Uniform generation property) . [01I9]

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 B.8 (Uniform generation property).

Let ๐’ณ\mathcal{X} be a regular model. Then there exists an ample line bundle ๐’œ\mathcal{A} on ๐’ณ\mathcal{X} such that the following holds. Given โ„’โˆˆPicโก(๐’ณ)\mathcal{L}\in\Pic(\mathcal{X}), a vertical ideal sheaf ๐”ž\mathfrak{a} and a rational number c>0c>0 such that โ„’โŠ—๐”žc\mathcal{L}\otimes\mathfrak{a}^{c} is nef, the sheaf

๐’œโŠ—โ„’โŠ—๐’ฅโก(๐”žc)\mathcal{A}\otimes\mathcal{L}\otimes\mathcal{J}(\mathfrak{a}^{c})

is globally generated. In particular, if ๐”žโˆ™\mathfrak{a}_{\bullet} is a graded sequence of vertical coherent ideal sheaves on ๐’ณ\mathcal{X} such that โ„’mโŠ—๐”žm\mathcal{L}^{m}\otimes\mathfrak{a}_{m} is globally generated for all sufficiently divisible mm, then

๐’œโŠ—โ„’mโŠ—๐’ฅโก(๐”žโˆ™m)\mathcal{A}\otimes\mathcal{L}^{m}\otimes\mathcal{J}(\mathfrak{a}_{\bullet}^{m})

is globally generated for all mm.

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