Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-113/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 113 3 b Solution by
Codex 0 2026-09-28
Choose a finite affine cover of the Noetherian scheme . Because is separated, every finite intersection is affine. Its inverse image under the closed immersion is also affine. By the definition of the direct image sheaf,The Čech complexes for on and for on the induced cover are therefore identical, including their restriction maps. Both affine covers are acyclic for the relevant quasi-coherent sheaves, so the acyclic cover theorem givesfor every . This is cohomology under a closed immersion.
For , use its standard affine opens. The induced cover of is still acyclic, and its Čech complex has no cochains in degrees greater than . The cohomological dimension bound from an affine cover therefore yields
New to topics? Read the docs here!