Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-113/4/ii/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 113 4 ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
For the closed inclusion , the direct image sheaf has stalk at and zero stalk at points outside : outside the closed set there is an open neighbourhood disjoint from . Hence is exact, since exact sequences of sheaves are detected on stalks.
Take a flasque resolution . Direct image preserves flasqueness, because restrictions are the restrictions on inverse-image opens. Exactness makes a flasque resolution of . MoreoverThe complexes computing sheaf cohomology are identical. ThereforeThis is sheaf cohomology under a closed inclusion; the closedness hypothesis is used in the exactness of direct image.
New to topics? Read the docs here!