Cohomology under an affine morphism
ID: cohomology-under-an-affine-morphism
For an affine morphism and a quasi-coherent sheaf on , the direct image sheaf has the same sheaf cohomology on as on . To prove this, take a flasque resolution . Its direct images are flasque sheaves. On each affine open , the complex of sections of the direct images is . By vanishing of quasi-coherent cohomology on an affine scheme, this augmented complex is exact. Checking on the affine basis proves that resolves . Its global sections are identical to those of the original resolution.
New to topics? Read the docs here!