For ample line bundles and a coherent sheaf on a projective scheme, one gives for every , and . If is very ample, Serre vanishing for the finitely many fixed twists makes zero-regular. Persistence of Castelnuovo–Mumford regularity gives all nonnegative -twists. For general ample , use a very ample power and treat finitely many residues of .
Let be a very ample effective Cartier divisor on a projective scheme , and suppose is ample. Then for and sufficiently large . By uniform Serre vanishing for two ample twists, cohomology of vanishes uniformly for . The restriction sequence identifies the higher groups of and for . For fixed , large kills them by Serre vanishing for ; descend to . No vanishing is claimed.

Articles by others on the same topic (0)

There are currently no matching articles.