Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-139/1/v/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 139 1 v Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
First suppose is integral. Induct on its dimension of a scheme. The previous two parts handle all and also handle when eventually vanishes. Otherwise choose with a nonzero global section of . On an integral variety it defines an effective Cartier divisor , possibly empty, and multiplication by the section givesThus . For , the induction hypothesis bounds the last term by ; summing on each residue class modulo gives . For , is zero-dimensional and its positive-degree sheaf cohomology vanishes, so the same recurrence is bounded.
For a general projective scheme, a nonzero section can be a zero divisor, so that argument requires an additional step. The general cohomology growth for nef twists supplies it: for every coherent sheaf with support dimension ,Its proof uses Fujita vanishing, an ample section avoiding the associated points of , and induction on support dimension. Taking gives the required estimate for every , including nonreduced and reducible schemes; degrees above vanish.
New to topics? Read the docs here!