For an ample line bundle on a noetherian scheme , every coherent sheaf becomes a globally generated sheaf after tensoring with for all sufficiently large . Finitely many global sections suffice by finite global generation on a quasi-compact scheme. This is the global-generation characterization of an ample line bundle.[ref]
https://stacks.math.columbia.edu/tag/01PR. Stacks Project, Proposition 28.27.13, characterizations of an ample invertible sheaf
For a closed subscheme of projective space, take . One way to see why twisting helps is to choose finitely many module generators on each standard affine open subscheme. Multiplication by a sufficiently high power of its homogeneous coordinate extends each generator to a global section of a twist. Choose one exponent for all generators. On the original chart that coordinate is invertible, so these extended sections still generate; doing this for every chart proves global generation. Tensoring back by the inverse invertible sheaf gives a surjection from a finite direct sum of sheaves of negative twists onto .
Articles by others on the same topic
There are currently no matching articles.