Higher cohomology vanishing from an ample hyperplane restriction

ID: higher-cohomology-vanishing-from-an-ample-hyperplane-restriction

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.

New to topics? Read the docs here!