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 be a regular model. Then there exists an ample line bundle on such that the following holds. Given , a vertical ideal sheaf and a rational number such that is nef, the sheaf
is globally generated. In particular, if is a graded sequence of vertical coherent ideal sheaves on such that is globally generated for all sufficiently divisible , then
is globally generated for all .