Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-113/4/ii/solution

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 . Moreover
The complexes computing sheaf cohomology are identical. Therefore
This 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!