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.
The top-degree case of cohomology growth for nef twists is bounded independently of . It fills a gap when a dimension induction hypothesis only covers intermediate sheaf cohomology degrees.
Articles by others on the same topic
There are currently no matching articles.