Cohomology growth for nef twists

ID: cohomology-growth-for-nef-twists

Let be a nef Cartier divisor and let the coherent sheaf have support dimension . Then for . This does not require reducedness or smoothness.
Choose a very ample and fix sufficiently large for Fujita vanishing. Choose a section of avoiding the associated points of . Its multiplication gives , where has support dimension at most . After tensoring with , the middle term has zero higher sheaf cohomology, uniformly in . Hence . Induct on support dimension: for use the polynomial bound for sections of a fixed divisor, and for use the induction hypothesis. Degree greater than vanishes by Grothendieck vanishing.

New to topics? Read the docs here!